Homomorfizm pierścieni: Różnice pomiędzy wersjami

[wersja przejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
Dodano 3-ci, istotny warunek do df homomorfizmu - Rowland, Todd. "Ring Homomorphism." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. http://mathworld.wolfram.com/RingHomomorphism.html
Linia 1:
'''Homomorfizm [[Pierścień (matematyka)|pierścieni]]''' to, nieformalnie, przekształcenie z jednego pierścienia w drugi zachowujące strukturę.
{{Spis treści}}
'''Homomorfizm pierścieni''' to, nieformalnie, przekształcenie z jednego pierścienia w drugi zachowujące strukturę.
 
Niech <math>(R, +, \cdot)</math> oraz <math>(S, \oplus, \odot)</math> będą dowolnymi pierścieniami.
 
'''Homomorfizmem pierścieni''' <math>R</math> i <math>S</math> nazywamy dowolne odwzorowanie <math>h\colon R \to S</math> takie, że
* <math>h(a + b) = h(a) \oplus h(b)</math> oraz- zachowane jest dodawanie
* <math>h(a \cdot b) = h(a) \odot h(b)</math>. - zachowane jest mnożenie
* <math>h(0_R)=0_S</math> - element neutralny dodawania w <math>R</math> jest odworowywany na element neutralny dodawania w <math>S</math>
Zauważmy, że element odwrotny przechodzi w element odwrotny  <math>-h(a)=h(-a),</math>
 
co wynika z rozumowania: <math>h(a)+h(-a)=h(a-a)=h(0_R)=0_S </math>,
 
Jeżeli [[Pierścień z jedynką|pierścień jest z jedynką]], to z powyższych warunków wynika też
* <math>h(1_R)=1_S</math> - element neutralny mnożenia w <math>R</math> jest odworowywany na element neutralny mnożenia w <math>S</math>
 
== Obraz ==