Ein Gruppenhomomorphismus zwischen Gruppen ( G , ∘ , e G ) {\displaystyle {}(G,\circ ,e_{G})} und ( H , ∘ , e H ) {\displaystyle {}(H,\circ ,e_{H})} .