Cuaderno de Algebra Oswaldo Lezama - ANILLOS

CUADERNOS DE
ALGEBRA
No. 2
Anillos
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
Diciembre 12 de 2011
ii
Cuaderno dedicado a Lukas, mi hijo.
Contenido
Pr ologo iv
1. Anillos y subanillos 1
1.1. Denicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Subanillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2. Ideales 12
2.1. Denicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2. Operaciones con ideales . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3. Anillo cociente y homomorsmos 24
3.1. Deniciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2. Teoremas de homomorsmo e isomorsmo . . . . . . . . . . . . . . . 28
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4. Producto de anillos 35
4.1. Denicion y propiedades elementales . . . . . . . . . . . . . . . . . . 35
4.2. Teorema chino de residuos . . . . . . . . . . . . . . . . . . . . . . . . 37
4.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5. Ideales primos y maximales 40
5.2. Comportamiento a traves de homomorsmos . . . . . . . . . . . . . . 43
5.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
6. Dominios de integridad 48
6.2. Dominios gaussianos . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
6.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
iii
iv CONTENIDO
7. Anillos de fracciones: caso conmutativo 57
7.1. Construccion y propiedades . . . . . . . . . . . . . . . . . . . . . . . 57
7.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
7.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
8. Polinomios y series 66
8.1. El anillo de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
8.2. El anillo de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.3. Propiedades elementales . . . . . . . . . . . . . . . . . . . . . . . . . 70
8.4. Teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
8.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Bibliografa 82
Pr ologo
La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales
temas de esta rama de las matematicas, y pretende servir de material para preparar
los examenes de admision y de candidatura de los programas colombianos de doc-
torado en matematicas. Los primeros cinco cuadernos cubren el material basico de
los cursos de estructuras algebraicas y algebra lineal de los programas de maestra;
los cinco cuadernos siguientes contienen algunos de los principales temas de los
examenes de candidatura, a saber: anillos y modulos, categoras, algebra homologi-
ca, algebra conmutativa y geometra algebraica. Cada cuaderno es fruto de las clases
dictadas por el autor en la Universidad Nacional de Colombia en los ultimos 25 a nos,
y estan basados en las fuentes bibliogracas consignadas en cada uno de ellos, como
tambien en el libro Anillos, Modulos y Categoras, publicado por la Facultad de
Ciencias de la Universidad Nacional de Colombia, y cuya edicion esta totalmente
agotada (vease [11]). Un material similar al presentado en estas diez publicaciones
es el libro de Serge Lang, Algebra, cuya tercera edicion revisada ha sido publicada
por Springer en el 2004 (vease [10]). Posiblemente el valor de los Cuadernos de alge-
bra sea su presentacion mas ordenada y didactica, as como la inclusion de muchas
pruebas omitidas en la literatura y sucientes ejemplos que ilustran la teora. Los
cuadernos son:
1. Grupos 6. Anillos y modulos
2. Anillos 7. Categoras
3. Modulos 8.

Algebra homologica
4.

Algebra lineal 9.

Algebra conmutativa
5. Cuerpos 10. Geometra algebraica
Los cuadernos estan dividido en captulos, los cuales a su vez se dividen en
secciones. Para cada captulo se a nade al nal una lista de ejercicios que debera ser
complementada por los lectores con las amplias listas de problemas que inluyen las
principales monografas relacionadas con el respectivo tema.
Cuaderno de anillos. El presente cuaderno da una introduccion a la teora
general de anillos. Los anillos, junto con los grupos, son posiblemente los objetos
algebraicos mas importantes. En efecto, la teora general de anillos es el lenguaje
fundamental para la mayora de las corrientes contemporaneas del algebra, entre
v
vi PR
OLOGO
las cuales podemos mencionar la teora algebraica de n umeros, la teora de repre-
sentacion de grupos y algebras, el algebra homologica y el algebra conmutativa con
sus aplicaciones. Estudiaremos en este cuaderno los conceptos y propiedades basicas
de los anillos; este estudio comprende tres partes fundamentales: en primer lugar, se
introducen las nociones de anillo, subanillo, ideal, anillo cociente y homomorsmo,
las cuales se relacionan estructuralmente por medio de los teoremas de homomors-
mo, isomorsmo y correspondencia. En segundo lugar, se realizan las construcciones
clasicas de un anillo a partir de otro dado, como por ejemplo, los anillos de matrices,
los anillos de polinomios y los anillos de fracciones (incluido el proceso de localizacion
por ideales primos). La tercera parte consiste en un estudio introductorio de los tres
tipos de dominios de integridad mas importantes, a saber: los dominios euclidianos,
los dominios de ideales principales y los dominios de factorizacion unica. Estas tres
partes se conjugan en el teorema de Gauss el cual establece que el anillo de poli-
nomios R[x] es un dominio de factorizacion unica, si y solo si, R es un domio de
factorizacion unica.
Los anillos aqu considerados son asociativos, con unidad, pero no necesariamente
conmutativos. Salvo que se advierta lo contrario, un anillo arbitrario sera denotado
con la letra A, un anillo conmutativo por R y un dominio de integridad mediante la
letra D.
Para una mejor comprension de los temas tratados en el presente cuaderno asu-
mimos que el lector esta familiarizado con las nociones basicas de la teora de grupos
y el algebra lineal elemental (veanse por ejemplo [10] y [12]).
El autor desea expresar su agradecimiento a Sandra Patricia Barragan Moreno,
colega y amiga, por la digitalizacion del material del presente cuaderno, y a Clau-
dia Milena Gallego Joya, discpula y amiga, por la revision cuidadosa de todo el
contenido.
Oswaldo Lezama
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, Colombia
jolezamas@unal.edu.co
Captulo 1
Anillos y subanillos
Posiblemente despues de los grupos y de los espacios vectoriales, los anillos son los
objetos algebraicos mas importantes. En este captulo presentamos su denicion,
como tambien algunos de los ejemplos mas conocidos de tal estructura.
1.1. Denici on y ejemplos
Denici on 1.1.1. Sea A un conjunto no vaco. Se dice que A tiene estructura de
anillo, o simplemente que A es un anillo, si en A han sido denidas dos operaciones
binarias internas notadas + y tales que:
(i) (A, +) es un grupo abeliano.
(ii) (A, ) es un semigrupo con elemento identidad 1.
(iii) La multiplicacion es distributiva con respecto a la adicion, es decir,
a (b + c) = a b + a c
(b + c) d = b d + c d
_
a, b, c, d A.
Si ademas la multiplicacion es conmutativa, es decir,
a b = b a , a, b A,
se dice entonces que (A, +, ) es un anillo conmutativo.
Observaci on 1.1.2. En adelante A denotara un anillo no necesariamente conmuta-
tivo, R un anillo conmutativo, 0 el elemento nulo de la adicion, tambien denominado
el cero de A, a el opuesto aditivo de a A. Salvo en casos necesarios, omitire-
mos el punto de la multiplicacion. El elemento identidad 1 tambien se denomina el
uno de A.
1
2 CAP
ITULO 1. ANILLOS Y SUBANILLOS

