Abbildung zwischen zwei Gruppen, die gruppenoperationstreu ist.

Seien (G, ·) und (H, ×) zwei Gruppen mit den Gruppenoperationen „·“ bzw. „ד; ferner sei φ : G → H eine Abbildung. φ heißt dann Gruppenhomomorphismus, wenn für alle a, b ∈ G gilt: \begin{eqnarray}\phi \,(a\cdot b)=\phi (a)\,\times \,\phi (b)\end{eqnarray}