a) f injektiv und angenommen Kern(f) ≠ { e } .
Dann gibt es ein x ∈ Kern(f) mit x ≠ e.
Dann gilt weil x ∈ Kern(f) ist, gilt f(x) = e
und wie bei jedem Gruppenhomomorphismus f(e) = e
also f(x) = f(e) aber x ≠ e. im Widerspruch zu f injektiv.
Andere Richtung: Sei Kern(f) = {e } und x,y aus G mit
f(x) = f(y) ==> f(x) * (f(y)-1 = eH
==> f(x) * f(y-1 )= eH
==> f(x *y-1 )= eH
==> x *y-1 = e weil Kern(f) = {e }
==> x = y , also f injektiv. q.e.d.