近世代数课件--2.10不变子群商群.ppt_第1页
近世代数课件--2.10不变子群商群.ppt_第2页
近世代数课件--2.10不变子群商群.ppt_第3页
近世代数课件--2.10不变子群商群.ppt_第4页
近世代数课件--2.10不变子群商群.ppt_第5页
已阅读5页,还剩12页未读 继续免费阅读

下载本文档

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

文档简介

10.不变子群、商群,10.1 定义 10.2 例子 10.3 等价条件 10.4 商群,10.1 定义,这一节里要讲到一种重要的子群,就是不变子群,给了一个群 ,一个子群 ,那么 的一个右陪集 未必等于 的左陪集 ,这一点我们在上一节的例里已经看到,定义 一个群 的一个子群 叫做一个不变子群,假如对于 的每一个元 来说,都有,10.2 例子,例 一个任意群 的子群 和 总是不变子群,因为对于任意 的元 来说,,证明:,. 的每一个元 可以同 的每一个元 交换,所以 ,即 是不变子群,这个不变子群 叫做 的中心,10.3 等价条件,由于结合律成立, , , 的乘积用符号 来表示,证明 证完,注5. 可以换成 ?,证明 这个条件的必要性是显然的,是定理的直接结果我们证明它也是充分的,小结:,注意: 不变子群不具有传递性.,10.4 商群,不变子群所以重要,是因为这种子群的陪集,对于某种与原来的群有密切关系的代数运算来说,也作成一个群,我们看一个群 的一个不变子群 的所有陪集作成一个集合,定理 一个不变子群的陪集对于上边规定的乘法来说作成一个群,证明 我们证明群定义的条件, 能被满足,显然, 是单位元,因为, 有逆元 ,因为,证完,定义 一个群 的一个不变子群 的陪集所作成的群叫做一个商群这个群我们用符号 来表示,因为 的指数就是 的陪集的个数,我们显然有,商群 的元的个数等于 的指数当 是有限群的时候,,从商群的角度重新认识剩余类加群,第一,回忆

温馨提示

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

评论

0/150

提交评论