离散数学 群和环.ppt

第十章 群与环 主要内容: 群的定义与性质 子群与群的陪集分解 循环群与置换群 环与域 10.1 群的定义与性质 半群、独异点与群的定义 半群、独异点、群的实例 群中的术语 群的基本性质 半群、独异点与群的定义 定义10.1 (1) 设V=S, ° 是代数系统，°为二元运算，如果 °运算是可结合的，则称V为半群. (2) 设V=S,°是半群，若e∈S是关于°运算的单位 元，则称V是含幺半群，也叫做独异点. 有时也将独 异点V 记作V=S,°,e. (3) 设V=S,°是独异点，e?S关于°运算的单位元， 若?a?S，a?1?S，则称V是群. 通常将群记作G. 例1 (1) Z+,+,N,+,Z,+,Q,+,R,+都是半群，+是普通加法. 这些半群中除Z+,+外都是独异点. (2) 设n是大于1的正整数，Mn(R),+和Mn(R),·都是半群，也都是独异点，其中+和·分别表示矩阵加法和矩阵乘法. (3) P(B),?为半群，也是独异点，其中?为集合对称差运算. (4) Zn, ?为半群，也是独异点，其中Zn={0,1,…,n?1}，?为模n加法. (5) AA,?为半群，也是独异点，其中?为函数的复合运算. (6) R*,?为半群，其中R*为非零实数集合，?运算定义如下：?x, y?R*, x?y=y. 有关群的术语 定义10.2 (1) 若群G是有穷集，则称G是