三、阿贝尔群和循环群、陪集与拉格朗日定理、同态同构.ppt

1、5.5 阿贝尔群和循环群,一. 阿贝尔群,定义 如果群中的运算*是可交换的，则称该群为 阿贝尔群，或称交换群。,例 设是有限的可交换独异点，且对任意的a,b,cS，等式 a*b=a*c 蕴含着 b = c，证明是阿贝尔群。,分析 只要证明S中的每个元素都存在逆元，那么就是阿贝尔群。,设任意的bS 存在正整数i，j，使得bi = bj （ ij） 即： bi * e= bi * bji由题意知bji就是幺元，则b的逆元 为,定理1,设是一个群，是阿贝尔群的充要条件是 对任意的a,bG，有(a*b)*(a*b)=(a*a)*(b*b)。,证明 1）充分性 设对任意的a,bG，有(a*b)*(a*b

2、)=(a*a)*(b*b) 因为 a*(a*b)*b= (a*a)*(b*b) = (a*b)*(a*b) = a*(b*a)*b 所以 a-1 *(a *(a * b) * b) * b-1= 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 * b = b * a，因此是阿贝尔群。,2）必要性,设是阿贝尔群，则对任意的a,bG，有 a*b=b*a 因此 (a*a)*(b*b)= a*(a*b)*b = a*(b*a)*b = (a*b)*(a*b),循

3、环群,定义 设是群，若在G中存在一个元素a，使得G中的 任意元素都由a的幂组成，则称该群为循环群，元素a 称为循环群的生成元。,a*a=b a*a*a=e,b*b=a b*b*b=e,定理2 任何一个循环群必定是阿贝尔群。,证明 设是一个循环群，生成元为a， 那么对于任意的x,yG， 必有r,sI，使得x=ar 和 y=as 且 x * y= ar * as= ar+s = as+r = as * ar =y * x 因此是一个阿贝尔群。,定理3,设是一个由元素aG生成的有限循环群。如果G 的阶数是n，即|G|=n，则an=e，且 G=a，a2，a3，an-1，an=e， 其中e是中的幺元，n

4、是使an=e的最小正整数。,证明 假设对于某个正整数m，m是一个循环群，所以G中的任何元素都能写为ak (kI)，设k=mq+r，其中，q是某个整数，0rm。 这就有 ak= amq+r= (am)q * ar= ar 这就导致G中的每一个元素都可以表示成ar (0rm )， 这样，G中最多有m个不同的元素，与|G|=n矛盾。 所以 am=e (mn)是不可能的。,称为元素的阶,进一步证明a，a2，a3，an-1，an都不相同。(反证),假设ai=aj，其中1ijn，就有 a= a* aj-i = a* e， 即aj-i 为幺元，而且1j-in ， 这已经由上面证明是不可能的。 所以， a，a

5、2，a3，an-1，an都不相同， 因此 G=a，a2，a3，an-1，an=e,作业P200 (1)(5),5.7 陪集与拉格朗日定理,一. A、B的积，A的逆,定义 设是一个群，A,BP(G)且A ，B ， 记 AB = a*b| a A, bB 和 A-1 = a-1| aA 分别称为A,B的积和A的逆。,二. 陪集,定义 设是群 的一个子群，aG，则集合 aH( Ha )称为由a所确定的H在G中的左陪集（右 陪集），简称为H关于a的左陪集（右陪集），记为 aH(Ha)。元素a称为陪集aH(Ha)的代表元素。,拉格朗日定理,设是群 的一个子群，那么 R=|aG,bG且a-1 *bH是G中

6、的一个等价关系。 对于aG，若记 aR=x | xG且R 则 aR = aH 2) 如果G是有限集，|G|=n，|H|=m，则m|n.（即整除）,证明 1) ：对于任一aG，必有a-1 G，使a-1 * a =e H，所以 R，即是自反的。 II：对于任意a,G，若 R ，则a-1 * bH ， 因为H是G的子群，故(a-1 * b)-1 = b-1 * aH， 所以 R，即是对称的。 III：对于任意a,cG，若 R ， R ， 则a-1 * b H ，b-1 * c H ， 所以a-1 * b * b-1 * c = a-1 * c H， 故 R，即是传递的。,对于aG ，我们有：b aR

7、 R a-1 * b H baH。因此 aR = aH,2)由于R是G中的一个等价关系，所以必定将G划分成不 同的等价类a1R ，a2R ， ，akR ，使得,又因为，H中任意两个不同的元素h1，h2，必有 a* h1a* h2(aG) ，所以|aiH|=|H|=m，i=1,2,k。 因此 n=|G|= = =mk,推论1,任何质数阶的群不可能有非平凡子群。,推论2 设是n阶有限群，那末对于任意的aG，a的 阶必是n的因子且必有an=e，这里e是群中的 幺元。如果n为质数，则必是循环群。,证明见书210,例：见书210 例题,作业P211 ()(),5.8 同态与同构,1 同态映射 同态象 定

8、义设和是两个代数系统， 和*分别是和上的二元(n元)运算，设是从到的映射，使得对任意a，a2A， 有(aa2)=(a) *(a2) 则称为由到的一个同态映射，称同态于，记作。 把称为的一个同态象。其中 () ()，A ,例1、A=I, B=-1, 0,1, f是A到B的映射，f(x)=sign(x)， 则sign是从到的一个同态映射,例2、,和,x,y ,则是从到 的一个同态映射,例3、到上定义 则是从到上的同态映射。,上例1，例2都是满同态，例3是同构,例4，和两个代数系统，f(x)=ax, f:到的一个同态映射 1) aI,f(I) I,因此f是到的同态映射，自同态 2) a=1,-1, f(I)=I,因此f是到的同构映射，自同构 3) aI,a 0,f是到单一同态。,定理1：f是从代数系统到的同态映射，若是群，也是群。,证明：1）f(A) B, f是从到的同态映射。 2）封闭， b1,b2f(A), b1 * b2 f(A) 3）可结合 4）f(e)是的幺元 5）中每个元素有逆元,定理2：G是代数系统的集合，则G中代数系统中的同构关系是等价关系。 证明见书216,3 同余关系 同余类,定义 是代数系统，R是A上的一个等价关系， 1）如果当R,R,就有R, 则称R是A上关于*的同余关系。 2）由这个同余