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.

Prinzip

Strukturerhaltende Abbildungen übertragen gruppentheoretische Informationen in andere Kontexte; die Homomorphiebedingung gewährleistet die Kompatibilität mit der Multiplikation, sodass algebraische Relationen im Bild erhalten bleiben.

Demonstration

Die Determinantenabbildung det: GL_n(R) → R^× ist ein Homomorphismus, weil det(AB) = det(A)det(B) gilt; ihr Kern sind Matrizen mit Determinante 1 und ihr Bild ist die multiplikative Gruppe der Einheiten.

Fehlanwendung

Jede beliebige Funktion zwischen den zugrunde liegenden Mengen fälschlich als Homomorphismus ansehen, ohne die Erhaltung der Verknüpfung zu prüfen; das Zusammensetzen nicht-homomorpher Abbildungen kann die algebraische Struktur zerstören und Kerne oder Bilder falsch bestimmen.

Konsequenz

Homomorphismen erlauben das Bilden von Quotienten nach Kernen, die Faktorisierung über Bilder, die Klassifikation von Gruppen über isomorphe Bilder und das Übertragen von Eigenschaften (wie Auflösbarkeit) entlang geeigneter Abbildungen.

Umkehrung

Eine nicht homomorphe Abbildung respektiert keine Gruppenrelationen und kann somit nicht zur Erzeugung gültiger Quotienten oder Kerne verwendet werden; sie ist ohne zusätzliche Struktur nicht in der kategorialen Sinn invertier- oder faktorisierbar.

Abgrenzung

Definiert für Abbildungen zwischen Gruppen mit festgelegten Operationen; lineare Abbildungen zwischen additiven Gruppen sind Homomorphismen, jedoch muss die Verträglichkeit komponentenweise geprüft werden; bijektive Homomorphismen sind Isomorphismen, nicht bijektive faktorisieren über ihr Bild.

Semantische Spannung

Wird oft mit Homomorphismen in anderen algebraischen Kategorien (Ringe, Moduln) verwechselt, wo zusätzliche Kompatibilitätsbedingungen gelten; Gruppenhomomorphismus ist die minimale multiplikative Kompatibilitätsbedingung und unterscheidet sich von Ring- oder Modulhomomorphismen.

Synthese

Ein Gruppenhomomorphismus ist eine Abbildung, die das Verknüpfungsgesetz einer Gruppe in eine andere überträgt, dabei Kerne und Bilder identifiziert, Gruppen in Quotienten und homomorphe Bilder organisiert und die Morphismen in der Kategorie der Gruppen liefert.