Sei g∈G und n∈α-1(M). Dann gilt α(g*n*g-1) = α(g)*α(n)*α(g-1)   [ wegen Hom.]
=α(g)*α(n)*α(g)-1    Bild des Inversen ist Inverses vom Bild
Und wegen n∈α-1(M) ist α(n)∈M und weil M Normalteiler ist, ist
α(g)*α(n)*α(g)-1   ∈ M , also  g*n*g-1 ∈α( M) , also  α-1( M) Normalteiler von G.
Enthält Kern(α), da M eine Untergruppe ist, also das neutrale El.   e von H
enthält, also  α-1( M)  alle Urbilder von e, und das ist eben Kern(α)