Homomorphịsmus der, homomorphe Abbildung, eine Abbildung f einer algebraischen Struktur A mit der Verknüpfung ° in eine algebraische Struktur B mit der Verknüpfung *, für die das Bild des Verknüpfungsergebnisses gleich dem Verknüpfungsergebnis der Bilder ist: f (a ° b† † ) = f (a) *† † f...