近世代数第12讲.doc

该【近世代数第12讲 】是由【泰山小桥流水】上传分享，文档一共【13】页，该文档可以免费在线阅读，需要了解更多关于【近世代数第12讲 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。H的联系要分第12讲9子群的陪集(Cosetofsubgroup)本讲的教课目的和要求:在第一章中,我们曾介绍了会集的分类与会集上的等价关系——他们是相互兼容的两个代数看法。在群中引人一种特别等价关系,由此对该群进行分类——群的陪集分解。从而引出拉格朗日(Lagrange)定理,获得了“每个子集(元素)的阶都是有限母群阶的因子”这一重要结论。在本讲的学****中要求1、陪集的形成以及它们与母群的关系与子群辩清楚。2、陪集和陪集的代表元所形成的系列性质,要能掌握。3、群的陪集分解中对左右侧旁的要乞降注意事项需要认识。4、Lagrange定理和推论自己的掌握以及有关理论应用需要掌握。本讲的要点和难点:本节的内容中要点是对陪集看法的认识和lagrange定理的应用,而难点在于学会并掌握有关陪集理论的等式命题证明。一、陪集的引入引例1对整数加群Z,而言,取定模4,则可确立Z的一个分类:Z40,1,2,3。此中Z中的4个节余类分别为:,8,4,0,4,8,,7,3,1,5,9,2,6,2,2,6,10,5,1,3,7,11,现利用群的看法,解析上述事实,可获得以下启示:(1)在Z4中节余类0,8,4,0,4,8,4Z4nnZ是整数加群Z,,2,3都不是Z,,1就是用代表元1与0中每个元素相加所成的节余类,,Z4中的每个节余类i都是由0中每个元素广泛加上i(或加上i中任取定的一个元素),1,2,,12,13,23,123132的一个分类H,K,:H1,12,K13,123,M23,132。同上例相同可以发现:(1)分类中只有H是S3的子群,而K,M都不是S3的子群。K正是由(13)右乘H中每个元素而形成的类:11313,1213123(也许说是由(123)右乘H中每个元素而形成的类).同理,M是由(23)(或(132)),中每个类,,固然一个是加群,另一个是乘群,但它们的分类都有一个共同的特色:①分类中存在一个特别的类是子群,(乘).(在下边的谈论中,都是在乘群上睁开的).定义1.(会集的积)设X和Y是群G的二个非空子集,于是X与Y的积记为XYxyxZ,yY特别地,假如y是一个单元集,而设12,那么X与Y的积为XYXyx1y,x2y,.此时我们记XY为Xy,并称Xy为元素y右乘X定义2.(子群的陪集)设G为任意的群,HaG,,那么形如Ha的子集,叫做子群H的一个右陪集,,,子群H的陪集正是H与元素a相乘的积,当a从右方去乘H时,.(下边只对右陪集睁开谈论).,自然有HH1,KH13H123,1若HG,又设aG,那么“HaaH”成立吗?为何?答:因为G不必定是变换群比方,在引例2中,123H,所以Ha123,23aH未必成立,而.H123123,13,123HH123.二、?在什么条件下才会发生呢?,令He,h1,h2,h3,,若取a,bG,那么有陪集Haa,h1a,h2a,h3a,Hbb,h1b,h2b,h3b,.假如“HaHb”,那么代表着二个会集相等而千万不可以记为“hiahib”,i1,2,3,,M都是群G的非空子集(不必定是子群)假如NM,,则取任意aG,,a,bG,于是有(1)(2)aHbHaHbabbHaHaHbba11:(只需证明(1),因为(2可同理证得))(ⅰ)aHbHaHbaHb,由陪集的含义可知,必存在hH使ahb,,HaHb.(ⅱ),当任取haHaHb时h'H使hah'b,经调整得,ab1h1h'H,即ab1H.(ⅲ)ab1HaHbab1H,则存在hH使ab1h,(ⅰ)(ⅱ)和(ⅲ)知(1):,每个陪会集任一个元素都可以“担当”该陪集的代表元,从而知,,设a,bG,,只有二种关系:(3)证明:(1)HGeH而eaaaeaHa,即aHa.(2)假如HaHb,xHaHb,由定理1HaHx,HxHb,HaHb.(3)每个陪集Ha都是G的子集这些陪集的并也是G的子集,,gG由(1),即HgHa,,:设HS3,此中H1,12,用S3中所有b个元素做代表元,则变得b个陪集:H11,12,H1212,,123H2323,,13,H132132,,从上所有陪会集看到:,上列中任二个陪集要么相等,,:Ha仿佛表示所有陪集的并,可是由会集论的知识知道,aG只需取那些不重复的陪集作并即可,比方,S3中所有的右陪集共6有个,可是不重复的只有3个,故SHH13H23。,“ab1H”的真切含义是“a与b同在一个陪集之中”,那么将“同在一个陪集”看作是群的一个关系,这个关系有何性质?定理3设HG,在G中定义关系“~”:a,bG,a~bab1H那么“~”必是个等价关系。证明:(1)aG.aa1eHa~a(2)若a~bab1H,由明示4ba1H,b~a.(3)若a~b且a~c,则有ab1H且bc1ab1bc1ac1H,即a~(1),(2),(3)知关系“~”§10知,会集中的每个等价关系都可确立一个分类,所以,上述群G的等价关系“~”决定了G的一个分类:,而HG,由a~:①分解式中必含有子群H(即以单位元为代表的陪集)而其余的陪集都不是S3的子群.②陪集分解式中出现的陪集相互都不订交.③分解式中每个陪集的代表元都可以合适替代.④分解式中陪集的“边旁”要一致(要么都是右陪集,要么都是左陪集)明示6在三次对称群的陪集分解式S3HH13H132中,易发现,:群的陪集分解式一旦遇到边旁过渡时(即以右(左)陪集过渡到左(右)陪集)陪集的代表元可能要重新考虑,一般地,假如GHHa1Ha2Ha3Ham是群G的陪集分解,那么GHa1Ha2Ha3HamH未必会是群的陪集分解.(即等号未必能成立).在这个问题上,可以从N·Jacobson著《BasicAlgebra》、右陪集第与左陪集的对应关系设HG,若H的所有不重复的右陪集做成的会集用SR表示近似地用SL表示H的所有不重复的左陪集做成的会集。那么前面说到的有关右陪集的性质都能绝不困难地移到左陪会集去。*:S3H23H132H**.由(*)和()启示我们:,而SR和SL如上所示,:设SRHaaG,:SRSL,此中Haa1H.(ⅰ)(必是映照)Ha,HbSR,假如HaHbab1H,利用明示4的对称性得b1a1H,故有a1Hb1H,即HaHb,这说明是个映照.(ⅱ)(必是满射)cHSL,则存在Hc1R使Hc1c11cH是满H射.(ⅲ)(是单射)设Haa1H,Hbb1H,.假如a1Hb1Hab1HH,即HaHb(由明示4)(ⅰ)(ⅱ)和(ⅲ)知,,那么H的右(左)陪集的个数叫做H在G中的拾数,记为G:,:H4在引例2中,令H1,12,S3:,当G,H8时,则G:,G:①在定理4的证明中,若HaaH设时,能完成定理的证明吗?②若G是无穷的,而子群H是有限的,G:H会是如何?五、Lagrange定理引理设HG,:设:HHa,.(ⅰ)hH,作为h在下的象ha是独一确立的,是映射.(ⅱ)haHa.,则明显ha有原象h,是满射.(ⅲ)设h1h1a,h2h2a,假如h1ah2a,则必有(群的消去