5-5 阿贝尔群.pptVIP

离散数学ⅡDiscrete Mathematics Ⅱ 信息科学与技术学院网络工程系 赵永斌 zhaoyb@stdu.edu.cn 5-5 阿贝尔群和循环群 学习本节要熟悉如下术语（4个）： 阿贝尔群、循环群、生成元、阶 要求： 掌握3个定理 一、阿贝尔群（ Abel 群） 1、定义 5-5.1 设 G,?为一群,若 ? 运算满足交换律,则称G为交换群或阿贝尔群(Abel group)。阿贝尔群又称加群，常表示为G，+ （这里的 + 不是数加，而泛指可交换二元运算）。加群的幺元常用0来表示， 元素x的逆元常用-x来表示。 例题1 设S={a,b,c,d}，在S上定义一个双射函数 f: f(a)=b,f(b)=c,f(c)=d,f(d)=a, 对于任一x?S，构造复合函数 f2(x)=f o f(x)=f(f(x)) f3(x)=f o f2(x)=f(f2(x)) f4(x)=f o f3(x)=f(f3(x)) 如果用f0表示S上的恒等映射，即f0(x)=x x?S 很明显地有f4(x)=f0(x)，记f1=f，构造集合F={f0 ,f1 ,f2, f3 } ，那么F，o是一个阿贝尔群。 解 对于F中任意两个函数的复合，可以由下表给出 o f0 f1 f2 f3 f0 f1 f2 f3 f0 f1 f2 f3 f1 f2 f3 f0 f2 f3 f0 f1 f3 f0 f1 f2 可见，复合运算o关于F是封闭的，并且是可结合的。 由表的对称性，可知复合运算o是可交换的。因此F，o是一个阿贝尔群。 f0的逆元就是它本身， f1和f3互为逆元， f2的逆元也是它本身。 再看5-4节P191例题1 已经验证了R，★是群。 由运算表的对称性知运算★是可交换的，因此R，★是阿贝尔群。 ★ 0° 60° 120° 180° 240° 300° 0° 60° 120° 180° 240° 300° 0° 60° 120° 180° 240° 300° 60° 120° 180° 240° 300° 0° 120° 180° 240° 300° 0° 60° 180° 240° 300° 0° 60° 120° 240° 300° 0° 60° 120° 180° 300° 0° 60° 120° 180° 240° 练习 P200（1） 设G，*是一个独异点，并且对于G中的每一个x都有x*x=e，其中e是幺元，证明G，*是一个阿贝尔群。 证明 x*x=e说明G中的每一个元素x都是自身的逆元，所以G，*是一个群。 任取x，y∈G，则x*y∈G 因为x*y=（x*y）-1=y-1*x-1=y*x 所以G，*是一个阿贝尔群。 此题的推论：若群中每个元素的逆元都是它自己，则该群必是可交换群。 例题2 设G为所有n阶非奇（满秩）矩阵的集合，矩阵乘法运算ο作为定义在集合G上的二元运算，则G, ο是一个不可交换群。 解 任意两个n阶非奇矩阵相乘后，仍是一个非奇矩阵，所以运算ο是封闭的。 矩阵乘法运算ο是可结合的。 N阶单位阵E是G中的幺元。 任意一个非奇矩阵A存在唯一的逆阵A-1，使 A-1οA=AοA-1=E。 但矩阵乘法运算ο是不可交换的，因此G, ο是一个不可交换群。 2、定理 5-5.1 设 G,?为一群, G,?是阿贝尔群的充要条件是对任意的a,b?G，有 （a?b）?（a?b）=（a?a）?（b?b） ? 证明: 1）先证充分性 从条件“（a?b）?（a?b）=（a?a）?（b?b）”出发，推出“G,?是阿贝尔群”的结论： 对于元素a,b?G，有(a?b)?(a?b)=(a?a)?(b?b) 因为 右端=a?(a?b)?b=(a?a)?(b?b)=(a?b)?(a?b) =a?(b?a)?b 即 a?(a?b)?b=a?(b?a)?b 由可约性得，用