35群的自同构群.docx
《35群的自同构群.docx》由会员分享,可在线阅读,更多相关《35群的自同构群.docx(18页珍藏版)》请在三一办公上搜索。
1、35 群的自同构群8 群的自同构群 给定一个群,可以有各种方式产生新的群。比如,给定 群G的任何一个正规子群N,就可以产生一个商群GH,它就是一种新的群。本节要讲的自同构群也是一种产生新的群 的方法。 1. 自同构群的定义: 定理1 设M是一个有代数运算的集合,则M的 全体自同构关于变换的乘法作成一个群,称为M的自同构群。 证明 设s,t是M的任意两个自同构,则a,bM,有 st(ab)=st(ab)=st(a)t(b)=s(t(a)s(t(b)=st(a)st(b), 即st也是M的一个自同构。这表明,全体自同构关于变换 的乘法封闭。 又因为xM有ss(x)=ss(x)=x,故 s-1-1-
2、1(ab)=s-1-1ss-1(a)ss-1(b)=s-1s(s-1(a)s-1(b)=s-1(a)s-1(b) 即s也是M的一个自同构。群的定义的第3条成立。 另外,变换的乘法显然满足结合律,且恒等变换就是单位元, 群的定义的第1、2条也成立。所以,M的全体自同构关于变换的乘法作成一个群。 注意:前面有M的全体双射关于变换的乘法作成一个群,记为S(M),称为M的对称群。定理1表明M的自同构群是 S(M)的一个子群。 )的全体自同构关于变推论1 群G。又由于s是双射,因此s=s(a)s(b),其中 s(c)c s(a),s(b),s(c)是a,b,c的全排列。每个全排列不一定都是自同构,但根据
3、K的运算特点,可以验证这些全排列都是K的44自同构。 例如,设s(e)=e,s(a)=b,s(b)=a,s(c)=c,则可以验证它是K的自同构: s(ab)=s(c)=c=ba=s(a)s(b), 4s(ac)=s(b)=a=bc=s(a)s(c),L. 3由于a,b,c的全排列共有6 个,与S同构,因此K的全体自4同构也有6 个,AutK4 2.循环群的自同构群 S3。 定理2 无限循环群的自同构群是一个2阶循环群; n阶循环群的自同构群是一个j(n)阶的群,其中j(n) 是欧拉函数。 证明 由于在同构映射下,循环群的生成元与生成元相对应, 而生成元的对应关系完全决定了群中其它元素的对应关系
4、。 因此,一个循环求有多少个生成元就有多少个自同构。例如, 设G=是由a生成的循环群,则当k是小于n且与n互素的正整数时,a也是G的生成元,即Gsk:GGik=。此时,令 k,jjsk(a)=a) ,i+jk,则有(i+j)kiksk(a)=aiik,且jaaij时,sk(a)ska(isk(aa)=sk(ak)=a=aajk=sk(a)sk(a), i即s是G的自同构。由于无限循环群只有2个生成元,n阶循环群只有j(n)个生成元,所以其自同构群分别为2阶循环群和j(n)阶的群。 例2 求G=,|a|=4,4阶循环群的自同构群。 解 j(4)=2,两个生成元为a,a,从而AutG=e,s,其中
5、 ee=eaaaa223ea是恒等置换,s=3ea3aa3aa223aa。 求G=,|a|=5,5阶循环群的自同构群。 j(5)=4,4个生成元为a,a其中,e s 推论2 无限循环群的自同构群与3阶循环群的自同构群同 构。 证明 由定理2知,这两种群的自同构群都是2阶群,2是素e=e2,a,a34,从而AutG=e,s1,s2,s3,aaaa42e是恒等置换,s1=eaa2aa2a34aaa24a3a3, aa32a3a44ea,s3=2eaaa324a。 a数,所有2阶群都彼此同构,都与2次单位根群同构。 注意:定理2说明一件事实,即不同的循环群其自同构群可 以相同。 3. 内自同构群 定
6、理3 设G是一个群,aG,则 sa:xaxa,(xG)是G自同构; G的全体内自同构关于变换的乘法作成一个群,称为 G的内自同构群,记为Inn G; Inn GAutG。 证明 易知sa是G的一个双射变换。又 sa(xy)=a(xy)a-1-1-1-1的一个自同构,称为G的内=(axa)(aya)=sa(x)sa(y), 所以sa是G的一个自同构。 设sa与sb是G的任何两个自同构,则xG, sasb(x)=sa(sb(x)=sa(bxb)=a(bxb)a-1-1-1=(ab)x(ab)-1=sab(x), 即有sasb=sab仍是一个内自同构,此表明Inn G关于变换的乘法封闭。又易知(sa
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 35 群的自同构群 自同构
链接地址:https://www.31ppt.com/p-3059380.html