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

5.5 阿贝尔群和循环群 定理1 2）必要性 设G,*是阿贝尔群，则对任意的a,b∈G，有 a*b=b*a 因此 (a*a)*(b*b)= a*(a*b)*b = a*(b*a)*b = (a*b)*(a*b) 循环群 定理2 任何一个循环群必定是阿贝尔群。 证明 设G，*是一个循环群，生成元为a， 那么对于任意的x,y∈G， 必有r,s∈I，使得x=ar 和 y=as 且 x * y= ar * as= ar+s = as+r = as * ar =y * x 因此G,*是一个阿贝尔群。 定理3 进一步证明a，a2，a3，…，an-1，an都不相同。(反证) 假设ai=aj，其中1≤i＜j≤n，就有 aｉ= aｉ* aj-i = aｉ* e， 即aj-i 为幺元，而且1≤j-i＜n ， 这已经由上面证明是不可能的。 所以， a，a2，a3，…，an-1，an都不相同， 因此 G={a，a2，a3，…，an-1，an=e　} 5.7 陪集