Du musst nur zeigen: Für alle x, y aus H gilt
( sagen wir mal die Verknüpfung in H ist * und in G ist sie + )
f^(-1) ( x*y) = f^(-1)(x) + f^(-1)(y) .
Betrachte dazu x, y aus H und bedenke: Da f bijektiv ist,
gibt es genau ein a und genau ein b ( beide in G ) mit
f(a)=x und f(b) = y und wegen Hom. f(a+b)=f(a)*f(b)=x*y
Dann gilt aber f^(-1) ( x*y) = a+b = f^(-1)(x) + f^(-1)(y) . q.e.d.