Es seien G {\displaystyle {}G} und H {\displaystyle {}H} Gruppen und φ : G → H {\displaystyle {}\varphi \colon G\rightarrow H} sei ein Gruppenhomomorphismus. Zeige, dass φ ( e G ) = e H {\displaystyle {}\varphi (e_{G})=e_{H}} und ( φ ( g ) ) − 1 = φ ( g − 1 ) {\displaystyle {}(\varphi (g))^{-1}=\varphi (g^{-1})} für jedes g ∈ G {\displaystyle {}g\in G} ist.