1 Anillo Cociente
Sea I un ideal de un anillo A: Se de…ne la relación
aRb , b a2I
Es inmediato que esta relación es de equivalencia, lo que
me determina el conjunto cociente
A=R = f[a] : a 2 Ag
Queremos dar a A=R una estructura de anillo. De…-
namos las operaciones
[a] + [b] = [a + b]
[a] : [b] = [a:b]
estas operaciones estan bien de…nidas y dan una estruc-
tura de anillo a A=R, al cual llamaremos el anillo cociente
de A módulo I y denotado A=I o A I . Note que
0A=I = [0A]
1A=I = [1A]
también se tiene la igualdad
[a ] = a + I
de donde
0A=I = 0A + I = I
esto es, el ideal I es el cero del anillo cociente A=I .
Tenemos
a+I =
6 I,a2=I (1)
a+I = I ,a2I
La aplicación
: A ! A
I
a 7 ! a+I
es claramente un epimor…smo, llamado la proyección canónica.
Por el Teorema de la correspondencia, existe una biyec-
ción entre los ideales de A=I y los ideales de A que
contienen a I
I J A
l l l
0A=I J=I A=I
Teorema 1 (Fundamental de Homomor…smos) Sea f:A–
>B un epimor…smo de anillos, entonces
A
'B
ker(f )
Prueba:
Denotemos K = ker(f ), y de…namos
A
h: ! B = h (a + K ) = f (a ):
ker(f )
Obs. 2 Si f:A–>B no es un epimor…smo, solo tenemos
A
' Im(f ):
ker(f )
Ejemplo 3 Sea p(x) = a0 + + anxn 2 A [x], de…-
namos
f : A [x] ! A = f (p(x)) = a0
es un epimor…smo con núcleo
ker f = hxi
luego
A [x]
' A:
hxi
2 Divisores de cero, unidades, nilpo-
tentes
De…nición 4 Un elemento x de un anillo A se dirá divisor
de cero, si exite y 6= 0 en A tal que xy = 0:
Obs. 5 Por def. 0A es un divisor de cero. Un anillo cuyo
único divisor de cero es 0, se dirá un dominio entero o
dominio simplemente.
De…nición 6 Un elemento x de un anillo A se dirá una
unidad de A, si exite y en A tal que xy = 1A: Un anillo
donde todo elemento no nulo es unidad se dirá un cuerpo.
Obs. 7 Note que para que la def. anterior tenga sentido,
debe ser que 1A 6= 0A:
Obs. 8 Todo cuerpo es dominio.
Proposición 9 Todo dominio …nito es un cuerpo.
Corollary 10 Zn es dominio, sss, n es primo, sss, Zn es
cuerpo.
Ejemplo 11 Si A dominio, entonces A [x] es dominio.
Ejemplo 12 Sea S un conjunto con al menos dos ele-
mentos, entonces, el anillo F (S; A) no es dominio.
Proposición 13 Sen equivalentes: (i) A es un cuerpo;
(ii) Los únicos ideales de A son (0) y A; (iii) Para todo
anillo no nulo B y todo homomor…smo no nulo f:A–>B,
se tiene que f es monomor…smo.
De…nición 14 Un elemento x 2 A se dirá nilpotente, si
existe n 2 Z+ tal que xn = 0A:
Obs. 15 Por de…nición 0A. La suma de dos nilpotentes
es nilpotente, en efecto, sea xn = 0A = y m, entonces
(x + y )n+m = xn+m + ( ) xn+(m 1)y +
+ ( ) xny m + ( ) x(n 1)y m+1 + + yn
Corollary 16 El conjunto de elementos nilpotentes de A
forman un ideal, llamado el Nilradical de A y denotado
N (A) :
3 Ideales Primos y Maximales
De…nición 17 Un ideal P 6= A se dirá primo si
ab 2 P ) a 2 P _ b 2 P
o equivalentemente
a2
=P ^ b2
= P ) ab 2
=P
Proposición 18 Un ideal P 6= A es primo, sss, A=P es
dominio.
Ejemplo 19 En el ejemplo 3, tomando A = Z, se tiene
Z [x ]
'Z
hxi
de donde hxi es un ideal primo.
De…nición 20 Un elemento p 2 A, se dirá primo si
p j ab ) p j a _ p j b
Proposición 21 p 2 A es primo, sss, hpi es primo.
Ejemplo 22 Los ideales primos de Z son h0i y hpi ; 8p
primo en Z:
Obs. 23 (i ) A es dominio, sss, h0Ai es primo.(ii) Sea
f : A ! B homomor…smo, entonces f 1(Q) es primo
en A, 8Q es un primo en B.
Obs. 24 Por el Teorema de la Correspondencia y f :
A ! B un epimor…smo, f (P ) es un primo en B, 8P es
un primo en A que contiene al ker f
Corollary 25 hpi es primo en Zn, sss, p es un divisor
primo de n.
Ejemplo 26 h2i y h3i son los ideales primos de Z6.
De…nición 27 Un ideal M 6= A se dirá maximal si no
existe J 6= A ideal, tal que M ( J:
Proposición 28 M 6= A es maximal, sss, A=M cuerpo.
Ejemplo 29 h0K i es maximal en el cuerpo K:
Ejemplo 30 Los ideales maximales de hpi ; 8p primo en
Z:
Ejemplo 31 En el ejemplo 3, tomando A = R, se tiene
R [x ]
'R
hxi
de donde hxi es un ideal maximal.
Obs. 32 Como todo cuerpo es dominio, se sigue que
todo maximal es primo.
Ejemplo 33 Un primo que no es maximal es hxi en
Z [x], pues
hxi ( hx; 2i ( Z [x] :
Teorema 34 Todo ideal propio en un anillo no cero está
contenido en un ideal maximal:
Corollary 35 Todo elemento no unidad en un anillo no
cero está contenido en un ideal maximal: