离散数学-屈婉玲-教学课件ch10.pptVIP

第十章 群与环 主要内容 群的定义与性质 子群与群的陪集分解 循环群与置换群 环与域 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*为非零实数集合，?运算定义如