In der Gruppentheorie betrachtet man spezielle Abbildungen zwischen Gruppen, die man Gruppenhomomorphismen nennt. Ein Gruppenhomomorphismus ist eine Abbildung zwischen zwei Gruppen, die mit diesen verträglich ist, und damit ein spezieller Homomorphismus.