练习放在文末
正规子群
判定定理
商群
群的同态、同构
性质
分类
例子
环
从环开始,后面的浅看一下就好了,知道定义即可
Abel群——交换群
域
同态核
准确地说——应该是f(x)=e2(G2上的单位元)
格
格这里只要知道格的定义就差不多了,后面的很多不用看(直到布尔代数)
实例
基本上在这个偏序集中,任何二元子集都可比的话,就可以构成格
之前的说法不太对,仍然是从定义出发,如果任意2元集都有最大下界,最小上界就构成格
代数定义
特殊格
不满足分配律的格
模格
满足结合律
分配格
关系
有界格
补元
有补格
布尔代数
这里看看定义
练习
4题
按照定义来做(思路简单明了)——对于第一个运算符证明交换,第二个证明结合,再证明第二个对第一个有分配律(注意是左右分配律)
难度不大
7题
1题
注意看一下:(4)是格;(7)错在没有最大下界
10题
如果有钻石格的结构就是模格(逆不为真),并且不是分配格;如果有五角格就既不是模格也不是分配格(看看答案的解释,就对子格是否是五角格或钻石格有了概念)