{ a,b,c,d,e }是L1的子格,同构于钻石格
{ a,b,c,e,f }是L2的子格,同构于五角格;
{ a,c,b,e,f } 是L3的子格,同构于钻石格.
12/40
近世 代数
分配格的性质
性质1 设(L,∧,∨)是格,若a, b, c∈L,有
a∧(b∨c) = (a∧b)∨(a∧c)
a∨(b∧c) = (a∨b)∧(a∨c).
6/40
近世 代数
解答
(1) L1中 a 与 c 互为补元, 其中 a 为最小元素, c为最 大元素, b 没有补元.
(2) L2中 a 与 d 互为补元, 其中 a 为最小元素, d 为最 大元素, b与 c 也互为补元.
(3) L3中a 与 e 互为补元, 其中 a 为最小元素, e 为最 大元素, b 的补元是 c 和 d ; c 的补元是 b 和 d ; d 的补元是 b 和 c ; b, c, d 每个元素都有两个补元.
b) a≤b b≤a a≤b a∧b =a (a∧b)= a= b∨a b≤a
c) a∧b=0 a∨b=1
a∧b=0 (a∨b)=0=1= a∨b
26/40
近世 代数
布尔代数的性质
性质3 设(B,∧,∨,, 0, 1)是任一布尔代数,则有 (1) a,b,c∈B, 有
a∧(b∨c) = (a∧b)∨(a∧c), a∨(b∧c) = (a∨b)∧(a∨c). (2) a,b,c∈L, 如果 a∧b = a∧c且 a∨b = a∨c,则b=c. (3) a,b,c∈B, 有 (a∧b)∨(b∧c)∨(c∧a) = (a∨b)∧(b∨c)∧(c∨a).
28/40
近世 代数
布尔代数的性质