三、阿贝尔群和循环群、陪集与拉格朗日定理、同态同构汇.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 陪集与拉格朗日定理 拉格朗日定理 对于a∈G ，我们有：b∈ [a]R 　　　　　　　? a,b∈R 　　　　 ? a-1 * b ∈H  ? b∈aH。因此 [a]R = aH 2)由于R是G中的一个等价关系，所以必定将G划分成不 同的等价类[a1]R ，[a2]R ，… ，[ak]R ，使得 推论1 5.8 同态与同构 1 同态映射 同态象 定义　设A，★和Ｂ，* 是两个代数系统， ★和*分别是Ａ和Ｂ上的二元(n元)运算，设ｆ是从Ａ到Ｂ的映射，使得对任意a１，a2∈A， 有ｆ(a１★a2)=ｆ(a１) *ｆ(a2) 则称ｆ为由A，★到Ｂ，* 的一个同态映射，称A，★同态于Ｂ，* ，记作Ａ～Ｂ。 把ｆ(Ａ) ，*称为A，★的一个同态象。其中 　　ｆ(Ａ) ＝｛ｘ｜ｘ＝ｆ(ａ)，ａ∈A ｝?Ｂ 定理1：f是从代数系统A,#到B, * 的同态映射，若A,#是群， f(A), * 也是群。 * 一. 阿贝尔群 定义 如果群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的逆元 为…… Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 设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= 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，因此G,*是阿贝尔群。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2