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