Los siguientes ejemplos ponen de maniesto la gran variedad de anillos (conmu-
tativos y no conmutativos) que podemos encontrar.
Ejemplo 1.1.3. Anillos numericos: los n umeros enteros Z, los racionales ,
los reales 1 y los complejos C, con sus operaciones habituales de adicion y multi-
plicacion, constituyen ejemplos de anillos. Los denotaremos por (Z, +, ), (, +, ),
(1, +, ) y (C, +, ).
Ejemplo 1.1.4. Anillo de endomorsmos de un grupo abeliano: dado un
grupo abeliano (G, +), denotamos por End (G) a su conjunto de endomorsmos:
End (G) := f : G G[f (a + b) = f (a) + f (b).
Consideremos en End (G) las siguientes operaciones:
Adicion: f, g End (G)
f + g : G G
a (f + g) (a) := f (a) + g (a) .
Multiplicacion: f, g End (G)
f g : G G
a (f g) (a) := f (g (a))
Es facil comprobar que End (G) bajo estas operaciones constituye un anillo en el
cual su elemento nulo es el endomorsmo nulo,
0 : G G
a 0
,
y su elemento identidad es la funcion identica de G,
i
G
: G G
a a
El siguiente ejemplo muestra que en general End (G) no es conmutativo. Basta
considerar el grupo V denido por
V := e, a, b, ab , a
2
= b
2
= e, ab = ba
y las funciones
G
f
G
e e
a a
b ab
ab b
G
g
G
e e
a b
b a
ab ab
1.1. DEFINICI
ON Y EJEMPLOS 3
que resultan ser endomorsmos para los cuales se tiene f g ,= g f.
Ejemplo 1.1.5. Anillo de matrices de orden n 1 sobre un anillo A:
denotaremos por M
n
(A) al conjunto de todas las matrices cuadradas de tama no
n n, n 1, con elementos en un anillo A,
M
n
(A) := A = [a
ij
][a
ij
A, 1 i, j n.
Denimos en M
n
(A) la adicion y multiplicacion de la manera habitual: dadas H =
[h
ij
] y B = [b
ij
] en M
n
(A), se dene
H + B = C = [c
ij
], donde c
ij
:= h
ij
+ b
ij
,
HB = D = [d
ij
], donde d
ij
:=
n
k=1
h
ik
b
kj
.
Notemos que tanto la suma h
ij
+b
ij
como el producto h
ik
b
kj
son operaciones en A.
Veamos que (M
n
(A) , +, ) es un anillo. La asociatividad de la adicion de matrices
se deduce de la propiedad asociativa de la adicion en A. El elemento neutro para
la adicion en M
n
(A) es la matriz nula notada por 0 y denida por 0 = [o
ij
] donde
o
ij
:= 0 para cada 1 i, j n , es decir, los elementos de la matriz nula son todos
iguales al cero en el anillo A. Cada matriz H = [h
ij
] tiene su opuesta aditiva denotada
por H y denida por H = [h
ij
], donde h
ij
es el opuesto del elemento h
ij
en
A. La conmutatividad de la adicion de matrices se deduce de la conmutatividad de
la adicion en A. Demostraremos que la multiplicacion de matrices es una operacion
asociativa, es decir, dadas H = [h
ij
], B = [b
ij
], C = [c
ij
] M
n
(A) se cumple que
(HB) C = H (BC). En efecto, sea D = [d
ij
] = HB y F = [f
ij
] = DC, entonces
f
ij
=
n
k=1
d
ik
c
kj
=
n
k=1
(
n
m=1
h
im
b
mk
)c
kj
=
n
k=1
n
m=1
(h
im
b
mk
)c
kj
=
n
m=1
n
k=1
h
im
(b
mk
c
kj
) =
n
m=1
h
im
(
n
k=1
b
mk
c
kj
).
La suma del ultimo parentesis representa el termino (m, j) de la matriz BC, y la
suma
n
m=1
h
im
(
n
k=1
b
mk
c
kj
)
representa el termino (i, j) de la matriz H (BC), lo cual demuestra la igualdad de
las matrices (HB) C = H (BC). La matriz denotada por E = [e
ij
], donde e
ij
:= 1
si i = j, y e
ij
:= 0 si i ,= j, es el elemento identidad para la multiplicacion en
M
n
(A) y se conoce como la matriz identica. Las propiedades distributivas de
la multiplicacion respecto a la adicion en M
n
(A) se deducen de las respectivas
propiedades distributivas en el anillo A. El anillo M
n
(A) es no conmutativo salvo
cuando A es un anillo conmutativo y n = 1.
4 CAP

Ejemplo 1.1.6. Aplicaciones de un conjunto no vaco en un anillo: sea
(A, +, , 1) un anillo y sea X un conjunto no vaco cualquiera. Denotemos por A
X
el conjunto de todas las funciones con dominio X y codominio A. Las operaciones
siguientes dan a A
X
estructura de anillo: sean f : X A, g : X A funciones
de X en A; entonces se denen:
Adicion:
f + g : X A
x (f + g) (x) := f(x) + g(x).
Multiplicacion:
f g : X A
x (f g) (x) := f(x) g(x).
El cero de A
X
es la funcion denotada por 0 y que asigna a cada elemento de X el
cero del anillo A; el elemento identidad denotado por 1 es la funcion que asigna a
cada elemento de X el 1 del anillo A. Notemos que A
X
es conmutativo si, y solo si, A
es un anillo conmutativo. Cuando X = N y A = 1, 1
N
es el anillo de sucesiones
reales.
Ejemplo 1.1.7. Anillo de los enteros modulo n 2: consideremos el grupo
abeliano (Z
n
, +) de enteros modulo n, donde Z
n
= Z/ n) :=
_
0, 1, 2, . . . n 1
_
.
En Z
n
se dene la multiplicacion de clases por
rs := rs, r, s Z,
es decir, en terminos del producto del anillo Z; esta operacion esta bien denida, pues
si r = r
y s = s
, entonces rs = r
. Es inmediato que (Z
n
, , 1) es un semigrupo con
elemento identidad 1. La distributividad de la multiplicacion respecto de la adicion
en Z
n
es consecuencia directa de la distributividad de la multiplicacion respecto
de la adicion en el anillo Z; lo mismo podemos decir para la conmutatividad de la
multiplicacion. As, (Z
n
, +, ) es un anillo conmutativo. Si n = 0, entonces
Z
0
= Z/ 0) = r = r [r Z
y podemos considerar que Z
0
es el mismo anillo Z; cuando n = 1, entonces Z
1
=
Z/ 1) = Z/Z =
_
0
_
. En este ultimo caso el anillo Z
1
consta de un solo elemento:
la clase cero. Observese que en este anillo el elemento neutro de la adicion coincide
con el elemento identidad de la multiplicacion.
Observaci on 1.1.8. Un anillo A se dice que es trivial, o tambien que es nulo, si
posee un solo elemento. Una condicion necesaria y suciente para que un anillo sea
trivial es que su elemento nulo coincida con su elemento identidad. En adelante, si
no se advierte lo contrario, la palabra anillo indicara anillo no nulo.
1.1. DEFINICI
ON Y EJEMPLOS 5
Denici on 1.1.9. Sea A un anillo, y sea a A. Se dice que a es un elemento
invertible del anillo A, si existe en A un elemento ( unico) denotado por a
1
tal
que aa
1
= 1 = a
1
a. El conjunto de todos los elementos invertibles de un anillo A
se denota A
, es decir, A
:= a A[a es invertible.
Proposici on 1.1.10. Si (A, +, ) es un anillo, (A
, ) es un grupo, denominado el
grupo multiplicativo del anillo A, o tambien, el grupo de los elementos
invertibles de A.
Demostracion. Se deja como ejercicio al lector.
Denici on 1.1.11. Sea A un anillo no nulo. Se dice que A es un anillo de di-
vision, si todos los elementos no nulos de A son invertibles, es decir, si A
=
A 0. Un cuerpo es un anillo de division conmutativo.
Ejemplo 1.1.12. Para los anillos considerados en los ejemplos anteriores se tiene
lo siguiente:
(i) Grupos multiplicativos:
Z
= 1, 1;
= 0; 1
= 10;
C
= C0; Z
n
= x[m.c.d.(x, n) = 1 ;
End (G)
= Aut (G) := grupo de automorsmos de G;

M
n
(A)
= GL
n
(A) := grupo lineal de orden n sobre A;
_
A
X
_
= f : X A[f (X) A
.
(ii) Anillos de la parte (i) que son cuerpos.
(a) Z no es un cuerpo.
(b) es cuerpo.
(c) 1 es cuerpo.
(d) C es cuerpo.
(e) Z
n
es cuerpo si, y solo si, n es un n umero primo.
(f) End (G) no es cuerpo por no ser conmutativo, en general, tampoco es un
anillo de division, pues por ejemplo para el grupo abeliano Z la funcion
h : Z Z denida por h(k) = 2k es un elemento de End (Z), h ,= 0,
pero h / Aut (G).
(g) M
n
(A) no es un cuerpo por no ser conmutativo; tampoco es anillo de
division a menos que A lo sea y n = 1.
(h) Si [X[ 2, A
X
no es un anillo de division.
6 CAP

Si (A, +, ) es un anillo podemos utilizar todas las propiedades del grupo aditivo
(A, +) y las del semigrupo (A, ). En particular utilizaremos la potenciacion de este
ultimo. Sea a un elemento de A, denimos inductivamente las potencias enteras de
a como sigue:
a
1
:= a, a
n
:= a
n1
a, n 2.
Para a ,= 0, a
0
:= 1 .
Para a A
, a
n
:= (a
1
)
n
n 1.
Recordemos ademas como se denen los m ultiplos enteros en el grupo (A, +):
1 a := a,
k a := (k 1) a + a, k 2,
0 a := 0
(k) a := (ka)
_
a A, k Z
+
.
Proposici on 1.1.13. Dado (A, +, , 1) un anillo y a, b, c elementos cualesquiera de
A, entonces
(i) a 0 = 0.
(ii) a (b) = (a) b = (ab).
(iii) (a) (b) = ab.
(iv) a (b c) = ab ac.
(v) (b c) a = ba ca.
(vi) Si m y n son enteros 1, entonces
(a
n
)
m
= a
mn
.
(vii) Si A = R es conmutativo, entonces para cada n 1.
(ab)
n
= a
n
b
n
.
Demostracion. Ejercicio para el lector.
Existen anillos en los cuales el producto de elementos no nulos es nulo. As por
ejemplo, en Z
6
, 2 3 = 0 con 2 ,= 0 y 3 ,= 0.
Denici on 1.1.14. Se dice que un anillo A es un anillo sin divisores de cero,
si para cualesquiera elementos a, b A se cumple
ab = 0 a = 0, o, b = 0.
1.2. SUBANILLOS 7
El elemento a A es un divisor de cero a la derecha si existe b ,= 0, b A, tal
que ba = 0. De manera analoga se denen los divisores de cero a izquierda. Un anillo
conmutativo sin divisores de cero se denomina dominio de integridad (DI). Los
dominios de integridad se acostumbra denotarlos por D.
Denici on 1.1.15. Sea A un anillo no nulo. Se dice que A cumple la ley cance-
lativa a derecha, si para cualesquiera b, c A y cualquier a ,= 0 en A se cumple
ba = ca b = c
De manera analoga se dene la ley cancelativa a izquierda.
Proposici on 1.1.16. Sea R un anillo conmutativo.
(i) R es un dominio de integridad si, y solo si, R cumple la propiedad cancela-
tiva (en vista de la conmutatividad de R ambas propiedades cancelativas son
equivalentes).
(ii) Todo cuerpo es un dominio de integridad.
(iii) Todo dominio de integridad nito es un cuerpo.
(iv) Z
n
es dominio de integridad si, y solo si, n es primo.
Demostracion. Las dos primeras propiedades son evidentes.
(iii) Sea D un dominio de integridad nito. Veamos que D
= D 0. Puesto
que D es nito, el esta constituido por n elementos distintos, a
1
, a
2
,. . . , a
n
. Dado
a no nulo en D se puede armar que los siguientes elementos de D son distintos:
a
1
a, a
2
a,. . . , a
n
a, pues, si a
i
a = a
j
a para i ,= j, entonces (a
i
a
j
) a = 0 y
siendo D un dominio de integridad, se tendra que a
i
= a
j
. Entonces, todo elemento
de D debe ser de la forma a
i
a para alg un a
i
; en particular 1 = a
i
a para alg un a
i
y as, a D
.
(iv) Consecuencia de (i) y (ii).
1.2. Subanillos
Denici on 1.2.1. Dado (A, +, , 1) un anillo y S A, S ,= , se dice que S es
subanillo de A, si (S, +, , 1) tiene estructura de anillo. Un subanillo S de A tal
que S ,= A se denomina subanillo propio de A.
Es facil comprobar que S es subanillo de A si 1 S, y para cualesquiera a, b S,
se cumple que a b, ab S. El anillo A tiene como subanillo trivial al mismo anillo
A.
8 CAP

Ejemplo 1.2.2. (a) Z no tiene subanillos propios.
(b) Z es subanillo propio de , 1 y C.
(c) es un subanillo propio de 1 y C.
(d) 1 es subanillo propio de C.
Ejemplo 1.2.3. Sean End (G) el anillo de endomorsmos de un grupo abeliano G y
H un subgrupo de G. El conjunto S de endomorsmos f de G tales que f(H) H,
es un subanillo de End (G).
Ejemplo 1.2.4. Sea M
n
(A) el anillo de matrices de orden n sobre un anillo A; si
denotamos por D(A) al conjunto de las matrices diagonales en M
n
(A), es decir,
D(A) := D = [d
ij
] M
n
(A) [d
ij
= 0, para i ,= j,
entonces D(A) es un subanillo de M
n
(A). El grupo de elementos invertibles del
anillo D(A) se denota por D
n
(A).
Ejemplo 1.2.5. Dado un anillo cualquiera, el conjunto C (A) de elementos de A
que conmutan (respecto al producto) con todos los elementos de A, es decir,
C (A) := a A[ab = ba, para todo b A
es un subanillo de A y se denomina el centro de A. Notese que A es conmutativo
si, y solo si, C (A) = A.
Ejemplo 1.2.6. Sea A
X
el anillo de funciones del conjunto X en el anillo A, y sea
S un subanillo de A. Entonces S
:= f A[f (X) S es un subanillo de A

X
.
Ejemplo 1.2.7. Los cuaterniones de Hamilton: consideremos en el anillo de
las matrices de orden 2 sobre el cuerpo de los n umeros complejos el subconjunto
H :=
__
z w
w z
_
[z, w C
_
M
2
(C),
donde z = a bi denota el conjugado del complejo z = a + bi, a, b 1. H es un
subanillo de M
2
(C):
_
z
1
w
1
w
1
z
1
_
_
z
2
w
2
w
2
z
2
_
=
_
z
1
z
2
w
1
w
2
w
1
w
2
z
1
z
2
_
H,
_
z
1
w
1
w
1
z
1
_ _
z
2
w
2
w
2
z
2
_
=
_
z
1
z
2
w
1
w
2
z
1
w
2
+ w
1
z
2
z
1
w
2
+ w
1
z
2
z
1
z
2
w
1
w
2
_
,
_
1 0
0 1
_
H.
1.2. SUBANILLOS 9
Notese que H no es conmutativo:
_
i 0
0 i
_ _
0 i
i 0
_
,=
_
0 i
i 0
_ _
i 0
0 i
_
.
Cada elemento no nulo de H es invertible y su inverso esta en H, con lo cual H
resulta ser anillo de division. En efecto, sea
A =
_
z w
w z
_
, z = a
1
+ b
1
i, w = a
2
+ b
2
i
una matriz no nula en H. Entonces, al menos uno de los n umeros reales a
1
, b
1
, a
2
,
b
2
es no nulo. Esto hace que el determinante de la matriz A sea no nulo:
d = det A = a
2
1
+ b
2
1
+ a
2
2
+ b
2
2
,= 0.
A
1
=
_
z
d
w
d
w
d
z
d
_
H.
Ejemplo 1.2.8. Dominio de enteros gaussianos: el anillo de los enteros es
un ejemplo de dominio de integridad que no es un cuerpo. Presentamos aqu otro
ejemplo. El conjunto Z[i] de los n umeros complejos denido por
Z[i] := a + bi[a, b Z
es un subanillo de C; por tal razon Z[i] es conmutativo y no posee divisores de cero.
Sin embargo, Z[i] no es cuerpo ya que 2 Z[i], pero 2
1
=
1
2
/ Z[i].
Ejemplo 1.2.9. Si A es un anillo, es claro que la interseccion de cualquier coleccion
no vaca de subanillos de A es un subanillo de A. Sea a A. La interseccion de
todos los subanillos de A que contienen a se denomina subanillo generado por
a, el cual denotamos por Z[a], y es el subanillo mas peque no de A que contiene a
a. Queremos presentar los elementos de Z[a] de una manera explcita. Supongamos
inicialmente que a ,= 0. Puesto que 0, 1 Z[a], entonces en el grupo (Z[a], +, 0) se
tiene
k 1 = 1 + 1 + + 1
. .
k-veces
:= k Z[a]
0 1 = 0 := 0 Z[a]; 0 Z
(k) 1 = (k 1) := k Z[a]
_
_
k Z
+
, 1, 0 A. (1.2.1)
Ademas, como las potencias enteras no negativas de a estan en Z[a], entonces estaran
las combinaciones enteras de estas potencias, es decir, el conjunto
S :=
n
i=0
k
i
a
i
[k
i
Z, n 1 Z[a].
10 CAP

De otra parte, S es un subanillo de A que contiene a. En efecto, la suma de dos
elementos de S esta en S, 1 = 1 1 S, y la propiedad distributiva en A junto con
la relacion
(k
i
a
i
) (k
j
a
j
) = k
i
k
j
a
i+j
da que el producto de dos elementos de S esta en S. Obviamente a S. De lo
anterior se desprende que
Z[a] =
n
i=0
k
i
a
i
[k
i
Z, n 1, a ,= 0, (1.2.2)
Z[0] = Z[1] = k 1 = k[k Z . (1.2.3)
y se denomina subanillo primo de A.
Ejemplo 1.2.10. El ejemplo anterior puede ser ampliado a dos o mas elementos
a
1
, . . . , a
n
de tal forma que Z[a
1
, . . . , a
n
] es el menor subanillo de A que contiene
a los elementos a
1
, . . . , a
n
, y consta de todas las sumas nitas con sumandos de la
forma
ka
i
11
1
a
i
12
2
a
i
1n
n
a
i
21
1
a
i
22
2
a
i
2n
n
a
i
r1
1
a
i
r2
2
a
irn
n
,
con k Z, r 1 e i
uv
0. Notemos que los elementos a
1
, . . . , a
n
no necesariamente
conmutan ya que A no es conmutativo.
De otra parte, si B es un subanillo de A y a
1
, . . . , a
n
A, entonces pode-
mos repetir las ideas expuestas anteriormente y construir el menor subanillo de
A que contenga al subanillo B y a los elementos a
1
, . . . , a
n
; este anillo se denota por
B[a
1
, . . . , a
n
] y consta de todas las sumas nitas con sumandos de la forma
k
1
a
i
11
1
a
i
12
2
a
i
1n
n
k
2
a
i
21
1
a
i
22
2
a
i
2n
n
k
r
a
i
r1
1
a
i
r2
2
a
irn
n
,
con k
j
B, 1 j r. Este subanillo se denomina el subanillo de A generado
por B y a
1
, . . . , a
n
. Notemos que si ka
i
= a
i
k y a
i
a
j
= a
j
a
i
, para 1 i, j n y
todo k B, entonces cada elemento de B[a
1
, . . . , a
n
] es una suma nita de sumandos
de la forma ka
i
1
1
a
i
2
2
a
in
n
, con k B e i
u
0, es decir, expresiones polinomicas en
a
1
, . . . , a
n
con coecientes en B.
1.3. Ejercicios
1. Demuestre la proposicion 1.1.10.
2. Demuestre que Z
n
es cuerpo, si y solo si, n es un n umero primo.
1.3. EJERCICIOS 11
3. Sea A un anillo. Demustre que si [X[ 2, entonces A
X
no es un anillo de
division.
5. Sean X un conjunto cualquiera y 2
X
su conjunto de partes. Sea la diferencia
simetrica de conjuntos y la interseccion. Demuestre que (2
X
, , ) es un
anillo conmutativo.
6. Sea
[
3] :=
_
a + b
3 [ a, b
_
,
donde es el anillo de los n umeros racionales. Considerense en [
3] las
operaciones habituales de suma y multiplicacion de complejos. Demuestre que
bajo estas operaciones [
3] es un cuerpo.
7. Si R es un anillo conmutativo, demuestre que para cada n 1
(a + b)
n
=
n
k=0
_
n
k
_
a
k
b
nk
,
_
n
k
_
=
n!
(n k)!k!
, a, b R.
8. Sea p Z no nulo. Demuestre que
p
:=
a
p
k
[a Z, k 0
es un subanillo de y coincide con Z[
1
p
].
9. Sean (A, +, , 1) un anillo y Q el anillo de endomorsmos del grupo abeliano
(A, +). Para cada x A se dene la funcion
f
x
: A A
a xa
Compruebe que para cada x A, f
x
Q. Si F := f
x
[ x A, pruebe ademas
que F es un subanillo de Q isomorfo a A (vease el captulo 3).
10. Calcule el centro del anillo de cuaterniones.
Captulo 2
Ideales
En teora de anillos se tiene un concepto correspondiente al de subgrupo normal de
la teora de grupos, y es el de ideal. Con ideales bilateros se construyen los anillos
cociente de manera similar a como se hace en grupos con subgrupos normales. La
denicion y las operaciones entre ideales son presentadas en este captulo.
2.1. Denici on y ejemplos
Denici on 2.1.1. Dados A un anillo e I un subconjunto no vaco de A, se dice
que:
(i) I es un ideal izquierdo de A, si x y I para todo x, y I, y ademas
ax I para todo a A y todo x I.
(ii) I es un ideal derecho de A, si xy I para todo x, y I, y ademas xa I
para todo x I y todo a A.
(iii) I es un ideal bilatero de A, si I es un ideal izquierdo y derecho de A.
Observaci on 2.1.2. (i) En un anillo conmutativo R los conceptos anteriores coin-
ciden y diremos simplemente que I es un ideal de R.
(ii) En un anillo A, tanto A como el conjunto 0 := 0 son ideales bilateros de
A, denominados los ideales bilateros triviales del anillo A.
Proposici on 2.1.3. Sea A un anillo e I un ideal derecho (izquierdo, bilatero) que
contiene un elemento invertible de A, entonces I = A.
Demostracion. Sea x A
I, entonces xx
1
= 1 I; de aqu se obtiene que para
todo y A, 1y = y I, es decir, A I y por lo tanto I = A.
12
2.1. DEFINICI
ON Y EJEMPLOS 13
Corolario 2.1.4. Si A es un anillo de division, entonces los unicos ideales derechos
(izquierdos, bilateros) de A son los triviales. Recprocamente, si un anillo A posee
solo dos ideales derechos (o tambien, solo dos ideales izquierdos), entonces A es un
anillo de division.
Demostracion. Sea I un ideal derecho no nulo del anillo de division A, entonces
existe x I A, x ,= 0; esto indica que x I es invertible y, por la proposicion
2.1.3, I = A. La demostracion para ideales izquierdos es identica. La armacion
para ideales bilateros es consecuencia de lo anterior.
Sea ahora A un anillo cuyos unicos ideales derechos son los triviales. Para x ,= 0
en A, el conjunto xA : =xa [ a A es un ideal derecho de A; ademas este ideal es
no nulo y, por lo tanto, xA = A; se obtiene que 1 A xA; esto signica que existe
x
A tal que xx
= 1. Observese que x
es no nulo y ademas x
A = A. Existe pues
x
A tal que x
= 1 y xx
= x, lo cual implica que x
= x, es decir, x A
.
Se ha probado que cada elemento no nulo de A es invertible, es decir, A es un anillo
de division. La demostracion para ideales izquierdos es analoga.
Observaci on 2.1.5. Si un anillo A tiene solo dos ideales bilateros no se puede
armar que A sea un anillo de division, como se vera a continuacion.
Ejemplo 2.1.6. Ideales del anillo de matrices M
n
(A): sean A un anillo y M
n
(A) su
anillo de matrices de orden n. Para I un ideal bilatero de A, el conjunto notado por
M
n
(I) := F = [a
ij
] [ a
ij
I
es un ideal bilatero de M
n
(A). En efecto, M
n
(I) ,= pues 0 M
n
(I); dadas H =
[h
ij
], B = [b
ij
] M
n
(I), entonces H B = C = [c
ij
] M
n
(I), ya que c
ij
= h
ij
b
ij
esta en I, para todo i, j, 1 i, j n. Ademas, para H M
n
(I) y D = [d
ij
] M
n
(A)
se cumple que HD = F = [f
ij
] M
n
(I). En efecto,
f
ij
=
n
k=1
h
ik
d
kj
I,
pues I es un ideal derecho y entonces h
ik
d
kj
I para cada k, 1 k n; por tanto,
la suma f
ij
I. Analogamente, DH M
n
(I).
Se ha probado que cada ideal bilatero I del anillo A determina en M
n
(A) el ideal
bilatero M
n
(I). Probemos ahora el recproco, es decir, que cada ideal bilatero J de
M
n
(A) determina en A un ideal bilatero I tal que J es precisamente M
n
(I). En
efecto, consideremos el conjunto
I
ij
:= a A[ E
ij
a J ,
donde E
ij
a denota la matriz de orden n cuya unica entrada no nula es la correspon-
diente a la interseccion de la la i y la columna j, en la cual esta el elemento a. Si
a = 1, dicha matriz se denota simplemente por E
ij
. Para este tipo de matrices es
facil demostrar que
14 CAP
ITULO 2. IDEALES
E
ij
aE
lk
b =
_
0, si j ,= l
E
ik
ab, si j = l.
Veamos que I
ij
es un ideal bilatero de A. I
ij
,= ya que 0 J; dados x, y I
ij
entonces E
ij
x, E
ij
y J, y como J es ideal bilatero, entonces E
ij
x E
ij
y = E
ij
(x
y) J, de donde x y I
ij
. De otra parte, para a A y x I
ij
, se tiene que
E
ij
x J, E
jj
a, E
ii
a M
n
(A), y por lo tanto, E
ij
xE
jj
a = E
ij
xa J; tambien,
E
ii
aE
ij
x = E
ij
ax J, de donde xa, ax I
ij
.
Probemos ahora que
J = H = [h
ij
] [ a
ij
I
ij
.
Sea H = [h
ij
] tal que h
ij
I
ij
para cada par de ndices 1 i, j n, H puede
escribirse de la forma
H =
n
i,j=1
E
ij
h
ij
,
donde se tiene que E
ij
h
ij
J, luego H J. De otro lado, dada H = [h
ij
] J,
mostraremos que una entrada cualquiera h
lk
de H esta en I
lk
. En efecto,
E
ll
HE
kk
= E
lk
h
lk
J,
de donde h
lk
I
lk
.
Se desea mostrar nalmente que todos los ideales I
ij
, 1 i, j n, coinciden.
Fijemos dos ndices i, j y probemos que I
ij
= I
ir
para todo r. Dado x I
ij
se cumple
que E
ij
x J, y por lo tanto, E
ij
xE
jr
= E
ir
x J, luego x I
ir
, es decir, I
ij
I
ir
.
Simetricamente, I
ir
I
ij
. En forma analoga, I
sj
= I
ij
para 1 s n. Resulta pues
que I
ij
= I y
J = H = [h
ij
] [ h
ij
I
ij
= M
n
(I).
Se ha demostrado as que los ideales bilateros de M
n
(A) son de la forma M
n
(I),
donde I es un ideal bilatero de A.
Ejemplo 2.1.7. Ideales bilateros del anillo de matrices sobre un anillo de division
A: para n 2, sea M
n
(A) el anillo de matrices sobre un anillo de division A. Seg un
el ejemplo 2.1.6 , M
n
(A) tiene solo dos ideales bilateros: los trivilaes M
n
(0) = 0 y
M
n
(A). Sin embargo, M
n
(A) no es un anillo de division ya que la matriz E
11
es no
nula y no es invertible.
Denici on 2.1.8. Un anillo A se dice simple si los unicos ideales bilateros de A
son los trivilaes, 0 y A.
Corolario 2.1.9. Sea R un anillo conmutativo. R es un cuerpo si, y solo si, R es
simple.
2.2. OPERACIONES CON IDEALES 15
Demostracion. Consecuencia directa del corolario 2.1.4.
Ejemplo 2.1.10. Ideales del anillo Z: si I es un ideal de Z, entonces I es un subgrupo
de (Z, +, 0) y, por lo tanto, esta conformado por los m ultiplos de alg un entero no
negativo n, es decir, I es de la forma nZ. Es claro que cada uno de estos conjuntos
es un ideal de Z.
Ejemplo 2.1.11. Ideales de los anillos , 1 y C: puesto que , 1 y C son cuerpos,
sus unicos ideales son los triviales.
Ejemplo 2.1.12. Sean A un anillo, M
n
(A) su anillo de matrices y
J := H = [h
ij
] [ h
ij
= 0, para j ,= 1.
Entonces I es un ideal izquierdo no derecho de M
n
(A). Con i ,= 1 se construye en
forma similar un ideal derecho no izquierdo.
Ejemplo 2.1.13. Sean A
X
el anillo de funciones de X en un anillo A e I un ideal
bilatero (izquierdo, derecho) de A. Entonces
I
X
:=
_
f A
X
[ f (X) I
_
es un ideal bilatero (izquierdo, derecho) de A
X
.
2.2. Operaciones con ideales
Analogamente a como se hace con los subgrupos de un grupo, es posible denir
operaciones entre los ideales de un anillo.
Denici on 2.2.1. Si A es un anillo e I
i
iI
es una familia de ideales izquierdos
de A, la interseccion
iI
I
i
es un ideal izquierdo de A, el cual se denomina ideal
interseccion. De manera analoga se dene la interseccion de ideales derechos y
bilateros.
Proposici on 2.2.2. Sean A un anillo, S A, S ,= . El ideal izquierdo mas peque no
de A que contiene al subconjunto S es la interseccion de todos los ideales izquierdos
de A que contienen a S, y se denota por S, es decir,
S :=
SI
I
I es ideal izquierdo de A
Demostracion. Evidente a partir de la nocion de interseccion.
16 CAP
ITULO 2. IDEALES
Denici on 2.2.3. Dados A un anillo, S A, S ,= , al ideal S se le denomina
el ideal izquierdo generado por S. El ideal izquierdo I de A se dice que es
nitamente generado, si existe un subconjunto nito S en A tal que S = I.
Ademas, := 0.
De manera analoga se dene el ideal derecho generado por S, el ideal bilatero
generado por S, denotados por S) y S), respectivamente.
Proposici on 2.2.4. Sean A un anillo, S A, S ,= . El ideal izquierdo generado
por S coincide con el conjunto de sumas nitas de productos de elementos de A con
elementos de S.
Demostracion. Denotemos por B al conjunto de las sumas nitas de productos de
elementos de A con elementos de S,
B =
_
n
k=1
a
k
s
k
[ a
k
A, s
k
S, n 1
_
;
probemos pues que S = B. En efecto, es inmediato que si x, y B entonces
x y B, y que si a A entonces ax B; es decir, B es un ideal izquierdo de A.
Ademas, notese que S B, de donde se deduce que S B.
Sea ahora I un ideal izquierdo de A que contiene a S; entonces I debe contener
cada suma de la forma
n
k=1
a
k
s
k
, a
k
A, s
k
S, n 1, es decir, B I. Como
esto es valido para todo ideal izquierdo que contenga a S, entonces
B
SI
I
I es ideal izquierdo de A
= S .
Proposici on 2.2.5. (i) Sea A un anillo y S A, S ,= , entonces
S) =
_
n
k=1
s
k
a
k
[ a
k
A, s
k
S, n 1
_
,
S) =
_
n
k=1
a
k
s
k
a
k
[ a
k
, a
k
A, s
k
S, n 1
_
.
(ii) Si R un anillo conmutativo, entonces
S = S) = S) .
Demostracion. La demostracion de estas armaciones es completamente analoga a
la de la proposicion 2.2.4.
Corolario 2.2.6. Dados A un anillo y S = s
1
, . . . , s
n
A entonces
s
1
, . . . , s
n
=
_
n
k=1
a
k
s
k
[ a
k
A
_
,
s
1
, . . . , s
n
) =
_
n
k=1
s
k
a
k
[ a
k
A
_
,
s
1
, . . . , s
n
) =
_
m
k=1
a
k
s
i
k
a
k
[ a
k
, a
k
A, s
i
k
S, m 1
_
.
En particular,
x = Ax = ax [ a A,
x) = xA = xa [ a A,
x) =
_
n
k=1
a
k
xa
k
[ a
k
, a
k
A, n 1
_
.
los cuales se denominan ideal principal izquierdo, derecho y bilatero, respec-
tivamente. Cuando A es un anillo conmutativo estos ideales coinciden.
Denici on 2.2.7. Sea D un dominio de integridad. Se dice que D es un dominio
de ideales principales, si cada ideal de D es principal.
Ejemplo 2.2.8. Z es un dominio de ideales principales.
Ejemplo 2.2.9. Todo cuerpo es dominio de ideales principales.
Podemos ahora denir una segunda operacion entre ideales izquierdos, derechos
y bilateros.
Denici on 2.2.10. Sea A un anillo e I
i
iC
una familia de ideales izquierdos de A,
se dene la suma de la familia I
i
iC
, y se simboliza por
iC
I
i
, al ideal generado
por el conjunto
iC
I
i
.
Seg un la proposicion 2.2.4,
iC
I
i
=
_
n
k=1
a
k
[ a
k

_
iC
I
i
, n 1
_
.
En particular,
I
1
+ + I
n
=
_
n
k=1
a
k
[ a
k
I
k
_
.
18 CAP
ITULO 2. IDEALES
Observaci on 2.2.11. (i) Notese que si s
1
, . . . , s
n
A, entonces,
s
1
, , s
n
= As
1
+ + As
n
.
(ii) La suma de una familia de ideales derechos se dene en forma analoga, as como
tambien la suma de ideales bilateros.
(iii)
iC
I
i
es el ideal izquierdo (derecho, bilatero) mas peque no de A que con-
tiene a cada uno de los ideales izquierdos (derechos, bilateros) de la familia I
i
iC
.
Denici on 2.2.12. Si I
1
, . . . , I
n
es una familia nita de ideales izquierdos de
un anillo A, se dene su producto, y se denota por I
1
I
2
I
n
, al ideal izquierdo
generado por el conjunto
a
1
. . . a
n
[ a
i
I
i
, 1 i n.
De acuerdo con la proposicion 2.2.4,
I
1
I
2
I
n
=
_
m
k=1
x
1k
x
nk
[ x
ik
I
i
, 1 i n, m 1
_
.
Observaci on 2.2.13. (i) El producto de una familia de ideales derechos o bilateros
se dene de manera analoga.
(ii) Notese que cuando I
1
, . . . , I
n
son ideales izquierdos entonces el producto
I
1
I
n
esta contenido en I
n
; cuando I
1
, . . . , I
n
son ideales derechos el producto
I
1
I
n
esta contenido en I
1
, cuando I
1
, . . . , I
n
son ideales bilateros el producto
I
1
I
n
esta contenido en cada ideal I
i
, i = 1, 2, . . . , n.
Denici on 2.2.14. Sea A un anillo e I un ideal izquierdo no nulo de A, se dene
I
0
:= A
I
1
:= I
.
.
.
I
n
:= I
n1
I, n 2.
Observaci on 2.2.15. La denicion anterior es aplicable tambien a ideales derechos
y bilateros no nulos de A. Si I = 0, entonces 0
n
= 0, para cada n 1.
Proposici on 2.2.16. Sea A un anillo.
(i) Dados I y J ideales izquierdos de A, el conjunto denido por
(I : J) := a A [ aJ I
es un ideal bilatero de A y se denomina el cociente de I por J.
(ii) Dados I y J ideales derechos del anillo A, el conjunto denido por
(I : J) := a A [ Ja I
es un ideal bilatero de A, y se denomina el cociente de I por J.
(iii) En particular, si I es un ideal izquierdo (derecho, bilatero) de A,
Ann(I) := (0 : I)
es un ideal bilatero de I y se denomina el anulador de I.
Demostracion. Realizamos solo la prueba de (i). La prueba de las otras dos arma-
ciones quedan como ejercicio para el lector. (I : J) ,= ya que 0J = 0 I. Si a,
a
(I : J) y x A, entonces
(a + a
) J = aJ + a
J I
xaJ xI I
axJ aJ I.
Proposici on 2.2.17. Sea R un anillo conmutativo y sea I un ideal de R. Se dene
el radical de I por
I := r R[r
n
I para alg un n 1.
Entonces,
I es un ideal de R.
Demostracion. La prueba la dejamos a los lectores.
Presentamos a continuacion algunas propiedades de las operaciones denidas
anteriormente.
Proposici on 2.2.18. Sean J, I
1
, . . . , I
n
ideales derechos (izquierdos, bilateros) de
A. Entonces,
J (I
1
+ + I
n
) = JI
1
+ + JI
n
(I
1
+ + I
n
) J = I
1
J + + I
n
J.
Demostracion. Probamos solo la primera identidad. Sea x J (I
1
+ + I
n
), en-
tonces x es de la forma
x =
m
k=1
b
k
(a
1k
+ + a
nk
)
=
m
k=1
b
k
a
1k
+ + b
k
a
nk
,
lo cual signica que x pertenece a JI
1
+ + JI
n
, es decir,
20 CAP
ITULO 2. IDEALES
J (I
1
+ + I
n
) JI
1
+ + JI
n
.
De otra parte, puesto que para cada 1 j n,
I
j
I
1
+ + I
n
entonces
JI
j
J (I
1
+ + I
n
)
de donde,
n
j=1
JI
j
J (I
1
+ + I
n
) .
Proposici on 2.2.19. Sea R un anillo conmutativo y sean I, J ideales de R. En-
tonces,
(i) I
I.
(ii)
_
I =
I.
(iii) Si I J, entonces
J.
(iv)
IJ =
I J =
J.
(v)
I = R I = R.
(vi)
I + J =
_
I +
J.
(vii)
I
n
=
I, para cada entero n 1.

(viii)
I +
J = R I + J = R.
Demostracion. La prueba se plantea como ejercicio al lector.
El siguiente ejemplo ilustra en el anillo Z las operaciones denidas en la presente
seccion.
Ejemplo 2.2.20. Sean m y n enteros, entonces:
(i) m)n) = m.c.m. (m, n)), en donde m.c.m. denota el mnimo com un m ulti-
plo. En efecto, si x m) n), entonces x es m ultiplo de m y n simultanea-
mente; por lo tanto, x es m ultiplo del mnimo com un m ultiplo de ellos, es decir,
x m.c.m. (m, n)). Recprocamente, si x m.c.m. (m, n)), x m) y x n), de
donde x m) n).
(ii) m)+n) = m.c.d. (m, n)), en donde m.c.d. denota el maximo com un divisor.
Dado x m) + n) entonces x = a + b, a m) y b n), es decir, x = km + pn,
con k, p Z. Sea d := m.c.d. (m, n), entonces
d [ m y d [ n, de donde, d [ x,
y as, x = ds, con s Z, es decir, x d). Recprocamente, sea x = ds, como d es
combinacion lineal de m y n, digamos d = wm + zn, con w, z Z, entonces
x = wms + zns m) +n).
(iii) m) n) = mn): sea x m) n); entonces x = a
1
b
1
+ + a
t
b
t
, donde
a
i
m) y b
i
n) con i = 1, 2, . . . , t. Entonces, x = k
1
ms
1
n + + k
t
ms
t
n, con
k
i
, s
i
Z y por lo tanto, x mn). Recprocamente, si x mn), entonces x = kmn,
con k Z, de donde x = kmn m) n).
(iv) m)
k
=
m
k
_
, m ,= 0, k 0. Esto es consecuencia directa de (iii).
(v) (m) : n)): si n = 0, entonces evidentemente (m) : 0) = Z. Sea entonces n ,=
0. Si m = 0, entonces claramente (0 : n)) = 0. Considerese entonces que tambien
m ,= 0. En este caso probaremos que (m) : n)) =
_
m
d
_
, donde d = m.c.d. (m, n).
Sabemos que d es combinacion entera de m y n, es decir, existen k
1
, k
2
Z tales
que d = k
1
m + k
2
n. Sea x (m) : n)); entonces xn m) y existe t Z, tal que
xn = tm. Resulta pues que
dx = k
1
mx + k
2
nx = m(k
1
x + k
2
t),
y de aqu, x =
m
d
(k
1
x + k
2
t)
_
m
d
_
. De otra parte,
_
m
d
_
n) =
_
mn
d
_
= m)
_
n
d
_
m)
Hemos entonces probado la igualdad (m) : n)) =
_
m
d
_
.
(vi)
_
n): si n = 0, entonces
0 = 0; si n = 1, entonces
Z = Z. Sea n 2,
entonces sea n = p
r
1
1
p
rt
t
la descomposicion de n en factores primos; se tiene que
_
n) =
_
p
1
)
_
p
t
) = p
1
) p
t
) = p
1
p
t
).
Ejemplo 2.2.21. Sea A = M
n
(Z) el anillo de matrices de orden n 2 sobre Z. A
es un anillo no conmutativo con divisores de cero cuyos ideales bilateros son todos
principales: para la notacion que utilizaremos en la prueba de estas armaciones
remitimos al lector al ejemplo 2.1.6. E
11
,= 0, E
12
,= 0, E
11
E
12
= E
12
,= E
12
E
11
= 0.
Sea J un ideal bilatero de A. Sabemos que J = M
n
(I), donde I es un ideal de Z;
seg un el ejemplo 2.1.10, I = m), para alg un entero m 0. Notese que J es el ideal
generado por la matriz
E
11
m =
_
_
m 0 0
0 0 0
.
.
.
.
.
.
.
.
.
0 0 0
_
_
22 CAP
ITULO 2. IDEALES
En efecto, puesto que E
11
m J, entonces E
11
m) J. Sea B = [b
ij
] una matriz de
J; B se puede escribir en la forma B =
n
i,j=1
E
ij
b
ij
, con b
ij
m), 1 i, j n.
Para B se tiene entonces que
B =
n
i,j=1
E
ij
k
ij
m,
con k
ij
Z, luego B =
n
i,j=1
(E
i1
k
ij
) (E
11
m) E
1j
, y seg un el corolario 2.2.6, B
E
11
m). En resumen, J = E
11
m) y J es principal.
2.3. Ejercicios
1. Demuestre la armacion del ejemplo 2.1.12.
3. Complete la demostracion de la proposicion 2.2.16.
5. En el anillo Z de los n umeros enteros calcule (m) +n))(m) : n)).
6. Sean X un conjunto cualquiera y 2
X
su anillo de partes (vease la seccion
de ejercicios del captulo anterior). Determine un ideal propio y un subanillo
propio de 2
X
. Cual es su grupo de invertibles? Es 2
X
un dominio de ideales
principales?
7. Sea A un anillo y S = x
1
, . . . , x
n
un subconjunto nito no vaco de A.
Demuestre que
x
1
, . . . , x
n
= x
1
+ . . . +x
n
,
x
1
, . . . , x
n
) = x
1
) + . . . +x
n
),
x
1
, . . . , x
n
) = x
1
) + . . . +x
n
).
Generalice estos resultados para un conjunto no vaco cualquiera S de A.
8. Sean A un anillo e I
1
, I
2
, I
3
ideales izquierdos (derechos, bilateros) de A. De-
muestre que
(i) I
1
I
1
= I
1
.
(ii) I
1
I
2
= I
2
I
1
.
(iii) (I
1
I
2
) I
3
= I
1
(I
2
I
3
).
2.3. EJERCICIOS 23
(iv) I
1
+ I
1
= I
1
.
(v) I
1
+ I
2
= I
2
+ I
1
.
(vi) (I
1
+ I
2
) + I
3
= I
1
+ (I
2
+ I
3
).
(vii) I
1
+ (I
1
I
2
) = I
1
.
(viii) I
1
(I
1
+ I
2
) = I
1
.
9. Sean I, J ideales izquierdos de un anillo A y sea e un elemento idempotente
de A, es decir, e
2
= e. Demuestre que eA (I + J) = (eA I) + (eA J).
10. De un ejemplo de anillo A y elemento x A tales que Ax _ xA.
11. En el anillo de matrices M
3
(Z) calcule:
(i) M
3
(4)) M
3
(6)).
(ii) M
3
(5)) + M
3
(7)).
(iii) M
3
(2)) M
3
(9)).
(iv) M
3
(11))
2
.
(v) (M
3
(4)) : M
3
(6))) .
Generalice los resultados anteriores al anillo M
n
(Z), n 2?
12. Sea R = 1
N
el anillo de sucesiones reales. Son las sucesiones convergentes un
subanillo de R? Son las sucesiones convergentes un ideal de R?
13. Demuestre que el conjunto
A :=
__
a b
0 c
_
[ a, b, c Z
_
de las matrices triangulares superiores es un subanillo de M
2
(Z). Describa los
ideales bilateros de A y generalice los resultados obtenidos a M
n
(R), donde R
es un anillo conmutativo cualquiera, n 2.
14. Sea R un anillo conmutativo y sean I, J ideales de R tales que I + J = R.
Demuestre que IJ = I J.
Captulo 3
Anillo cociente y homomorsmos
3.1. Deniciones y ejemplos
Sean A un anillo e I un ideal bilatero propio de A. Las estructuras aditivas de estos
dos conjuntos permiten denir el grupo cociente A/I, cuyos elementos son las clases
a := a + I := a + x [ x I, a A
las cuales operan con la siguiente regla:
a
1
+ a
2
:= a
1
+ a
2
, a
1
, a
2
A.
Se dene a continuacion sobre A/I una segunda operacion de tal forma que sea un
anillo.
Proposici on 3.1.1. Dados A un anillo e I un ideal bilatero propio de A, las opera-
ciones + y denidas a continuacion dotan al conjunto cociente A/I de estructura
de anillo:
a
1
+ a
2
:= a
1
+ a
2
a
1
a
2
:= a
1
a
2
_
a
1
, a
2
A.
Ademas, si A = R es un anillo conmutativo, entonces R/I es un anillo conmutativo.
El anillo (A/I, +, ) se denomina anillo cociente de A por I.
Demostracion. Sabemos que la adicion denida en el enunciado de la proposicion
establece en el conjunto cociente una estructura de grupo abeliano con elemento no
nulo 0 = 0 +I, 0 A. Veriquemos que el producto esta correctamente denido: si
a
1
= a
2
y b
1
= b
2
, entonces a
1
a
2
I y b
1
b
2
I, de donde (b
1
b
2
) a
2
I y
b
1
(a
2
a
1
) I. Resulta
b
2
a
2
b
1
a
2
+ b
1
a
2
b
1
a
1
= b
2
a
2
b
1
a
1
I,
24
3.1. DEFINICIONES Y EJEMPLOS 25
es decir, b
2
a
2
= b
1
a
1
, y por lo tanto b
2
a
2
= b
1
a
1
.
No es difcil vericar que 1 = 1 + I es el elemento identidad de A/I (como
I ,= A entonces 1 ,= 0). La propiedad asociativa y la distributiva se siguen de las
correpondientes propiedades del producto en A.
Ejemplo 3.1.2. El anillo Z
n
de los enteros modulo n corresponde al cociente de Z
por el ideal principal n) (vease el ejemplo 1.1.7).
Denici on 3.1.3. Sean A
1
y A
2
dos anillos. Una funcion f : A
1
A
2
se dice que
es un homomorsmo del anillo A
1
en el anillo A
2
, si se cumplen las siguientes
condiciones:
(i) f (a
1
+ a
2
) = f (a
1
) + f (a
2
),
(ii) f (a
1
a
2
) = f (a
1
) f (a
2
),
(iii) f (1) = 1,
para cualesquiera a
1
, a
2
A
1
.
Proposici on 3.1.4. Para todo homomorsmo de anillos f : A
1
A
2
se cumplen
las siguientes propiedades:
(i) f (0) = 0.
(ii) f (a) = f (a), a A
1
.
(iii) f (a
1
a
2
) = f (a
1
) f (a
2
), a
1
, a
2
A
1
.
(iv) Si a A
1
entonces f (a) A
2
, y ademas f (a
1
) = f (a)
1
.
Ejemplo 3.1.5. El homomorsmo identico: sea A un anillo, la funcion
i
A
: A A
a a
es un homomorsmo de anillos.
Ejemplo 3.1.6. El homomorsmo canonico: dados A un anillo, I un ideal
bilatero propio y A/I el anillo cociente de A por I, la funcion denida por
j : A A/I, j (a) := a = a + I, a A,
es un homomorsmo de anillos.
26 CAP
ITULO 3. ANILLO COCIENTE Y HOMOMORFISMOS

Ejemplo 3.1.7. Dados A un anillo y M
n
(A) su anillo de matrices, se tiene el
homomorsmo
f : A M
n
(A), f(a) = H = [h
ij
],
donde h
ii
= a, para i = 1, 2, . . . , n, y h
ij
= 0 si i ,= j.
Ejemplo 3.1.8. La inclusion canonica: dado A
un subanillo de A, la funcion
denida por : A
A , (a) = a, para cada a A
, es un homomorsmo de
anillos.
Ejemplo 3.1.9. Homomorsmos de Z
m
en Z
n
: consideremos los diferentes casos
posibles.
(i) Homomorsmos de Z en Z, (m = 0, n = 0): si f : Z Z es un homomor-
smo de anillos, entonces f (1) = 1, con lo cual f (k) = k, para k Z
+
; f (0) = 0,
f (k) = k, para k Z
+
. Por lo tanto, el unico homomorsmo de anillos de Z en
Z es el identico.
(ii) Homomorsmos de Z en Z
n
, (m = 0, n 2): si f : Z Z
n
es un homo-
morsmo de anillos, entonces f (1) = 1; dado k Z
+
existen enteros q, r, tales que
k = q n + r, 0 r < n; por lo tanto
f (k) = f (q n + r) = f (q) f (n) + f (r) = f (q) 0 + f (r) = f (r) = r = k;
ademas, f(0) = 0; y, dado k Z
+
, f (k) = f (k) = k = k. Por lo tanto, el
unico homomorsmo de Z en Z
n
es el canonico: j : Z Z
n
, j (k) = k.
(iii) Homomorsmos de Z
m
en Z, (m 2, n = 0): si f : Z
m
Z es un ho-
momorsmo de anillos, entonces f
_
1
_
= 1, f (m) = f
_
0
_
= 0 = f
_
1 + + 1
_
=
1 + + 1 = m; esta contradiccion conduce a que no existe ning un homomorsmo
de anillos de Z
m
en Z.
(iv) Homomorsmos de Z
m
en Z
n
, (m 2, n 2): si f : Z
m
Z
n
es un
homomorsmo de anillos, entonces f
_
1
_
= 1, f (m) = 0 = f
_
1 + + 1
_
= 1 +
+1 = m; esto implica que n debe dividir a m. Es decir, si existe un homomorsmo
de Z
m
en Z
n
, entonces n [ m. El homomorsmo f es unico, y esta denido por f
_
k
_
= k.
Denici on 3.1.10. Sea f : A
1
A
2
un homomorsmo de anillos.
(i) El subconjunto de A
1
denido por
ker (f) := a A
1
[ f (a) = 0
se denomina el n ucleo del homomorsmo f.
(ii) El subconjunto de A
2
denido por
Im(f) := f (a) [ a A
1
se denomina la imagen del homomorsmo f.

(iii) Si X A
1
, entonces
f (X) := f (x) [ x X
se denomina la imagen de X mediante f.
(iv) Si Y A
2
, entonces
f
1
(Y ) := a A
1
[ f (a) Y
se denomina la imagen inversa de Y mediante f.
(v) Se dice que un homomorsmo es inyectivo si se cumple
f (a
1
) = f (a
2
) a
1
= a
2
,
para cualesquiera a
1
, a
2
A
1
.
(vi) Se dice que un homomorsmo es sobreyectivo si Im(f) = A
2
.
(vii) Se dice que f es un isomorsmo de anillos si f es un homomorsmo inyec-
tivo y sobreyectivo. En tal caso se dice que A
1
es isomorfo a A
2
, lo cual se
escribe A
1

= A
2
.
Las siguientes armaciones son consecuencia directa de la denicion anterior y
las pruebas de ellas las dejamos al lector.
Proposici on 3.1.11. Sea f : A
1
A
2
(i) ker (f) = f
1
(0) es un ideal bilatero de A
1
.
(ii) Im(f) = f (A
1
) es un subanillo de A
2
.
(iii) f es inyectivo ker (f) = 0.
(iv) Si g : A
2
A
3
es un homomorsmo de anillos, entonces la funcion com-
puesta gf : A
1
A
3
es tambien un homomorsmo de anillos.
(v) f es un isomorsmo si, y solo si, existe g : A
2
A
1
tal que gf = i
A
1
y
fg = i
A
2
. Ademas, g es unico para f y es tambien un isomorsmo; g es el
isomorsmo inverso de f y se denota por f
1
.
28 CAP

Ejemplo 3.1.12. No existe ning un homomorsmo de 1 en Z. Probemos algo mas
general: todo homomorsmo de anillos f : K A, donde K es un anillo de division
y A es un anillo, debe ser inyectivo. En efecto, seg un la proposicion 3.1.11, ker (f) es
un ideal de K y como f (1) = 1 ,= 0, entonces ker (f) = 0, con lo cual f es inyectivo.
En particular si f : 1 Z es un homomorsmo, entonces Im(f) es un sub-
anillo de Z, pero como Z no tiene subanillos propios, luego f es un isomorsmo, en
contradiccion con el hecho de que Z no es un cuerpo.
Observaci on 3.1.13. El concepto de isomorsmo en algebra, y en particular en
teora de anillos, es fundamental. Su importancia radica en que si A
1
y A
2
son dos
anillos isomorfos, entonces todas las propiedades del anillo A
1
que dependen de sus
operaciones son validas en A
2
. Dos anillos isomorfos seran entonces considerados
como iguales; la funcion que establece el isomorsmo se podra considerar como un
duplicador de propiedades. Observese ademas que la relacion ser isomorfo es una
relacion de equivalencia.
3.2. Teoremas de homomorsmo e isomorsmo
Denici on 3.2.1. Se dice que el anillo A
2
es una imagen homomorfa del anillo
A
1
, si existe un homomorsmo sobreyectivo de A
1
en A
2
.
El siguiente teorema permite caraterizar las imagenes homomorfas de un anillo
dado.
Teorema 3.2.2 (Teorema fundamental de homomorsmo). Sean A un anillo
y A
0
una imagen homomorfa de A. Entonces, existe un ideal bilatero propio I de A
tal que
A
0

= A/I.
Recprocamente, para cada ideal bilatero propio I de A el cociente A/I es una imagen
homomorfa de A.
Demostracion. Sea f : A A
0
un homomorsmo sobreyectivo, y sea I = ker (f)
su n ucleo. Entonces, la correspondencia
f : A/I A
0
a f (a) a = a + I
es un isomorsmo de anillos. En efecto, f es una funcion ya que si a y b son elementos
de A tales que a = b entonces (a b) I = ker (f), con lo cual f (a) = f (b). f es
un homomorsmo de anillos ya que f
_
a + b
_
= f (a) + f
_
b
_
, f
_
ab
_
= f (a) f
_
b
_
y
f
_
1
_
= 1, para cualesquiera a, b A. f resulta sobreyectivo ya que f lo es. Notese
3.2. TEOREMAS DE HOMOMORFISMO E ISOMORFISMO 29
nalmente que a ker
_
f
_
sii f (a) = 0 sii f (a) = 0 si, y solo si, a ker (f) si,
y solo si, a = 0. Tenemos pues que ker
_
f
_
=
_
0
_
= 0. La segunda armacion es
consecuencia del hecho que el homomorsmo canonico j denido en el ejemplo 3.1.6
es sobreyectivo.
Ejemplo 3.2.3. Imagenes homomorfas de Z: como los ideales de Z son de la forma
n) con n 0, entonces las imagenes homomorfas de Z, salvo isomorsmos, son Z
y Z
n
, con n 2.
Ejemplo 3.2.4. Imagenes homomorfas del anillo de matrices M
n
(A), n 2: seg un
el teorema fundamental de homomorsmo, las imagenes homomorfas de M
n
(A) son
de la forma M
n
(A) /J, donde J es un ideal bilatero propio de M
n
(A); pero tales
ideales son de la forma M
n
(I), con I ideal bilatero propio de A. Probaremos ahora
que
M
n
(A) /M
n
(I)

= M
n
(A/I).
La funcion
f : M
n
(A) M
n
(A/I)
F = [a
ij
] F =
_
f
ij
,
donde f
ij
:= f
ij
+ I, 1 i, j n, es claramente un homomorsmo sobreyectivo
de anillos. Ademas, la matriz F = [f
ij
] esta en el n ucleo de f si, y solo si, f
ij
=
0 para cualesquiera ndices i, j; es decir, solamente cuando f
ij
I, 1 i, j
n. Esto muestra que ker (f) = M
n
(I). Resta aplicar el teorema fundamental de
homomorsmo.
En la prueba del teorema de correspondencia haremos uso del punto (ii) de la
siguiente proposicion.
1
A
2
(i) Si A
1
es un subanillo de A
1
, entonces f (A
1
2
. Tambien,
si A
2
es un subanillo de A
2
, entonces f
1
(A
2
1
.
(ii) Si I es un ideal bilatero de A
1
, f (I) es un ideal bilatero de Im(f). Tambien,
si J es un ideal bilatero de A
2
, entonces f
1
(J) es un ideal bilatero de A
1
que
contiene el n ucleo ker (f) .
(iii) Si I es un ideal bilatero de A
1
que contiene al n ucleo ker (f), entonces I =
f
1
(f (I)) .
(iv) Las armaciones de los puntos (ii) y (iii) son validas para los ideales izquierdos
y derechos.
30 CAP

Demostracion. Realizamos solo la prueba de la primera parte de (ii) y (iii); las otras
aseveraciones estan a cargo del lector.
(ii) Como f (0) = 0, entonces f (I) no es vaco. Sean x, y f (I) y z Im(f).
Entonces, x = f (a), y = f (b), z = f (k) con a, b I, k A
1
; de aqu resulta
x + y = f (a + b), zx = f (ka), xz = f (ak), con lo cual x + y, zx, xz f (I).
(iii) Veamos solamente que f
1
(f (I)) I, ya que la otra contenencia siempre
se tiene. Sea a f
1
(f (I)), entonces f (a) f (I), es decir, existe b I tal que
f (a) = f (b), de donde f (a b) = 0, lo cual signica que a b ker (f) I, es
decir, a b I con b I , de donde a I.
Ejemplo 3.2.6. Consideremos la inclusion canonica de Z en :
: Z
m m
Z es ideal en Z pero (Z) = Z no es ideal en . Seg un (ii) de la armacion anterior,
la cuestion radica en que ,= Im(f).
Teorema 3.2.7 (Teorema de correspondencia). Sean A un anillo y f : A
A
0
una imagen homomorfa de A; entonces, existe una correspondencia biyectiva
entre los ideales bilateros del anillo A que contienen al n ucleo de f y los ideales
bilateros del anillo A
0
.
Demostracion. Sean f : A A
0
un homomorsmo sobreyectivo 1 la coleccion de
todos los ideales bilateros de A que contienen al n ucleo e 1
0
la coleccion de todos
los ideales bilateros de A
0
, es decir,
1 := I [ I es un ideal bilatero de A, ker(f) I
1
0
:= J [ J es un ideal bilatero de A
0
,
entonces la correspondencia
f : 1 1
0
I

f (I) := f (I)
es una biyeccion. En efecto, sean I
1
e I
2
ideales bilateros de A tales que ker (f) I
1
,
ker (f) I
2
y

f (I
1
) =

f (I
2
), entonces
I
1
= f
1
(f (I
1
)) = f
1
(f (I
2
)) = I
2
.
f es sobreyectiva, pues dado J ideal bilatero de A

0
, f
1
(J) es un ideal de A
que contiene a ker (f); ademas como f es sobreyectivo f (f
1
(J)) = J, es decir,
,

f (f
1
(J)) = J. Una ultima observacion: si I
1
, I
2
I, entonces
I
1
I
2
f (I
1
) f (I
2
).
Esto completa la prueba del teorema.
3.2. TEOREMAS DE HOMOMORFISMO E ISOMORFISMO 31
Corolario 3.2.8. Sean A un anillo e I un ideal bilatero propio de A. Entonces existe
una correspondencia biyectiva entre los ideales bilateros del anillo A que contienen
al ideal I y los ideales bilateros del anillo cociente A/I.
Demostracion. Sea j : A A/I el homomorsmo canonico. Por el teorema de
correspondencia, existe una biyeccion entre la coleccion 1 de bilateros ideales de A
que contienen al ideal I, y la coleccion 1
0
de ideales bilateros del cociente //I, dada
por
j : 1 1
0
I
1

j (I
1
) := j (I
1
) = a [ a I
1
:= I
1
/I.
Teorema 3.2.9 (Primer teorema de isomorsmo). Sean A un anillo y f :
A A
0
una imagen homomorfa de A. Si J es un ideal bilatero propio de A
0
e
I = f
1
(J), entonces
A/I

= A
0
/J.
Demostracion. Sean f : A A
0
un homomorsmo sobreyectivo y j : A
0
A
0
/J
el homomorsmo canonico. Considerese el homomorsmo compuesto f = j f;
notese que ker
_
f
_
= ker (j f) = I; ademas como f es sobreyectivo, entonces por
el teorema fundamental de homomorsmo se tiene que
A/I

= A
0
/J.
Corolario 3.2.10. Sea A un anillo y sean I y J ideales bilateros de A tales que
I J ,= A, entonces
A/J

= (A/I) / (J/I).
Demostracion. Sea j : A A/I el homomorsmo canonico, entonces j (J) = J/I
es un ideal propio de A/I, y ademas J = j
1
(J/I). Seg un el teorema anterior
A/J

= (A/I) / (J/I).
Ejemplo 3.2.11. Imagenes homomorfas de Z
m
(m 2): de acuerdo con el teorema
fundamental de homomorsmo, las imagenes homomorfas de Z
m
son de la forma
Z
m
/I, donde I es un ideal propio de Z
m
= Z/ m). Seg un el teorema de correspon-
dencia, I = n) / m), donde n) m), n ,= 1, es decir, I = n), donde n ,= 1 divide
a m. El primer teorema de isomorsmo da entonces la forma nal de las imagenes
homomorfas
32 CAP

Z
m
/I = (Z/ m)) / (n) / m))

= Z/ n) = Z
n
,
donde n es un divisor de m, n ,= 1.
Ilustremos el resultado para m = 6: divisores de 6: 1, 2, 3, 6; ideales de Z
6
:
1) / 6) = Z/ 6) = Z
6
=
1
_
2) / 6) =
_
0, 2, 4
_
=
2
_
3) / 6) =
_
0, 3
_
=
3
_
6) / 6) =
_
0
_
=
0
_
Imagenes homomorfas de Z
6
: (Z/ 6)) / (2) / 6))

