离散数学课件：5-4 阿贝尔群和循环群.ppt

循环群的性质 循环群的性质 * * 四、阿贝尔群和循环群 (一)阿贝尔群 阿贝尔群：若群G, *中的二元运算*是可交换的，则称该群为阿贝尔群(Abelian group), 也叫交换群(commutative group). 在阿贝尔群中，符号‘*’可用‘+’代替，a-1可写为-a, 幺元e可写为0. 例5.4.1判断以下代数系统是否是阿贝尔群. (1) R, + √ (3)Sn, ?, 其中Sn={An| |An|? 0}, n?Z+, ”?”表示矩阵乘法. √ (4)P, ? , 其中P是集合A到A的双射函数集合, ”?”表示函数的复合运算. (2)R/{0}, ? × × 四、阿贝尔群和循环群 例5.4.2证明1, 2, 3, 4阶群都是交换群. 群G, *的运算表中的每一行（列）都是G中元素的一个置换，因此很容易得出1,2,3,4阶群的运算表. 不论其元素是什么，只要它们构成群，其运算表的形式是固定不变的. 证： 2 2 3 1 3 1 * 1 1 * 2 2 1 1 * 1 2 1 2 1 2 1 3 2 1 3 3 2 1 四、阿贝尔群和循环群 3 3 2 2 4 1 4 1 * 四阶群{1,2,3,4}, *的运算表有四种形式： 由运算表可知，1,2,3,4阶群都是交换群. 1 2 3 4 2 3 4 1 4 3 4 1 2 2 3 1 3 3 2 2 4 1 4 1 * 1 2 3 4 2 3 4 1 4 3 4 2 1 1 3 2 3 3 2 2 4 1 4 1 * 1 2 3 4 2 3 4 3 4 1 4 1 2 2 1 3 3 3 2 2 4 1 4 1 * 1 2 3 4 2 3 4 4 1 3 1 4 2 2 3 1 四、阿贝尔群和循环群 定理 设G, *是一个群，则G, *是阿贝尔群的充要条件是:?a, b?G, 有(a*b)*(a*b)=(a*a)*(b*b). 证： 因为?a, b?G, 有(a*b)*(a*b)=(a*a)*(b*b),所以， 充分性. a-1*(a*b)*(a*b)*b-1=a-1*(a*a)*(b*b)*b-1, (a-1*a)*(b*a)*(b*b-1)=(a-1*a)*(a*b)*(b*b-1), b*a=a*b, 所以G, *是阿贝尔群. 因为群G, *是阿贝尔群，所以， ?a, b?G, 有 必要性. a*b=b*a, a*(a*b)*b=a*(b*a)*b, (a*a)*(b*b)=(a*b)*(a*b). 四、阿贝尔群和循环群 (二)循环群 循环群：设G,*是一个群,若存在a?G, 使得 ?g?G, ?k?Z(Z为整数集),使g=ak,则称G,* 是一个循环群(cyclic group), a是G,*的生成元，也可称G,*是由a生成的循环群. 四、阿贝尔群和循环群 例5.4.3判断以下代数系统是否是循环群. (3) S, +, 其中S={5i|i?Z}. (1)S, ?, 其中 S={e2k?i/n=cos(2k?/n)+isin(2k?/n)| k=0, 1, 2, …, n-1}, ”?”表示普通乘法. (2)Z, +. 生成元是e2?i/n. 生成元是1, -1. 答：是循环群， 答：是循环群. 生成元是5, -5. 答：是循环群. 四、阿贝尔群和循环群 (4)整数集合Z按同余关系R={a, b|a?b(modk)}, 划分为k个等价类（模k的剩余类）： [0]={…, -2k, -k, 0, k, 2k, …}; [1]={…, -2k+1, -k+1, 0, k+1, 2k+1, …}; …… [k-1]={…, -k-1, -1, k-1, 2k-1, 3k-1, …}. 令Nk= {[0],[1], [2],?,[k-1]},规定“加法”运算： [a]+k[b]=[a+b] 则Nk, +k是一个群（模k的剩余类加群）. 答： 例5.4.3判断以下代数系统是否是循环群. Nk,+k是循环群,其中[1]是生成元,与k互质的任一数所在的等价类也是生成元. (1)(4)是有限循环群，(2)(3)是无限循环群. 四、阿贝尔群和循环群 例5.4.4 设G刚好包含x3=1的三个根： (i)运算封闭. 1, 解： 问对于普通乘法来说，G构成一个群吗？是循环群吗？ (1)G, ?是一个群： 注意，其中 (ii)满足结合律. (iii)幺元是1. (iv)逆元存在： ?1与?2互逆；幺元1的逆元是自己. (2)G, ?是循环群： ?1与?2都是生成元. 四、阿贝尔群和循环群 例5.4.5设G={?, ?, ?, ?}, 定义G上二元运算*如下表所示，证明G,*是循环群. ? ? ? ? ? ? ?