Gruppenhomomorphismus

Eine Abbildung f: G → H zwischen Gruppen, die die Gruppenoperation erhält: für alle a,b in G gilt f(ab) = f(a)f(b); Homomorphismen schicken das Identitätselement auf das Identitätselement und Inverse auf Inverse, und ihre Kerne und Bilder sind zentrale Invarianten.