Professional Documents
Culture Documents
Índice
(iv) a + b = b + a ∀ a, b ∈ A.
(v) · es asociativa.
c · (a + b) = (c · a) + (c · b)
, ∀ a, b, c ∈ A.
(a + b) · c = (a · c) + (b · c)
(vii) ∃ 1A ∈ A tal que 1A · a = a = a · 1A .
Como en grupos, es de nuestro interes las funciones que van de un anillo unitario en otro y que respetan
la estructura algebraica del anillo dominio.
Denición 2. Un homomorsmo entre anillos unitarios (R, +, ·) y (R0 , +0 , ∗) es una función f :R→
0
R la cual satisface simultaneamente:
1
2 TOMÓ ESTAS NOTAS: GILBERTO BRUNO PÉREZ FECHA: 31 DE MARZO DEL 2016
Como hemos hecho en ocasiones anteriores, dado un anillo (R, +, ·) y r, s ∈ R escribiremos rs en lugar de
r·s para denotar su producto y también simplemente 1 en lugar de 1R cuando no sea necesario especicar.
Con el ejemplo anterior no solo hemos mostrado que la tercer condición en la denición de homomors-
mos de anillos unitarios es independiente de las dos primeras, además hemos probado, según la siguiente
proposición, que S no es un subanillo unitario de M2×2 (R).
Demostración.
Observación 1. Un caso particular en el que (i) y (ii) implican (iii), en la denición 2 es al considerar
f : R → R0 suprayectiva. En efecto, en este caso para cada elemento de s ∈ R0 existe r ∈ R tal que
s = f (r), por lo que
s = f (r) = f (1R r) = f (1R )f (r) = f (1R )s
s = f (r) = f (r1R ) = f (r)f (1R ) = sf (1R ).
Por lo tanto f (1R ) es un neutro bilateral para la operación producto denida en R0 y como consecuencia
de la unicidad de neutros bilaterales para operaciones binarias se tiene que f (1R ) = 1R0 .
ÁLGEBRA MODERNA DANIEL LABARDINI FRAGOSO 3
Por otra parte, el hecho de que los homomorsmos de anillos unitarios f :A→R satisfaga f (1A ) = 1R
nos permite probar el siguiente resultado.
2. Ideales
(iii) Decimos que I es un ideal bilateral si para cada r ∈ R y cada x ∈ I se cumplen, simultaneamente,
rx ∈ I y xr ∈ I .
Observación 2. En un anillo conmutativo las tres deniciones anteriores son equivalentes.
x y a b
(iii) Consideremos R = M2×2 (R) y el subgrupo aditivo I = x, y ∈ R . Dada ∈
0 0 c d
M2×2 (R) y x, y ∈ R se tiene
x y a b ax + cy bx + dy
=
0 0 c d 0 0
a b x y ax ay
= .
c d 0 0 cx cy
Por lo que I así denido es un ideal derecho pero no izquierdo de R.
Denición 9. En un anilo unitario conmutativo R. El conjunto {rx | r ∈ R} es un ideal, llamado el ideal
principal generado por x.
Proposición 10. La intersección de cualquier familia no vacía de ideales izquierdos de un anillo unitario
R es un ideal izquierdo.
Demostración. Sea I una familia no vacía de ideales izquierdos. Sabemos por la teoría desarrollada en
T T
grupos que I es un subgrupo aditivo de R. Tomemos ahora elementos x ∈ I y r ∈ R. Por denición
x ∈ I, ∀ I ∈ I y en consecuencia, dado que cada elemento de I es un ideal izquierdo, se tiene que
T
rx ∈ I, ∀ I ∈ I . Así, I es un ideal izquierdo.
4 TOMÓ ESTAS NOTAS: GILBERTO BRUNO PÉREZ FECHA: 31 DE MARZO DEL 2016
Denición 11. Sea R un anillo unitario y X ⊆ R. El ideal izquierdo generado por X es el ideal izquierdo
de R que contiene a X y está contenido en cada ideal izquierdo que contiene a X . Denotamos a dicho ideal
como hX).
Para X=∅ se satisface que hX) = {0}. Veamos ahora que sucede en el caso en que X 6= ∅.
Proposición 12. Sean R un anillo unitario y X ⊆ R un subconjunto no vacío. Entonces el ideal generado
por X coincide con la intersección de todos los ideales izquierdos que contienen a X .
{I ⊆ R | I es ideal izquierdo, X ⊆ I}.
\
hX) =
3. Anillo cociente
(r + I)(s + I) := rs + I.
Veamos bajo que condiciones este producto está bien denido; en otras palabras, que no depende de los
representantes. Supongamos que r + I = r̂ + I y s + I = ŝ + I . Entonces existen i, j ∈ I tales que r = r̂ + i
y s = ŝ + j . Realizando el producto obtenemos
bilateral, entones R/I es un anillo. Más aún, si consideramos el epimorsmo de grupos ρ : R → R/I denido
mediante la regla ρ(r) = r + I , entonces ρ es un homomorsmo de anillos unitarios puesto que
ρ(rs) = rs + I = (r + I)(s + I) = ρ(r)ρ(s)
y la suprayectividad de ρ implica que ρ(1R ) = 1R/I .
Denición 14. Sean R y S anillos unitarios y f :S→R un homomorsmo de anillos unitarios. Denimos
el núcleo de f como el conjunto
Nuc f := {s ∈ S | f (s) = 0R }.
La discusión previa a esta denición muestra que todo ideal bilateral de R es el núcleo de un homomor-
smo de anillos.
Ahora que hemos denido la noción de anillo cociente rescatamos los análogos a los teoremas de isomor-
smo de grupos en su versión para anillos unitarios.
Denición 16. Sean A y R anillos unitarios. Decimos que f : A → R es un isomorsmo de anillos unitarios
si y sólo si f es un homomorsmo de anillos unitarios biyectivo.
fˆ((r + Nuc f )(s + Nuc f )) = f (rs) = f (r)f (s) = fˆ(r + Nuc f )fˆ(r + Nuc f ).
Por lo tanto fˆ : A/ Nuc f → Im f es un isomorsmo de anillos unitarios.