剩餘格

剩餘格，在抽象代數中，剩餘格是有著特定的簡單性質的格，此性質適用於任何環的所有兩端的理想狀態。

基本介紹

• 中文名：剩餘格
• 外文名：Residual lattice
• 類型：數學名詞
• 研究回溯：可到1930年代
• 包含：Heyting代數和多值代數等

定義

在數學中，剩餘格是代數結構L= (L, ∧, ∨, ·,I, /, \) 使得

(i) (L, ∧, ∨) 是格，(ii) (L, ·,I) 是麼半群，(iii) 對於所有L　中的x,y,z，有y≤x\z⇔x·y≤z⇔x≤z/y(剩餘公理)。