离散数学---群环域傅鸟.pptVIP

1 第十章 群与环 主要内容 群的定义与性质 子群与群的陪集分解 循环群与置换群 环与域 格 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2 半群、独异点与群的定义 定义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. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3 实例 例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 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4 例2 设G={ e, a, b, c }，G上的运算由下表给出，称为Klein 四元群      e a b c e a b c e a b c a e c b b c e a c b a e 实例 特征： 1. 满足交换律 2. 每个元素都是自己的逆元 3. a, b, c中任何两个元素运算结 果都等于剩下的第三个元素 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5 有关群的术语 定义10.2 (1) 若群G是有穷集，则称G是有限群，否则称为无 限群. 群G 的基数称为群 G 的阶，有限群G的阶记作|G|. (2) 只含单位元的群称为平凡群.  (3) 若群G中的二元运算是可交换的，则称G为交换群或阿贝 尔 (Abel) 群. 实例： Z,+和R,+是无限群，Zn,是有限群，也是 n 阶群. Klein四元群是4阶群. {0},+是平凡群. 上述群都是交换群，n阶(n≥2)实可逆矩阵集合关于矩阵乘法 构成的群是非交换群. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6 10.2 子群与群的陪集分解 定义10.5 设G是群，H是G的非空子集， (1) 如果H关于G中的运算构成群，则称H是G的子群, 记作H≤G. (2) 若H是G的子群，且HG，则称H是G的真子群，记作HG. 例如 nZ (n是自然数) 是整数加群Z,+ 的子群. 当n≠1时, nZ是Z的真子群. 对任何群G都存在子群. G和{e}都是G的子群，称为G的平凡 子群.  Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 7 10.4 环与域 定义10.12 设R,+,·是代数系统，+和·是二元运算. 如果满足 以下条