例:循环群的每个子群一定是循环群证明:设H是循环群G.ppt_第1页
例:循环群的每个子群一定是循环群证明:设H是循环群G.ppt_第2页
例:循环群的每个子群一定是循环群证明:设H是循环群G.ppt_第3页
例:循环群的每个子群一定是循环群证明:设H是循环群G.ppt_第4页
例:循环群的每个子群一定是循环群证明:设H是循环群G.ppt_第5页
已阅读5页,还剩5页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、例:循环群的每个子群一定是循环群。 证明:设H是循环群G的子群,a是G的生成元。 1.aH 2.aH,因H中每个元素都可以表示成a的幂次形式。 设ak是H中幂次最小的正整数。 对任意的al H,l=mk+r(0rk-1) 目标r=0,二、陪集,a,b关于模n同余当且仅当(a-b)被n整除。 定义:设H;是群G;的子群,对任意a,bG,a和b关于模H同余当且仅当ab-1H记为ab(mod H)。 定理14.15:G;为群,HG,H为G的子群, 当且仅当,对任a,bH,有ab-1H。 定理:G上的关于模H同余关系是等价关系。 证明:自反 对称 传递,a=x|xG,且xa(mod H) =x|xG,

2、且xa-1H =ha|hH 以a为代表元的等价类实质上是a从右边乘H中的每个元素而得到的集合, Ha Ha=ha|hH,称为H在G;中的右陪集。,设H;是群G;的子群,aG,则 (1)bHa当且仅当ba-1H (2)baH当且仅当a-1bH 定义14.13:设H;为群G;的子群, 取G中一个固定元素g,用g与H中的每个元素进行乘法运算, 将其结果组成一个集合, 记为gH,即:gH=gh|hH称它为H的左陪集,同理定义Hg=hg|hH为H的右陪集。,例:E;+是群Z;+的子群,求它的所有右陪集。这里E表示偶数全体。 例:三次对称群S3=e,1, 2, 3, 4, 5的所有非平凡子群是: H1=e

3、, 1; H2=e, 2; H3=e, 3; H4=e, 4, 5。其中H4就是三次交代群A3。现在考察H1的陪集。,e H1=1H1=H1; 2H1=5H1=2, 5 3H1=4H1=3, 4;H1e =H11=H H12=H14=2, 4;H13=H15=3, 5 显然2H1H12, 5H1H15, 3H1H13, 4H1H14 这说明左、右陪集一般不等。,引理14.1:如果HG是子群,那么任一gG所构成的陪集|gH|=|H|, |Hg|=|H|。 分析:证明基数相等的一种方法是证明两个集合之间存在双射. 证明:定义映射:HHg, (h)=hg 利用群消去律证明是一对一的. 而满射是显然的

4、,因为对任意的hgHg, 有(h)=hg.,引理14.2:H为G的子群,g1,g2G,两个右陪集Hg1与Hg2,则: 或Hg1=Hg2,或Hg1Hg2=。 证明:利用等价类的性质. 例:设H;是群G;的子群,则 (1)若baH,则bH=aH (2)若bHa,则Hb=Ha 由等价类的概念和性质即得.,三、拉格朗日定理,定理:G是群,H是G的子群,则H在G中的左陪集数与右陪集数相等. 证明:设S和T分别为G的关于H的所有右和左陪集的集合。现在要证明的是|S|=|T|。考虑证明存在ST的双射。 定义: ST, (Ha)=a-1H。 (1) 是映射。关键是说明当Ha=Hb时, (Ha)=a-1H,(Hb)=b-1H,有 a-1H=b-1H (2) 是一对一的。对任意的Ha,Hb,若(Ha)=(Hb) 即a-1H=b-1H,是否有Ha=Hb. (3)满射,作业 P294 25,27,28 补充:设H1,H2是G的子群,证明H1H2是G的子群当且仅当H1H2=H2H1,其中H

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论