原群:满足封闭性
半群:封闭性+结合性
幺半群:封闭性+结合性+单位元
eg:
幂集 P(S)的的例子如下
群中元素的逆元唯一
三阶群只有一个
四阶群只有两个
Klein四元群
四阶群皆为交换群
群有以下性质
又穷半群满足消去律可以推出是群
消去律保证的是解的唯一性
子群的定义
平凡子群包括单位元e以及群自身
子群判定定理
逆元直接保证了单位元的存在,逆元的运算又保证了运算的封闭性。结合性显然
有限子群判定定理
只需保证封闭性即可,有限群的性质会自动生成逆元
群中元素的阶的定义
7为质数,故每个元素的阶数都是群的阶数
6为非质数,元素的阶数巧妙的都为群的阶数的因数
这个性质的观察为循环群的性质奠基
阶数的性质
解:设元素a的阶数大于2,则a*a不等于e,则a不等于a逆,说明a和a逆是成对出现的
故元素只能为偶数个。
子群有一个重要的应用,可以划分一个群,下面定义陪集
陪集有左陪集和右陪集
陪集有如下性质
注意到,右陪集关系可以作为一个等价关系,满足自反性,对称性和传递性
故以右陪集关系可以做一组划分。
一个元素a属于一个右陪集,说明a符合右陪集关系,且a的右陪集就恰好等于b的右陪集
有以下五条等价关系
由消去律易得,陪集Ha与原子群H等势
每个陪集都相等,故可以对群G进行一个划分
推论1容易直观得出
推论2:由于p为素数,故群中元素的只能为1和p,为p阶的元素则可以生成p个元素,它的生成群必然是G。
ex:群中只有一阶元和二阶元,则一定为阿贝尔群。
ex:六阶群一定有三阶元。