= Z
2
(Z/ 6)) / (3) / 6))

= Z
3
,
(Z/ 6)) / (6) / 6))

= Z
6
.
Por lo expuesto al principio se observa que Z
m
es un anillo conmutativo, even-
tualmente con divisores de cero, y cuyos ideales son todos principales.
Teorema 3.2.12 (Segundo teorema de isomorsmo). Sean A un anillo, S un
subanillo de A e I un ideal bilatero de A. Entonces,
(i) S I es un ideal bilatero de S.
(ii) S + I := s + a [ s S, a I es un subanillo de A que contiene a I como
ideal.
(iii) S/ (S I)

= (S + I) /I
Demostracion. (i) y (ii) son vericables de manera inmediata.
(iii) Consideremos el homomorsmo
f : S (S + I) /I
s f (s) := s = s + I
Se puede comprobar que f es sobreyectivo y que ker (f) = S I, de donde, por el
teorema fundamental de homomorsmos, se concluye que
S/ (S I)

= (S + I) /I.
Cerramos este captulo con el concepto de caracterstica de un anillo.
Ejemplo 3.2.13. Caracterstica de un anillo: sea A un anillo cualquiera y
Z[1] = k 1 [ k Z, 1 A
el subanillo primo de A. La funcion
3.3. EJERCICIOS 33
f : Z A
k k 1
es homomorsmo de anillos con imagen Z[1]. Se dice que A es de caracterstica
cero si ker (f) = 0, es decir, k 1 = 0 si, y solo si, k = 0. En otras palabras, A es de
caracterstica 0 si, y solo si, el subanillo primo de A es isomorfo a Z. Si ker (f) = n),
n 2, entonces se dice que A es de caracterstica n, es decir, k 1 = 0 si, y solo si,
n [ k. As, A es de caracterstica n si, y solo si, el subanillo primo de A es isomorfo
a Z
n
. Notese que Z, , 1, C son de caracterstica cero, y Z
m
es de caracterstica m,
m 2. La caracterstica de un anillo A se denota por char(A).
3.3. Ejercicios
3. Sea f : A
1
A
2
un homomorsmo de anillos y sean I
i
iC
, J
j
jD
familias de ideales izquierdos (derechos, bilateros) de A
1
y A
2
, respectivamente.
Demuestre que:
(i)
jD
f
1
(J
j
) f
1
_
jD
J
j
_
. Si J
j
Im(f) para cada j T, la
igualdad se cumple.
(ii) Si f es sobreyectivo, entonces
iC
f (I
i
) = f
_
iC
I
i
_
.
(iii) f
1
_
jD
J
j
_
=
jD
f
1
(J
j
).
(iv) f
_
iC
I
i
_

iC
f (I
i
). Si ker(f) I
i
para cada i (, se tiene la
igualdad.
4. Sean R y S anillos conmutativos y sea f : R S un homomorsmo de
anillos: Sean I
1
, I
2
ideales de R y sean J
1
, J
2
ideales de S. La imagen de I
1
a traves de f no es siempre un ideal de S, sea I
e
1
= f (I
1
)) = Sf (I
1
) el
ideal en S generado por f (I
1
), se dice que I
e
1
es la extension del ideal I
1
en S. De otra parte, sabemos que f
1
(J
1
) es un ideal de R, y se denomina
la contraccion de J
1
en R. La contraccion del ideal J
1
se denota por J
c
1
.
Demuestre las siguientes propiedades:
(a) I
ec
1
I
1
, J
ce
1
J
1
.
(b) I
ece
1
= I
e
1
, J
cec
1
= J
c
1
.
(c) (I
1
+ I
2
)
e
= I
e
1
+ I
e
2
, (J
1
+ J
2
)
c
J
c
1
+ J
c
2
.
(d) (I
1
I
2
)
e
I
e
1
I
e
2
, (J
1
J
2
)
c
= J
c
1
J
c
2
.
34 CAP

(e) (I
1
I
2
)
e
= I
e
1
I
e
2
, (J
1
J
2
)
c
J
c
1
J
c
2
.
(f) (I
1
: I
2
)
e
(I
e
1
: I
e
2
), (J
1
: J
2
)
c
(J
c
1
: J
c
2
).
(g)
_
I
1
_
e
_
I
e
1
,
_
J
1
_
c
=
_
J
c
1
.
5. Determine (si existen!) todos los homomorsmos de anillo de
(i) Z en , 1, C, H.
(ii) en Z, , 1, C, H, Z
n
, n 2.
(iii) 1 en Z, , Z
n
, n 2.
(iv) C en Z, , 1, Z
n
, n 2.
(v) H en Z, , 1, C, Z
n
, n 2.
(vi) Z
n
, n 2, en , 1, C, H.
6. Demuestre que si A es un anillo sin divisores de cero, entonces char(A) es cero
o un primo p.
7. Si B un subanillo de A demuestre que ambos tienen la misma caracterstica.
8. Demuestre que char(A
X
) = char (A) = char(M
n
_
A
X
_
), para cada anillo A,
X ,= y n 1.
9. Calcule todas las imagenes homomorfas de M
n
(Z
m
), n 2, con m = 0 o m 2.
Captulo 4
Producto de anillos
4.1. Denici on y propiedades elementales
Dada una familia nita de anillos A
1
, . . . , A
n
, podemos denir sobre el conjunto
producto cartesiano A
1
A
n
una estructura de anillo a partir de las estructuras
aditiva y multiplicativa de A
1
, . . . , A
n
. En efecto, el conjunto A
1
A
n
consta
de n-plas (a
1
, . . . , a
n
) de elementos con a
i
A
i
, 1 i n; dos de tales n-plas
(a
1
, . . . , a
n
) y (b
1
, . . . , b
n
) son iguales si, y solo si, a
i
= b
i
para cada 1 i n. La
adicion y multiplicacion se denen por componentes:
(a
1
, . . . , a
n
) + (b
1
, . . . , b
n
) := (a
1
+ b
1
, . . . , a
n
+ b
n
)
(a
1
, . . . , a
n
) (b
1
, . . . , b
n
) := (a
1
b
1
, . . . , a
n
b
n
),
en donde las sumas y productos de la derecha son en general diferentes y se realizan
en los respectivos anillos A
1
, . . . , A
n
.
Dejamos al lector la comprobacion de que las operaciones denidas anteriormente
dan al producto una estructura de anillo. Este anillo sera denotado por A
1
A
n
,
o por
n
i=1
A
i
, y se denomina anillo producto de la familia A
1
, . . . , A
n
, n 1.
Notemos que el elemento cero del anillo producto es la n-pla
0 := (0, . . . , 0).
Analogamente, el uno es la n-pla
1 := (1, . . . , 1).
Algunas propiedades inmediatas del anillo producto son las siguientes.
Proposici on 4.1.1. Sea A
1
, . . . , A
n
una familia nita de anillos arbitrarios, n
1. Entonces,
(i)
n
i=1
A
i
es conmutativo si, y solo si, A
i
es conmutativo, para cada 1 i n.
35
36 CAP
ITULO 4. PRODUCTO DE ANILLOS

(ii) (a
1
, . . . , a
n
) (
n
i=1
A
i
)
si, y solo si, a

i
A
i
, para cada 1 i n.
(iii) Se tiene el isomosmo de grupos
(
n
i=1
A
i
)

= A
1
A
n
.
(iv) Para n 2, el anillo producto
n
i=1
A
i
siempre tiene divisores de cero.
Proposici on 4.1.2. Sea A
1
, . . . , A
n
, n 1, una familia de anillos. Entonces,
(i) Los ideales izquierdos (derechos, bilateros) del anillo producto
n
i=1
A
i
, son de
la forma
I
1
I
n
:= (a
1
, . . . , a
n
) [ a
i
I
i
,
donde cada I
i
es un ideal izquierdo (derecho, bilatero) del anillo A
i
.
(ii) Si I
1
, . . . , I
n
son ideales bilateros propios de A
1
, . . . , A
n
respectivamente, en-
tonces
A
1
A
n
/I
1
I
n

= (A
1
/I
1
) (A
n
/I
n
) .
(iii) Si para cada 1 i n, A
i
es un anillo de ideales izquierdos (derechos,
bilateros) principales, entonces
n
i=1
A
i
es un anillo de ideales izquierdos (dere-
chos, bilateros) principales.
Demostracion. Probaremos solo la parte (iii) para el caso bilatero, las demas pruebas
quedan como ejercicio para el lector. Si cada A
i
es un anillo de ideales bilateros
principales, entonces sea I un bilatero de
n
i=1
A
i
, seg un (i) I es de la forma I =
I
1
I
n
= a
1
) a
n
), luego
I = (a
1
, . . . , a
n
)).
En efecto, cada x a
1
) a
n
) es de la forma
x =
_
m
1
k=1
b
(1)
k
a
1
c
(1)
k
, . . . ,
mn
k=1
b
(n)
k
a
n
c
(n)
k
_
, b
(i)
k
, c
(i)
k
A
i
.
Sin perdida de generalidad podemos suponer que m
1
= m
2
= = m
n
= m, de
donde
x =
m
i=1
_
b
(1)
i
, . . . , b
(n)
i
_
(a
1
, . . . , a
n
)
_
c
(1)
i
, . . . , c
(n)
i
_
(a
1
, . . . , a
n
)) .
4.2. TEOREMA CHINO DE RESIDUOS 37
Observaci on 4.1.3. El producto de anillos se puede extender a una familia arbi-
traria no vaca de anillos deniendo las operaciones por componentes; en particular,
notese que el anillo producto de una familia de anillos iguales A
i
iC
, A
i
:= A,
coincide con el anillo de funciones de ( en A, es decir,
iC
A
i
= A
C
= f : ( A[f es una funcion.
4.2. Teorema chino de residuos
Para n 2 y
n = p
r
1
1
p
r
k
k
; p
i
primo, r
i
1, 1 i k,
la descomposicion de n en producto de primos, se tiene el isomorsmo de grupos
Z
n

= Z
p
r
1
1
Z
p
r
k
k
.
Puesto que nosotros estamos considerando a Z
n
como un anillo, preguntamos si
el isomorsmo anterior es valido tambien considerando los objetos como anillos.
Por medio del torema chino de residuos daremos una respuesta armativa a esta
pregunta.
Teorema 4.2.1 (Teorema chino de residuos). Sea A un anillo y sean I
1
, . . . , I
n
,
n 2, ideales bilateros de A tales que I
i
+ I
j
= A, para cualesquiera ndices i ,= j
Entonces, dada una familia nita cualquiera de elementos a
1
, . . . , a
n
A, existe un
elemento a A, tal que a a
i
I
i
para cada 1 i n.
Demostracion. Sean I
1
, I
2
ideales de A tales que I
1
+I
2
= A, y sean a
1
, a
2
elementos
cualesquiera de A. Existen elementos b
1
I
1
, b
2
I
2
tales que 1 = b
1
+ b
2
. El
elemento a := a
2
b
1
+ a
1
b
2
satisface la condicion pedida. En efecto,
a a
1
= a
2
b
1
+ a
1
(b
2
1) = a
2
b
1
+ a
1
(b
1
) = (a
2
a
1
) b
1
I
1
.
Analogamente, a a
2
I
2
. Sean I
1
, . . . , I
n
y a
1
, . . . , a
n
ideales y elementos de A
que satisfacen las hipotesis del teorema. Para i 2 existen x
i
I
1
, b
i
I
i
tales que
x
i
+b
i
= 1. Resulta entonces que
n
i=2
(x
i
+ b
i
) = 1, y este producto esta en el ideal
I
1
+
n
i=2
I
i
. Por lo demostrado para dos ideales, existe z
1
A tal que z
1
1 I
1
y
z
1
0

n
i=2
I
i
. Pero como
n
i=2
I
i
I
i
para cada 2 i n, entonces resulta
z
1
1 I
1
y z
1
I
i
, para i 2.
Podemos repetir la prueba para las parejas de ideales (I
2
,
i=2
I
i
), . . . , (I
n
,
i=n
I
i
),
y encontramos elementos z
2
, . . . , z
n
A tales que
z
j
1 I
j
y z
j
I
i
, para i ,= j.
38 CAP
ITULO 4. PRODUCTO DE ANILLOS

Comprobemos que el elemento a := a
1
z
1
+ +a
n
z
n
satisface la condicion exigida:
a a
i
= a
1
z
1
+ + a
i1
z
i1
+ a
i
(z
i
1) +a
i+1
z
i+1
+ + a
n
z
n
Como z
j
I
i
para i ,= j y z
i
1 I
i
, entonces a a
i
I
i
, para 1 i n.
Corolario 4.2.2. Sean A e I
1
, . . . , I
n
como en el enunciado del teorema anterior.
Entonces,
(i) La funcion denida por
f : A

n
i=1
A/I
i
a f (a) := (a, . . . , a) , con a := a + I
i
es un homomorsmo sobreyectivo de anillos.
(ii) ker (f) =
n
i=1
I
i
.
(iii) A/
n
i=1
I
i

=
n
i=1
A/I
i
.
Ejemplo 4.2.3. Sea n = p
r
1
1
p
r
k
k
, p
i
primo, r
i
1, 1 i k, se tiene entonces el
isomorsmo de anillos
Z
n

= Z
p
r
1
1
Z
p
r
k
k
.
En efecto, basta considerar en el corolario anterior,
I
i
:= p
r
i
i
), 1 i k,
y entonces
n
i=1
I
i
=
_
m.c.m. p
r
i
i

k
i=1
_
= n).
4.3. Ejercicios
2. Demuestre el corolario 4.2.2.
3. Si A
1
y A
2
son anillos de caracterstica n
1
,= 0 y n
2
,= 0, respectivamente,
entonces char (A
1
A
2
) es el mnimo com un m ultiplo de n
1
y n
2
. Ademas, si
n
1
n
2
= 0, entonces la caracterstica del anillo producto es cero.
4. Sean A, A
1
, . . . , A
k
anillos tales que
4.3. EJERCICIOS 39
A
= A
1
A
k
.
Pruebe el isomorsmo
M
n
(A)

= M
n
(A
1
) M
n
(A
k
), n 1.
5. Determine todos los ideales de Z
n
, n 2.
Captulo 5
Ideales primos y maximales
Aunque los conceptos que se introducen a continuacion se estudian por lo general
para anillos conmutativos, aqu se analizaran en el caso general no conmutativo.
Denici on 5.1.1. Sean A un anillo e I un ideal bilatero propio de A.
(i) Se dice que I es un ideal maximal de A, si para cada ideal bilatero J de A
se tiene que
I J J = I, o, J = A.
(ii) Se dice que I es un ideal completamente primo de A, si para cualesquiera
a, b A se cumple que
ab I a I, o, b I.
(iii) Se dice que I es un ideal primo de A, si para cualesquiera I
1
e I
2
ideales
bilateros de A se tiene que
I
1
I
2
I I
1
I, o, I
2
I.
Proposici on 5.1.2. Sean A un anillo e I un ideal bilatero propio de A.
(i) Si I es completamente primo, entonces I es primo. Ademas, si A = R es
conmutativo, la armacion recproca es valida.
(ii) I es completamente primo si, y solo si, A/I no posee divisores de cero. Si
A = R es conmutativo, se cumple que
40
I es primo si, y solo si, A/I es un dominio de integridad.
(iii) I es maximal si, y solo si, A/I es un anillo simple. Si A = R es conmutativo,
se cumple que
I es maximal si, y solo si, R/I es un cuerpo.
(iv) El ideal nulo 0 es completamente primo si, y solo si, A es anillo sin divisores
de cero. En el caso conmutativo, 0 es primo si, y solo si, R es un dominio de
integridad.
(v) El ideal nulo es maximal si, y solo si, A es un anillo simple. En el caso con-
mutativo se tiene que
0 es maximal si, y solo si, R es un cuerpo.
(vi) Si I es un ideal maximal de A, entonces I es primo.
(vii) En un dominio de ideales principales todo ideal primo no nulo es maximal.
Demostracion. (i) Sean I completamente primo en A y I
1
, I
2
ideales de A tales que
I
1
I
2
I, supongase que I
1
no esta contenido en I, es decir, existe a I
1
, a / I.
Sea b un elemento cualquiera de I
2
, puesto que ab I
1
I
2
I, entonces b I. De
aqu obtenemos que I
2
I. Sea ahora R un anillo conmutativo y sean a, b R tales
que ab I. Entonces, ab) = a) b) I, con lo cual a) I, o, b) I, es decir,
a I, o, b I.
(ii) Sean a = a + I, b = b + I en A/I. Entonces, ab = 0 implica que ab I,
con lo cual, a I, o, b I, es decir, a = 0, o, b = 0. Recprocamente, si a, b A
son tales que ab I, entonces ab = 0, o equivalentemente, ab = 0. Resulta entonces
que a I, o, b I. El caso conmutativo es consecuencia directa de que R/I es
conmutativo.
(iii) Se obtiene del teorema de correspondencia (vease el teorema 3.2.7). En el
caso conmutativo, anillo simple y cuerpo son conceptos equivalentes.
(iv) Es consecuencia directa de (ii).
(v) Es consecuencia directa de (iii).
(vi) Sea L un ideal maximal de A y sean I, J ideales bilateros de A tales que
IJ L. Supongamos que I _ L, entonces existe x I tal que x / L. El ideal
bilatero L + x) contiene propiamente a L, luego A = L + x). Existen y L y
z x) tales que 1 = y + z. Sea w J, entonces w = yw + zw, con yw L y
zw IJ L, por tanto w L. Esto prueba que J L, con lo cual L es primo.
(vii) Sea I un ideal primo no nulo de R. Existe a ,= 0 en R tal que I = a) . Sea J
un ideal de R tal que I J; J es tambien de la forma J = b), b R, b ,= 0. Resulta
42 CAP
ITULO 5. IDEALES PRIMOS Y MAXIMALES

