Als
Homomorphismus (zusammengesetzt aus
altgriech. ὁμός (
homós) ‚gleich‘ oder ‚ähnlich‘, und μορφή (
morphé) ‚Form‘; nicht zu verwechseln mit
Homöomorphismus) werden in der
Mathematik Abbildungen bezeichnet, die eine (oft algebraische)
mathematische Struktur erhalten bzw. damit
verträglich sind. Ein Homomorphismus bildet die Elemente aus der einen
Menge so in die andere Menge ab, dass sich ihre Bilder dort hinsichtlich der Struktur ebenso verhalten, wie sich deren
Urbilder in der Ausgangsmenge verhalten.