1 Ng1 Ng 2 g1 g 2 N 1 f ( g1 g 2 ) f ( g1 ) f ( g 2 ) 1 N N f ( g1 ) N f ( g 2 )
( Ng1 Ng 2 ) ( Ng1 g 2 ) N ( f ( g1 g 2 )) N ( f ( g1 ) f ( g 2 )) N f ( g1 ) N f ( g 2 ) ( Ng1 ) ( Ng 2 ) (3) 单射 ( Ng1 ) ( Ng 2 ) N f ( g1 ) N f ( g 2 )
则在 f 之下 (1) G的一个子群G1的像H1是H的子群 (2) G的一个不变子群G2的像H2是H的不变子群 (3) H的一个子群H3的逆像G3是G的子群
(4) H的一个不变子群H4的逆像G4是G的不变子群
证明:(1) h1, h2 H1, g1, g 2 G1 ,使h1=f(g1) h2=f(g2)
h H , h bl 则a l G且f (a l ) bl
满态
例4 如果G和H都是有限群,其阶互素, 则只存在一个G→H的同态映射 证明:设 f 是G→H的同态映射,令k=kerf 由同态基本定理知:
|G| G / k Im f , G / k | Im f | |k| Im f G
Im f 是H的子群, 由Lagrange 定理: Im f ( G , H ) 1 Im f 1 g G, f ( g ) eH
H
例5 设G与G 群同态, N 是G 的一个不变子群, N是N 的逆像, 则 : G / N G / N (群同态基本定理的推广 形式) 证明: 令 f 为 G G 的群同态满射, 由定理5知 : N是不变子群 定义 : G / N G / N , ( Ng ) N f ( g ), 则是一一映射 (1) 映射 (2) 同态