Ein Homomorphismus ist eine strukturverträgliche Abbildung zwischen algebraischen Strukturen.
Für Gruppen: $f:G\to H$ mit $f(ab)=f(a)f(b)$ für alle $a,b\in G$.