Homomorfizm pierścieni
Z Wikipedii
Spis treści |
Homomorfizm pierścieni to, nieformalnie, przekształcenie z jednego pierścienia w drugi zachowujące strukturę.
Niech
oraz
będą dowolnymi pierścieniami.
Homomorfizmem pierścieni R i S nazywamy dowolne odwzorowanie
takie, że
oraz
.
[edytuj] Obraz
Obrazem homomorfizmu h nazywamy zbiór
,
czyli zbiór takich elementów S, które są wartościami odwzorowania h na co najmniej jednym elemencie zbioru R.
Obraz homomorfizmu h jest podpierścieniem pierścienia S.
[edytuj] Jądro
Jądrem homomorfizmu h nazywamy zbiór
,
gdzie 0S oznacza zero pierścienia S.
Jądro homomorfizmu h jest ideałem pierścienia R.
[edytuj] Monomorfizm
Monomorfizmem pierścieni nazywamy różnowartościowy homomorfizm.
Homomorfizm
jest monomorfizmem wtedy i tylko wtedy, gdy
, gdzie 0R oznacza zero pierścienia R.
[edytuj] Epimorfizm
Epimorfizmem pierścieni nazywamy homomorfizm typu "na".
Homomorfizm
jest epimorfizmem wtedy i tylko wtedy, gdy
.
[edytuj] Izomorfizm
Homomorfizm
nazywamy izomorfizmem pierścieni wtedy i tylko wtedy, gdy h jest wzajemnie jednoznaczny, to znaczy gdy jest jednocześnie monomorfizmem i epimorfizmem. Odwzorowanie h − 1 istnieje (ponieważ h jest wzajemnie jednoznaczne) i również jest izomorfizmem.
Mówimy, że pierścienie R i S 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.
[edytuj] Homomorfizm kanoniczny
Niech R będzie dowolnym pierścieniem, zaś
dowolnym jego ideałem. Odwzorowanie
określone h(a) = [a] jest epimorfizmem. Takie odwzorowanie h nazywamy homomorfizmem kanonicznym pierścienia R na pierścień ilorazowy R / I.
[edytuj] Twierdzenie o homomorfizmie
Jeśli
jest epimorfizmem pierścieni R,S, to S jest izomorficzny z pierścieniem ilorazowym
(izomorfizmem jest odwzorowanie
określone
) oraz
, gdzie
jest homomorfizmem kanonicznym.
[edytuj] Przykłady
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- morfizm
- homomorfizm
- monomorfizm
- epimorfizm
- izomorfizm
- automorfizm
- endomorfizm
- morfizmy grup
| Marco Polo II |
|
W 2009 roku można uzyskać kolejne dofinansowanie w ramach europejskiego programu Marco Polo II, który wspiera projekty komercyjne na rynku transportowym.
|
| Universum Focus Group |
|
We have a real pleasure to invite you to take part in a Focus Group meeting conducted by Universum, an independent research and consulting company in the field of Employer Branding.
|
| Działacz Obywatelski Roku |
|
Portal informacyjny wiadomości24.pl po raz trzeci w tym roku wybierze Dziennikarza Obywatelskiego Roku oraz Glogera Roku. Dodatkowo – przy współpracy z portalem poświęconym III sektorowi, czyli ngo.pl internauci po raz pierwszy będą mogli zgłosić kandydaturę oraz głosować na Działacza Obywatelskiego Roku.
|
| MediaTory wspierają WOŚP |
|
To już XVII Finał Wielkiej Orkiestry Świątecznej Pomocy. Po raz drugi przyłączyli się do niego organizatorzy MediaTorów – Studenckich Nagród Dziennikarskich oraz Centrum Meblowe Witek, którzy na aukcję przeznaczyli najbardziej medialną kanapę w Polsce. Przedsięwzięcie to wsparł również Bogdan Rymanowksi – AuTorytet 2008.
|
| Kryzys niestraszny branży IT |
|
Międzynarodowa firma Sybase, która dostarcza oprogramowanie i usługi do zarządzania i umobilniania informacji w przedsiębiorstwie, przeprowadziła badanie na temat obrazu branży IT w 2009 roku. Badanie zostało przeprowadzone w dniach 27 listopada–15 grudnia 2008 r. i swoim zasięgiem objęło 149 osób.
|