Homomorfizm

Homomorfizm (gr. ὅμοιος, homoios – podobny; μορφή, morphē – kształt, forma) – funkcja odwzorowująca jedną algebrę ogólną (np. monoid, grupę, pierścień czy przestrzeń wektorową) w drugą, zachowująca przy tym odpowiadające sobie działania, jakie są zdefiniowane w obu algebrach^[1].

Homomorfizm bijektywny, nazywa się izomorfizmem algebr i z punktu widzenia algebry oznacza ich identyczność.