Hallo :-)
ein Isomorphismus ist eine lineare Abbildung \(f:\space V\to W\) zu der es eine lineare Abbildung \(g:\space W\to V\) gibt, sodass \(g\circ f=\operatorname{id}_V\) und \(f \circ g=\operatorname{id}_W\) gilt.
Jetzt in diese Definition einsetzen:
Betrachte wie in der Aufgabenstellung nun \(f:=\phi^{-1}:\space H\to G\). Zeige:
1.) \(\phi^{-1}\) ist linear
2.) \(g:=\phi:\space G\to H\) ist eine mögliche Abbildung für \(\phi^{-1}\), sodass
\(\phi\circ \phi^{-1}=\operatorname{id}_H\) und \(\phi^{-1}\circ \phi=\operatorname{id}_G\) gilt.