entonces que a = bc, con c R, es decir, bc a). De aqu obtenemos que b a), o,
c a), con lo cual b) = a), o, c = aa
, a
R. En la segunda posibilidad, c = bca
,
es decir, c (1 ba
) = 0. Como c ,= 0, entonces b R
y b) = R. As pues, J = I,
o, J = R, e I resulta maximal.
Ejemplo 5.1.3. En Z los ideales primos no nulos y los maximales coinciden. Ellos
son de la forma p), con p primo. 0 es ideal primo en Z, pero no es maximal.
Ejemplo 5.1.4. Sea m 2 no primo. Seg un el ejemplo 3.2.11, los ideales de Z
m
son de la forma n) con n[ m. Del punto (iii) de la proposicion anterior resulta que
los ideales maximales de Z
m
son de la forma p), p [ m, p primo, y seg un (ii) de
la misma proposicion, estos son tambien los ideales primos. Si m es primo, 0 es el
unico ideal maximal y el unico ideal primo de Z
m
.
Ejemplo 5.1.5. Los ideales maximales del anillo de matrices M
n
(A), n 2, son
de la forma M
n
(I) , donde I es un ideal maximal de A. Esto es consecuencia del
ejemplo 2.1.6.
Ejemplo 5.1.6. Ideales maximales y primos de M
n
(Z) , n 2: de los ejemplos 5.1.3
y 5.1.5 obtenemos que los ideales maximales de M
n
(Z) son de la forma M
n
(p)),
con p primo. Observese que el ideal nulo de M
n
(Z) es primo y, sin embargo, no es
maximal. En efecto, sean M
n
(r)) , M
n
(s)) ideales bilateros de M
n
(Z) tales que
M
n
(r)) M
n
(s)) 0. Teniendo en cuenta que
M
n
(r)) M
n
(s)) = M
n
(rs)),
resulta rs) = 0, con lo cual r) = 0, o, s) = 0. Mostremos ahora que los ideales
primos no nulos coinciden con los maximales: sea p primo y sean M
n
(r)) , M
n
(s))
ideales bilateros de M
n
(Z) tales que
M
n
(r)) M
n
(s)) M
n
(p)).
Entonces, rs) = r) s) p), pero como p) es primo en Z, se obtiene que r) p),
o, s) p), es decir, M
n
(r)) M
n
(p)), o, M
n
(s)) M
n
(p)). Lo anterior
prueba que M
n
(p)) es primo. De otra parte, si p no es primo, existen r, s Z
+
,
con 1 < r, s < p, tales que p = rs. Se tiene entonces que M
n
(r)) M
n
(s)) =
M
n
(p)); pero ni M
n
(r)), ni M
n
(s)) estan contenidos en M
n
(p)) . En efecto,
rE
11
M
n
(r)), pero rE
11
/ M
n
(p)); sE
11
M
n
(s)) y sE
11
/ M
n
(p)). Resulta
entonces que M
n
(p)) no es primo.
Ejemplo 5.1.7. Ideales maximales y primos de M
n
(Z
m
) , n, m 2: supongamos
inicialmente que m no es primo. De los ejemplos 5.1.4 y 5.1.5 obtenemos que los
ideales maximales de M
n
(Z
m
) son de la forma M
n
(p)), p [ m, p primo. Estos ideales
coinciden con los primos. En efecto, sean M
n
(r)), M
n
(s)) ideales bilateros de
5.2. COMPORTAMIENTO A TRAV
ES DE HOMOMORFISMOS 43
M
n
(Z
m
) tales que M
n
(r)) M
n
(s)) M
n
(p)). Entonces rs) p) y seg un el
ejemplo 5.1.4, r) p), o, s) p), es decir, M
n
(r)) M
n
(p)), o, M
n
(s))
M
n
(p)). Veamos que estos son los unicos ideales primos de M
n
(Z
m
): sea M
n
_
k
__
un ideal de M
n
(Z
m
), con k no primo. Existen entonces 1 < r, s < k tales que
k = rs; notese que M
n
(r)) M
n
(s)) = M
n
_
k
__
, y sin embargo ni M
n
(r)), ni
M
n
(s)) estan contenidos en M
n
_
k
__
. En efecto, notemos que rE
11
/ M
n
_
k
__
y
sE
11
/ M
n
_
k
__
(en caso contrario r = t k, 0 t m1, con lo cual m[ (rst r),
y como k [ m, existira w Z, tal que rst r = wrs; de aqu resultara que s [ 1, lo
cual es contradictorio. De manera analoga se establece que sE
11
/ M
n
_
k
__
). Resta
observar que el ideal nulo no es primo cuando m no es primo.
Si m es primo, 0 es el unico ideal primo y el unico ideal maximal en M
n
(Z
m
).
Comparense estos resultados con el ejemplo 5.1.4.
Ejemplo 5.1.8. Ideal primo no completamente primo: sean A un anillo y M
n
(A)
su anillo de matrices de orden n 2. Notese que M
n
(A) no posee ideales com-
pletamente primos. En efecto, si I ,= A es un ideal bilatero de A tal que M
n
(I)
es completamente primo, entonces M
n
(A) /M
n
(I)

= M
n
(A/I) no posee divisores
de cero; pero cualquier anillo de matrices de orden n 2 posee divisores de cero.
Considerando en particular A = Z, resulta que 0 es primo en M
n
(Z), pero no es
completamente primo.
Ejemplo 5.1.9. Ideal maximal no complementamente primo: sean n 2 y p un pri-
mo cualquiera. Seg un el ejemplo 5.1.6, M
n
(p)) es maximal de M
n
(Z), sin embargo,
como acabamos de ver, no es completamente primo.
5.2. Comportamiento a traves de homomorsmos
Queremos estudiar ahora el comportamiento de los ideales completamente primos,
primos y maximales a traves de homomorsmos.
1
A
2
un homomorsmo de anillos, y sean I y J
ideales bilateros propios de A
1
y A
2
, respectivamente.
(i) Si f es sobreyectivo, entonces
J es maximal f
1
(J) es maximal.
(ii) Si f es sobreyectivo y ker (f) I entonces
I es maximal f (I) es maximal.
(iii) J es completamente primo f
1
(J) es completamente primo.
44 CAP

(iv) Si f es sobreyectivo y ker (f) I entonces
I es completamente primo f (I) es completamente primo.
(v) Si f es sobreyectivo, entonces
J es primo f
1
(J) es primo.
(vi) Si f es sobreyectivo y ker (f) I entonces
I es primo f (I) es primo.
Demostracion. Notese inicialmente que f
1
(J) y f (I) son propios.
(i) Considerese el homomorsmo compuesto jf:
A
1
f
A
2
j
A
2
/J
,
donde j es el homomorsmo canonico, jf es sobreyectivo y con n ucleo f
1
(J). El
isomorsmo
A
2
/J

= A
1
/f
1
(J)
garantiza que A
1
/f
1
(J) es simple y, en consecuencia, f
1
(J) es maximal.
(ii) El homomorsmo sobreyectivo jf tiene por n ucleo I:
A
1
f
A
2
j
A
2
/f (I) ,
De esto obtenemos que A
1
/I

= A
2
/f (I), y as f (I) es maximal.
(iii) Si ab f
1
(J) entonces f (a) f (b) J; esto es, f (a) J, o, f (b) J, y
por tanto, a f
1
(J), o, b f
1
(J).
(iv) Analogo al punto (ii).
(v) Sean I
1
, I
2
ideales bilateros de A
1
, tales que I
1
I
2
f
1
(J). Entonces por
la sobreyectividad de f se tiene que f (I
1
) f (I
2
) J, y f (I
1
) , f (I
2
) son ideales
bilateros de A
2
. Como J es primo, f (I
1
) J, o, f (I
2
) J. De aqu resulta
I
1
f
1
(f (I
1
)) f
1
(J), o, I
2
f
1
(f (I
2
)) f
1
(J) .
(vi) Sean J
1
, J
2
ideales bilateros de A
2
tales que J
1
J
2
f (I), entonces f
1
(J
1
J
2
)
f
1
(f (I)). Pero f
1
(f (I)) = I. Ademas, f
1
(J
1
) f
1
(J
2
) f
1
(J
1
J
2
) I,
y como I es primo, entonces f
1
(J
1
) I, o, f
1
(J
2
) I. Nuevamente, por la
sobreyectividad de f se tiene que J
1
f(I), o, J
2
f(I). Esto completa la prueba
del punto (vi) y de la proposicion.
Ejemplo 5.2.2. Las restricciones de la proposicion anterior sobre sobreyectividad
y contenencia del n ucleo son sustanciales: consideremos la inclusion canonica de
5.2. COMPORTAMIENTO A TRAV
ES DE HOMOMORFISMOS 45
: Z
k k
0 es maximal en , pero
1
(0) = 0 no es maximal en Z. De otra parte, notese que
para el homomorsmo canonico
: Z Z
8
k k = k +8)
7) es maximal en Z, pero (7)) = Z
8
. Observese que ker () = 8) no esta contenido
en 7).
El ejemplo 5.1.8 pone de maniesto que no todo anillo posee ideales completa-
mente primos; no ocurre as con los maximales. La prueba de este importante hecho
se apoya en uno de los supuestos de la teora de conjuntos conocido como el lema
de Zorn.
Lema 5.2.3 (Lema de Zorn). Sea (P, ) un conjunto parcialmente ordenado. Si
cada subconjunto no vaco y totalmente ordenado de P tiene cota superior, entonces
en P existe al menos un elemento maximal.
Teorema 5.2.4. Cada anillo posee al menos un ideal maximal.
Demostracion. Sean A un anillo y T el conjunto de ideales bilateros propios de A;
notese que T , = ya que 0 T. Respecto a la relacion de inclusion , T es un
conjunto parcialmente ordenado. Sean S un subconjunto totalmente ordenado de T
e
I
0
:=
JS
J
la reunion de los ideales de S. I
0
es un ideal bilatero propio de A. En efecto, si
a, b I
0
entonces existen ideales bilateros J
1
, J
2
S tales que a J
1
, b J
2
, por
el orden total podemos suponer por ejemplo que J
1
J
2
, con lo cual a + b J
2

