定义
模
格
的
定
义
模格的定义
模格的定义
设
(
L
,
≤
)
是
一
个
格
,
对
于
任
意
的
a
,
b
,
c
∈
L
,
如
果
a
≤
b
都
有
a
∨
(
b
∧
c
)
=
b
∧
(
a
∨
c
)
设(L,\leq)是一个格,对于任意的a,b,c\in L,如果a\leq b都有a\vee (b\wedge c)=b\wedge(a\vee c)
设(L,≤)是一个格,对于任意的a,b,c∈L,如果a≤b都有a∨(b∧c)=b∧(a∨c)
由
分
配
等
式
,
分
配
格
一
定
是
模
格
,
反
之
不
然
由分配等式,分配格一定是模格,反之不然
由分配等式,分配格一定是模格,反之不然
举例
钻
石
格
是
模
格
,
五
角
格
不
是
模
格
钻石格是模格,五角格不是模格
钻石格是模格,五角格不是模格
钻
石
格
:
M
5
,
五
角
格
:
N
5
钻石格:M_5,五角格:N_5
钻石格:M5,五角格:N5
例
:
群
G
中
的
所
有
正
规
子
群
做
成
一
个
模
格
。
设
群
G
的
所
有
正
规
子
群
做
成
的
集
合
为
S
,
对
集
合
S
引
进
如
下
两
种
运
算
:
1.
对
任
意
A
∈
S
,
B
∩
S
,
A
与
B
的
交
集
记
为
A
∩
B
.
因
为
正
规
子
群
的
交
仍
为
正
规
子
群
,
故
运
算
∩
对
S
封
闭
的
。
2.
对
任
意
A
∈
S
,
B
∈
S
,
A
与
B
的
乘
积
(
记
为
A
∗
B
)
为
如
下
集
合
:
A
∗
B
=
{
x
∗
y
(
群
中
的
乘
运
算
)
∣
(
x
∈
A
)
∧
(
y
∈
B
)
}
例:群G中的所有正规子群做成一个模格。\\ 设群G的所有正规子群做成的集合为S,对集合S引进如下两种运算:\\ 1.对任意A∈S, B\cap S, A与B的交集记为A∩B.因为正 规子群的交仍为正规子群,故运算∩对S封闭的。\\ 2.对任意A∈S,B∈S,A与B的乘积( 记为A*B)为如 下集合:\\ A*B = \{x*y(群中的乘运算) |(x∈A)\wedge(y∈B) \}\\
例:群G中的所有正规子群做成一个模格。设群G的所有正规子群做成的集合为S,对集合S引进如下两种运算:1.对任意A∈S,B∩S,A与B的交集记为A∩B.因为正规子群的交仍为正规子群,故运算∩对S封闭的。2.对任意A∈S,B∈S,A与B的乘积(记为A∗B)为如下集合:A∗B={x∗y(群中的乘运算)∣(x∈A)∧(y∈B)}
不
难
证
明
A
∗
B
是
G
的
子
群
,
下
面
证
明
其
为
正
规
子
群
,
即
运
算
封
闭
在
正
规
子
群
的
集
合
S
中
对
任
意
g
∈
G
,
往
证
g
∗
(
A
∗
B
)
=
(
A
∗
B
)
∗
g
任
取
u
=
g
∗
a
∗
b
,
因
为
A
,
B
是
正
规
子
群
,
g
∗
a
∗
b
=
a
1
∗
g
∗
b
=
a
1
∗
b
1
∗
g
(
a
1
∈
A
,
b
1
∈
B
)
u
∈
(
A
∗
B
)
∗
g
至
此
证
明
了
一
半
包
含
关
系
,
另
一
半
同
理
不难证明A*B是G的子群,下面证明其为正规子群,即运算封闭在正规子群的集合S中\\ 对任意g∈G,往证g* (A*B)=(A*B)*g \\ 任取u = g*a*b,因为A,B是正规子群,g*a*b=a_1*g*b=a_1*b_1*g(a_1\in A,b_1\in B)\\ u\in (A*B)*g至此证明了一半包含关系,另一半同理
不难证明A∗B是G的子群,下面证明其为正规子群,即运算封闭在正规子群的集合S中对任意g∈G,往证g∗(A∗B)=(A∗B)∗g任取u=g∗a∗b,因为A,B是正规子群,g∗a∗b=a1∗g∗b=a1∗b1∗g(a1∈A,b1∈B)u∈(A∗B)∗g至此证明了一半包含关系,另一半同理
仍
需
要
证
明
其
为
格
:
交
运
算
或
乘
运
算
满
足
结
合
律
,
分
配
律
,
交
运
算
和
乘
运
算
满
足
吸
收
率
仍需要证明其为格:交运算或乘运算满足结合律,分配律,交运算和乘运算满足吸收率
仍需要证明其为格:交运算或乘运算满足结合律,分配律,交运算和乘运算满足吸收率
然
后
再
证
明
(
S
,
∩
,
∗
)
为
模
格
然后再证明(S,\cap,*)为模格
然后再证明(S,∩,∗)为模格
等价定义:
格 ( L , < ) 是 模 格 的 充 分 必 要 条 件 是 : 对 任 意 a , b , c ∈ L , 如 果 a ≤ b , a ∧ c = b ∧ c , a ∨ c = b ∨ c , 则 必 有 a = b 。 证 明 : 必 要 性 。 若 格 ( L , ≤ ) 是 模 格 , 则 对 任 意 a , b , c ∈ L , 如 果 a ≤ b , a ∧ c = b ∧ c , a ∨ c = b ∨ c , 则 a = a ∨ ( a ∧ c ) = a ∨ ( b ∧ c ) b ∧ ( a ∨ c ) = b ∧ ( b ∨ c ) = b 充 分 性 。 任 取 a , b , c ∈ L , 且 a ≤ b 。 ( a ∨ ( b ∧ c ) ) ∨ c = a ∨ ( ( b ∧ c ) ∨ c ) = a ∨ c 又 因 为 a ≤ b , 所 以 a ≤ b ∨ ( a ∧ c ) , a ∨ c ≤ ( b ∨ ( a ∧ c ) ) ∨ c ≤ ( a ∨ c ) ∨ c = ( a ∨ c ) 所 以 ( b ∨ ( a ∧ c ) ) ∨ c = ( a ∨ c ) 即 综 上 有 : 若 a ≤ b , ( a ∨ ( b ∧ c ) ) ∨ c = ( b ∨ ( a ∧ c ) ) ∨ c 可 推 导 得 若 a ≤ b , ( b ∧ ( a ∧ c ) ) ∧ c = ( a ∨ ( b ∧ c ) ) ∨ c 由 分 配 不 等 式 知 若 a ≤ b , a ∨ ( b ∧ c ) ≤ b ∧ ( a ∨ c ) 综 上 三 个 式 子 与 此 定 理 得 条 件 : a ∨ ( b ∧ c ) = b ∧ ( a ∨ c ) 即 ( L , ≤ ) 是 模 格 格(L,<)是模格的充分必要条件是:\\ 对任意a,b,c\in L,如果 a≤b,a\wedge c=b\wedge c, a\vee c=b\vee c,则必有a=b。\\ 证明: 必要性。 若格(L,\leq )是模格,则对任意a,b,c∈L,\\ 如果a\leq b, a\wedge c=b\wedge c, a\vee c=b\vee c, 则\\ a=a\vee (a\wedge c) = a\vee (b\wedge c) b\wedge (a\vee c)=b\wedge (b\vee c)=b\\ 充分性。任取a, b, c\in L,且a≤b。\\ (a\vee (b\wedge c))\vee c\\=a\vee((b\wedge c)\vee c)=a\vee c\\ 又因为a\leq b,所以a\leq b\vee (a\wedge c),\\ a\vee c\leq (b\vee (a\wedge c))\vee c \leq (a\vee c)\vee c= (a\vee c)\\ 所以 (b\vee (a\wedge c))\vee c=(a\vee c)\\ 即综上有:若a\leq b,(a\vee (b\wedge c))\vee c=(b\vee (a\wedge c))\vee c\\ 可推导得若a\leq b,(b\wedge (a\wedge c))\wedge c=(a\vee (b\wedge c))\vee c\\ 由分配不等式知若a\leq b,a\vee (b\wedge c)\leq b\wedge(a\vee c)\\ 综上三个式子与此定理得条件:a\vee (b\wedge c)=b\wedge(a\vee c)即(L,\leq )是模格 格(L,<)是模格的充分必要条件是:对任意a,b,c∈L,如果a≤b,a∧c=b∧c,a∨c=b∨c,则必有a=b。证明:必要性。若格(L,≤)是模格,则对任意a,b,c∈L,如果a≤b,a∧c=b∧c,a∨c=b∨c,则a=a∨(a∧c)=a∨(b∧c)b∧(a∨c)=b∧(b∨c)=b充分性。任取a,b,c∈L,且a≤b。(a∨(b∧c))∨c=a∨((b∧c)∨c)=a∨c又因为a≤b,所以a≤b∨(a∧c),a∨c≤(b∨(a∧c))∨c≤(a∨c)∨c=(a∨c)所以(b∨(a∧c))∨c=(a∨c)即综上有:若a≤b,(a∨(b∧c))∨c=(b∨(a∧c))∨c可推导得若a≤b,(b∧(a∧c))∧c=(a∨(b∧c))∨c由分配不等式知若a≤b,a∨(b∧c)≤b∧(a∨c)综上三个式子与此定理得条件:a∨(b∧c)=b∧(a∨c)即(L,≤)是模格
格的性质:
https://wenku.baidu.com/view/ff85f311227916888486d760.html
https://max.book118.com/html/2018/1011/7041105062001152.shtm
https://blog.csdn.net/longji/article/details/79136855