群同态基本定理.pptVIP

* §8.3.2 同态与不变子群 定义1 f：G→H 是一个群同态映射 称像为H的单位元eH的G的所有元素的集合 为同态映射 f 的核。 记为 ker f，即 ker f ={ g | f (g) = eH} 例1， f：C→R ，f(z)=|z| ，z∈C 则 f 是同态映射，并求ker f 解： f(z1z2)=|z1z2|=|z1||z2|=f(z1) f(z2) 定理1 设 f： G→H是一个群同态映射，则 （1） kerf是G的不变子群。 （2）Im f 是H的子群（留作作业） 证 （1） a,b∈ kerf，f(a)=f(b)=eH 则 f(ab)=f(a)f(b)=eHeH=eH ∵f(a-1)f(a)=f(eG)=eH ∴ab ∈ kerf，f(a-1)=(f(a))-1= ∴ kerf 为子群 f(g-1ag)=f(g-1)f(a)f(g)=f(g-1)f(g)=f(g-1g) =f(eG)=eH ∴g-1ag∈ kerf， 于是kerf是不变子群 定理2 设H是群G的不变子群， 规定f: G→G/H, 则 f 是G→G/H的满同态映射且kerf =H 证明：∵H是不变子群，∴G/H是一个群 （1）满射 （2）同态 （3） kerf =H： G/H中的 单位元 定理3 设f是G→H的群同态映射 （1） f 是单同态当且仅当kerf={eG} （2）除了{eG}和G本身外，没有其他不变子群， 则 f 是单同态或零同态 证明：(1)必要性：∵f是单射，f(eG)=eH , ，f(a)≠eH ∴kerf={eG} 充分性：∵kerf={eG}， 　　　　　　　　　　，若f(g1)=f(g2)，则 f(g1g2-1)=f(g1)f(g2-1)=f(g1) (f(g2))-1= f(g1) (f(g1))-1 =eH 即g1g2-1 ∈ kerf={eG} ，∴ g1g2-1 =eG→g1=g2, ∴f 单 （2）由定理1 kerf是G的不变子群， G的不变子群只有{eG}和G ∴kerf={eG} 则 f单同态 kerf=G 则f零同态 定理4 (群同态基本定理) 设 f 是G→H的群同态， 令K=kerf，则G/K≌Imf 证明： φ：G/K→Imf ，φ(Kg)=f(g) (1)φ是映射 设Kg1= Kg2 g1 g2-1 ∈K =kerf ∴f(g1 g2-1 )=f(g1)(f(g2))-1=eH ∴f(g1)=f(g2)→ φ(Kg1)=f(g1)= f(g2)= φ(Kg2) (2) φ同态 φ(Kg1Kg2)= φ(Kg1g2) =f(g1g2)=f(g1)f(g2)= φ(Kg1) φ(Kg2) (3) φ是单射 设φ(Kg) =eH f(g)= eH g∈kerf=K Kg=K ∴ker φ =K (G/K的单位元)，由定理3 φ是单射 (4) φ是满射 使f(a)=b， Ka ∈ G/K，而 φ(Ka)=f(a)=b ∴ φ是满射 ∴ G/K ≌Imf 推论1 设f是G → H的一个群满同态，则有G/kerf ≌ H 例2 G= (a) ={e，a，a2，…，a11} H= (b) ={e，b，b2，…，b5} f: G → H，f(an)=b2n 则 f 是群同态，kerf ={e，a3，a6，a9} G/kerf ≌ Imf ={e，b2，b4} 定理5 设G和H是两个群，且存在一个G → H的满同态f， 则在 f 之下 (1) G的一个子群G1的像H1是H的子群 (2) G的一个不变子群G2的像H2是H的不变子群 (3) H的一个子群H3的逆像G3