[2018年最新整理]大学课程近世代数-阿贝尔群和循环群、陪集与拉格朗日定理、同态同构学习讲义.pptVIP

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