I
0
. Analogamente, si a I
0
y x A, existe J S tal que a J, de aqu obtenemos
que ax, xa J I
0
. I
0
es propio debido a la escogencia de los elementos de T.
Evidentemente I
0
es cota superior de S. De acuerdo con el lema de Zorn, existe un
ideal bilatero I en T que es elemento maximal respecto a la inclusion. Puesto que la
maximalidad se denio en terminos de la relacion de inclusion, entonces I es ideal
maximal de A.
Corolario 5.2.5. Sea A un anillo. Entonces,
(i) Cada ideal bilatero propio de A esta contenido en un ideal maximal.
(ii) Cada elemento no invertible de R esta contenido en un ideal maximal (R es
un anillo conmutativo).
46 CAP

Demostracion. (i) Sea I un ideal bilatero propio de A y A/I el anillo cociente
determinado por I. Sea J un ideal maximal de A/I. De acuerdo con la proposicion
3.2.5 y la proposicion 5.2.1, j
1
(J) es un ideal maximal de A que contiene a I,
donde j : A A/J es el homomorsmo canonico.
(ii) Sea x un elemento no invertible de R; entonces x) , = R, y por el numeral
anterior, x) esta contenido en un ideal maximal de R.
Ejemplo 5.2.6. El anillo de matrices M
n
(K) de orden n 2 sobre un cuerpo K
muestra que el punto (ii) del corolario anterior no es valido para anillos no conmu-
tativos. En efecto, la matriz E
11
no es invertible y el unico ideal maximal de M
n
(K)
es el nulo.
Ejemplo 5.2.7. Anillos conmutativos locales: un anillo conmutativo R se dice
que es local si tiene exactamente un ideal maximal. Sea J dicho ideal. Entonces se
cumple que J = R R
, donde R
es el grupo de elementos invertibles del anillo

R. La igualdad anterior caracteriza a los anillos locales. Mas exactamente, sea R un
anillo conmutativo, R es local si, y solo si, R R
es un ideal. En efecto, sea J el

maximal de R y sea x J, entonces x / R
luego x R R
; recprocamente, si
x RR
, entonces x / R
y en consecuencia x pertenece a alg un ideal maximal,

pero el unico es J, luego x J. Hemos probado que J = RR
. Supongamos ahora
que R R
es un ideal y veamos que R es local: sea I un maximal de R, entonces

I R R
, pero como R R
es un ideal propio, entonces I = R R
, es decir,
R R
es el unico maximal de R.
Ejemplo 5.2.8. De los ejemplos 5.1.4 y 5.2.7 obtenemos que Z
m
, m 2, es local
si, y solo si,, m es de la forma m = p
k
, k 1, con p primo. El ideal maximal es
J = p). Ilustremos estos resultados con p = 2, k = 3:
Z
8
=
_
1, 3, 5, 7
_
, Z Z
8
=
_
0, 2, 4, 6
_
=
2
_
.
Ejemplo 5.2.9. Ideales maximales del anillo producto: sea A
1
, . . . , A
n
una familia
nita de anillos y
n
i=1
A
i
su anillo producto. Para cada 1 i n, la proyeccion
i
:
n
i=1
A
i
A
i
(a
1
, . . . , a
n
) a
i
es un homomorsmo sobreyectivo de anillos. Fijemos el ndice i y sea I
i
un ideal
maximal de A
i
. Entonces
1
i
(I
i
) = A
1
I
i
A
n
, y seg un la proposicion
5.2.1, este ultimo producto es un ideal maximal de
n
i=1
A
i
. Recprocamente, sea
J un ideal maximal de
n
i=1
A
i
. Seg un la proposicion 4.1.2, J es de la forma J =
I
1
I
n
, donde I
i
es un ideal bilatero de A
i
, 1 i n. Existe alg un i,
1 i n, tal que I
i
,= A
i
, ya que en caso contrario J no sera propio. Notese que
necesariamente I
j
= A
j
para cada j ,= i, es decir, J = A
1
I
i
A
n
. En
efecto, si para alg un j ,= i, I
j
,= A
j
, entonces,
5.3. EJERCICIOS 47
J _ A
1
A
i
I
j
A
n
_
n
i=1
A
i
y J no sera maximal. Por ultimo J ker (
i
) = A
1
0 A
n
y, seg un
la proposicion 5.2.1,
i
(J) = I
i
es maximal en A
i
. Esto completa la prueba de la
descripcion de los ideales maximales del anillo producto. Observese que
A
1
A
n
/A
1
I
i
A
n

= A
i
/I
i
,
para cada ideal propio I
i
de A
i
, 1 i n.
Si tomamos en particular una coleccion nita de cuerpos T
1
, . . . , T
n
, entonces
n
i=1
T
i
tiene n ideales maximales: 0T
2
T
n
, T
1
0 T
n
, T
1
T
2
0;
la interseccion de los cuales es nula. Un anillo A es semilocal si su coleccion de
ideales maximales es nita.
5.3. Ejercicios
1. Sean A un anillo e I un ideal bilatero propio de A. Demuestre que I es primo
si, y solo si, para cada par de elementos a, b A se cumple
aAb I a I o b I.
2. Sea R un anillo conmutativo y sean P
1
, . . . , P
n
ideales primos de R. (i) Suponga
que I es un ideal de R contenido en
n
i=1
P
i
. Pruebe que existe i tal que I P
i
.
(ii) Sean I
1
, . . . , I
t
ideales de R y sea P un ideal primo de P que contiene
a
t
j=1
I
j
. Pruebe que existe j tal que P I
j
. (iii) Si P =
t
j=1
I
j
, entonces
pruebe que existe j tal que P = I
j
.
3. Sea R un anillo conmutativo en el que cada elemento x satisface la condicion
x
n
= x, para alg un n > 1 (dependiente de x). Demuestre que todo ideal primo
de R es maximal.
4. Sea R un anillo conmutativo. El radical primo de R es la interseccion de
todos los ideales primos de R, y se denota por rad(R). Demuestre que rad(R)
coincide con la coleccion de elementos nilpotentes de R (r R es nilpotente
si existe n 1 tal que r
n
= 0).
5. Sea R un anillo conmutativo y sea I un ideal de R. Demuestre que
I coincide
con la interseccion de todos los ideales primos de R que contienen I.
Captulo 6
Dominios de integridad
Entre los dominios de integridad comunmente encontrados en algebra se destacan los
dominios euclidianos, los dominios de ideales principales y los dominios gaussianos
(tambien conocidos como dominios de factorizacion unica). Su importancia radica
en la artimetica que se puede desarrollar sobre ellos, conformandose as un area
interesante de estudio. Nosotros nos limitaremos a presentarlos y a estudiar algunas
de sus propiedades mas importantes.
Denici on 6.1.1. Sea R un dominio de integridad y sean a, b R con a ,= 0. Se
dice que a divide b, o que b es m ultiplo de a, lo cual denotaremos por a [ b, si
existe c R tal que b = ac.
Ejemplo 6.1.2. En Z, 2 [ 6, 2 [ 5. En Z
7
, 2 [ 6 y 2 [ 5 ya que 6 = 2 3, 5 = 2 6.
Denici on 6.1.3. Sea R un dominio de integridad (DI) y sean a y b elementos de
R. Se dice que a y b son asociados, lo cual escribimos como a b, si existe u R
tal que a = bu.

Ejemplo 6.1.4. Divisores triviales. Sea R un DI y a un elemento cualquiera
de R. Los elementos invertibles de R y los elementos asociados con a son divisores
de a, conocidos como los divisores triviales de a.
Denici on 6.1.5. Sea R un DI. Un elemento a no nulo y no invertible de R, se
dice irreducible si sus unicos divisores son los triviales.
Ejemplo 6.1.6. En Z, 2 es irreducible, 6 no es irreducible. En un anillo de division,
por denici on, no hay elementos irreducibles. As pues, en , 1 y C no hay elementos
irreducibles.
48
Ejemplo 6.1.7. Consideremos el subconjunto de n umeros complejos de la forma
Z
_
3
:=
_
a + b
3 [ a, b Z
_
,
Z
_
3
es un dominio de integridad con las operaciones usuales de adicion y mul-

tiplicacion de complejos. Notese que 2 es un elemento irreducible de Z
_
3
, pero
7 no lo es. En efecto, si denimos la norma de z = a + b
3 , a, b Z, por
N (z) := zz =
_
a + b
3
_ _
a b
3
_
= a
2
+ 3b
2
podemos observar que
N (z
1
z
2
) = N (z
1
) N (z
2
),
para cualesquiera z
1
, z
2
en Z
_
3
. Esto permite determinar los elementos inverti-

bles de Z
_
3
: sea z = a +b
3 Z
_
3
, entonces N (zz
1
) = N (1) = 1 =
N (z) N (z
1
); como N (z) es un entero no negativo se obtiene que a
2
+ 3b
2
= 1,
con lo cual z = 1 y Z
_
3
= 1, 1.
Podemos probar las armaciones formuladas antes: sea z = a +b
3 , a, b Z,
tal que z [ 2. Existen entonces a
0
, b
0
Z tales que 2 =
_
a + b
3
_ _
a
0
+ b
0
3
_
.
De aqu obtenemos 4 = (a
2
+ 3b
2
) (a
2
0
+ 3b
2
0
). Se presentan entonces tres casos:
(i) a
2
+ 3b
2
= 4, a
2
0
+ 3b
2
0
= 1,
(ii) a
2
+ 3b
2
= 1, a
2
0
+ 3b
2
0
= 4,
(iii) a
2
+ 3b
2
= 2, a
2
0
+ 3b
2
0
= 2.
Los dos primeros casos son analogos y veremos solo el primero. El tercero no tiene
soluciones en Z. Considerando las posibles formas de descomponer 4 y 1 en suma de
enteros no negativos, obtenemos que a = 1, b = 1, a
0
= 1, b
0
= 0; o tambien,
a = 2, b = 0, a
0
= 1, b
0
= 0, a = 2, b = 0, a
0
= 1, b
0
= 0, es decir, los unicos
divisores de 2 son los triviales.
Notese por ultimo que 7 =
_
2 +
3
_ _
2
3
_
, pero 2 +
3 y 2
3
no son divisores triviales de 7.
Denici on 6.1.8. Diremos que el elemento no nulo a de R es primo si a) es un
ideal primo.
Proposici on 6.1.9. Sea R un DI y sea a primo, entonces a es irreducible.
Demostracion. En efecto, si a) es primo entonces a) , = R y as a / R
. Sea m R
un divisor de a; entonces a = mn, n R, y en el cociente R/ a) resulta 0 = m n,
con lo cual m = 0, o, n = 0, es decir, m a), o, n a). Se tiene entonces que
m = ra, con r R, o, n = sa, con s R. En el primer caso a = ran, de donde
n R
. En el segundo caso m R
. As pues, a es irreducible.
50 CAP
ITULO 6. DOMINIOS DE INTEGRIDAD

Ejemplo 6.1.10. Observese que el recproco de lo armado en la proposicion an-
terior no siempre es cierto, como lo muestra el ejemplo anterior: 2 es irreducible en
Z
_
3
pero 2) no es un ideal primo:

