Eine struktur­erhaltende Abbildung zwischen zwei algebraischen Objekten (z. B. Gruppen, Ringen, Moduln oder Vektorräumen), die mit den definierenden Operationen kommutiert: für eine Operation • gilt f(x •_A y) = f(x) •_B f(y).

Prinzip

Ein Homomorphismus muss die algebraischen Gesetze der Quelle in entsprechende Gesetze des Zieles übersetzen, indem er mit jeder relevanten Operation kommutiert.

Demonstration

Ein Gruppenhomomorphismus f: G → H erfüllt f(xy)=f(x)f(y); eine lineare Abbildung zwischen Vektorräumen erhält Addition und Skalarmultiplikation und ist damit ein Homomorphismus von Moduln.

Fehlanwendung

Eine beliebige Abbildung ohne Prüfung der Operations­erhaltung als Homomorphismus zu bezeichnen (z. B. Abbildungen zwischen Gruppen mit f(ab) ≠ f(a)f(b)), oder die Verträglichkeit mit Einselementen oder Skalaren zu übergehen, wenn der Kontext dies verlangt.

Konsequenz

Bilder von Homomorphismen sind Unterstrukturen des Zieles; Kerne messen das Fehlen von Injektivität; Homomorphismen erzeugen Quotientenstrukturen und ermöglichen Klassifikations‑ und Faktorisierungs­aussagen.

Umkehrung

Ein Anti‑Homomorphismus kehrt die Reihenfolge einer binären Operation um (z. B. f(ab)=f(b)f(a)); solche Abbildungen erhalten nicht die ursprüngliche Operation, sondern kehren die Kompositionsreihenfolge um.

Abgrenzung

Der Begriff Homomorphismus bezieht sich nur auf die Erhaltung der explizit betrachteten algebraischen Operationen; er impliziert nicht automatisch Bijektivität, Stetigkeit, topologische Verträglichkeit, Graduierung oder andere zusätzliche Strukturen, sofern diese nicht ausdrücklich verlangt sind.

Semantische Spannung

Wird häufig mit Isomorphismus verwechselt: beide erhalten Struktur, doch erfordert ein Isomorphismus eine zweiseitige Inverse; außerdem wird ein Homomorphismus manchmal mit einer einfachen Mengenabbildung verwechselt, die nur auf Teilmengen homomorph ist.

Synthese

Ein Homomorphismus ist eine operations­erhaltende Abbildung zwischen algebraischen Objekten, die Relationen und Operationen in das Ziel überträgt und dabei Bilder, Kerne und induzierte algebraische Konstruktionen liefert, ohne notwendigerweise invertierbar zu sein.