第9节子群的陪集与商群_第1页
第9节子群的陪集与商群_第2页
第9节子群的陪集与商群_第3页
第9节子群的陪集与商群_第4页
第9节子群的陪集与商群_第5页
已阅读5页,还剩8页未读 继续免费阅读

下载本文档

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

文档简介

第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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论