Zu a) zeige: Für alle x,y aus G' gilt φ^(-1) ( x*y) = φ^(-1) ( x) o φ^(-1) ( y).
Seien also x,y aus G' . Wegen der Surjektivität gibt es a∈G mit φ^(-1) ( x)=a
und b∈G mit φ^(-1) ( y)=b.
==> φ(a)=x und φ(b)=y. Da φ ein Hom. ist, gilt φ(aob)=x*y , also
φ^(-1) ( x*y) = a o b = φ^(-1) ( x) o φ^(-1) ( y). q.e.d.