阿贝尔群与循环群.pptVIP

5-5阿贝尔群和循环群 、阿贝尔群(Abel群) 定义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,构造复合函数 f(x=fof(x=f(f(x)) f(x)=fof(x)=f(f(x)) f(x)=for(x=f(R(x)) 如果用表示S上的恒等映射,即f(x)=xx∈S 很明显地有P(x)=f(x),记F=f,构造集合 F={f,,P2,P},那么F,0是一个阿贝尔群。  解对于F中任意两个函数的复合,可以由表551给出 f 2 f2m 22m 下門2 可见,复合运算o关于F是封闭的,并且是可结合的。 f的逆元就是它本身,f和f3互为逆元,P的逆元也 是它本身。 由表5-51的对称性,可知复合运算o是可交换的。 因此F,o是一个阿贝尔群  再看5-4节例题1 E={0°00°,120°,180°,20°,:00°}表示在平面上几何图形绕 形心顺时针计旋转角度的六种可能情况,设★是上的二元运算,对于B中 饪意两个元紊a阳ba★b夜示平面图形亞续旋转a和b得到的息旋转角建 并规定旋转30·等于原←的状态,就雹作投有经过旋製 R上二元运算★的运算丧如丧54.1所示。 1212924 2p30 ,20·180·240· 已经验证了R,★是群 由运算表的对称性知运算★是可交换的,因此 ★是阿贝尔群。  练习200页(1) 设G,是一个独异点,并且对于G中的每一个x 都有x*x=e,其中e是幺元,证明G,*是一个阿贝尔 群。 证明 x*x=e说明G中的每一个元素x都是自身的逆元, 所以G,*是一个群。 任取x,y∈G,则x*y∈G 因为xy=(x*y)+=y1*x1=y*x 所以G,*是一个阿贝尔群。 此题的推论:若群中每个元素的逆元都是它自己, 则该群必是可交换群。