第6节正规子群与商群.PDFVIP

第6节 正规子群与商群 正规子群及判定 定义 判别定理 判别法 商群 定义及其实例 性质 © Peking University 1 陪集举例  G=S3,H={(1),(1,2)}  H的所有右陪集是： H(1)=H(12)=H H(13)={(13),(132)}=H(132) H(23)={(23), (123)}=H(123)  H的所有左陪集是： (1)H= (12) H =H (13) H={(13),(123)}=(123)H (23) H ={(23), (132)}=H(132) © Peking University 2 正规子群及其判定  正规子群： HG,，且aG，aH=Ha. 则称H是G的正规子 群。记为H⊴G.  例： (1) 群G的两个平凡子群G和{e}都是G的正规子群 (2) 群G的中心C是G的正规子群 (3) 循环群的所有子群都是正规子群 (4) S 的子群中有三个正规子群：{1},S , 3 3 {1, 123, 132} © Peking University 3 正规子群及其判定 判定定理： NG, 则下述条件等价  （1） N是G的正规子群  （2 ） gG, gNg-1 = N  （3 ） gG, nN, gng-1N 证： (1) (2): gN = Ng  gNg-1 = N (2) (3): gng-1gNg-1 = N (3)(1): ngNg  nN,g-1G  g-1ngN  nggN gngN  nN,gG  gng-1N  gnNg # © Peking University 4 判定正规子群  判定方法  （1）判定定理  （2）|H|=n, H是G的唯一n阶子群  | gHg-1 |=|H|=n  （3）G是群，H是G 的子群，若[G:H]=2 ，则H 是G的正规子群。  G=H ∪Hg(gH) ；Hg=G-H; gH=G-H  x ∈H，xH=H=Hx  x ∈Hg，Hx=G-H=xH © Peking University 5 商群定义  商群 G是群，H是G的正规子群，令 G/H ={Ha|aG}为H在G 中的所有的 右陪集构成的集合，定义运算，对于任意的 Ha,HbG/H有 HaHb=Hab 则G/H关于运算构成一个群，称为G的商群。 © Peking University 6 商群定义的正确性证明 (1) 良定义、封闭性 Ha=Hx, Hb=Hy  x Ha, y Hb  x=h a, y=h b  1 2 HxHy = Hxy = Hh ah b = Hh (ah a-1)ab =