§8.3.2 同态与不变子群定义1 fG→H 是一个群同态映射 称像为.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的不变子群