_
1 +
3
_ _
1
3
_
= 4 2), pero
_
1 +
3
_
,
_
1
3
_
/ 2).
6.2. Dominios gaussianos
Existen dominios como el de los enteros donde es posible efectuar divisiones con
residuo. Este tipo de dominio de integridad conforma una subclase de una clase
mas amplia con propiedads aritmeticas importantes como es la clase de los dominios
gaussianos.
Denici on 6.2.1. Sea R un DI; se dice que R es un dominio euclidiano (DE) si
existe una funcion d denida sobre los elementos no nulos de R y tomando valores
enteros no negativos
d : R 0 N 0
tal que:
(i) Para cualesquiera elementos no nulos a, b R, d (ab) d (a).
(ii) (Division con residuo) Para cada elemento a R y cada elemento no nulo
b R, existen elementos q, r R tales que:
a = bq + r, donde r = 0, o, d (r) < d (b) .
Ejemplo 6.2.2. Los n umeros enteros Z con la funcion valor absoluto d = [ [ consti-
tuyen un dominio eculidiano: sean a, b enteros no nulos. Entonces [b[ 1, [a[ [b[ [a[
y [a[ [ab[, vericandose as la primera condicion de la denicion anterior. Sean
ahora, a, b enteros con b ,= 0. Distinguiremos dos casos:
Caso 1. b > 0. Consideremos los conjuntos
M := a bx [ x Z, y M
+
:= z M [ z 0.
Notese que M
+
,= . En efecto, si a 0 entonces a M
+
. Si a < 0 entonces a 1,
a 1, a (a) a. Ademas, como b > 0, entonces b < 0, (b) (a
2
) ba,
de donde a b (a
2
) a ba = a (1 b) 0 (La ultima desigualdad es cierta ya
que b > 0 implica b 1, 1 b 0, a (1 b) 0). Tomando x = a
2
resulta que
tambien en este caso a b (a
2
) M
+
.
Como el conjunto de los enteros no negativos es bien ordenado, concluimos que
M
+
tiene un primer elemento r
0
. Sea q
0
Z tal que r
0
= a bq
0
. Tenemos entonces
que a = bq
0
+ r
0
con r
0
0. Supongamos que r
0
b. Entonces, a bq
0
b,
es decir, a b (q
0
+ 1) 0 y as a b (q
0
+ 1) M
+
. Por la condicion de r
0
,
a b (q
0
+ 1) r
0
= a bq
0
, con lo cual b 0 y se obtiene una contradiccion.
6.2. DOMINIOS GAUSSIANOS 51
a = bq
0
+ r
0
, donde r
0
= 0, o, 0 < r
0
< b.
Caso 2. b < 0. Consideremos los conjuntos
N := bx a [ x Z y N
+
:= z N [ z 0.
Nuevamente N
+
es un conjunto no vaco: si a < 0 entonces a > 0 y a N
+
.
Sea a 0; como b < 0, entonces b 1, b (a
2
) (1) (a
2
) = a
2
, b (a
2
) 0.
Tomando x = a
2
encontramos que b (a
2
) a N
+
. Sea t
1
el primer elemento
de N
+
y q
1
Z tal que t
1
= bq
1
a. Resulta de aqu que a = bq
1
t
1
con t
1
0.
Supongase que t
1
b, entonces, t
1
b, bq
1
a b, b (q
1
+ 1) a N
+
y,
por la escogencia de t
1
, b (q
1
+ 1) a t
1
= bq
1
a, es decir, b 0 lo cual es una
contradiccion. Se tienen pues en este segundo caso enteros q
1
, t
1
tales que
a = bq
1
+ (t
1
), donde t
1
= 0, o, b < t
1
< 0.
De los dos casos considerados resulta que dados a, b Z con b ,= 0, existen q, r Z
tales que:
a = bq + r, con r = 0, o, [r[ < [b[,
cumpliendose as la segunda condicion de la denicion 6.2.1.
Denici on 6.2.3. Sea R un DI y sean a, b elementos no nulos de R. El elemento
d R se dice que es un maximo com un divisor de los elementos a y b, si:
(i) d [ a y d [ b.
(ii) Cada elemento c R que divida simultaneamente a y b es tambien un divisor
de d.
Esta relacion se denota por d := m.c.d. (a, b).
Un mnimo com un m ultiplo de a y b es un elemento c R tal que:
(i) a [ c y b [ c.
(ii) Cada elemento f R tal que a [ f y b [ f cumple c [ f.
Esta relacion se denota por c := m.c.m. (a, b).
Los conceptos de maximo com un divisor y elemento irreducible cobran especial
importancia en los dominios de ideales principales (DIP).
Proposici on 6.2.4. Sea R un DIP. Entonces,
(i) Cada par de elementos no nulos a, b R tienen un maximo com un divisor d,
el cual se puede expresar en la forma
52 CAP

d = ra + sb, r, s R.
(ii) El elemento a ,= 0 de R es irreducible si, y solo si, a) es maximal. En conse-
cuencia, cada irreducible es primo.
(iii) Para cada elemento irreducible p R y cualesquiera elementos a, b R se
cumple
p [ ab implica p [ a, o, p [ b.
Demostracion. (i) Como R es un DIP, entonces el ideal generado por los elementos
a y b es principal y generado por un elemento d R: a, b) = d). Veamos que
d = m.c.d. (a, b). a, b d) implica que d [ a, d [ b. Como d a, b), existen r, s R
tales que d = ra + sb. Si c R es tal que c [ a, c [ b, entonces claramente c [ d.
(ii) ) Por denicion de irreducible, a / R
, con lo cual a) , = R. Sea I un

ideal de R que contiene a a); existe entonces b R tal que I = b) a). Resulta
entonces que b [ a y, por ser a irreducible, b R
o bien b a. En el primer caso

b) = R y en el segundo caso b) = a). Esto prueba que a es maximal.
) Sea a ,= 0 tal que a) es maximal. Entonces, a / R
; si c R es tal que c [ a,
entonces c) a). La maximalidad de a) implica que c) = R, o, c) = a). En el
primer caso c R
, y en el segundo c a. Esto garantiza que a es irreducible.

(iii) Sean p un irreducible de R y a, b R tales que p [ ab; seg un (ii), p) es
primo con a) b) = ab) p), es decir, p [ a, o, p [ b.
Denici on 6.2.5. Sea R un DI. Se dice que R es un dominio gaussiano (DG)
si cada elemento no nulo y no invertible a R cumple las siguientes condiciones:
(i) a tiene una descomposicion en producto de elementos irreducibles de R:
a = p
1
p
n
, p
i
irreducible de R, 1 i n.
(ii) Si a posee otra descomposicion en irreducibles
a = q
1
q
m
, q
i
irreducible de R, 1 i m,
entonces m = n y, despues de una reordenacion de ndices, p
i
q
i
, 1 i n.
Observaci on 6.2.6. De la denicion anterior se desprende que en un DG dos
descomposiciones del elemento a solo dieren en un factor invertible. En efecto,
seg un (i) y (ii) de la denicion,
q
i
= p
i
u
i
, u
i
R
, 1 i n;
de aqu resulta entonces que a = q
1
q
m
= p
1
u
1
p
n
u
n
= (p
1
p
n
) u, donde
u = u
1
u
n
R
.
Proposici on 6.2.7. Sea R un DI en el cual se cumplen la condicion (i) de la
denicion anterior y la condicion (iii) de la proposicion 6.2.4. Entonces, R es un
DG. Recprocamente, en todo DG se cumple la propiedad (iii) de la proposicion
mencionada.
Demostracion. La prueba de la primera parte la realizamos por induccion sobre
el n umero n de factores irreducibles que intervienen en la descomposicion de un
elemento a de R, a ,= 0, a / R
. n = 1: sea a = p = q
1
q
m
, donde p, q
1
q
m
son
irreducibles de R. Si m 2, entonces por la irreducibilidad de p se debe tener que
q
1
= pu con u R
. Ya que R es un DI resulta entonces que 1 = uq

2
. . . q
m
, con
lo cual q
2
R
. Pero esto es contradictorio, ya que por hipotesis q

2
es irreducible.
As pues, m = 1 y p q
1
.
Supongase ahora que la condicion (ii) de la denicion de DG se cumple para todos
los elementos R en cuya descomposicion aparecen menos de n factores irreducibles,
n 2. Sea a R descompuesto en dos formas en producto de irreducibles
a = p
1
p
n
= q
1
q
m
, p
j
,q
j
irreducibles 1 i n, 1 j m.
Como p
1
[ q
1
(q
2
. . . q
m
), entonces p
1
[ q
1
, o, p
1
[ q
2
q
m
. Resulta entonces que
p
1
q
i
para alg un 1 i m. Podemos reordenar los irreducibles q
1
, . . . , q
m
y
considerar que p
1
q
1
. Entonces, p
1
p
n
= (p
1
u) q
2
q
m
, p
2
p
n
= (uq
2
) q
m
,
con u R
. Puesto que uq
2
, , q
m
son irreducibles, entonces, aplicando la hipotesis
inductiva, encontramos que n 1 = m 1 y p
2
uq
2
, . . . , p
n
q
n
. En total
p
1
q
1
, . . . , p
n
q
n
, y la primera parte de la proposicion esta probada.
Sea ahora R un DG y sean p, a, b R tales que p es irreducible y p [ ab. Si
a = 0, o, b = 0, entonces p [ a o p [ b y no hay nada mas que probar. Sean a, b
no nulos, podemos asumir tambien que a / R
, b / R
. Sean a = p
1
. . . p
n
, b =
q
1
. . . q
m
, m, n 1, las descomposiciones irreducibles de a y b, respectivamente.
Entonces, p
1
p
n
q
1
q
m
= pc, c R. Por la unicidad de las descomposiciones
irreducibles existe p
i
, o, q
j
tal que p p
i
, o, p q
j
, es decir, p [ a o p [ b.
Establecemos ahora la relacion existente entre los tres tipos de dominios de
integridad anteriormente denidos.
Teorema 6.2.8. Todo DE es un DIP.
Demostracion. Sea R un DE con funcion d y sea I un ideal no nulo de R. Sea
d (I) := d (a) [ a I, a ,= 0.
54 CAP

Puesto que d (I) es un conjunto de enteros no negativos, entonces d (I) tiene un
primer elemento d (a
0
) , a
0
I, a
0
,= 0. Sea a un elemento cualquiera de I. Entonces,
a = ma
0
+ r, con m, r R, r = 0, o, d (r) < d (a
0
). Por la escogencia de a
0
, r debe
ser nulo y as, a = ma
0
. Esto prueba que I = a
0
). Si I = 0, entonces I = 0) .
Resulta pues que R es un DIP.
Teorema 6.2.9. Todo DIP es un DG.
Demostracion. Teniendo en cuenta las proposiciones 6.2.4 y 6.2.7 probaremos solo
la parte (i) de la denicion de DG. Notese en primer lugar que si R es un DIP
entonces cada cadena ascendente de ideales de R
a
1
) a
2
) a
n
)
se detiene, es decir, existe un n natural tal que a
k
) = a
n
), para cada k n. En
efecto, la reunion
iN
a
i
) es un ideal de R y por tanto, generado por un cierto
elemento a R,
iN
a
i
) = a) . Existe entonces un n N tal que a a
n
); de
aqu resulta que a) a
n
) a) y
iN
a
i
) = a
n
). Para k n, a
k
) a
n
) a
k
),
es decir, a
k
) = a
n
), k n.
Supongamos ahora que existe en R un elemento no nulo y no invertible a que
no tiene descomposicion en producto de elementos irreducibles. Logicamente a no
es irreducible (en caso contrario se tendra la descomposicion trivial a = a). Exis-
ten entonces a
1
, b
1
R no nulos y no invertibles tales que a = a
1
b
1
. Notese que
a) esta contenido propiamente en a
1
). Al menos uno de a
1
, b
1
no es producto
de elementos irreducibles, sea por ejemplo a
1
. Aplicando al elemento a
1
el mismo
razonamiento que para a resulta una cadena innita de ideales
a) _ a
1
) _ a
2
) _ . . .
la cual no se detiene, contradiciendo lo probado al principio de esta demostracion.
La nitud de las cadenas ascendentes de ideales principales introducida en la
prueba del teorema 6.2.9 puede ser caracterizada en terminos de maximalidad, como
veremos a continuacion.
Proposici on 6.2.10. Sea R un anillo conmutativo. Entonces, en R cada cadena
ascendente de ideales se detiene si, y solo si, en cada coleccion no vaca de ideales
de R hay un elemento maximal.
Demostracion. Sean ( una coleccion no vaca de ideales de R e I
1
(. Si I
1
es
maximal en ( no hay nada que probar. Sea entonces I
2
( tal que I
1
I
2
. Si I
2
es maximal en ( el proceso de b usqueda se detiene. En caso contrario continuamos
y obtenemos una cadena ascendente de ideales de R. Seg un la hipotesis, el proceso
debe detenerse, y en ( hay un elemento maximal.
De otra parte, si existe una cadena ascendente de ideales de R que no se detiene
I
1
_ I
2
_ _ I
n
_ I
n+1
_
entonces en la colecci on ( := I
i
iN
no hay un elemento maximal.
Los DG se pueden caracterizar en terminos de los elementos primos.
Proposici on 6.2.11. (i) En un DG cada irreducible p es primo, es decir, primos e
irreducibles coinciden.
(ii) Si R es un DI, entonces R es un DG si, y solo si, cada elemento no nulo y
no invertible de R es producto nito de elementos primos de R.
Demostracion. (i) Sean a, b R tales que ab p). Entonces, ab = pm, m R;
descomponiendo a, b, m en factores irreducibles y teniendo en cuenta la unicidad de
la descomposicion encontramos que p [ a, o, p [ b, en otras palabras, p es primo.
(ii) ) Esto es consecuencia directa de (i).
) Puesto que todo primo es irreducible, solo se debe probar la unicidad de
cada descomposicion irreducible. Pero de acuerdo con la proposicion 6.2.7, esto es
equivalente a la condicion (iii) de la proposicion 6.2.4. Sean p irreducible y a, b R
tales que p [ ab; si a = 0, o, b = 0 no hay nada que probar. Ademas, a / R
y
b / R
. Sea m R tal que ab = pm. Podemos descomponer a y b en factores primos

a
1
a
n
b
1
b
l
= pm. Entonces, pm a
1
), con lo cual p a
1
), o, m a
1
). En el
primer caso, como p es irreducible, a
1
p y p [ a
1
. En el segundo existe n
1
R tal
que m = a
1
n
1
, de donde a
2
a
n
b
1
b
l
= pn
1
. Podemos repetir el razonamiento
anterior hasta concluir que p [ a, o, p [ b. Esto completa la prueba.
Ejemplo 6.2.12. Seg un los resultados de la presente seccion se tienen las siguientes
relaciones de contenencia:
DE _ DIP _ DG _ DI _ Anilllos conmutativos.
Ademas,
(i) Si n 2 y n no es primo, entonces Z
n
es un anillo conmutativo que no es DI.
(ii) Z
_
3
es un DI que no es DG:
4 = 2 2 =
_
1 +
3
_ _
1
3
_
,
2, 1+
3, 1
3 son irreducibles no asociados de Z

_
3
(vease el ejemplo
6.1.7)
(iii) Mas adelante se mostrara que el anillo de polinomios con coecientes enteros,
Z[x], es un DG que no es un DIP.
(iv) Los ejemplos de DIP que no son euclidianos no son de facil construccion. Uno
de tales ejemplos puede ser consultado en [2].
56 CAP

6.3. Ejercicios
1. Demuestre que Z[
5] no es un DIP.
2. Un dominio de integridad R se dice que es GCD, si cada par de elementos
no nulos tiene maximo com un divisor. Sea R un dominio GCD y sean a, b
elementos no nulos de R tales que m.c.d.(a, b) = 1. Demuestre que m.c.m.(a, b)
existe y coincide con ab.
3. Demuestre que en un DG cada par de elementos no nulos tiene maximo com un
divisor y mnimo com un m ultiplo. En consecuencia, todo DG es GCD.
4. Sea R un dominio GCD y sean a, b, d, x, y R tales que d = m.c.d.(a, b),
a = dx, b = dy. Demuestre que m.c.d.(x, y) = 1.
5. Sea R un DI. Demuestre que R es GCD si, y solo si, para cada par de elementos
a, b R se tiene que a) b) es principal.
Captulo 7
Anillos de fracciones: caso
conmutativo
La construccion del cuerpo de los n umeros racionales por medio de una relacion
de equivalencia denida sobre el producto cartesiano Z(Z0), puede ser ge-
neralizada a un DI arbitrario R, obteniendose el llamado cuerpo de fracciones del
dominio R. Esta situacion puede ser ampliada a anillos conmutativos cualesquiera,
no siendo necesariamente el nuevo objeto contrudo un cuerpo. En este captulo nos
ocuparemos de esta construccion.
7.1. Construcci on y propiedades
Denici on 7.1.1. Sean R un anillo conmutativo y S un subconjunto no vaco de
R. Se dice que S es un subconjunto multiplicativo de R si:
(i) Para cualesquiera elementos s, t S su producto st esta en S.
(ii) 0 / S.
(iii) 1 S.
Proposici on 7.1.2. Sea R un anillo conmutativo y S un subconjunto multiplicativo
de R. La relacion denida en el conjunto R S por
(a, s) (b, t) (u S) (atu = bsu) (7.1.1)
con a, b R, s, t S, es de equivalencia.
Demostracion. Las propiedades reexiva y simetrica de son evidentes. Sean (a, s),
(b, t) , (c, r) R S, tales que (a, s) (b, t) y (b, t) (c, r). Existen entonces
elementos u, v S tales que atu = bsu y brv = ctv. De estas igualdades resultan
57
58 CAP
ITULO 7. ANILLOS DE FRACCIONES: CASO CONMUTATIVO

vatur = vbsur y ubrvs = uctvs; en vista de la conmutatividad obtenemos ar (vtu) =
cs (vtu), con lo cual (a, b) (c, r) ya que vtu S.
La relacion determina una particion del conjunto RS en clases de equivalencia.
Denotemos por
a
s
la clase que contiene a la pareja (a, s) y mediante RS
1
al conjunto
de todas las clases as conformadas.
Teorema 7.1.3. En el conjunto RS
1
las operaciones
a
s
+
b
t
:=
at + bs
st
,
a
s
b
t
:=
as
st
(7.1.2)
denen una estructura de anillo conmutativo, denominado anillo de fracciones
de R respecto de S.
Demostracion. Teniendo en cuenta que estamos trabajando con clases de equiva-
lencia, debemos vericar inicialmente que las operaciones estan denidas correc-
tamente. Sean
a
1
s
1
,
a
2
s
2
,
b
1
t
1
,
b
2
t
2
fracciones tales que
a
1
s
1
=
a
2
s
2
y
b
1
t
1
=
b
2
t
2
. Entonces
existen elementos u, v S tales que a
1
s
2
u = a
2
s
1
u, b
1
t
2
v = b
2
t
1
v. De aqu re-
sulta va
1
s
2
ut
1
t
2
= va
2
s
1
ut
1
t
2
y ub
1
t
2
vs
1
s
2
= ub
2
t
1
vs
1
s
2
; sumando obtenemos
(a
1
t
1
s
2
t
2
+ b
1
t
2
s
1
s
2
) vu = (a
2
s
1
t
1
t
2
+ b
2
t
1
s
1
s
2
) vu, con lo cual
a
1
s
1
+
b
1
t
1
=
a
2
s
2
+
b
2
t
2
,
ya que vu S. De manera similar se establece que
a
1
s
1
b
1
t
1
=
a
2
s
2
b
2
t
2
. De otra parte,
las propiedades asociativa, conmutativa y distributiva de las operaciones denidas
en (7.1.2), se desprenden de las respectivas propiedades de las operaciones del anillo
R. La vericacion completa de dichas propiedades queda a cargo del lector. Notese
que el cero y el uno del anillo RS
1
son las fracciones
0
1
y
1
1
, respectivamente. Por
ultimo, observese que
a
s
=
a
s
.
De la construccion anterior se obtienen las siguientes propiedades.
Corolario 7.1.4. La funcion
: R RS
1
a
a
1
(7.1.3)
cumple las siguientes propiedades:
(i) es un homomorsmo de anillos.
(ii) (S) (RS
1
)
.
(iii) (a) = 0 au = 0, para alg un u S.
(iv) Cada elemento de RS
1
tiene la forma
7.1. CONSTRUCCI
ON Y PROPIEDADES 59
(a) (s)
1
, a R, s S.
(v) es inyectiva S no posee divisores de cero.
(vi) es biyectiva S R
.
Demostracion. (i) (a + b) =
a + b
1
=
a
1
+
b
1
= (a) + (b); (ab) =
ab
1
=
a
1
b
1
=
(a) (b); (1) =
1
1
.
(ii) Sea s S, (s) =
s
1
y
s
1

1
s
=
1
1
,es decir, (s) (RS
1
)
con (s)
1
=
1
s
.
(iii) (a) = 0
a
1
=
0
1
au = 01 = 0, para alg un u S.
(iv) Sea
a
s
RS
1
; entonces
a
s
=
a
1
1
s
= (a) (s)
1
.
(v) Es equivalente a (iii).
(vi) Evidente.
Seg un el corolario anterior, no se puede considerar en general que R se sumerga en
el anillo de fracciones RS
1
. De otra parte, vale la pena preguntarse sobre la unicidad
del anillo construdo. Respondemos a esta pregunta con las siguientes propiedades.
Teorema 7.1.5 (Propiedad universal). Sea g : R R
0
un homomor-
smo de anillos tal que g (S) R
0
. Entonces, existe un unico homomorsmo
h : RS
1
R
0
tal que h = g. Ademas, si g es inyectivo, entonces h
tambien es inyectivo.
Demostracion. Existencia. Denimos
h
_
a
s
_
:= g (a) g (s)
1
, a R, s S.
Veamos primero que h esta bien denida. Si
a
1
s
1
=
a
2
s
2
, entonces existe u S tal
que a
1
s
2
u = a
2
s
1
u, de aqu resulta g (a
1
) g (s
2
) = g (a
2
) g (s
1
), ya que g (u) R
0
.
Podemos entonces escribir g (a
1
) g (s
1
)
1
= g (a
2
) g (s
2
)
1
, es decir, h
_
a
1
s
1
_
= h
_
a
2
s
2
_
.
h es un homomorsmo de anillos:
h
_
a
s
+
b
t
_
= h
_
at + bs
st
_
= g (at + bs) g (st)
1
= (g (a) g (t) + g (b) g (s)) g (s)
1
g (t)
1
= g (a) g (s)
1
+ g (b) g (t)
1
= h
_
a
s
_
+ h
_
b
t
_
;
60 CAP

h
_
a
s
b
t
_
= g (a) g (b) g (s)
1
g (t)
1
= h
_
a
s
_
h
_
b
t
_
;
h
_
1
1
_
= g (1) g (1)
1
= 1
Sea ahora a R; h (a) = h
_
a
1
_
= g (a),es decir, h = g.
Unicidad. Sea f : RS
1
R
0
un homomorsmo tal que f = g. Sea x
un elemento de RS
1
; entonces x = (a) (s)
1
, con a R, s S. De aqu resulta
f (x) = f ( (a)) f
_
(s)
1
_
= g (a) g (s)
1
= h(
a
s
) = h(x), as, f = h. Por ultimo
notemos que si h
_
a
s
_
= 0, entonces g (a) g (s)
1
= 0, es decir, g (a) = 0; como g es
inyectiva, a = 0 y
a
s
= 0.
Corolario 7.1.6. Si el anillo R puede sumergirse en el anillo de fracciones RS
1
(es decir, R RS
1
), entonces RS
1
es el menor anillo que contiene R en el cual
todos los elementos de S son invertibles.
Demostracion. Consecuencia directa de la armacion anterior.
Teorema 7.1.7. Sea R
0
un anillo y g : R R
0
una funcion que satisface
las condiciones (i)-(iv) del Corolario 7.1.4. Entonces, existe un unico isomorsmo
h : RS
1
R
0
tal que h = g, donde es el homomorsmo denido en
(7.1.3).
Demostracion. Por el teorema 7.1.5, existe un unico homomorsmo h : RS
1
R
0
tal que h = g. Resta ver que h es un isomorsmo. Sean a R, s S tales que
h
_
a
s
_
= 0. Entonces, g (a) g (s)
1
= 0 y as g (a) = 0. Existe entonces u S tal que
au = 0 y
a
s
=
0
1
. Sea ahora x R
0
; x puede escribirse en la forma x = g (a) g (s)
1
,
con a R, s S. De aqu resulta
x = h (a) (h (s))
1
= h
_
a
1
_
h
_
1
s
_
= h
_
a
s
_
,
con lo cual h es inyectivo y sobreyectivo.
Observaci on 7.1.8. Los anillos de fracciones pueden presentarse en el orden inverso
al dado aqu. Mas exactamente, sean R un anillo conmutativo y S un subconjunto
multiplicativo de R. Se dice que R tiene un anillo de fracciones respecto de S, si
existe un anillo conmutativo B y una funcion : R B tal que se cumplen
las condiciones (i)-(iv) del corolario 7.1.4. En tal caso se dice que B es un anillo de
fracciones de R con respecto a S. Los teoremas 7.1.3 y 7.1.7 prueban la existencia y
unicidad de tales anillos de fracciones. Ademas, la propiedad universal del teorema
7.1.5 tambien caracteriza al anillo de fracciones, tal como veremos a continuacion.
7.2. EJEMPLOS 61
Teorema 7.1.9. Sea R
0
un anillo y g : R R
0
un homomorsmo tal que
g (S) R
0
y R
0
tambien cumple la propiedad universal del teorema 7.1.5. Entonces,
R
0

= RS
1
.
Demostracion. Como RS
1
tiene la propiedad universal, existe un homomorsmo
h : RS
1
R
0
tal que h = g (teorema 7.1.5), de igual manera, como R
0
tambien
tiene la propiedad universal, entonces existe un homomorsmo t : R
0
RS
1
tal
que tg = . De esta manera se tiene que (ht)g = g y (th) = , luego por la
unicidad en la propiedad universal resulta ht = i
R
0
y th = i
RS
1, es decir, h es un
isomorsmo.
7.2. Ejemplos
Terminamos este captulo ilustrando con sucientes ejemplos la construccion reali-
zada.
Ejemplo 7.2.1. Anillo total de fracciones: sea R un anillo conmutativo y
S
0
:= a R[ a no es divisor de cero ; (7.2.1)
notese que S
0
es un subconjunto multiplicativo de R y, seg un el corolario 7.1.4, R
se puede sumergir en Q(R) := RS
1
0
. Si S
0
es como en (7.2.1), Q(R) se denomina el
anillo total de fracciones, o tambien, anillo clasico de fracciones del anillo R
y, seg un el corolario 7.1.6, es el menor anillo que contiene a R en el cual todos los
elementos de S
0
son invertibles.
Ejemplo 7.2.2. Cuerpo de fracciones de un DI: si R es un dominio de inte-
gridad, entonces el conjunto S
0
denido en (7.2.1) es S
0
= R0. El anillo clasico
de fracciones Q(R) es en este caso un cuerpo. Notese ademas que Q(R) es el menor
cuerpo que contiene a R. Notemos en particular que Q(Z) = . Resulta entonces de
lo dicho que, salvo isomorsmo, es el menor cuerpo que contiene a Z. Por ultimo,
observese que si R es un DI y S
0
= R0, entonces en la relacion (7.1.1) podemos
suprimir u, y escribir sencillamente at = bs.
Ejemplo 7.2.3. Lozalizacion por ideales primos: sea R un anillo conmutativo
y sea P un ideal primo de R. El conjunto S := RP es un subconjunto multiplicativo
de R y podemos contruir el anillo de fracciones, el cual denotaremos por R
P
:
R
P
=
_
a
s
[ a R, s / P
_
.
El anillo de fracciones R
P
es local (vease el ejemplo 5.2.7). En efecto, el conjunto
PR
P
:=
_
a
s
[ a P, s / P
_
62 CAP

es un ideal de R
P
que cumple PR
P
= R
P
R
P
.
Como PR
P
es maximal, R
P
/PR
P
es un cuerpo, el cual es isomorfo al cuerpo de
fracciones del dominio R/P. En efecto, la funcion denida por
g : R/P R
P
/PR
P
r
r
1
donde r = r + P,
r
1
=
r
1
+ PR
P
, r R, cumple las condiciones del teorema 7.1.7.
Ejemplo 7.2.4. Ideales de RS
1
: sean R un anillo conmutativo, S un subconjunto
multiplicativo de R y RS
1
el anillo de fracciones de R respecto de S. Entonces, los
ideales de RS
1
son de la forma
IS
1
:=
_
a
s
RS
1
[ a I, s S
_
(7.2.2)
donde I es un ideal de R: es evidente que si I es un ideal de R, entonces el conjunto
IS
1
es un ideal de RS
1
. De ota parte, si J es un ideal de RS
1
, entonces
I :=
_
a RS
1
[
a
1
J
_
(7.2.3)
es un ideal de R tal que J = IS
1
. En efecto, I es claramente un ideal; sea
a
b
J,
entonces
a
s
s
1
=
a
1
J, con lo cual a I y
a
s
IS
1
. Recprocamente, si
a
s
IS
1
con a I, entonces
a
1
J,
a
1
1
s
J, es decir,
a
s
J, y la igualdad esta probada.
Notemos adicionalmente que si I
1
I
2
, entonces I
1
S
1
I
2
S
1
. Tambien, si R
es un DIP, entonces RS
1
es un DIP:
IS
1
= a) S
1
=
a
1
_
(notemos que si R es un DI, entonces RS
1
es un DI).
Ejemplo 7.2.5. Sean R un anillo conmutativo, S un subconjunto multiplicativo
de R e I un ideal propio de R tal que IS = . Entonces, IS
1
denido como en
(7.2.2) es un ideal propio de RS
1
. Notese que entonces se tiene el isomorsmo
RS
1
/IS
1

= R S
1
, (7.2.4)
donde
R := R/I, S := x = x + I[ x S.
En efecto, observese que S es un subconjunto multiplicativo de R; ademas, la co-
rrespondencia
g : R RS
1
/IS
1
a
a
1
,
7.2. EJEMPLOS 63
donde a = a + I,
a
1
=
a
1
+ IS
1
, a R, satisface las hipotesis del teorema 7.1.7,
resultando as el isomorsmo (7.2.4).
Ejemplo 7.2.6. Ideales primos de RS
1
: existe una correspondencia biyectiva
entre los ideales primos de RS
1
y los ideales primos de R que tienen interseccion
vaca con S: sea P un ideal primo de R tal que P S = . Entonces sabemos que
PS
1
es propio; ademas sean
a
r
,
b
s
RS
1
tales que
a
r
b
s
PS
1
, entonces
ab
rs
=
c
t
con c P y existe u S tal que abtu = crsu P; de aqu resulta ab P, o, tu P;
pero como tu S entonces ab P, con lo cual a P, o, b P, es decir,
a
r
PS
1
,
o,
b
s
PS
1
. Resulta as que PS
1
es primo. De otra parte, si P
1
, P
2
son ideales
primos de R tales que P
1
S = = P
2
S con P
1
S
1
= P
2
S
1
, entonces P
1
= P
2
.
En efecto, si a P
1
, entonces
a
1
P
1
S
1
= P
2
S
1
; existe pues b P
2
, s S tales
que
a
1
=
b
s
, de donde asu = bu, para un cierto u S. Resulta entonces asu P
2
y, por ser este ultimo primo y tener interseccion vaca con S, entonces a P
2
y
as P
1
P
2
. La otra inclusion se prueba de manera analoga.
Resta demostrar que cada ideal primo de RS
1
es de la forma PS
1
, con P primo
de R y P S = . Sea J un ideal primo de RS
1
; seg un lo establecido en el ejemplo
7.2.4, J es de la forma PS
1
, donde P es como en (7.2.3). Notemos que P S = ,
ya que en caso contrario J no sera propio. Sean a, b R tales que ab P, entonces
ab
1
J, es decir,
a
1
J, o,
b
1
J, con lo cual a P, o, b P, con lo cual P primo.
Esto completa la prueba sobre la correspondencia biyectiva.
Ejemplo 7.2.7. Sean R
1
, . . . , R
n
anillos conmutativos con sistemas multiplicativos
S
1
, . . . , S
n
respectivamente. Entonces, S := S
1
. . .S
n
es un sistema multiplicativo
de R := R
1
R
n
, y ademas
RS
1

= R
1
S
1
1
R
n
S
1
n
.
Consideremos en particular que para cada 1 i n, R
i
es un DI. Entonces, para
S
i
:= R
i
0, 1 i n, se tiene que S
1
S
n
coincide con el conjunto de
elementos de R que no son divisores de cero, y por lo tanto,
Q(R
1
R
n
)

= Q(R
1
) Q(R
n
),
donde Q(R
i
) es el cuerpo de fracciones de R
i
, 1 i n. As por ejemplo,
Q(Z Z)

= .
Ejemplo 7.2.8. Sean R un anillo conmutativo, X un conjunto no vaco y R
X
el anillo de funciones denido en el ejemplo 1.1.6. Sea ademas S un subconjunto
multiplicativo de R. Entonces, el conjunto
S
X
:=
_
f R
X
[ f (X) S
_
es un subconjunto multiplicativo de R
X
tal que
64 CAP

R
X
_
S
X
_
1
= (RS
1
)
X
.
La vericacion de estas armaciones es rutinaria y se deja a cargo del lector. Con-
sideremos en particular el anillo clasico de fracciones R
X
cuando R es un dominio
de integridad. Si S
0
= R 0, entonces S
X
0
es el conjunto de los elementos de R
X
que no son divisores de cero, y por lo tanto,
Q
_
R
X
_

= Q(R)
X
,
donde Q(R) es el cuerpo de fracciones de R. En particular,
Q
_
Z
N
_

=
N
, Q
_
N
_

=
N
, Q
_
1
N
_

= 1
N
, Q
_
C
N
_

= C
N
.
Ejemplo 7.2.9. Cuerpo de fracciones de Z
_
3
: el anillo Z
_
3
fue denido
en el ejemplo 6.1.7, y se probo que es un DI. Su cuerpo de fracciones es el conjunto
_
3
=
_
x + y
3 [ x, y
_
.
En efecto, consideremos la funcion
g : Z
_
3

_
3
a + b
3
a
1
+
b
1
3
;
g es claramente un homomorsmo inyectivo de anillos; ademas, para cualesquiera
enteros no nulos a, b, el complejo
a
1
+
b
1
3 es no nulo y su inverso satisface

a
a
2
+3b
2
+
b
a
2
+3b
2
3
_
3
.
Por ultimo observese que cada elemento
a
r
+
b
s
3
_
3
se escribe en la forma
a
r
+
b
s
3 =
_
as3rb
1
+
as+br
1
3
_ _
rs
1
+
rs
1
3
_
1
a
r
+
b
s
3 = g
__
as br
3
_
+
_
as + br
3
__
g
_
rs + rs
3
_
1
.
Seg un el teorema 7.1.7
_
3
es isomorfo al cuerpo de fracciones de Z

_
3
.
Ejemplo 7.2.10. Anillo clasico de fracciones de Z
n
, n 2: notese que en Z
n
el
sistema S
0
denido en (7.2.1) coincide con Z
n
. En efecto, es claro que si x Z
n
entonces x S
0
. Recprocamente, si x / Z
n
, entonces seg un el ejemplo 1.1.12 existe
2 d n tal que d divide a x y d divide a n. Sean entonces 1 r, s n 1,
x = dr, n = ds. Resulta de aqu que xs = 0 y x / S
0
.
La funcion identica
i
Zn
: Z
n
Z
n
satisface las hipotesis del teorema 7.1.7, y por lo tanto, Q(Z
n
) Z
n
.
7.3. EJERCICIOS 65
7.3. Ejercicios
1. Sea R un DI y sea K su cuerpo de fracciones. Sea P un ideal primo de R.
Demuestre que el cuerpo de fracciones de R
P
es isomorfo a K.
2. Sea R un anillo conmutativo, S un sistema multiplicativo de R y P Spec(R)
tal que P S = . Entonces, (RS
1
)
PS
1

= R
P
.
3. Sean S, T dos sistemas multiplicativos de un DI R. Demuestre que ST :=
st[s S, t T es un sistema multiplicativo de R y que ademas R(ST)
1

=
(RS
1
)T
1
, considerando la imagen natural de T en RS
1
. En particular, si
S T, entonces (RS
1
)T
1

= RT
1
. Ademas, si Q P son dos ideales
primos de R, entonces R
Q

= (R
P
)
QR
P
, donde QR
P
:=
a
u
[a Q, u / P es un
ideal primo de R
P
.
4. Sean I, J ideales de un anillo conmutativo R y sea S un sistema multiplicativo
de R. Demuestre que
(i) (I + J)S
1
= IS
1
+ JS
1
.
(ii) (I J)S
1
= IS
1
JS
1
.
(iii) (IJ)S
1
= IS
1
JS
1
.
(iv) Si J es nitamente generado. Demuestre que (I : J)S
1
= (IS
1
: JS
1
).
Captulo 8
Polinomios y series
En los cursos elementales de algebra los polinomios son considerados como expre-
siones algebraicasen la forma
a (x) = a
0
+ a
1
x + + a
n
x
n
,
donde a
0
, . . . , a
n
son por ejemplo n umeros reales o complejos. Aprendimos a sumar
y multiplicar polinomios con reglas sencillas: la suma de dos polinomios p (x) y
q (x) da como resultado un tercer polinomio, los coecientes del cual se determinan
sumandos los coecientes de p (x) y q (x) correspondientes a terminos en x con igual
exponente. As por ejemplo,
p (x) = 5 + 4x + x
3
, q (x) = 4 + 3x + x
2
+ 5x
3
p (x) + q(x) = (5 4) + (4 + 3) x + (0 + 1) x
2
+ (1 + 5) x
n
= 1 + 7x + x
2
+ 6x
3
.
Para la multiplicacion es utilizada una propiedad distributiva y una regla sim-
ple de exponentes x
k
x
t
= x
k+t
. Ademas, para efectos de calculo se supone que la
indeterminadax conmuta con los coecientes: ax = xa. Esta manera de efectuar
operaciones con polinomios y de hablar de distributividad, conmutatividad, poten-
ciacion, etc., hace pensar sobre la posibilidad de estudiar los polinomios desde un
punto de vista estructural.
8.1. El anillo de series
Proposici on 8.1.1. Sean A un anillo y S el conjunto de sucesiones en A,
S := (a
0
, a
1
, a
2
, . . .) := (a
i
) [ a
i
A, i = 0, 1, 2, . . .
Entonces, las operaciones de adicion y multiplicacion denidas en S por:
66
8.1. EL ANILLO DE SERIES 67
a = (a
i
), b = (b
i
),
a + b := c = (c
i
) , c
i
:= a
i
+ b
i
, i = 0, 1, 2, . . .
ab := d = (d
i
), d
i
:=
j+k=i
a
j
b
k
, i = 0, 1, 2, . . .
dan a S una estructura de anillo (dos sucesiones son iguales si, y solo si, a
i
= b
i
,
para cada i = 0, 1, 2, . . .).
Demostracion. La asociatividad de la adicion de sucesiones formales es consecuencia
de la asociatividad de la adicion en A. El cero de S es la sucesion nula
0 := (0, 0, . . .)
la opuesta de a = (a
i
) es a := (a
i
). Sean ahora a = (a
i
), b = (b
i
), c = (c
i
)
elementos cualesquiera de S. Entonces
(ab) c = dc = f, donde f = (f
i
), f
i
=
i=j+k
d
j
c
k
,
d = (d
j
), d
j
=
j=r+s
a
r
b
s
, es decir,
f
i
=
i=r+s+k
(a
r
b
s
) c
k
=
i=r+s+k
a
r
(b
s
c
k
) =
i=r+s+k
a
r
b
s
c
k
.
De otra parte,
a (bc) = ag = h, donde h = (h
i
), h
i
=
i=t+l
a
t
g
l
,
g
l
=
l=m+n
b
m
c
n
, es decir,
h
i
=
i=t+m+n
a
t
(b
m
c
n
) =
i=t+m+n
a
t
b
m
c
n
.
Esto muestra que(ab) c = a (bc).
Es facil comprobar que el uno de S es la sucesion
1 := (1, 0, 0, . . .)
y que el producto se distribuye sobre la adicion.
Denici on 8.1.2. El anillo S de la proposicion anterior se denomina anillo de
sucesiones formales en A.
Notese que los elementos del anillo S coinciden con los del anillo A
N
0
, N
0
:=
0, 1, 2, 3, . . ., denido en el primer captulo. Sin embargo, los productos considera-
dos en cada caso son diferentes y dichos anillos son por lo tanto distintos.
Corolario 8.1.3. El anillo S de sucesiones formales es conmutativo si, y solo si, A
es un anillo conmutativo.
Demostracion. ) Sean z, y elementos de A. Entonces,
(z, 0, 0, . . .) (y, 0, 0, . . .) = (y, 0, 0, . . .) (z, 0, 0, . . .), es decir,
(zy, 0, 0, . . .) = (yz, 0, 0, . . .),
luego zy = yz.
) Sean a = (a
i
), b = (b
i
) sucesiones de S. Entonces
68 CAP
ITULO 8. POLINOMIOS Y SERIES

ab = c = (c
i
), c
i
=
j+k=i
a
j
b
k
=
j+k=i
b
k
a
j
= d
i
,
donde d = (d
i
) = ba ,es decir, ab = ba.
La prueba anterior pone de maniesto que el anillo A puede sumergirse en su
anillo de sucesiones formales.
Corolario 8.1.4. La funcion
: A S
a (a, 0, 0, . . .)
es un homomorsmo inyectivo.
8.2. El anillo de polinomios
En el anillo S se destacan de manera especial las sucesiones que tienen un n umero
nito de terminos no nulos.
Denici on 8.2.1. Se dice que la sucesion a = (a
0
, a
1
, a
2
, . . .) es un polinomio si
existe un entero n tal que a
i
= 0 para i > n. Se denomina grado del polinomio a al
mayor entero n tal que a
n
,= 0, y se denota por gr (a). Los polinomios de grado 0 se
denominan constantes.
Observaci on 8.2.2. La sucesion nula es un polinomio sin grado. Si a es un poli-
nomio de grado n, entonces a
n+k
= 0 para k 1:
a = (a
0
, a
1
, . . . , a
n
, 0, . . .).
Los elementos a
0
, a
1
, . . . , a
n
se denominan coecientes del polinomio a; a
0
se deno-
mina coeciente independiente de a. El elemento a
n
se denomina el coeciente
principal de a y se denota por lc(a).
Proposici on 8.2.3. Sea S el anillo de sucesiones formales en el anillo A. El con-
junto P de polinomios de S es un subanillo de S.
Demostracion. 1 = (1, 0, 0, . . .) P; si a = (a
i
), b = (b
i
) son polinomios, entonces
existen enteros m, k tales que a
i
= 0 para i > m y b
i
= 0 para i > k. Sean c := a+b
y d := ab. Entonces, para i > max m, k c
i
= 0 y d
i
= 0 para i > m + n, es decir,
c, d P.
Queremos ahora presentar los polinomios en su forma habitual de sumas nitas.
Si x denota la sucesion:
x := (0, 1, 0, . . .)
8.2. EL ANILLO DE POLINOMIOS 69
entonces
x
2
= (0, 0, 1, 0, . . .)
x
3
= (0, 0, 0, 1, 0, . . .)
.
.
.
x
n
= (0, . . . , 0, 1, 0 . . .)
Ademas, podemos identicar los polinomios constantes en la forma
(a
0
, 0, . . .) := a
0
, a
0
A,
y un polinomio de grado n se escribira
a (x) := (a
0
, a
1
, . . . , a
n
, 0, . . .) = a
0
+ a
1
x + . . . + a
n
x
n
El conjunto P de los polinomios en x con coecientes en A sera denotado por A[x].
Al anillo S de sucesiones lo denotaremos por A[[x]].
Observaci on 8.2.4. (i) Las reglas del algebra elemental a traves de las cuales
aprendimos a sumar y a multiplicar polinomios pueden ser ahora plenamente justi-
cadas. Por ejemplo, para cada a A:
ax = (a, 0, . . .) (0, 1, 0, . . .) = (0, a, 0, . . .) = xa.
De otra parte, notese que el smbolo x para el polinomio (0, 1, 0, . . .) puede ser
cambiado por otra letra o signo. La funcion del corolario 8.1.4 puede redenirse de
A en A[x], es decir,
A A[x] A[[x]].
Notemos que cada elemento a = (a
i
) A[[x]] puede escribirse como una serie
a = a((x)) =
i=0
a
i
x
i
, y las operaciones que hemos denido en A[[x]] corresponden
a la suma y producto de series que se estudian en los cursos de calculo. Por esta
razon, el anillo A[[x]] se conoce tambien como el anillo de series formales en
A.
(ii) Los anillos de series y polinomios en varias variables se pueden denir en
forma recurrente de la siguiente manera:
A[[x, y]] := A[[x]][[y]], A[[x
1
, . . . , x
n
]] := A[[x
1
, . . . , x
n1
]][[x
n
]],
A[x, y] := A[x][y], A[x
1
, . . . , x
n
] := A[x
1
, . . . , x
n1
][x
n
].
70 CAP

8.3. Propiedades elementales
Proposici on 8.3.1. Sea A un anillo cualquiera. Entonces
(i) Para cualesquiera polinomios no nulos a (x), b(x) A[x] tales que a (x) +
b(x) ,= 0, se cumple que:
gr (a (x) + b(x)) max gr (a (x)) , gr (b(x)).
Para a (x) b(x) ,= 0 se tiene tambien que
gr (a (x) b(x)) gr (a (x)) + gr (b(x)).
Si A no tiene divisores de cero, entonces en la ultima relacion se cumple la
igualdad.
(ii) A no tiene divisores de cero si, y solo si, A[[x]] no tiene divisores de cero si,
y solo si, A[x] no tiene divisores de cero.
(iii) Si A no posee divisores de cero, A[x]
= A
.
(iv) A[[x]]
= a = (a
0
, a
1
, . . .) [ a
0
A
.
Demostracion. (i) Basta repetir las ideas expuestas en la prueba de la proposicion
8.2.3. Sea n = gr (a (x)), m = gr (b (x)). Entonces, para i > max m, n, a
i
+b
i
= 0,
con lo cual se establece la primera desigualdad. Analogamente, para i > m + n,
d
i
= 0, con d = (d
i
) = ab, d
i
=
j+k=i
a
j
b
k
. Con esto se prueba la segunda
desigualdad. Notese que si A no posee divisores de cero, entonces d
n+m
= a
n
b
m
,= 0,
con lo cual queda probado el punto (i).
(ii) Sean a = (a
0
, a
1
, . . .) , b = (b
0
, b
1
, . . .) sucesiones no nulas de A[[x]]. Sea r el
menor entero tal que a
r
,= 0 y sea s el menor entero tal que b
s
,= 0. Sea c = (c
i
) = ab,
entonces
c
r+s
=
j+k=r+s
a
j
b
k
= a
r
b
s
,= 0,
es decir, ab ,= 0. Es claro que si A[[x]] no tiene divisores de cero, entonces A[x]
tampoco tiene divisores de cero. De igual manera, si A[x] no tiene divisores de cero,
entonces A no posee divisores de cero ya que A esta sumergido en A[x].
(iii) Sea a (x) = a
0
+ a
1
x + . . . + a
n
x
n
A[x]
. Entonces, existe un polinomio

b (x) = b
0
+ b
1
x + + b
n
x
n
A[x]
8.3. PROPIEDADES ELEMENTALES 71
tal que a (x) b (x) = 1. Del punto (i) resulta que gr (a (x)) = 0 = gr (b (x)), con
lo cual a (x) = a
0
, b (x) = b
0
, a
0
b
0
= 1 = b
0
a
0
, teniendo en cuenta la observacion
8.2.4, podemos decir que a (x) A
. Ahora si a A
, entonces a, considerado como

polinomio constante, esta en A[x]
.
(iv) Sea a = (a
0
, a
1
, . . .) A[[x]]
; existe b = (b
0
, b
1
, . . .) A[[x]] tal que ab =
1 = (1, 0, 0, . . .) = ba; resulta entonces a
0
b
0
= 1 = b
0
a
0
y a
0
A
.
Recprocamente, sea a = (a
0
, a
1
, . . .), con a
0
A
. Buscamos un elemento b =
(b
0
, b
1
, . . .) A[[x]] tal que ab = 1 = (1, 0, 0, . . .) = ba. La condicion ab = 1 puede
expresarse tambien en la forma
a
0
b
i
+ a
1
b
i1
+ + a
i
b
0
=
_
1, i = 0
0, i 1
(8.3.1)
Puesto que a
0
A
, denimos
b
0
:= a
1
0
. (8.3.2)
El elemento b
1
debe ser entonces tal que a
0
b
1
+ a
1
b
0
= 0, de donde
b
0
a
0
b
1
+ b
0
a
1
b
0
= 0, es decir, b
1
= b
0
a
1
b
0
.
Un paso mas antes de obtener la formula para calcular b
i
. Para i = 2 tenemos
a
0
b
2
+ a
1
b
1
+ a
2
b
0
= 0,
con lo cual
b
2
= b
0
(a
1
b
1
+ a
2
b
0
) .
Teniendo ya denidos todos los b
l
, l < i, hacemos
b
i
:= b
0
i
j=1
a
j
b
ij
, i 1. (8.3.3)
Entonces, a
0
b
i
+
i
j=1
a
j
b
ij
= 0, es decir,
i
j=1
a
j
b
ij
= 0 para i 1. Por tanto la
sucesion denida por (8.3.2) y (8.3.3) cumple (8.3.1), y a tiene inverso a la derecha.
En forma similar se puede construir una sucesion c tal que ca = 1, y por tanto,
a A[[x]]
.
Ejemplo 8.3.2. Seg un el punto (iii) de la armacion anterior, el polinomio 2x+1
Z[x] no es invertible. Sin embargo, considerado como elemento de Z[[x]],
2x + 1 = (1, 2, 0, . . .)
es invertible y su inverso es
b = (1, 2, 4, 8, . . .), es decir, b
i
= (2)
i
, i 0.
72 CAP

Ejemplo 8.3.3. El polinomio 2x + 1 Z
4
[x] es invertible:
(2x + 1) (2x + 1) = 4x
2
+ 4x + 1 = 1.
Es claro que como elemento de Z
4
[[x]] su inverso sigue siendo 2x + 1.
Ejemplo 8.3.4. El polinomio x + 2 no es invertible en ninguno de los siguientes
anillos
Z[x] , Z[[x]] , Z
4
[x] , Z
4
[[x]] .
Ejemplo 8.3.5. Sea R un anillo conmutativo. En este ejemplo describiremos todos
los ideales maximales del anillo R[[x]] y probaremos que R[[x]] es local si, y solo si,
R es local.
Existe una correspondencia biyectiva entre los ideales maximales de R[[x]] y
los maximales de R de tal manera que los ideales maximales de R[[x]] son de la
forma P
= (a
i
) [ a
0
P, P maximal de R = P, x) = P + xR[[x]]. En efecto,
veamos en primer lugar que si P es maximal de R entonces P
es un ideal maximal
de R[[x]]. Claramente P
es ideal propio de R[[x]] . Sea L un ideal de R[[x]] tal

que P
_ L, existe (b
i
) L tal que (b
i
) / P
; b
0
/ P, ya que de lo contrario
(b
i
) P
. Entonces P + b
0
) = R luego 1 = p + b
0
r, con r R, p P, y entonces
1 (b
i
)r = (1 b
0
r, b
1
r, b
2
r, . . . ) = (p, b
1
r, b
2
r, . . . ) P
L, pero como
(b
i
) r L, entonces 1 L, de donde L = R[[x]].
Sea ahora P
un ideal maximal de R[[x]]. Denimos P := a

0
R [ a
0
es el
termino constante de alg un (a
i
) P
. P es claramente un ideal de R. P es propio,

ya que de lo contrario P
contendra invertibles, en contradiccion con el hecho de

que P
es propio. P es maximal: sea Q ideal de R tal que P _ Q, existe q Q

tal que q / P; entonces (q, 0, . . . ) / P
, de donde P
+ (q, 0, . . . )) = R[[x]], luego

1 = p
+ (q, 0, . . . )(b
i
) = (p
0
, p
1
, . . . ) + (qb
0
, qb
1
, qb
2
, . . . ) = (p
0
+ qb
0
, p
1
+ qb
1
, . . . );
luego 1 = p
0
+ qb
0
, pero p
0
P _ Q, de donde 1 Q es decir, Q = R.
Veamos ahora que P
= P, x). En efecto, si (b
i
) P
entonces b
0
P y (b
i
) =
(b
0
, 0, . . . ) +(0, b
1
, b
2
, . . . ) = b
0
+x(b
1
, b
2
, b
3
, . . . ) P, x), es decir, P
P, x), pero
como P
es maximal y P, x) es propio, entonces P
= P, x).
Hemos ya probado que la correspondencia P P
es sobreyectiva. Para ter-

minar veamos que esta correspondencia es 1 1: si P
1
, x) = P
2
, x), entonces dado
a P
1
se tiene que a = b +(c
i
) x, con b P
2
luego a = b y a P
2
es decir, P
1
P
2
.
Simetricamente, P
2
P
1
.
La correspondencia anterior garantiza que R es local si, y solo si, R[[x]] es local.
Ademas, notemos que si R es local con ideal maximal J, entonces
R/J

= R[[x]]/ J, x).
8.3. PROPIEDADES ELEMENTALES 73
Ejemplo 8.3.6. Z es un DIP pero Z[x] no lo es: supongamos que existe un poli-
nomio p (x) Z[x] tal que 3, x) = p (x)). Entonces 3 = q (x) p (x), para alg un
polinomio q (x) con coecientes enteros. Teniendo en cuenta el grado resulta que
p (x) = 1, 3. Se obtendra que 3, x) = Z[x], o, 3, x) = 3). En el primer caso
existiran k (x), m(x) Z[x] tales que:
1 = 3k (x) + xm(x),
de donde 1 = 3k
0
, k
0
Z, resultando una contradiccion. En el segundo caso x =
3a (x), a (x) Z[x], lo cual tambien es imposible. En total, el ideal 3, x) no es
principal.
De lo probado se desprende que aunque Z es un DIP el anillos de polinomios
Z[x] no es un DIP.
Proposici on 8.3.7. Si K es un cuerpo entonces K [x] es un DE.
Demostracion. Presentaremos dos pruebas de este importante resultado.
Prueba 1. Seg un la parte (ii) de la proposicion 8.3.1, K [x] es un DI. Escogemos
la funcion d como la funcion de grado:
gr : K [x] 0 N 0
p(x) gr (p (x))
Sean a(x), b(x) polinomios no nulos de K [x]. Como gr (b (x)) 0 entonces
gr (a (x)) + gr (b (x)) gr (a (x)), es decir, gr (a (x) b (x)) gr (a (x))
y la primera condicion para la funcion gr se satisface. Sean ahora a(x), b(x) poli-
nomios cualesquiera con b(x) ,= 0, gr (b (x)) = m. Consideramos dos casos:
m = 0. Entonces b(x) es constante no nulo, b(x) = b
0
. Si
a(x) = a
0
+ a
1
x + + a
n
x
n
entonces hacemos q(x) = a
0
b
1
0
+ a
1
b
1
0
x + + a
n
b
1
0
x
n
y r(x) = 0, obteniendose
as la relacion
a(x) = b(x)q(x) + r(x). (8.3.4)
m > 0. Sea M := a(x) b(x)m(x) [ m(x) K [x]. Si existe m(x) K [x] tal
que a(x) b(x)m(x) = 0 entonces (8.3.4) se cumple con q(x) = m(x), r(x) = 0.
Supongase entonces que para cada m(x) K [x], a(x)b(x)m(x) ,= 0. Sea r(x) M
un polinomio que tenga grado mnimo t en M, t 0, y sea q(x) un polinomio a traves
del cual se obtuvo r(x), es decir, r(x) = a(x) b(x)q(x). Si t = 0, entonces no hay
nada que probar. Sea t > 0 y supongamos que t m. Sea r(x) = r
0
+r
1
x+ +r
t
x
t
,
y sea b(x) = b
0
+ b
1
x + + b
m
x
m
. Entonces
s(x) = a(x) b(x) (q(x) + r
t
b
1
m
x
tm
) M,
74 CAP

donde gr (s (x)) gr (r (x)) = t. Pero lo anterior contradice la escogencia de r (x),
as pues t m y la proposicion esta probada.
Prueba 2: prueba algortmica. La parte correspondiente a la desigualdad d (ab)
d (a) es la misma que en la prueba anterior.
Podemos suponer que a (x) ,= 0 ya que de lo contrario tomamos
0 = b(x)0 + 0.
Sean entonces a (x) , b (x) K[x] no nulos, digamos
a (x) = a
n
x
n
+ a
n1
x
n1
+ + a
1
+ a
0
,
b (x) = b
m
x
m
+ b
m1
x
m1
+ + b
1
+ b
0
.
Podemos suponer que n m ya que de lo contrario se tiene
a (x) = b (x) 0 + a (x) .
Consideremos para cada polinomio de K[x] su termino principal, as por ejemplo,
lt (a (x)) = a
n
x
n
y lt (b (x)) = b
m
x
m
. La division de polinomios, seg un el algebra
elemental, implica realizar las siguientes operaciones
a (x)
lt (a (x))
lt (b (x))
b (x) = r
1
(x) .
Si r
1
(x) = 0 o gr (r
1
(x)) < b (x), entonces hemos terminado ya que tomamos q (x) =
lt(a(x))
lt(b(x))
y r(x) = r
1
(x) . Supongamos entonces que r
1
(x) ,= 0 y gr (r
1
(x)) b (x),
repetimos el anterior procedimiento para r
1
(x) y b (x):
r
1
(x)
lt (r
1
(x))
lt (b (x))
b (x) = r
2
(x) .
Si r
2
(x) = 0 o gr (r
2
(x)) < b (x), entonces hemos terminado ya que se tiene
a (x) = r
1
(x) +
lt (a (x))
lt (b (x))
b (x)
=
lt (r
1
(x))
lt (b (x))
b (x) +
lt (a (x))
lt (b (x))
b (x) + r
2
(x)
= q (x) b (x) + r
2
(x) ,
donde q (x) =
lt(r
1
(x))
lt(b(x))
+
lt(a(x))
lt(b(x))
. Supongamos entonces que r
2
(x) ,= 0 y gr (r
2
(x))
b (x), repetimos el anterior procedimiento para r
2
(x) y b (x); pero notemos que este
procedimiento termina ya que
gr (a (x)) > gr (r
1
(x)) > gr (r
2
(x)) >
Esta prueba ademas indica como construir el cociente q(x) y el resduo r (x):
Para calcular el nuevo cociente q
N
(x), al ultimo cociente le adicionamos
lt(r
O
(x))
lt(b(x))
,
donde r
O
(x) es el ultimo resduo, es decir,
8.4. TEOREMA DE GAUSS 75
q
N
(x) = q
O
(x) +
lt(r
O
(x))
lt(b(x))
.
Para calcular el nuevo resduo r
N
(x), al ultimo resduo le restamos
lt(r
O
(x))
lt(b(x))
b (x), es
decir,
r
N
(x) = r
O
(x)
lt(r
O
(x))
lt(b(x))
b (x).
Finalmente, observemos que el algoritmo anterior sugiere que el cociente y el resduo
son unicos: sean c(x) y s (x) polinomios que cumplen las mismas condiciones de q (x)
y r(x), entonces b (x) q (x) + r (x) = b (x) c (x) + s (x), luego b (x) [q (x) c (x)] =
r (x) s (x), por el grado se tiene que b (x) [q (x) c (x)] = r (x) s (x) = 0, de
donde r (x) = s (x) y q (x) = c (x).
8.4. Teorema de Gauss
Podemos preguntarnos si el anillo de polinomios sobre un DG tiene tambien esta
propiedad. La respuesta es armativa y nos proponemos demostrarlo siguiendo las
elegantes ideas expuestas en [1].
Sea R un anillo conmutativo cualquiera y S un subconjunto multiplicativo de R.
Notese que S puede considerarse tambien como un subconjunto multiplicativo de
R[x]. Se obtiene entonces el siguiente resultado:
Proposici on 8.4.1. Sean R un anillo conmutativo y S un subconjunto multiplicativo
de R. Entonces
R[x] S
1

= (RS
1
) [x].
Demostracion. Sea a(x) = a
0
+a
1
x + +a
n
x
n
un polinomio cualquiera de R[x] y
sea g la funcion denida por
g : R[x] (RS
1
) [x]
a(x)
a
0
1
+
a
1
1
x + +
an
1
x
n
Es facil vericar que g es un homomorsmo de anillos que satisface las condiciones
del teorema 7.1.7, de donde resulta el isomorsmo postulado.
Sea ahora R un DI, P el conjunto de todos los elementos primos de R y S
denido por
S := 1 a
1
a
n
[ a
i
P, 1 i n, n 1 (8.4.1)
es decir, S es el subconjunto conformado por 1 y todos los productos nitos de
elementos primos de R. Notese que S es un sistema multiplicativo de R.
Proposici on 8.4.2. Sean R un DI y S denido como en (8.4.1). Entonces,
R es un DG si, y solo si, RS
1
es un cuerpo.
76 CAP

Demostracion. ) Sea
a
s
un elemento no nulo de RS
1
. Entonces a ,= 0. Si a R
entonces
a
s
a
1
s
1
=
1
1
y
a
s
(RS
1
)
.
Supongase que a / R
. Entonces a es producto nito de irreducibles de R:

a = a
1
a
n
, a
i
irreducible, 1 i n.
De la proposicion 6.2.7 se desprende facilmente que en un DG cada irreducible es
primo. Por lo tanto, a S y
a
s
s
a
=
1
1
, con lo cual
a
s
(RS
1
)
.
) Vamos a suponer que R no es un DG, entonces existe un elemento nulo y
no invertible a de R, tal que a no es expresable como producto nito de primos, es
decir, a / S. De aqu a) S = . En efecto, sea ba a); si suponemos que ba =
p
1
p
n
es producto nito de primos, entonces a sera tambien producto nito de
primos, contradiciendo el hecho que a / S. La prueba de esta armacion se realiza
por induccion sobre n: Si p
1
es primo y ba = p
1
; entonces por ser p
1
irreducible y
a / R
se tiene que a p
1
, es decir, a es primo. Suponemos el enunciado valido
para una descomposicion en n 1 primos, y sea ba = p
1
p
n
, donde p
1
, . . . , p
n
son
primos. Resulta de aqu que ba = p
1
), con lo cual b p
1
), o, a p
1
). En el primer
caso
b = b
1
p
1
, b
1
R y b
1
a = p
2
. . . p
n
,
de donde por induccion a es producto nito de primos. En el segundo caso
a = a
1
p
1
, a
1
R y ba
1
= p
2
p
n
,
y otra vez por induccion a
1
es producto nito de primos, con lo cual a es tambien
producto nito de primos.
Podemos ya terminar la prueba de la proposicion. Teniendo en cuenta que a)
S = y que a ,= 0, entonces
a
1
_
es un ideal propio no nulo de RS
1
, es decir, RS
1
no es un cuerpo.
Sea R un DI, P el conjunto de todos los elementos primos de R, P
cualquier
subconjunto no vaco de P, y
M := 1 a
1
. . . a
n
[ a
i
P
, 1 i n, n 1 (8.4.2)
es decir, M es el subconjunto formado por 1 y todos los productos nitos de ele-
mentos primos de P
.
Proposici on 8.4.3. Sea R un DI tal que cada cadena ascendente de ideales princi-
pales se detiene (vease la prueba del teorema 6.2.9). Sea M denido como en (8.4.2).
Si RM
1
es un DG, R tambien lo es.
Demostracion. Sea S denido como en (8.4.1) y sea T generado por
1
1
y todos los
primos de RM
1
. Seg un la proposicion 8.4.2 (RM
1
) T
1
= K es un cuerpo. Si
probamos que RS
1

= K, entonces de la proposicion 8.4.2 conclumos que R es un
DG, y la proposicion estara probada.
Consideremos pues la funcion
g : R K
a
a
1
1
1
.
Evidentemente g es un homomorsmo de anillos. Veamos que g cumple las condi-
ciones del teorema 7.1.7.
(i) g (S) K
. Sea s S; si s = 1 no hay que probar; si s incluye solo primos

de P
, entonces s M con lo cual

s
1
(RM
1
)
y g (s) K
. Supongase que
s es de la forma s = ms
con m M y s
no incluye primos de P
. puesto que
g (s) = g (m) g (s
) entonces se debe probar que g (s
) K
. Es suciente probar que

g (p) K
para cada primo p / P
(ya que s
es producto nito de tales primos).

Si p) M ,= entonces existe a R tal que ap M y
ap
1
(RM
1
)
. De aqu se
sigue que
p
1
(RM
1
)
y g (p) K
. Si por el contrario p) M = , entonces de

