Ein Homomorphismus ist eine Abbildung zwischen algebraischen Strukturen gleicher Signatur, die die definierenden Operationen und Relationen erhält (z. B. erhält ein Gruppenhomomorphismus die Multiplikation, eine lineare Abbildung erhält Addition und Skalarmultiplikation).

Prinzip

Struktur-Erhaltung: Ein Homomorphismus verknüpft Operationen so, dass algebraische Formeln im Quellobjekt in das Ziel transportiert werden; Kerne und Bilder quantifizieren die Abweichung von Invertierbarkeit.

Demonstration

Eine lineare Abbildung T: V → W erfüllt T(v+u)=T(v)+T(u) und T(αv)=αT(v); ein Gruppenhomomorphismus φ:G→H erfüllt φ(g1g2)=φ(g1)φ(g2). Konkrete Beispiele sind Projektionen und Inklusionen in direkten Summen, die Homomorphismen sind.

Fehlanwendung

Jede Bijektion als Homomorphismus zu bezeichnen und dabei die Erhaltung der Operationen zu ignorieren, oder anzunehmen, ein Homomorphismus splittet automatisch (hat eine Links- oder Rechtsinversen) ohne zusätzliche Struktur. Abbildungen, die nur einige, nicht alle Operationen erhalten, als vollständige Homomorphismen zu behandeln, ist irreführend.

Konsequenz

Homomorphismen erlauben den Vergleich von Strukturen, induzieren Quotienten durch Kerne und organisieren Kategorien, in denen Objekte und Morphismen universelle Konstruktionen (Produkte, Limiten, Adjunkte) definieren. Sie führen zu Invarianten wie Kern, Kokern und Bild, die Exaktheitseigenschaften steuern.

Umkehrung

Eine Abbildung, die Struktur umkehrt (Antihomomorphismus) oder Operationen nicht erhält, unterbricht die strukturerhaltende Übersetzung; einen nicht invertierbaren Homomorphismus innerhalb der Kategorie ohne zusätzliche Daten umzukehren ist unmöglich.

Abgrenzung

Hängt von der algebraischen Signatur ab: Es muss spezifiziert werden, was zur Struktur zählt (z. B. ob Ringhomomorphismen die Eins erhalten). Schließt beliebige Mengenabbildungen und Abbildungen aus, die nur eine abgeleitete Eigenschaft erhalten.

Semantische Spannung

Homomorphismus vs Isomorphismus: Ersterer muss nicht bijektiv oder invertierbar sein; Homomorphismus vs Einbettung: Einbettungen sind injektive Homomorphismen, die Strukturen als Unterobjekte identifizieren, aber oft strengere Anforderungen stellen.

Synthese

Ein Homomorphismus ist die kanonische strukturtreue Abbildung zwischen algebraischen Objekten: Er überträgt Operationen und Relationen vom Quell- ins Zielobjekt, misst Äquivalenz und ermöglicht Konstruktionen wie Quotienten und Darstellungen.