34群的同构定理_第1页
34群的同构定理_第2页
34群的同构定理_第3页
34群的同构定理_第4页
免费预览已结束,剩余1页可下载查看

下载本文档

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

文档简介

1、§ 3.4群的同构定理同态基本定理:设是群G到群G的一个同态满射,则%erG 0用图表示:将同态基本定理推广就得到下面的第一同构定理。定理1 (第一同构定理)设 是群G到群G的一个满同态,且 ker N <G ,记(N) N 5则% %'或 %(Gy(N)°当N ker时,(N) e , % % G,第一同构定理退化 成同态基本定理第一同构定理也可以用图表示:证明首先,由N<G有N(N)<GO作映射::% %, (xN)N, xN %。以下验证是%到GN的一个同构映射。(1) 是映射:设aN bN(a,b G),则a 1b N ,于是(a) 1 (

2、b) (a 1b) (N) N ,从而(a)N (b)N , 即%中的每个赔集在 下的像唯一,因此 确为%到底 的一个映射。是满射:aN G4(a G),因为 是满射,所以存在Na G,使得(a) a,从而存在aN %,使得(aN) aN , 印是满射。(3) _是单射:设(aN) (bN),即(a)N (b)N 5从而(a 1b) (a) 1 (b) N o但 是满同态且(N) N 5所以c N ,使得 (a 1b)(c) (a 1b c 1)e a1bc 1 Ker o于是由已知条件kerN得a 1bc 1 Na 1ba 1bc 1 cN ,从而aN bN ,即_是单射。(4)又由于(aN

3、 bN) (ab)N) (ab)N (a) (b)N (a)N (b)N (aN) (bN), 所以 是%到%的一个同态映射。综上所述,是%到外的一个同构。所以 %胎作业:P104第4题(提示:用同态基本定理)。准论1.设H<G,N<G且N H,则证明取自然同态:G %,(a) aN,其核Ker N o在第一同构定理中取G %,取N为这里的H ,并注意(H)/,由第一同构定理得%。例 1 设 H<G,K<G,证明由H<G,K<G证明GHKOHGHKHK < G。又显然H < HK ,直接由推论得注意:交换H,K的位置也可以得GHK定理2 (第二同

4、构定理)设G是群,H G, N<G,则HI N<H,且 H% %I N)。第二同构定理也可以用图表示:证明:由H G, N<G有HN G,且N<HN。作映射:H H%,(x) xN , X H ,则显然是H到H%的满同态。且Ker x x H, (x) Nx|x H ,xN N x x H ,x N HIN,于是由同态基本定理得%H I N) H%。例2 &,S4设分别为3次、4次对称群,L是Klein四元群, 证明:%, S3。证明先(VS,(见前面)。以下验证:S4 S3K4且S3I K4 e,再用第二同构定理即可得证。事实上,把 S3中 的每个置换看成保持

5、4不动,则显然S3I K4 e成立。于是|S3K4| 1s311K41 6 4 243 4 IS3I K4I又 S3K4 S4且 IS4I 24,S4S3K4K4K4所以S4S3K4o于是由第二同构定理 K4)S3。定理3(第三同构定理)设G是群,且N<G , H %,则(1)存在G的唯一子群H G,H N,使得H %;(2)当H<% 时,存在G的唯一正规子群H <G,H N , 使得H %,且% G%。第三同构定理表明:商群 的子群仍为商群,且呈 %也 形式,其中H G,H N ;面且H是G的正规子群当且仅当 味星%的正规子群。证明(1)取自然同态:G %,(a) aN,其核Ker N由上一节定理4知,在G的包含N的子群与GN的所有子群 之间可以建立一个保持包含关系的双射,因此当H %时,必然存在G的唯一的子群H G,H N与之对应,即(H) H 另一方面,根

温馨提示

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

评论

0/150

提交评论