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} \).