acuerdo con el ejemplo 7.2.5
p
1
_
es un ideal primo de RM
1
, es decir,
p
1
T, con
lo cual g (p) K
.
(ii) Sea por otra parte a R tal que g (a) = 0. Existe
m
n
T tal que
a
1
m
n
=
0
1
,
de donde amu = 0 para cierto u M.
m
n
es producto de primos de RM
1
:
m
n
=
r
1
s
1

r
i
s
i
, con
r
j
s
j
primo de RM
1
, 1 j i.
Por la ultima igualdad existe t M tal que
ms
1
s
i
t = nr
1
. . . r
i
t.
Notese que u, t, n M S. Obtenemos pues que
amus
1
s
i
t = a (nr
1
r
i
t) = 0.
Queremos probar que r
1
, . . . , r
i
S. Como
r
j
s
j
es primo y
s
j
1
(RM
1
)
, entonces
r
j
1
es primo; reducimos la prueba a la vericacion de la siguiente armacion:
Sea r R tal que
r
1
es primo en RM
1
, entonces r S. Supongase contraria-
mente que existe un r R, r / S tal que
r
1
_
es primo en RM
1
; sea
( :=
_
r) R[ r / S,
r
1
_
es primo en RM
1
_
Seg un lo supuesto, ( es una coleccion no vaca de ideales principales. Por la hipotesis
de la proposicion, ( contiene un elemento maximal r
0
). Por la construccion de (,
r
0
1
_
es un ideal primo en RM
1
. Seg un el ejemplo 7.2.5,
r
0
1
_
= IM
1
, con I ideal
primo de R e IM = . Veamos que I = r
0
). Por el ejemplo 7.2.4
I =
_
a R[
a
1

r
0
1
__
.
78 CAP

Evidentemente r
0
) I. Sea a I;
a
1
=
b
m
r
0
1
, donde b R y m M. Existe m
M
tal que amm
= bm
r
0
. Como R es un DI entonces am = br
0
, y as m[ br
0
. m es un
producto nito de primos de P
, o, m = 1. En el ultimo caso, a r
0
). Consideremos
entonces el primer caso:
m = p
1
p
n
, p
j
primo de P
, 1 j n. br
0
= p
1
p
n
l, l R.
Supongamos que alg un p
j
[ r
0
. Entonces, r
0
= p
j
w, w R. Observese que w / S, ya
que de lo contrario r
0
S. Tambien,
w
1
_
=
_
r
0
p
j
_
=
r
0
1
_
por estar p
j
M. As pues,
w
1
_
es primo. Se sigue entonces que w) ( y r
0
) w); por la escogencia de r
0
)
se tiene que r
0
) = w), es decir, w = r
0
v, v R. Resulta r
0
= r
0
p
j
v, 1 = p
j
v, en
contradiccion con el hecho que p
j
es primo (r
0
,= 0 ya que
r
0
1
es primo no nulo de
RM
1
).
As pues, p
j
no divide a r
0
, para cada 1 j n, con lo cual p
j
[ b para cada
1 j n. Esto junto con am = br
0
, da que a r
0
), completando la prueba de
r
0
) = I. Se tiene entonces que r
0
es primo de R, contradiciendo el hecho que r
0
/ S.
Hemos completado la prueba de la condicion (ii).
(iii) Sea
x
z
un elemento cualquiera de K. Entonces, x RM
1
y z T; x, z son
pues de la forma
x =
a
m
, z =
r
1
s
1

