




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第9节子群的陪集与商群主要内容:子群的陪集Lagrange定理正规子群商群1陪集定义1
设H是G的子群,a∈G.令
aH={ah|h∈H}称aH是子群H在G中的左陪集.称a为aH的代表元素.
令Ha={ha|h∈H},称Ha是子群H在G中的右陪集.称a为Ha的代表元素.
2陪集例1
设G={e,a,b,c}是Klein四元群,H=(a)={e,a}是G的子群.H所有的左陪集是:
eH={e,a}=H,
aH={a,e}=H,
bH={b,c},
cH={c,b}不同的左陪集只有两个,即H和{b,c}.eabceabc
eabcaecbbceacbae3陪集的基本性质性质1
设H是群G的子群,则(1)He=H;(2)a∈G
有a∈Ha.性质2
设H是群G的子群,则a,b∈G有
a∈bH
b∈aH
a1b∈H
aH=bH.性质3
设H是群G的子群,在G上定义二元关系R:a,b∈G,(a,b)∈R
a1
b∈H则R是G上的等价关系,且[a]R
=aH.4性质4设H是群G的子群,则(1)a∈G,aH≠;(2)a,b∈G,aH
=bH
或aH∩bH
=;(3)∪aH
=G.性质5
设H是群G的子群,则
a,b∈G,|H|=|aH|=|bH|.性质6
设H是群G的子群,则H的所有左陪集构成的集族是G的一个划分.性质7
设H是群G的子群,令Sl为H的所有左陪集构成的集族,Sr为H的所有右陪集构成的集族,则|Sl|=|Sr|.陪集的基本性质5Lagrange定理定理1
(Lagrange)设G是有限群,H是G的子群,则|G|=|H|·[G:H]其中[G:H]是H在G中的不同左陪集(或右陪集)数,称为H在G中的指数.证设[G:H]=r,a1,a2,…,ar分别是H的r个右陪集的代表元素,G=Ha1∪Ha2∪…∪Har
|G|=|Ha1|+|Ha2|+…+|Har|由|Hai|=|H|,i=1,2,…,r,得
|G|=|H|·r
=|H|·[G:H]6Lagrange定理的推论推论1
设G是n阶群,则a∈G,|a|是n的因子,且有an
=e.证任取a∈G,(a)是G的子群,(a)的阶是n的因子.(a)是由a生成的子群,若|a|=r,则
(a)={a0=e,a1,a2,…,ar1}即(a)的阶与|a|相等,所以|a|是n的因子.从而an
=e.7Lagrange定理的推论推论2
对阶为素数的群G,必存在a∈G使得G=(a).证设|G|=p,p是素数.由p≥2知G中必存在非单位元.任取a∈G,a≠e,则(a)是G的子群.根据拉格朗日定理,(a)的阶是p的因子,即(a)的阶是p或1.显然(a)的阶不是1,这就推出G=(a).8Lagrange定理的应用命题:如果群G只含1阶和2阶元,则G是Abel群.证设a为G中任意元素,有a1=a.任取x,y∈G,则
xy
=(xy)1=y1x1=yx,因此G是Abel群.9Lagrange定理的应用例2
证明6阶群中必含有3阶元.证设G是6阶群,则G中元素只能是1阶、2阶、3阶或6阶.若G中含有6阶元,设为a,则a2是3阶元.若G中不含6阶元,下面证明G中必含有3阶元.如若不然,G中只含1阶和2阶元,即a∈G,有a2=e,由命题知G是Abel群.取G中2阶元a和b,a
b,令H={e,a,b,ab},则H是G的子群,但|H|=4,|G|=6,与拉格朗日定理矛盾.
10例3
证明阶小于6的群都是Abel群.Lagrange定理的应用证1阶群是平凡的,显然是阿贝尔群.2,3和5都是素数,由推论2它们都是单元素生成的循环群,都是Abel群.设G是4阶群.若G中含有4阶元,比如说a,则G=(a),由上述分析可知G是Abel群.若G中不含4阶元,G中只含1阶和2阶元,由命题可知G也是Abel群.11正规子群定义2
设H是群G的子群。如果a∈G有aH=Ha,则称H是群G的正规子群或不变子群.定理2(正规子群的判别定理)
设H是群G的一个子群,则(1)H是群G的正规子群
a∈G有aHa-1=H;(2)H是群G的正规
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 个人公司合同范本
- 租赁房屋合同范本续租
- 室内水泥漆合同范本
- 宾馆培训会议合同范本
- 6的乘法口诀(教学设计)-2024-2025学年人教版数学二年级上册
- 8 冀中的地道战(教学设计)-2024-2025学年统编版语文五年级上册
- 9 我心中的“110”(教学设计)统编版道德与法治三年级上册
- 2025年顺酐酸酐衍生物项目发展计划
- 1《神州谣》教学设计-2023-2024学年语文二年级下册统编版
- 托管班合作协议书
- 披萨制作流程
- 厦门2025年福建厦门市公安文职人员服务中心招聘17人笔试历年参考题库附带答案详解
- 2025年高三历史教学工作计划
- 《职业性肌肉骨骼疾患的工效学预防指南 》
- 不同产地筠连红茶风味化学成分差异分析
- DB50 577-2015 汽车整车制造表面涂装大气污染物排放标准
- 生态安全课件
- 大学英语(西安欧亚学院)知到智慧树章节测试课后答案2024年秋西安欧亚学院
- 【化学】高中化学手写笔记
- 胆管恶性肿瘤护理查房课件
- 电烤箱的使用方法ppt
评论
0/150
提交评论