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

格的笛卡尔积的同余关系

设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),接着再看更方便。

相关小说

疯批美人他权势滔天 连载中
疯批美人他权势滔天
权天官
疯批美人摄政王VS高冷正义小徒弟书又名:《知途》温使墨从一个人人喊打的丧家之犬,和从尸山血海里爬出来的厉鬼,成为如今人人喊骂,却人人畏惧的摄......
0.2万字6个月前
白梓萱与王静 连载中
白梓萱与王静
白梓萱54341348
“东关小学就像那五只小羊一样,快乐,幸福,美丽”“只有露西,并不像只小羊”“东关小学又是一个美丽团结的羊村”“善良团结”“有时候村里也可能混......
0.2万字6个月前
你好,大妖 连载中
你好,大妖
这条小鱼在乎捏
我是一个半人半妖的妖怪我出生就被诅咒过所以我父母就不要我了丢给了我师傅白泽但是师傅说以后会一只大妖叫乘黄的非常爱我爱我?为什么也要丢下我?
0.8万字6个月前
际缘 连载中
际缘
清沐兮颜
0.3万字5个月前
团宠礼神第一季 连载中
团宠礼神第一季
扶光2010
团宠小七的日常和小葫芦们新的冒险与敌人,及葫芦们腥风血雨的虐恋情仇(主要是我的梦)
3.4万字2个月前
无极祖仙魔帝穿越 连载中
无极祖仙魔帝穿越
159***768_3201616846
六大顶尖,无极祖境穿越。
2.8万字3周前