Izomorfizm
Homomorfizm nazywamy izomorfizmem pierścieni wtedy i tylko wtedy, gdy jest wzajemnie jednoznaczny, to znaczy gdy jest jednocześnie monomorfizmem i epimorfizmem. Odwzorowanie istnieje (ponieważ jest wzajemnie jednoznaczne) i również jest izomorfizmem.
Mówimy, że pierścienie i są izomorficzne, gdy istnieje izomorfizm (równoważnie: izomorfizm ) i oznaczamy W dowolnym zbiorze pierścieni relacja izomorficzności jest relacją równoważności.
Homomorfizm kanoniczny Niech będzie dowolnym pierścieniem, zaś dowolnym jego ideałem. Odwzorowanie określone jest epimorfizmem. Takie odwzorowanie nazywamy homomorfizmem kanonicznym pierścienia na pierścień ilorazowy
Twierdzenie o homomorfizmie Jeśli jest epimorfizmem pierścieni to jest izomorficzny z pierścieniem ilorazowym (izomorfizmem jest odwzorowanie określone ) oraz gdzie jest homomorfizmem kanonicznym.
Zobacz też morfizm morfizmy grup automorfizm endomorfizm epimorfizm homomorfizm izomorfizm monomorfizm
Uwagi
Linki zewnętrzne [dostęp 2025-12-04].
Kategoria:Teoria pierścieni Kategoria:Morfizmy