r
j
s
j
, a R, m M S,
r
j
s
j
primo de RM
1
, 1 j i.
x
z
=
a
m
r
1
...r
j
s
1
...s
j
=
a
m
1
1
1
1
r
1
...r
j
s
1
...s
j
=
a
1
1
m
1
1
1
1
r
1
...r
j
1
1
s
1
...s
j
=
a
1
1
1
1
m
1
1
1
1
r
1
...r
j
1
1
1
1
s
1
...s
j
.
Razonando como en (ii) vemos que r
1
r
j
S. De aqu resulta
x
z
= g (a) g (m)
1
g (r
1
r
j
)
1
g (s
1
s
j
),
Es decir,
x
z
= g (as
1
s
j
) g (mr
1
r
j
)
1
,
con as
1
. . . s
j
R, mr
1
. . . r
j
S. En consecuencia, la proposicion 8.4.3 esta probada.
Proposici on 8.4.4. Si R es un DI tal que cada cadena ascendente de ideales prin-
cipales se detiene, entonces R[x] tiene tambien de dicha propiedad.
Demostracion. Consideremos en R[x] la cadena ascendente de ideales principales
a
1
(x)) a
2
(x)) a
n
(x))
Puesto que para cada ideal i 1, a
i+1
(x)[ a
i
(x), entonces resulta la cadena descen-
dente de enteros no negativos
gr (a
1
(x)) gr (a
2
(x)) gr (a
n
(x))
la cual necesariamente se detiene. Sea pues n tal que
gr (a
i
(x)) = gr (a
n
(x)), para todo i n.
Denotando por a
i
el coeciente principal del polinomio a
i
(x), entonces resulta en R
la cadena ascendente de ideales principales,
a
n
) a
n+1
) a
n+m
)
Por la hipotesis de la armacion existe un entero positivo m tal que
a
n+i
) = a
n+m
), para todo i m.
Sea i m cualquiera; como
a
n+m
(x)) a
n+i
(x)),
entonces
a
n+m
(x) = a
n+i
(x)b
i
, con b
i
R.
Resulta pues
a
n+m
= a
n+i
b
i
,
lo cual combinado con
a
n+i
) = a
n+m
)
da que b
i
R
, de donde
a
n+m
(x)) = a
n+i
(x)),
completando la prueba de la proposicion.
Tenemos ya todas las herramientas para probar el siguiente teorema.
Teorema 8.4.5 (Teorema de Gauss). R es un DG, si, y solo si, R[x] es un DG.
Demostracion. ) Mostremos inicialmente que cada primo de R es primo en R[x].
Sea a un elemento primo de R, y sea a) el ideal principal de R generado por a.
Entonces, R/ a) es un DI, con lo cual el anillo de polinomios (R/ a)) [x] tambien
lo es. De otra parte, la correspondencia
R[x]
f
(R/ a)) [x]
a
0
+ a
1
x + + a
n
x
n
a
0
+ a
1
x + + a
n
x
n
con
a
i
= a
i
+a), 1 i n,
es un homomorsmo sobreyectivo de anillos con n ucleo
80 CAP

ah(x) [ h(x) R[x],
es decir, el n ucleo de f es el ideal principal de R[x] generado por el elemento a, de
lo cual se desprende que este ultimo ideal es primo y a es elemento primo de R[x].
Sea ahora S en R denido como en (8.4.1). Entonces, S es un sistema multi-
plicativo de R[x]. De otra parte, seg un la proposicion 8.4.2, RS
1
es un cuerpo,
con lo cual RS
1
[x] es un DG. Por la proposicion 8.4.1, R[x] S
1
es un DG. Para
aplicar la proposicion 8.4.3 y concluir la prueba necesitamos mostrar que en R[x]
cada cadena ascendente de ideales principales se detiene. Seg un la proposicion 8.4.4
es suciente probar esto para R. Sea
a
1
) a
2
) a
n
)
una cadena de ideales principales de R. Podemos suponer sin perdida de generalidad
que a
i
,= 0, a
i
/ R
para cada i 1. Sea n(a

i
), i 1, ln n umero de factores
irreducibles en la descomposicion de a
i
. Puesto que a
i+1
[ a
i
para cada i 1, entonces
n(a
1
) n(a
2
) n(a
n
)
es una sucesion de enteros positivos que debe por lo tanto detenerse. Existe pues
j entero positivo tal que n(a
j+1
) = n(a
j
), para cada i 1. Nuevamente, como
a
j+1
[ a
j
entonces las descomposiciones irreducibles de a
j+1
y a
j
coinciden salvo un
invertible, es decir, a
j+1
) = a
j
), i 1.
) Esta implicacion es evidente si se tiene en cuenta el grado de los polinomios
y que R esta sumergido en R[x].
Ejemplo 8.4.6. Z[x], [x], 1[x], C[x] son dominios gaussianos. Notese que seg un
el ejemplo 8.3.6, Z[x], es un DG, pero no es un DIP. El teorema 8.4.5 y el presente
ejemplo permiten plantear la siguiente pregunta: si R es un DI, bajo que condicion
(necesaria y suciente) el anillo de polinomios R[x] es un DIP. La proposicion 8.3.7
da una condicion suciente: si K es un cuerpo K [x] es un DE, y por tanto, un DIP.
Veamos que esta a su vez es una condicion necesaria. Sea a un elemento no nulo de
R. Entonces existe p(x) R[x] tal que a, x) = p (x)). Por condiciones de grado, p
resulta una constante invertible. Existen entonces polinomios b (x) y c (x) tales que
1 = ab (x) + xc (x). Esto implica que a R
. Hemos probado entonces que si R es

un DI se tiene que R[x] es un DE si, y solo si, R[x] es un DIP si, y solo si, R es
un cuerpo.
8.5. Ejercicios
1. Sea A un anillo arbitrario. Calcule el centro del anillo de polinomios A[x].
2. Sea R un DI con cuerpo de fracciones K. Demuestre que el cuerpo de fracciones
de R[x] es isomorfo al cuerpo de fracciones de K[x].
8.5. EJERCICIOS 81
3. Sea K un cuerpo y f(x) K[x] un polinomio de grado n 0. Demuestre que
f(x) tiene a lo sumo n races en K, es decir, existen a lo sumo n elementos
distintos a
1
, . . . , a
n
K tales que f(a
i
) = 0, para 1 i n. Ademas,
demuestre que para cada raz a K se tiene que x a divide f(x).
4. Sea R un anillo conmutativo. En el anillo de polinomios R[x, y], demuestre que
x + y, x) = x, y) = x + xy, x
2
, y
2
, y + xy).
5. Sea K un cuerpo y sean a, b K. Demuestre que x a, y b) es un ideal
maximal de K[x, y].
6. Sea R un anillo conmutativo y sean I, J dos ideales de R[x
1
, . . . , x
n
]. Sea y
una nueva variable. Demuestre que I J = yI, (1 y)J) R[x
1
, . . . , x
n
].
7. Sea A un anillo. Demuestre que A[x
1
, . . . , x
n
] es un DIP si, y solo si, n = 1 y
A es un cuerpo.
8. Sea A un anillo. Demuestre que A[[x
1
, . . . , x
n
]] es un DIP si, y solo si, n = 1
y A es un cuerpo.
Bibliografa
[1] Barshay, J., Topics in Ring Theory, Benjamn, 1969. 75
[2] Campoli, O. A., A Principal Ideal Domain that is not a Euclidean Domain,
Amer. Math. Monthly, 1988, 868-871. 55
[3] Cohn P.M., Basic Algebra. Groups, Rings and Fields, 2nd ed. Springer, 2003.
[4] Corry, L., Modern Algebra and the Rise of Mathematical Structures, Springer,
2003.
[5] Fraleigh J.B., Abstract Algebra, 7th ed., Addison-Wesley, 2004.
[6] Hungerford, T.W., Algebra, Springer, 2003.
[7] Jacobson N., Lectures in Abstract Algebra, Vol I: Basic Concepts, Springer,
1975.
[8] Kostrikin A. I., Introduccion al Algebra, Mir, 1983.
[9] Lambek J., Rings and Modules, Chelsea Publ., 1996.
[10] Lang, S., Algebra, Springer, 2004. iv, v
[11] Lezama, O. and Villamarn, G., Anillos, Modulos y Categoras, Facultad
de Ciencias, Universidad Nacional de Colombia, 1994. iv
[12] Lezama, O., Cuadernos de

Algebra, No. 1: Grupos, SAC
2
, Departamen-
to de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v
[13] Spindler, K., Abstract Algebra with Applications, Vol. I, II, Marcel Dekker,
1994.
[14] Van Der Waerden B., A History of Algebra, Springer, 1985.
[15] Van Der Waerden B., Algebra, Vol. I, II, Springer, 1994.
82

Cuaderno de Algebra Oswaldo Lezama - ANILLOS

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Cuaderno de Algebra Oswaldo Lezama - ANILLOS

Hochgeladen von

Copyright:

Verfügbare Formate

CUADERNOS DE

ITULO 1. ANILLOS Y SUBANILLOS

ITULO 1. ANILLOS Y SUBANILLOS

= Aut (G) := grupo de automorsmos de G;

ITULO 1. ANILLOS Y SUBANILLOS

ITULO 1. ANILLOS Y SUBANILLOS

:= f A[f (X) S es un subanillo de A

ITULO 1. ANILLOS Y SUBANILLOS

= x, lo cual implica que x

I, para cada entero n 1.

ITULO 3. ANILLO COCIENTE Y HOMOMORFISMOS

A , (a) = a, para cada a A

se denomina la imagen del homomorsmo f.

ITULO 3. ANILLO COCIENTE Y HOMOMORFISMOS

ITULO 3. ANILLO COCIENTE Y HOMOMORFISMOS

f es sobreyectiva, pues dado J ideal bilatero de A

ITULO 3. ANILLO COCIENTE Y HOMOMORFISMOS

ITULO 3. ANILLO COCIENTE Y HOMOMORFISMOS

ITULO 4. PRODUCTO DE ANILLOS

si, y solo si, a

ITULO 4. PRODUCTO DE ANILLOS

ITULO 5. IDEALES PRIMOS Y MAXIMALES

R. En la segunda posibilidad, c = bca

ITULO 5. IDEALES PRIMOS Y MAXIMALES

ITULO 5. IDEALES PRIMOS Y MAXIMALES

es el grupo de elementos invertibles del anillo

es un ideal. En efecto, sea J el

y en consecuencia x pertenece a alg un ideal maximal,

es un ideal y veamos que R es local: sea I un maximal de R, entonces

es un ideal propio, entonces I = R R

tal que a = bu.

es un dominio de integridad con las operaciones usuales de adicion y mul-

. Esto permite determinar los elementos inverti-

ITULO 6. DOMINIOS DE INTEGRIDAD

pero 2) no es un ideal primo:

ITULO 6. DOMINIOS DE INTEGRIDAD

, con lo cual a) , = R. Sea I un

o bien b a. En el primer caso

, y en el segundo c a. Esto garantiza que a es irreducible.

. Ya que R es un DI resulta entonces que 1 = uq

. Pero esto es contradictorio, ya que por hipotesis q

ITULO 6. DOMINIOS DE INTEGRIDAD

. Sea m R tal que ab = pm. Podemos descomponer a y b en factores primos

3 son irreducibles no asociados de Z

ITULO 6. DOMINIOS DE INTEGRIDAD

ITULO 7. ANILLOS DE FRACCIONES: CASO CONMUTATIVO

ITULO 7. ANILLOS DE FRACCIONES: CASO CONMUTATIVO

ITULO 7. ANILLOS DE FRACCIONES: CASO CONMUTATIVO

ITULO 7. ANILLOS DE FRACCIONES: CASO CONMUTATIVO

3 es no nulo y su inverso satisface

es isomorfo al cuerpo de fracciones de Z

ITULO 8. POLINOMIOS Y SERIES

ITULO 8. POLINOMIOS Y SERIES

. Entonces, existe un polinomio

, entonces a, considerado como

ITULO 8. POLINOMIOS Y SERIES

es ideal propio de R[[x]] . Sea L un ideal de R[[x]] tal

un ideal maximal de R[[x]]. Denimos P := a

. P es claramente un ideal de R. P es propio,

contendra invertibles, en contradiccion con el hecho de

es propio. P es maximal: sea Q ideal de R tal que P _ Q, existe q Q

+ (q, 0, . . . )) = R[[x]], luego

es maximal y P, x) es propio, entonces P

es sobreyectiva. Para ter-