group homomorphism

Gegeben seien zwei Gruppen \((G, \circ)\) und \((H, *)\).

Eine Abbildung \(\phi: G \rightarrow H\) heißt Gruppenhomorphismus, falls gilt:

\begin{align*} \forall g_1 \in G \forall g_2 \in G : (\phi(g_1) * \phi(g_2) = \phi(g_1 \circ g_2)) \end{align*}