## [Gruppenhomomorphismus](/de/node/63281) Definition 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 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 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 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 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 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 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 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 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.