数学联邦政治世界观
超小超大

格的笛卡尔积的同余关系

设L,M 为两个格,定义 (L × M,∧,∨) 为(l₁,m₁) ∧ (l₂,m₂)=(l₁∧l₂,m₁∧m₂),(l₁,m₁)∨(l₂,m₂)=(l₁∨l₂,m₁∨m₂)。

定理:假设ψ 是 L × M 的同余关系,那么存在 L,M 上的同余关系 α,β 满足 α ⨂ β=ψ ,其中 α ⨂ β={[α,x),(b,y)]:(α,b)∈α,(x,y)∈β} 。反过来,对于任意 L,M 上的同余关系 α,β , α ⨂ β 都是 L × M 上的同余关系。

证明:首先证明第二个定理。假设[(α,x),(b,y)] ∈α ⨂ β,任选 (c,z)∈L × M,求 [(α∧c,x∧z),(b∧c,y∧z)]∈α ⨂ β。因为 (α,b)∈α → (α∧c,b∧c)∈α且 (x,y)∈β →(x∧z,y∧z)∈β,那么 [(α∧c,x∧z),(b∨c,y∨z)]∈α ⨂ β;同理可证 [(α∨c,x∨z),(b∨c,y∨z)]∈α ⨂ β,因此对于任意 L,M 上的同余关系 α,β ,α ⨂ β 都是 L × M 上的同余关系。

再证明第一个定理。假设ψ 是 L × M 的同余关系,定义 (α,b)∈α↔∃x∈M,[(α,x),(b,x)]∈ψ,注意到如果 [(α,x),(b,y)]∈ψ,那么有 [(α∧(α∨b),x∧x∧y),(b∧(α∨b),y∧x∧y)]∈ψ,即 [(α,x∧y),(b,x∧y)]∈ψ,进一步可得 [(α,y),(b,y)]∈ψ。因此我们有如下定理:如果存在 x,y∈M 满足[(α,x),(b,y)]∈ψ ,那么对于任意 z∈M 都有 [(α,z),(b,z)]∈ψ。因此我们可以把 α 的定义改为 (α,b)∈α ↔ ∀x ∈ M,[(α,x),(b,x)]∈ψ。

下面求α 是 L 的同余关系。由于 (α,b)∈α 蕴含 ∀x ∈ M,[(α,x),(b,x)]∈ψ,那么 [(α∧c,x),(b∧c,x)]∈ψ 和 [(α∨c,x),(b∨c,x)]∈ψ 成立,因此 α 是 L 的同余关系。同理,我们可以根据 ψ 诱导出 M 上的同余关系 β 。

下面证明ψ=α ⨂ β 。假设 [(α,x),(b,y)]∈ψ,那么 [(α,x),(b,x)]∈ψ 和 [(α,x),(α,y)]∈ψ,因此 (α,b)∈α 和 (x,y)∈β,可得 ψ ⊆ α ⨂ β;假设 (α,b)∈α 和 (x,y)∈β ,那么 (x∧y,x)∈β 和 (x∧y,y)∈β,因此 [(α,x∧y),(α,x)]∈ψ 和 [(b,x∧y),(b,y)]∈ψ 与 [(α,x∧y),(b,x∧y)]∈ψ,由 ψ 的传递性可得 [(α,x),(b,y)]∈ψ,即 ψ ⊇ α ⨂ β ,因此 ψ=α ⨂ β 。

上面的定理表明α,β 和 ψ 是一一对应关系,因此如果 L × M 的只有奇数个同余关系,那么 L,M 至少有一个是只有一个元素的格,因为两个及以上元素的格 L 至少有两个同余关系:相等关系和 L² 。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

想要竹马甜甜的~ 连载中
想要竹马甜甜的~
九-儿
明明人家的时而霸道,时而温顺,可盐可甜,为什么我的竹马不一样?!在线等!急啊!!!
1.7万字6个月前
外星少女在民国 连载中
外星少女在民国
忆轩孤梦
[这一本我更新的非常慢,原因是在于想完结其他本,然后再更新这个。先看其他的哦]【一本男女都可以看的小说】她是银河深处的紫幽星少女,身怀魔力。......
4.5万字6个月前
幻想:不公定律—无罪世界 连载中
幻想:不公定律—无罪世界
维治托劳斯
嘈杂的声音充斥在教室中,所有人都嘻皮笑脸的,一切都很和谐,但是在这片虚伪的和谐中,藏着许多不为人知的恶劣——对同学的另眼相待,谣言乱飞,校园......
0.3万字5个月前
星际迷途:时光之匙 连载中
星际迷途:时光之匙
176***090_0306349480
新人作者,多多关照
1.4万字2个月前
奇思妙想,小说合集 连载中
奇思妙想,小说合集
king2003
此文不只有一个故事,很多故事,每一个故事都是短篇小说。第一篇:花心痞帅硬汉;季北辰VS独立理智坚韧冷艳美女;莫希。(现代言情,花心浪子遇真爱......
6.1万字3周前
听说,你很乖 连载中
听说,你很乖
今天鬼鬼不上楼
妖界有一灵兔,是人人都知道的温柔孝敬的乖乖女,白源里的少主却不那么认为,他见此女虽然温温柔柔的,看起来的柔柔弱弱的,但是却是笑里藏刀,做事果......
2.5万字1周前