Słownik pojęć matematycznych
Homomorfizm
Jeśli S i T są zbiorami z określonymi relacjami dwuelementowymi, odpowiednio ⊕ (przemienność) i ⊙ (łączność) to odwzorowanie h z S w T jest homomorfizmem, gdy spełniony jest warunek h(x⊕y) = h(x)⊙h(y) dla wszystkich x i y ze zbioru S, tzn. homomorfizm zachowuje strukturę na zbiorach.
Jeżeli odwzorowanie to jest różnowartościowe, to nazywamy je izomorfizmem, a zbiory S i T - izomorficznymi.