清华离散数学(第2版)：14.3.1-2.pptVIP

14.3 几个典型的代数系统 14.3.1 半群与独异点 14.3.2 群 14.3.3 环与域 14.3.4 格与布尔代数 半群与独异点 半群与独异点的定义与实例 半群与独异点的幂运算 半群与独异点的子代数和积代数 半群与独异点的同态 半群与独异点的定义 实例 半群与独异点的幂运算 半群与独异点的子代数 实例 半群与独异点的同态 实例 群 群的定义与实例 群中的术语 群的性质 子群的定义及判别 群的同态与同构 循环群 置换群 群的定义与实例 定义14.14 设G,° 是代数系统，° 为二元运算. 如果 ° 运算 是可结合的，存在单位元 e∈G，并且对 G 中的任何元素 x 都有x?1∈G，则称 G 为 群. 实例 (1) Z,+,Q,+,R,+都是群；Z+,+和N,+不是群. (2) Mn(R),+是群，而Mn(R),·不是群. (3) P(B),?是群，?为对称差运算. (4) Zn,?，也是群. Zn={ 0,1, …, n?1}，?为模 n 加. Klein四元群 设 G = { e, a, b, c }，G上的运算由下表给出， 称为 Klein四元群 群中的术语 群中的术语(续) 群中的术语(续) 定义14.17 设G是群，x∈G，使得等式 xk = e 成立的最小 正整数 k 称为 x 的阶（或周期），记作 |x| = k，称 x为 k 阶元