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