1.
wegen F(x) = F( x+eG ) = F(x) + F(eG) für alle x aus G
ist F(eG) = eG' also eG ∈ Kern(F)
Seien nun x aus Kern F, dann ist auch F(x) = eG' und F(eG) = eG'
und wegen der Injektivität als eG = x .
wenn umgekehrt Kern(F) = {eG} ist, und x,y aus G mit
F(x) = F (y) , dann F(x)-F(y) = eG'
also wegen Hom F(x-y) = eG'
also x-y = eG und damit x=eG + y = y . q.e.d.