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.