Zeigen, dass \( \varphi_{1}: G \rightarrow H, \quad g \mapsto \tilde{e} \)und\( \varphi_{2}: U \rightarrow G, \quad u \mapsto u \)Gruppenhomomorphismen sind.
Zu \( \varphi_{1} \): Seien x,y ∈ G. Dann ist zu zeigen :
\( \varphi_{1} (x\diamond y) = \varphi_{1} (x) · \varphi_{1} (y) \)
Das ist aber wahr, da \( \tilde{e}= \tilde{e} ·\tilde{e} \).