其他代数系统.pptVIP

7.2.1 格 定理7.10 设(P,∧,∨)是格, 则对任意a,b,c∈P, 有 a≤a∨b, b≤a∨b 或a∨b≥a, a∨b≥b a≤c且b≤c = a∨b≤c 或c≥a且c≥b = c≥a∨b a∧b≤a, a∧b≤b 或a≥a∧b, b≥a∧b c≤a且c≤b = c≤a∧b 或a≥c且b≥c = a∧b≥c 第三十页，共44页 7.2.1 格 例：试证，设(P,∧,∨)是格, 如果a≤c, b≤d, 则必有a∨b≤c∨d 证明： c≤c∨d, d≤c∨d 因为a≤c, b≤d，所以a≤c∨d, b≤c∨d a∨b是a,b的上确界, 故a∨b≤c∨d. 第三十一页，共44页 第一页，共44页 7.1.1 环 定义7.1 设有代数系统(R,+,＊)如对任意a,b,c∈R满足下列条件： 1) (R,+)是一个可换群； 2) (R,＊)是一个半群； 3) 运算＊对+满足分配律，即 a＊(b+c) = a＊b+a＊c (b+c)＊a = b＊c+c＊a (使得加法单位元成为乘法零元素 (R,＊)不可能是群) 则称(R,+,＊)是环. 在环中, a-b ≡ a+(-b), 这里 -b 是b关于运算+的逆元 第二页，共44页 7.1.1 环 定义7.2 设(R,+,＊)是环，而且对＊满足交换律，则称