[离散数学] 代数系统群环域格与布尔代数

最新推荐文章于 2025-07-22 16:38:13 发布

Tumb1eweed

最新推荐文章于 2025-07-22 16:38:13 发布

阅读量424

点赞数 5

CC 4.0 BY-SA版权

分类专栏：离散数学文章标签：学习

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/xueyanshang4089/article/details/146436444

离散数学专栏收录该内容

4 篇文章

订阅专栏

代数系统

二元运算

在这里插入图片描述

积代数
在这里插入图片描述

同态与同构

群环域

群

半群幺半群（独异点）群
在这里插入图片描述
Klein四元群

有限群无限群
交换群（阿贝尔群）
在这里插入图片描述

群的性质

在这里插入图片描述

这个从表格来看就是一行或者一列的元素各不相同，即

一些推论
在这里插入图片描述

群的阶以及元素的阶

群的阶
在这里插入图片描述

在这里插入图片描述
元素的阶

陪集子群拉格朗日定理

子群的定义

在这里插入图片描述

注意是非空子集
因为子群是群的非空子集，所以封闭性成立的话显然结合律成立

子群判定定理

在这里插入图片描述

陪集

在这里插入图片描述

拉格朗日定理

在这里插入图片描述

循环群

循环群的定义

在这里插入图片描述

循环群的类别

在这里插入图片描述

循环群的生成元

即有限循环群中，生成元的阶和群的阶相等（其实从图上很好理解）
在这里插入图片描述

在这里插入图片描述

其实这个从图上也很好理解，如果有两个相同，那么存在路径更短的回路

在这里插入图片描述

用到了裴蜀定理

循环群的子群

在这里插入图片描述

在这里插入图片描述

置换群

环域

环

在这里插入图片描述

在这里插入图片描述

零因子

在这里插入图片描述

交换环含幺环无零因子环整环域

在这里插入图片描述

在这里插入图片描述

格与布尔代数

在这里插入图片描述

格的定义

在这里插入图片描述

在这里插入图片描述

一种判断方法，看上面或者下面的是不是分叉，分叉的话显然不是格

在这里插入图片描述

子格要看子格中的元素任意两个的最小上界和最大下界（在原格中寻找）是否还在子格中，如果不在说明不是子格。

格的对偶

在这里插入图片描述

格的同态与同构

在这里插入图片描述

格的性质

在这里插入图片描述

特殊的格

分配格

在这里插入图片描述

注意是充要条件，而且是子格

（1）因为小于五个元素一定不包含钻石格或五角格
（2）链显然也不可能包含钻石格或五角格

在这里插入图片描述

有界格有补格

在这里插入图片描述

有补格
在这里插入图片描述

有界分配格——有补元的话补元唯一，但不能保证每个元素都有补元
有补格——保证每个元素都有补元，但补元不一定唯一，且有补格必须是有界格（这么理解，不是有界就没有0和1了）
有补分配格=布尔格——不仅每个元素都有补元，而且补元唯一

有补分配格（布尔格）

在这里插入图片描述

布尔代数

在这里插入图片描述

证明是布尔代数—— 首先画哈斯图证明是格，其次证明为有补格和分配格

布尔代数的性质

在这里插入图片描述

有限布尔代数
在这里插入图片描述
即跟a有偏序关系的取下确界是a，没有关系的取下确界就是0

在这里插入图片描述

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。