Anillos PDF

CUADERNOS DE ALGEBRA
No. 2
Anillos
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de junio de 2014
ii
Cuaderno dedicado a Lukas, mi hijo.

Contenido
Pr
ologo v
1. Anillos y subanillos 1
1.1. Definicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Subanillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2. Ideales 12
2.1. Definicion y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2. Operaciones con ideales . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3. Anillo cociente y homomorfismos 25

3.1. Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2. Teoremas de homomorfismo e isomorfismo . . . . . . . . . . . . . . . 29
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4. Producto de anillos 36
4.1. Definicion y propiedades elementales . . . . . . . . . . . . . . . . . . 36
4.2. Teorema chino de residuos . . . . . . . . . . . . . . . . . . . . . . . . 38
4.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5. Ideales primos y maximales 41

5.2. Comportamiento a traves de homomorfismos . . . . . . . . . . . . . . 44
5.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
6. Dominios de integridad 49
6.2. Dominios gaussianos . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
iii
iv CONTENIDO
7. Anillos de fracciones: caso conmutativo 58

7.1. Construccion y propiedades . . . . . . . . . . . . . . . . . . . . . . . 58
7.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
7.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
8. Polinomios y series 67
8.1. El anillo de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
8.2. El anillo de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . 69
8.3. Propiedades elementales . . . . . . . . . . . . . . . . . . . . . . . . . 71
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 homologica;
algebra no conmutativa; 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 anos, y estan basados en las fuentes bibliograficas consignadas en
cada uno de ellos, como tambien en el libro Anillos, M odulos y Categoras, publi-
cado por la Facultad de Ciencias de la Universidad Nacional de Colombia, y cuya
edicion esta totalmente agotada (vease [12]). Un material similar, pero mucho mas
completo que el presentado en estas diez publicaciones, es el excelente 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 algebra sea su pre-
sentacion ordenada y didactica, as como la inclusion de muchas pruebas omitidas
en la literatura y suficientes 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 no conmutativa
5. Cuerpos
10. Algebra conmutativa y geometra algebraica
Los cuadernos estan dividido en captulos, los cuales a su vez se dividen en
secciones. Para cada captulo se a
nade al final 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
PROLOGO
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 homomorfismo,
las cuales se relacionan estructuralmente por medio de los teoremas de homomorfis-
mo, isomorfismo 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 u nica. 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 u nica, 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 [13]).
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 junto con los grupos y los espacios vectoriales, los anillos son los obje-
tos algebraicos mas importantes. En este captulo presentamos su definicion, como
tambien algunos de los ejemplos mas conocidos de tal estructura.
1.1. Definici
on y ejemplos
Definicion 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 definidas 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 adici on, es decir,

a (b + c) = a b + a c
a, b, c, d A.
(b + c) d = b d + c d
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 CAPITULO 1. ANILLOS Y SUBANILLOS
Los siguientes ejemplos ponen de manifiesto la gran variedad de anillos (conmu-

tativos y no conmutativos) que podemos encontrar.
Ejemplo 1.1.3. Anillos num ericos: los numeros enteros Z, los racionales Q,
los reales R y los complejos C, con sus operaciones habituales de adicion y multi-
plicacion, constituyen ejemplos de anillos. Los denotaremos por (Z, +, ), (Q, +, ),
(R, +, ) y (C, +, ).
Ejemplo 1.1.4. Anillo de endomorfismos de un grupo abeliano: dado un
grupo abeliano (G, +), denotamos por End (G) a su conjunto de endomorfismos:
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 7 (f + g) (a) := f (a) + g (a) .
Multiplicacion: f, g End (G)
f g : G G
a 7 (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 endomorfismo nulo,
0 : G G
,
a 7 0
y su elemento identidad es la funcion identica de G,
iG : G G
a 7 a
El siguiente ejemplo muestra que en general End (G) no es conmutativo. Basta
considerar el grupo V definido por
V := {e, a, b, ab} , a2 = b2 = e, ab = ba
y las funciones
f g
G G G G
e 7 e e 7 e
a 7 a a 7 b
b 7 ab b 7 a
ab 7 b ab 7 ab
Y EJEMPLOS
1.1. DEFINICION 3
que resultan ser endomorfismos para los cuales se tiene f g 6= g f .

Ejemplo 1.1.5. Anillo de matrices de orden n 1 sobre un anillo A:
denotaremos por Mn (A) al conjunto de todas las matrices cuadradas de tama
no
n n, n 1, con elementos en un anillo A,
Mn (A) := {A = [aij ]|aij A, 1 i, j n}.
Definimos en Mn (A) la adicion y multiplicacion de la manera habitual: dadas H =
[hij ] y B = [bij ] en Mn (A), se define
H + B = C = [cij ], donde cij := hij + bij ,
HB = D = [dij ], donde dij := nk=1 hik bkj .

P
Notemos que tanto la suma hij + bij como el producto hik bkj son operaciones en A.
Veamos que (Mn (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 Mn (A) es la matriz nula notada por 0 y definida por 0 = [oij ] donde
oij := 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 = [hij ] tiene su opuesta aditiva denotada
por H y definida por H := [hij ], donde hij es el opuesto del elemento hij 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 = [hij ], B = [bij ], C = [cij ] Mn (A) se cumple que
(HB) C = H (BC). En efecto, sea D = [dij ] = HB y F = [fij ] = DC, entonces
n
X n X
X n n X
X n
fij = dik ckj = ( him bmk )ckj = (him bmk )ckj
k=1 k=1 m=1 k=1 m=1
n X
X n n
X Xn
= him (bmk ckj ) = him ( bmk ckj ).
m=1 k=1 m=1 k=1
La suma del u
ltimo parentesis representa el termino (m, j) de la matriz BC, y la
suma
Xn Xn
him ( bmk ckj )
m=1 k=1
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 := [eij ], donde eij := 1
si i = j, y eij := 0 si i 6= j, es el elemento identidad para la multiplicacion en
Mn (A) y se conoce como la matriz id entica. Las propiedades distributivas de
la multiplicacion respecto a la adicion en Mn (A) se deducen de las respectivas
propiedades distributivas en el anillo A. El anillo Mn (A) es no conmutativo salvo
cuando A es un anillo conmutativo y n = 1.
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 AX
el conjunto de todas las funciones con dominio X y codominio A. Las operaciones
siguientes dan a AX estructura de anillo: sean f : X A, g : X A funciones
de X en A; entonces se definen:
Adicion:
f + g : X A
x 7 (f + g) (x) := f (x) + g(x).
Multiplicacion:
f g : X A
x 7 (f g) (x) := f (x) g(x).
El cero de AX 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 AX es conmutativo si, y solo si, A
es un anillo conmutativo. Cuando X = N y A = R, RN es el anillo de sucesiones
reales.
Ejemplo 1.1.7. Anillo de los enteros m odulo n 2: consideremos
el grupo

abeliano (Zn , +) de enteros modulo n, donde Zn = Z/ hni := 0, 1, 2, . . . n 1 .
En Zn se define la multiplicacion de clases por
rs := rs, r, s Z,
es decir, en terminos del producto del anillo Z; esta operacion esta bien definida, pues
si r = r0 y s = s0 , entonces rs = r0 s0 . Es inmediato que (Zn , , 1) es un semigrupo con
elemento identidad 1. La distributividad de la multiplicacion respecto de la adicion
en Zn 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, (Zn , +, ) es un anillo conmutativo. Si n = 0, entonces
Z0 = Z/ h0i = {r = {r} |r Z}
y podemos considerar
que Z0 es el mismo anillo Z; cuando n = 1, entonces Z1 =
Z/ h1i = Z/Z = 0 . En este u ltimo caso el anillo Z1 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 suficiente 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.
Y EJEMPLOS
1.1. DEFINICION 5
Definicion 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 a1 tal
1 1
que aa = 1 = a a. El conjunto de todos los elementos invertibles de un anillo A
se denota A , es decir, A := {a A|a es invertible}.
Proposicion 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.
Definici
on 1.1.11. Sea A un anillo no nulo. Se dice que A es un anillo de di-
on, si todos los elementos no nulos de A son invertibles, es decir, si A =
visi
A {0}. Un cuerpo es un anillo de divisi
on conmutativo.
Ejemplo 1.1.12. Para los anillos considerados en los ejemplos anteriores se tiene
lo siguiente:
(i) Grupos multiplicativos:
Z = {1, 1}; Q = Q {0}; R = R {0};

C = C {0}; Zn = {x|m.c.d.(x, n) = 1} ;
End (G) = Aut (G) := grupo de automorfismos de G;
Mn (A) = GLn (A)
:= grupo lineal de orden n sobre A;
AX = {f : X A|f (X) A }.
(ii) Anillos de la parte (i) que son cuerpos.
(a) Z no es un cuerpo.
(b) Q es cuerpo.
(c) R es cuerpo.
(d) C es cuerpo.
(e) Zn 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 definida por h (k) = 2k es un elemento de End (Z), h 6= 0,
pero h / Aut (G).
(g) Mn (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, AX no es un anillo de division.
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
u
ltimo. Sea a un elemento de A, definimos inductivamente las potencias enteras de
a como sigue:
a1 := a, an := an1 a, n 2.
Para a 6= 0, a0 := 1 .
n
Para a A , an := (a1 ) n 1.
Recordemos ademas como se definen los m

ultiplos enteros en el grupo (A, +):
1 a := a,
k a := (k 1)a + a, k 2,
0 a := 0
a A, k Z+ .
(k) a := (ka)
Proposicion 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
(an )m = amn .
(vii) Si A = R es conmutativo, entonces para cada n 1.
(ab)n = an bn .
Demostracion. Ejercicio para el lector.

Existen anillos en los cuales el producto de elementos no nulos es nulo. As por
ejemplo, en Z6 , 2 3 = 0 con 2 6= 0 y 3 6= 0.
Definicion 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 6= 0, b A,

tal que ba = 0. De manera analoga se definen los divisores de cero a izquierda. Un
anillo sin divisores de cero se denomina dominio, si adem as es conmutativo se
conoce como dominio de integridad (DI).
Definici
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 6= 0 en A se cumple
ba = ca b = c
De manera analoga se define la ley cancelativa a izquierda.
Proposici
on 1.1.16. Sea A un anillo.
(i) A es un dominio si, y solo si, A cumple las dos propiedades cancelativas.
(ii) Todo anillo de division es un dominio.
(iii) Todo dominio finito es un anillo de divisi

on.
(iv) Zn es dominio de integridad si, y s

olo si, n es primo.
Demostracion. Las dos primeras propiedades son evidentes.
(iii) Sea D un dominio finito. Veamos que D = D {0}. Puesto que D es finito,
D esta constituido por n elementos distintos, a1 , a2 ,. . . , an . Dado a no nulo en D se
puede afirmar que los siguientes elementos de D son distintos: a1 a, a2 a,. . . , an a,
pues, si ai a = aj a para i 6= j, entonces (ai aj ) a = 0 y como D es un dominio,
se tendra que ai = aj . Entonces, todo elemento de D debe ser de la forma ai a para
un ai ; en particular 1 = ai a para alg
alg un ai y as a tiene inverso a izquierda. De
manera similar se prueba que a tiene inverso a derecha, luego a D .
(iv) Consecuencia de (i) y (ii).
1.2. Subanillos
Definicion 1.2.1. Dado (A, +, , 1) un anillo y S A, S 6= , se dice que S es
subanillo de A, si (S, +, , 1) tiene estructura de anillo. Un subanillo S de A tal
que S 6= 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.
Ejemplo 1.2.2. (a) Z no tiene subanillos propios.
(b) Z es subanillo propio de Q, R y C.

(c) Q es un subanillo propio de R y C.
(d) R es subanillo propio de C.
Ejemplo 1.2.3. Sean End (G) el anillo de endomorfismos de un grupo abeliano G y

H un subgrupo de G. El conjunto S de endomorfismos f de G tales que f (H) H,
es un subanillo de End (G).
Ejemplo 1.2.4. Sea Mn (A) el anillo de matrices de orden n sobre un anillo A; si

denotamos por D (A) al conjunto de las matrices diagonales en Mn (A), es decir,
D (A) := {D = [dij ] Mn (A) |dij = 0, para i 6= j},
entonces D (A) es un subanillo de Mn (A). El grupo de elementos invertibles del

anillo D(A) se denota por Dn (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 AX el anillo de funciones del conjunto X en el anillo A, y sea

S un subanillo de A. Entonces S 0 := {f A|f (X) S} es un subanillo de AX .
Ejemplo 1.2.7. Los cuaterniones de Hamilton: consideremos en el anillo de

las matrices de orden 2 sobre el cuerpo de los numeros complejos el subconjunto

z w
H := |z, w C M2 (C),
w z
donde z = a bi denota el conjugado del complejo z = a + bi, a, b R. H es un
subanillo de M2 (C):

z1 w1 z2 w2 z1 z2 w1 w2
= H,
w1 z1 w2 z2 w1 w2 z1 z2

z1 w1 z2 w2 z1 z2 w1 w2 z1 w2 + w1 z2
= ,
w1 z1 w2 z2 z1 w2 + w1 z2 z1 z2 w1 w2

1 0
H.
0 1
Notese que H no es conmutativo:
1.2. SUBANILLOS 9

i 0 0 i 0 i i 0
6= .
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

z w
A= , z = a1 + b1 i, w = a2 + b2 i
w z
una matriz no nula en H. Entonces, al menos uno de los n umeros reales a1 , b1 , a2 ,
b2 es no nulo. Esto hace que el determinante de la matriz A sea no nulo:
d = det A = a21 + b21 + a22 + b22 6= 0.

z w
1
A = wd dz H.
d d
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 definido 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 21 = 21 / 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 6= 0. Puesto que 0, 1 Z[a], entonces en el grupo (Z[a], +, 0) se
tiene
k 1 = |1 + 1 +{z + 1} := k Z[a]

k-veces
k Z+ , 1, 0 A. (1.2.1)
0 1 = 0 := 0 Z[a]; 0 Z

(k) 1 = (k 1) := k Z[a]
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 := { ni=0 ki ai |ki Z, n 1} Z[a].
P
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
(ki ai ) (kj aj ) = ki kj ai+j
da que el producto de dos elementos de S esta en S. Obviamente a S. De lo

anterior se desprende que
Xn
Z[a] = { ki ai |ki Z, n 1}, a 6= 0, (1.2.2)
i=0
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
a1 , . . . , an de tal forma que Z[a1 , . . . , an ] es el menor subanillo de A que contiene
a los elementos a1 , . . . , an , y consta de todas las sumas finitas con sumandos de la
forma
kai111 ai212 ain1n ai121 ai222 ain2n ai1r1 ai2r2 ainrn ,
con k Z, r 1 e iuv 0. Notemos que los elementos a1 , . . . , an no necesariamente

conmutan ya que A no es conmutativo.
De otra parte, si B es un subanillo de A y a1 , . . . , an 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 a1 , . . . , an ; este anillo se denota por
B[a1 , . . . , an ] y consta de todas las sumas finitas con sumandos de la forma
k1 ai111 ai212 ain1n k2 ai121 ai222 ain2n kr ai1r1 ai2r2 ainrn ,
con kj B, 1 j r. Este subanillo se denomina el subanillo de A generado

por B y a1 , . . . , an . Notemos que si kai = ai k y ai aj = aj ai , para 1 i, j n y
todo k B, entonces cada elemento de B[a1 , . . . , an ] es una suma finita de sumandos
de la forma kai11 ai22 ainn , con k B e iu 0, es decir, expresiones polinomicas en
a1 , . . . , an con coeficientes en B.
1.3. Ejercicios
1. Demuestre la proposicion 1.1.10.
2. Demuestre que Zn es cuerpo, si y solo si, n es un n

umero primo.
3. Sea A un anillo. Demustre que si |X| 2, entonces AX no es un anillo de

division.

1.3. EJERCICIOS 11
5. Sean X un conjunto finito no vaco y 2X su conjunto de partes. Sea la

diferencia simetrica de conjuntos y la interseccion. Demuestre que (2X , , )
es un anillo conmutativo.
6. Sea

Q[ 3] := a + b 3 | a, b Q ,

umeros racionales. Considerense en Q[ 3] las
donde Q es el anillo de los n
operaciones habituales de
suma y multiplicacion de complejos. Demuestre que
bajo estas operaciones Q[ 3] es un cuerpo.
7. Si R es un anillo conmutativo, demuestre que para cada n 1
n
n
X n k nk n n!
(a + b) = a b , = , a, b R.
k k (n k)!k!
k=0
8. Sea p Z no nulo. Demuestre que
Qp := { pak |a Z, k 0}
es un subanillo de Q y coincide con Z[ p1 ].
9. Sean (A, +, , 1) un anillo y Q el anillo de endomorfismos del grupo abeliano

(A, +). Para cada x A se define la funcion
fx : A A
a 7 xa
Compruebe que para cada x A, fx Q. Si F := {fx | 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.
11. Sea A un anillo y n 2. Calcule el centro del anillo de matrices Mn (A).
12. Sean X un conjunto no vaco, A un anillo y f : X A una funcion biyectiva.
Demuestre que las siguientes operaciones convierten a X en un anillo:
x + y := f 1 (f (x) + f (y)), xy := f 1 (f (x)f (y)).
13. Sea A un anillo que satisface la siguiente condicion: dado a A no nulo existe
nico b A tal que aba = a. Demuestre que:
un u
(i) bab = b.
(ii) A es un anillo de division.
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 bilatero. Con ideales bilateros se construyen los
anillos cociente de manera similar a como se hace en grupos con subgrupos normales.
La definicion y las operaciones entre ideales son presentadas en este captulo.
2.1. Definici
on y ejemplos
Definici
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 adem

as
ax I para todo a A y todo x I.
(ii) I es un ideal derecho de A, si x y I para todo x, y I, y adem

as xa I
para todo x I y todo a A.
(iii) I es un ideal bil

atero 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 bil ateros triviales del anillo A.
Proposicion 2.1.3. Sea A un anillo e I un ideal derecho (izquierdo, bil

atero) que
contiene un elemento invertible de A, entonces I = A.
Demostracion. Sea x A I, entonces xx1 = 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
Y EJEMPLOS
2.1. DEFINICION 13
Corolario 2.1.4. Si A es un anillo de divisi on, entonces los u

nicos ideales derechos
(izquierdos, bilateros) de A son los triviales. Recprocamente, si un anillo A posee
s
olo 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 6= 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 afirmacion
para ideales bilateros es consecuencia de lo anterior.
Sea ahora A un anillo cuyos u nicos ideales derechos son los triviales. Para x 6= 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 significa que existe
x0 A tal que xx0 = 1. Observese que x0 es no nulo y ademas x0 A = A. Existe pues
x00 A tal que x0 x00 = 1 y xx0 x00 = x, lo cual implica que x00 = 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

afirmar que A sea un anillo de division, como se vera a continuacion.
Ejemplo 2.1.6. Ideales del anillo de matrices Mn (A): sean A un anillo y Mn (A) su
anillo de matrices de orden n. Para I un ideal bilatero de A, el conjunto denotado
por
Mn (I) := {F = [aij ] | aij I}
es un ideal bilatero de Mn (A). En efecto, Mn (I) 6= pues 0 Mn (I); dadas H =

[hij ], B = [bij ] Mn (I), entonces H B = C = [cij ] Mn (I), ya que cij = hij bij
esta en I, para todo i, j, 1 i, j n. Ademas, para H Mn (I) y D = [dij ] Mn (A)
se cumple que HD = F = [fij ] Mn (I). En efecto,
n
X
fij = hik dkj I,
k=1
pues I es un ideal derecho y entonces hik dkj I para cada k, 1 k n; por tanto,
la suma fij I. Analogamente, DH Mn (I).
Se ha probado que cada ideal bilatero I del anillo A determina en Mn (A) el ideal
bilatero Mn (I). Probemos ahora el recproco, es decir, que cada ideal bilatero J de
Mn (A) determina en A un ideal bilatero I tal que J es precisamente Mn (I). En
efecto, consideremos el conjunto
Iij := {a A| Eij a J },
14 CAPITULO 2. IDEALES
donde Eij a denota la matriz de orden n cuya u nica entrada no nula es la correspon-
diente a la interseccion de la fila i y la columna j, en la cual esta el elemento a. Si
a = 1, dicha matriz se denota simplemente por Eij . Para este tipo de matrices es
facil demostrar que

0, si j 6= l
Eij aElk b =
Eik ab, si j = l.
Veamos que Iij es un ideal bilatero de A. Iij 6= ya que 0 J; dados x, y Iij

entonces Eij x, Eij y J, y como J es ideal bilatero, entonces Eij x Eij y = Eij (x
y) J, de donde x y Iij . De otra parte, para a A y x Iij , se tiene que
Eij x J, Ejj a, Eii a Mn (A), y por lo tanto, Eij xEjj a = Eij xa J; tambien,
Eii aEij x = Eij ax J, de donde xa, ax Iij .
Probemos ahora que
J = {H = [hij ] | aij Iij }.
Sea H = [hij ] tal que hij Iij para cada par de ndices 1 i, j n, H puede
escribirse de la forma n
X
H= Eij hij ,
i,j=1
donde se tiene que Eij hij J, luego H J. De otro lado, dada H = [hij ] J,
mostraremos que una entrada cualquiera hlk de H esta en Ilk . En efecto,
Ell HEkk = Elk hlk J,
de donde hlk Ilk .

Se desea mostrar finalmente que todos los ideales Iij , 1 i, j n, coinciden.
Fijemos dos ndices i, j y probemos que Iij = Iir para todo r. Dado x Iij se cumple
que Eij x J, y por lo tanto, Eij xEjr = Eir x J, luego x Iir , es decir, Iij Iir .
Simetricamente, Iir Iij . En forma analoga, Isj = Iij para 1 s n. Resulta pues
que Iij = I y
J = {H = [hij ] | hij Iij } = Mn (I).
Se ha demostrado as que los ideales bilateros de Mn (A) son de la forma Mn (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 Mn (A) el anillo de matrices sobre un anillo de division A. Seg un
el ejemplo 2.1.6 , Mn (A) tiene solo dos ideales bilateros: los trivilaes Mn (0) = 0 y
Mn (A). Sin embargo, Mn (A) no es un anillo de division ya que la matriz E11 es no
nula y no es invertible.
2.2. OPERACIONES CON IDEALES 15
Definicion 2.1.8. Un anillo A se dice simple si los u

nicos ideales bil
ateros de A
son los trivilaes, 0 y A.
Corolario 2.1.9. Sea R un anillo conmutativo. R es un cuerpo si, y s
olo si, R es
simple.
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 Q, R y C: puesto que Q, R y C son cuerpos,
sus u
nicos ideales son los triviales.
Ejemplo 2.1.12. Sean A un anillo, Mn (A) su anillo de matrices y
J := {H = [hij ] | hij = 0, para j 6= 1}.
Entonces I es un ideal izquierdo no derecho de Mn (A). Con i 6= 1 se construye en
forma similar un ideal derecho no izquierdo.
Ejemplo 2.1.13. Sean AX el anillo de funciones de X en un anillo A e I un ideal
bilatero (izquierdo, derecho) de A. Entonces

I X := f AX | f (X) I
es un ideal bilatero (izquierdo, derecho) de AX .
2.2. Operaciones con ideales

Analogamente a como se hace con los subgrupos de un grupo, es posible definir
operaciones entre los ideales de un anillo.
Definici on 2.2.1. SiTA es un anillo e {Ii }iI es una familia de ideales izquierdos
de A, la interseccion iI Ii es un ideal izquierdo de A, el cual se denomina ideal
intersecci on. De manera analoga se define la intersecci on de ideales derechos y
bil
ateros.
Proposicion 2.2.2. Sean A un anillo, S A, S 6= . El ideal izquierdo mas pequeno
de A que contiene al subconjunto S es la intersecci
on de todos los ideales izquierdos
de A que contienen a S, y se denota por hS}, es decir,
\
hS} := I
SI
I es ideal izquierdo de A
Demostracion. Evidente a partir de la nocion de interseccion.

Definicion 2.2.3. Dados A un anillo, S A, S 6= , al ideal hS} se le denomina
el ideal izquierdo generado por S. El ideal izquierdo I de A se dice que es
finitamente generado, si existe un subconjunto finito S en A tal que hS} = I.
Adem as, h} := 0.
De manera analoga se define el ideal derecho generado por S, el ideal bilatero
generado por S, denotados por {Si y hSi, respectivamente.
Proposicion 2.2.4. Sean A un anillo, S A, S 6= . El ideal izquierdo generado
por S coincide con el conjunto de sumas finitas de productos de elementos de A con
elementos de S.
Demostracion. Denotemos por B al conjunto de las sumas finitas de productos de
elementos de A con elementos de S,
( n )
X
B= ak sk | ak A, sk S, n 1 ;
k=1
probemos pues que hS} = 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 hS} B.
Sea ahora I un idealP izquierdo de A que contiene a S; entonces I debe contener
cada suma de la forma nk=1 ak sk , ak A, sk S, n 1, es decir, B I. Como
esto es valido para todo ideal izquierdo que contenga a S, entonces
\
B I = hS} .
SI
I es ideal izquierdo de A
Proposici
on 2.2.5. (i) Sea A un anillo y S A, S 6= , entonces
( n )
X
{Si = sk ak | ak A, sk S, n 1 ,
k=1
( n )
X
hSi = ak sk a0k | a0k , ak A, sk S, n 1 .
k=1
(ii) Si R un anillo conmutativo, entonces
hS} = {Si = hSi .

Demostracion. La demostracion de estas afirmaciones es completamente analoga a

la de la proposicion 2.2.4.
Corolario 2.2.6. Dados A un anillo y S = {s1 , . . . , sn } A entonces

( n )
X
hs1 , . . . , sn } = ak s k | ak A ,
k=1
( n )
X
{s1 , . . . , sn i = s k ak | ak A ,
k=1
( m )
X
hs1 , . . . , sn i = ak sik a0k | a0k , ak A, sik S, m 1 .
k=1
En particular,
hx} = Ax = {ax | a A},
{xi = xA = {xa | a A},

( n )
X
hxi = ak xa0k | a0k , ak A, n 1 .
k=1
los cuales se denominan ideal principal izquierdo, derecho y bil atero, respec-
tivamente. Cuando A es un anillo conmutativo estos ideales coinciden.
Definici on 2.2.7. Se dice que A es un anillo de ideales principales derechos

si todos los ideales derechos de A son principales. De manera similar se definen los
anillos de ideales principales izquierdos y de ideales principales bil
ateros. 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 definir una segunda operacion entre ideales izquierdos, derechos
y bilateros.
Definicion 2.2.10. Sea A un anillo e {Ii }iC una familia de Pideales izquierdos de A,
se define la suma
S de la familia {I }
i iC , y se simboliza por iC Ii , al ideal generado
por el conjunto iC Ii .
Seg
un la proposicion 2.2.4,
( n )
X X [
Ii = ak | ak Ii , n 1 .
iC k=1 iC
En particular, ( n )
X
I1 + + In = ak | ak Ik .
k=1
on 2.2.11. (i) Notese que si s1 , . . . , sn A, entonces,

Observaci
hs1 , , sn } = As1 + + Asn .
(ii) La suma de una familia de ideales derechos se define en forma analoga, as como
tambienP la suma de ideales bilateros.
(iii) iC Ii 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 {Ii }iC .
Definicion 2.2.12. Si {I1 , . . . , In } es una familia finita de ideales izquierdos de

un anillo A, se define su producto, y se denota por I1 I2 In , al ideal izquierdo
generado por el conjunto
{a1 . . . an | ai Ii , 1 i n}.
De acuerdo con la proposicion 2.2.4,

( m )
X
I1 I2 In = x1k xnk | xik Ii , 1 i n, m 1 .
k=1
Observaci on 2.2.13. (i) El producto de una familia de ideales derechos o bilateros

se define de manera analoga.
(ii) Notese que cuando I1 , . . . , In son ideales izquierdos entonces el producto
I1 In esta contenido en In ; cuando I1 , . . . , In son ideales derechos el producto
I1 In esta contenido en I1 , cuando I1 , . . . , In son ideales bilateros el producto
I1 In esta contenido en cada ideal Ii , i = 1, 2, . . . , n.
Definici
on 2.2.14. Sea A un anillo e I un ideal izquierdo no nulo de A, se define
I 0 := A
I 1 := I
..
.
I n := I n1 I, n 2.
Observaci on 2.2.15. La definicion anterior es aplicable tambien a ideales derechos

y bilateros no nulos de A. Si I = 0, entonces 0n = 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 definido 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 definido 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, bil

atero) 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 afirma-
ciones quedan como ejercicio para el lector. (I : J) 6= ya que 0J = 0 I. Si a,
a0 (I : J) y x A, entonces
(a + a0 ) J = aJ + a0 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 define

el radical de I por

I := {r R|rn 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 definidas
anteriormente.
Proposici
on 2.2.18. Sean J, I1 , . . . , In ideales derechos (izquierdos, bil
ateros) de
A. Entonces,
J (I1 + + In ) = JI1 + + JIn

(I1 + + In ) J = I1 J + + In J.
Demostracion. Probamos solo la primera identidad. Sea x J (I1 + + In ), en-

tonces x es de la forma
m
X
x= bk (a1k + + ank )
k=1
Xm
= bk a1k + + bk ank ,
k=1
lo cual significa que x pertenece a JI1 + + JIn , es decir,

J (I1 + + In ) JI1 + + JIn .
De otra parte, puesto que para cada 1 j n,
Ij I1 + + In
entonces
JIj J (I1 + + In )
de donde,
n
X
JIj J (I1 + + In ) .
j=1
Proposici on 2.2.19. Sea R un anillo conmutativo y sean I, J ideales de R. En-

tonces,

(i) I I.
p
(ii) I = I.

(iii) Si I J, entonces I J.

(iv) IJ = I J = I J.

(v) I = R I = R.
p
(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 definidas en la presente
seccion.
Ejemplo 2.2.20. Sean m y n enteros, entonces:
(i) hmihni = hm.c.m. (m, n)i, en donde m.c.m. denota el mnimo com un multi-
plo. En efecto, si x hmi hni, 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 hm.c.m. (m, n)i. Recprocamente, si x hm.c.m. (m, n)i, x hmi y x hni, de
donde x hmi hni.
(ii) hmi+hni = hm.c.d. (m, n)i, en donde m.c.d. denota el maximo com un divisor.
Dado x hmi + hni entonces x = a + b, a hmi y b hni, 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 hdi. 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 hmi + hni.
(iii) hmi hni = hmni: sea x hmi hni; entonces x = a1 b1 + + at bt , donde
ai hmi y bi hni con i = 1, 2, . . . , t. Entonces, x = k1 ms1 n + + kt mst n, con
ki , si Z y por lo tanto, x hmni. Recprocamente, si x hmni, entonces x = kmn,
con k Z, de donde
x = kmn hmi hni.
(iv) hmik = mk , m 6= 0, k 0. Esto es consecuencia directa de (iii).
(v) (hmi : hni): si n = 0, entonces evidentemente (hmi : 0) = Z. Sea entonces n 6=
0. Si m = 0, entonces claramente (0 : hni) = 0. Consid D m eErese entonces que tambien
m 6= 0. En este caso probaremos que (hmi : hni) = , donde d = m.c.d. (m, n).
d
Sabemos que d es combinacion entera de m y n, es decir, existen k1 , k2 Z tales
que d = k1 m + k2 n. Sea x (hmi : hni); entonces xn hmi y existe t Z, tal que
xn = tm. Resulta pues que
dx = k1 mx + k2 nx = m (k1 x + k2 t),
m DmE
y de aqu, x = (k1 x + k2 t) . De otra parte,
d d
DmE D mn E DnE
hni = = hmi hmi
d d d
DmE
Hemos entonces probado la igualdad (hmi : hni) = .
p d
(vi) hni: si n = 0, entonces 0 = 0; si n = 1, entonces Z = Z. Sea n 2,
entonces p
p sea n = pr11 p
prt t la descomposicion de n en factores primos; se tiene que
hni = hp1 i hpt i = hp1 i hpt i = hp1 pt i.
Ejemplo 2.2.21. Sea A = Mn (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 afirmaciones
remitimos al lector al ejemplo 2.1.6. E11 6= 0, E12 6= 0, E11 E12 = E12 6= E12 E11 = 0.
Sea J un ideal bilatero de A. Sabemos que J = Mn (I), donde I es un ideal de Z;
un el ejemplo 2.1.10, I = hmi, para alg
seg un entero m 0. Notese que J es el ideal
generado por la matriz

m 0 0
0 0 0
E11 m = .. ..

..
. . .
0 0 0
En efecto, puesto que E11 m J, entoncesPhE11 mi J. Sea B = [bij ] una matriz de

J; B se puede escribir en la forma B = ni,j=1 Eij bij , con bij hmi, 1 i, j n.
Para B se tiene entonces que
n
X
B= Eij kij m,
i,j=1
con kij Z, luego B = ni,j=1 (Ei1 kij ) (E11 m) E1j , y seg

P
un el corolario 2.2.6, B
hE11 mi. En resumen, J = hE11 mi y J es principal.
2.3. Ejercicios
1. Demuestre la afirmacion del ejemplo 2.1.12.
3. Complete la demostracion de la proposicion 2.2.16.
umeros enteros calcule (hmi + hni)(hmi : hni).

5. En el anillo Z de los n
6. Sean X un conjunto finito no vaco y 2X su anillo de partes (vease la seccion

de ejercicios del captulo anterior). Determine un ideal propio y un subanillo
propio de 2X . Cual es su grupo de invertibles? Es 2X un anillo de ideales
principales?
7. Sea A un anillo y S = {x1 , . . . , xn } un subconjunto finito no vaco de A.

Demuestre que
2.3. EJERCICIOS 23
hx1 , . . . , xn } = hx1 } + . . . + hxn },

{x1 , . . . , xn i = {x1 i + . . . + {xn i,
hx1 , . . . , xn i = hx1 i + . . . + hxn i.
Generalice estos resultados para un conjunto no vaco cualquiera S de A.
8. Sean A un anillo e I1 , I2 , I3 ideales izquierdos (derechos, bilateros) de A. De-

muestre que
(i) I1 I1 = I1 .
(ii) I1 I2 = I2 I1 .
(iii) (I1 I2 ) I3 = I1 (I2 I3 ).
(iv) I1 + I1 = I1 .
(v) I1 + I2 = I2 + I1 .
(vi) (I1 + I2 ) + I3 = I1 + (I2 + I3 ).
(vii) I1 + (I1 I2 ) = I1 .
(viii) I1 (I1 + I2 ) = I1 .
9. Sean I, J ideales izquierdos de un anillo A y sea e un elemento idempotente

de A, es decir, e2 = 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 M3 (Z) calcule:
(i) M3 (h4i) M3 (h6i).

(ii) M3 (h5i) + M3 (h7i).
(iii) M3 (h2i) M3 (h9i).
(iv) M3 (h11i)2 .
(v) (M3 (h4i) : M3 (h6i)) .
Generalice los resultados anteriores al anillo Mn (Z), n 2?
12. Sea R = RN 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 b
A := | a, b, c Z
0 c
de las matrices triangulares superiores es un subanillo de M2 (Z). Describa los

ideales bilateros de A y generalice los resultados obtenidos a Mn (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.
15. Sea A el conjunto de todas las funciones reales infinitamente diferenciables

definidas sobre el intervalo 1 < t < 1. Demuestre que A es un anillo y que
para cada n 1 el conjunto Jn := {f A|Dk (f )(0) = 0, 0 k n} es un
ideal de A, donde Dk denota la derivada k-esima.
Captulo 3
Anillo cociente y homomorfismos
3.1. Definiciones y ejemplos

Sean A un anillo e I un ideal bilatero propio de A. Las estructuras aditivas de estos
dos conjuntos permiten definir 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:
a1 + a2 := a1 + a2 , a1 , a2 A.
Se define 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 bil atero propio de A, las opera-
ciones + y definidas a continuaci on dotan al conjunto cociente A/I de estructura
de anillo:

a1 + a2 := a1 + a2
a1 , a2 A.
a1 a2 := a1 a2
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 definida 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. Verifiquemos que el producto esta correctamente definido: si
a1 = a2 y b1 = b2 , entonces a1 a2 I y b1 b2 I, de donde (b1 b2 ) a2 I y
b1 (a2 a1 ) I. Resulta
b2 a2 b1 a2 + b1 a2 b1 a1 = b2 a2 b1 a1 I,
25
26 CAPITULO 3. ANILLO COCIENTE Y HOMOMORFISMOS
es decir, b2 a2 = b1 a1 , y por lo tanto b2 a2 = b1 a1 .

No es difcil verificar que 1 = 1 + I es el elemento identidad de A/I (como
I 6= A entonces 1 6= 0). La propiedad asociativa y la distributiva se siguen de las
correpondientes propiedades del producto en A.
Ejemplo 3.1.2. El anillo Zn de los enteros modulo n corresponde al cociente de Z

por el ideal principal hni (vease el ejemplo 1.1.7).
Definici on f : A1 A2 se dice que

on 3.1.3. Sean A1 y A2 dos anillos. Una funci
es un homomorfismo del anillo A1 en el anillo A2 , si se cumplen las siguientes
condiciones:
(i) f (a1 + a2 ) = f (a1 ) + f (a2 ),
(ii) f (a1 a2 ) = f (a1 ) f (a2 ),
(iii) f (1) = 1,
para cualesquiera a1 , a2 A1 .
Proposici on 3.1.4. Para todo homomorfismo de anillos f : A1 A2 se cumplen

las siguientes propiedades:
(i) f (0) = 0.
(ii) f (a) = f (a), a A1 .
(iii) f (a1 a2 ) = f (a1 ) f (a2 ), a1 , a2 A1 .
as f (a1 ) = f (a)1 .
(iv) Si a A1 entonces f (a) A2 , y adem
Ejemplo 3.1.5. El homomorfismo identico: sea A un anillo, la funcion
iA : A A
a 7 a
es un homomorfismo de anillos.
Ejemplo 3.1.6. El homomorfismo can onico: dados A un anillo, I un ideal

bilatero propio y A/I el anillo cociente de A por I, la funcion definida por
j : A A/I, j (a) := a = a + I, a A,
es un homomorfismo de anillos.
3.1. DEFINICIONES Y EJEMPLOS 27
Ejemplo 3.1.7. Dados A un anillo y Mn (A) su anillo de matrices, se tiene el

homomorfismo
f : A Mn (A), f (a) = H = [hij ],
donde hii = a, para i = 1, 2, . . . , n, y hij = 0 si i 6= j.
Ejemplo 3.1.8. La inclusi on canonica: dado A0 un subanillo de A, la funcion

definida por : A A , (a) = a, para cada a A0 , es un homomorfismo de
0
anillos.
Ejemplo 3.1.9. Homomorfismos de Zm en Zn : consideremos los diferentes casos

posibles.
(i) Homomorfismos de Z en Z, (m = 0, n = 0): si f : Z Z es un homomor-
fismo 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 homomorfismo de anillos de Z en
Z es el identico.
(ii) Homomorfismos de Z en Zn , (m = 0, n 2): si f : Z Zn es un homo-
morfismo 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

nico homomorfismo de Z en Zn es el canonico: j : Z Zn , j (k) = k.
u
(iii) Homomorfismos de Zm en Z, (m 2, n = 0): si f : Zm Z es un ho-
momorfismo 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 homomorfismo
de anillos de Zm en Z.
(iv) Homomorfismos de Zm en Zn , (m 2, n 2): si f : Zm Zn es un
homomorfismo 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 homomorfismo
de Zm en Zn , entonces n | m. El homomorfismo f es u nico, y esta definido por f k
= k.
on 3.1.10. Sea f : A1 A2 un homomorfismo de anillos.

Definici
(i) El subconjunto de A1 definido por
ker (f ) := {a A1 | f (a) = 0}
se denomina el n
ucleo del homomorfismo f .
(ii) El subconjunto de A2 definido por

Im (f ) := {f (a) | a A1 }
se denomina la imagen del homomorfismo f .
(iii) Si X A1 , entonces
f (X) := {f (x) | x X}
se denomina la imagen de X mediante f .
(iv) Si Y A2 , entonces
f 1 (Y ) := {a A1 | f (a) Y }
se denomina la imagen inversa de Y mediante f .
(v) Se dice que un homomorfismo es inyectivo si se cumple
f (a1 ) = f (a2 ) a1 = a2 ,
para cualesquiera a1 , a2 A1 .
(vi) Se dice que un homomorfismo es sobreyectivo si Im (f ) = A2 .
(vii) Se dice que f es un isomorfismo de anillos si f es un homomorfismo inyec-

tivo y sobreyectivo. En tal caso se dice que A1 es isomorfo a A2 , lo cual se
escribe A1
= A2 .
Las siguientes afirmaciones son consecuencia directa de la definicion anterior y
las pruebas de ellas las dejamos al lector.

Proposici
(i) ker (f ) = f 1 (0) es un ideal bil

atero de A1 .
(ii) Im (f ) = f (A1 ) es un subanillo de A2 .
(iii) f es inyectivo ker (f ) = 0.
(iv) Si g : A2 A3 es un homomorfismo de anillos, entonces la funci

on com-
puesta gf : A1 A3 es tambien un homomorfismo de anillos.
(v) f es un isomorfismo si, y s olo si, existe g : A2 A1 tal que gf = iA1 y

f g = iA2 . Ademas, g es u
nico para f y es tambien un isomorfismo; g es el
isomorfismo inverso de f y se denota por f 1 .
3.2. TEOREMAS DE HOMOMORFISMO E ISOMORFISMO 29
Ejemplo 3.1.12. No existe ning un homomorfismo de R en Z. Probemos algo mas

general: todo homomorfismo 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 6= 0, entonces ker (f ) = 0, con lo cual f es inyectivo.
En particular si f : R Z es un homomorfismo, entonces Im (f ) es un sub-

anillo de Z, pero como Z no tiene subanillos propios, luego f es un isomorfismo, en
contradiccion con el hecho de que Z no es un cuerpo.
Observaci on 3.1.13. El concepto de isomorfismo en algebra, y en particular en

teora de anillos, es fundamental. Su importancia radica en que si A1 y A2 son dos
anillos isomorfos, entonces todas las propiedades del anillo A1 que dependen de sus
operaciones son validas en A2 . Dos anillos isomorfos seran entonces considerados
como iguales; la funcion que establece el isomorfismo se podra considerar como un
duplicador de propiedades. Observese ademas que la relacion ser isomorfo es una
relacion de equivalencia.
3.2. Teoremas de homomorfismo e isomorfismo

Definici on 3.2.1. Se dice que el anillo A2 es una imagen homomorfa del anillo
A1 , si existe un homomorfismo sobreyectivo de A1 en A2 .
El siguiente teorema permite caraterizar las imagenes homomorfas de un anillo

dado.
Teorema 3.2.2 (Teorema fundamental de homomorfismo). Sean A un anillo

y A0 una imagen homomorfa de A. Entonces, existe un ideal bil
atero propio I de A
tal que
A0
= A/I.
Recprocamente, para cada ideal bil
atero propio I de A el cociente A/I es una imagen
homomorfa de A.
Demostracion. Sea f : A A0 un homomorfismo sobreyectivo, y sea I = ker (f )

su n
ucleo. Entonces, la correspondencia
f: A/I A0
a 7 f (a) a = a + I
es un isomorfismo 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 locual f (a) = f (b). fes
un homomorfismo 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

finalmente 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 afirmacion es
consecuencia del hecho que el homomorfismo canonico j definido 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

hni con n 0, entonces las imagenes homomorfas de Z, salvo isomorfismos, son Z
y Zn , con n 2.
Ejemplo 3.2.4. Imagenes homomorfas del anillo de matrices Mn (A), n 2: seg un

el teorema fundamental de homomorfismo, las imagenes homomorfas de Mn (A) son
de la forma Mn (A) /J, donde J es un ideal bilatero propio de Mn (A); pero tales
ideales son de la forma Mn (I), con I ideal bilatero propio de A. Probaremos ahora
que
Mn (A) /Mn (I)

= Mn (A/I).
La funcion
f: Mn (A) Mn (A/I)
,
F = [aij ] 7 F = fij
donde fij := fij + I, 1 i, j n, es claramente un homomorfismo sobreyectivo

de anillos. Ademas, la matriz F = [fij ] esta en el n
ucleo de f si, y solo si, fij =
0 para cualesquiera ndices i, j; es decir, solamente cuando fij I, 1 i, j
n. Esto muestra que ker (f ) = Mn (I). Resta aplicar el teorema fundamental de
homomorfismo.
En la prueba del teorema de correspondencia haremos uso del punto (ii) de la

siguiente proposicion.

Proposici
(i) Si A01 es un subanillo de A1 , entonces f (A01 ) es un subanillo de A2 . Tambien,

si A02 es un subanillo de A2 , entonces f 1 (A02 ) es un subanillo de A1 .
(ii) Si I es un ideal bilatero de A1 , f (I) es un ideal bil

atero de Im (f ). Tambien,
si J es un ideal bilatero de A2 , entonces f 1 (J) es un ideal bil
atero de A1 que
contiene el n
ucleo ker (f ) .
(iii) Si I es un ideal bilatero de A1 que contiene al n

ucleo ker (f ), entonces I =
1
f (f (I)) .
(iv) Las afirmaciones de los puntos (ii) y (iii) son validas para los ideales izquierdos
y derechos.
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 A1 ; 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 significa 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 Q:
: Z Q
m 7 m
Z es ideal en Z pero (Z) = Z no es ideal en Q. Seg
un (ii) de la afirmacion anterior,
la cuestion radica en que Q 6= Im (f ).
Teorema 3.2.7 (Teorema de correspondencia). Sean A un anillo y f : A
A0 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
bil
ateros del anillo A0 .
Demostracion. Sean f : A A0 un homomorfismo sobreyectivo I la coleccion de
ucleo e I0 la coleccion de todos
todos los ideales bilateros de A que contienen al n
los ideales bilateros de A0 , es decir,
I := {I | I es un ideal bilatero de A, ker(f ) I}
I0 := {J | J es un ideal bilatero de A0 },
entonces la correspondencia
fe : I I0
I 7 fe(I) := f (I)
es una biyeccion. En efecto, sean I1 e I2 ideales bilateros de A tales que ker (f ) I1 ,
ker (f ) I2 y fe(I1 ) = fe(I2 ), entonces
I1 = f 1 (f (I1 )) = f 1 (f (I2 )) = I2 .
fe es sobreyectiva, pues dado J ideal bilatero de A0 , 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,
, fe(f 1 (J)) = J. Una u
ltima observacion: si I1 , I2 I, entonces
I1 I2 f (I1 ) f (I2 ).
Esto completa la prueba del teorema.
Corolario 3.2.8. Sean A un anillo e I un ideal bil atero propio de A. Entonces existe
una correspondencia biyectiva entre los ideales bil ateros del anillo A que contienen
al ideal I y los ideales bilateros del anillo cociente A/I.
Demostracion. Sea j : A A/I el homomorfismo canonico. Por el teorema de

correspondencia, existe una biyeccion entre la coleccion I de bilateros ideales de A
que contienen al ideal I, y la coleccion I0 de ideales bilateros del cociente A/I, dada
por
j:
e I I0
I1 7 e
j (I1 ) := j (I1 ) = {a | a I1 } := I1 /I.
Teorema 3.2.9 (Primer teorema de isomorfismo). Sean A un anillo y f :

A A0 una imagen homomorfa de A. Si J es un ideal bil
atero propio de A0 e
1
I = f (J), entonces
A/I
= A0 /J.
Demostracion. Sean f : A A0 un homomorfismo sobreyectivo y j : A0 A0 /J

el homomorfismo canonico. Considerese el homomorfismo compuesto f = j f ;
notese que ker f = ker (j f ) = I; ademas como f es sobreyectivo, entonces por
el teorema fundamental de homomorfismo se tiene que
A/I = A0 /J.
Corolario 3.2.10. Sea A un anillo y sean I y J ideales bil

ateros de A tales que
I J 6= A, entonces
A/J
= (A/I) / (J/I).
Demostracion. Sea j : A A/I el homomorfismo 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 Zm (m 2): de acuerdo con el teorema

fundamental de homomorfismo, las imagenes homomorfas de Zm son de la forma
Zm /I, donde I es un ideal propio de Zm = Z/ hmi. Seg un el teorema de correspon-
dencia, I = hni / hmi, donde hni hmi, n 6= 1, es decir, I = hni, donde n 6= 1 divide
a m. El primer teorema de isomorfismo da entonces la forma final de las imagenes
homomorfas
Zm /I = (Z/ hmi) / (hni / hmi)

= Z/ hni = Zn ,
donde n es un divisor de m, n 6= 1.
Ilustremos el resultado

para m = 6: divisores de 6: 1, 2, 3, 6; ideales de Z6 :
h1i / h6i = Z/ h6i = Z6 = 1

h2i / h6i = 0, 2, 4 =
2
h3i / h6i = 0, 3 =
3
h6i / h6i = 0 = 0
Imagenes homomorfas de Z6 : (Z/ h6i) / (h2i / h6i)

= Z2
(Z/ h6i) / (h3i / h6i)

= Z3 ,

(Z/ h6i) / (h6i / h6i) = Z6 .
Por lo expuesto al principio se observa que Zm es un anillo conmutativo, even-

tualmente con divisores de cero, y cuyos ideales son todos principales.
Teorema 3.2.12 (Segundo teorema de isomorfismo). Sean A un anillo, S un

subanillo de A e I un ideal bilatero propio de A. Entonces,
(i) S I es un ideal bilatero propio de S.
(ii) S + I := {s + a | s S, a I} es un subanillo de A que contiene a I como

ideal bilatero propio.
(iii) S/ (S I)
= (S + I) /I
Demostracion. (i) y (ii) son verificables de manera inmediata.
(iii) Consideremos el homomorfismo
f: S (S + I) /I
s 7 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 homomorfismos, 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

f: Z A
k 7 k1
es homomorfismo 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 ) = hni,
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 Zn . Notese que Z, Q, R, C son de caracterstica cero, y Zm es de caracterstica m,
m 2. La caracterstica de un anillo A se denota por char(A).
3.3. Ejercicios
3. Sea f : A1 A2 un homomorfismo de anillos y sean {Ii }iC , {Jj }jD

familias de ideales izquierdos (derechos, bilateros) de A1 y A2 , respectivamente.
Demuestre que:
P
1 1
P
(i) jD f (J j ) f jD J j . Si Jj Im (f ) para cada j D, la
igualdad se cumple.
P P
(ii) Si f es sobreyectivo, entonces iC f (Ii ) = f iC Ii .
T T
(iii) f 1 jD J j = jD f 1 (Jj ).
T T
(iv) f iC Ii iC f (Ii ). Si ker(f ) Ii para cada i C, se tiene la
igualdad.
4. Sean R y S anillos conmutativos y sea f : R S un homomorfismo de

anillos: Sean I1 , I2 ideales de R y sean J1 , J2 ideales de S. La imagen de I1
a traves de f no es siempre un ideal de S, sea I1e = hf (I1 )i = Sf (I1 ) el
ideal en S generado por f (I1 ), se dice que I1e es la extensi on del ideal I1
en S. De otra parte, sabemos que f 1 (J1 ) es un ideal de R, y se denomina
la contracci on de J1 en R. La contraccion del ideal J1 se denota por J1c .
Demuestre las siguientes propiedades:
(a) I1ec I1 , J1ce J1 .
(b) I1ece = I1e , J1cec = J1c .
(c) (I1 + I2 )e = I1e + I2e , (J1 + J2 )c J1c + J2c .
(d) (I1 I2 )e I1e I2e , (J1 J2 )c = J1c J2c .
3.3. EJERCICIOS 35
(e) (I1 I2 )e = I1e I2e , (J1 J2 )c J1c J2c .

(f) (I1 : I2 )e (I1e : I2e ), (J1 : J2 )c (J1c : J2c ).
e p e c p c
(g) I1 I1 , J1 = J1 .
5. Determine (si existen!) todos los homomorfismos de anillo de
(i) Z en Q, R, C, H.
(ii) Q en Z, Q, R, C, H, Zn , n 2.
(iii) R en Z, Q, Zn , n 2.
(iv) C en Z, Q, R, Zn , n 2.
(v) H en Z, Q, R, C, Zn , n 2.
(vi) Zn , n 2, en Q, R, 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(AX ) = char (A) = char(Mn AX ), para cada anillo A,
X 6= y n 1.
9. Calcule todas las imagenes homomorfas de Mn (Zm ), n 2, con m = 0 o m 2.

Captulo 4
Producto de anillos
4.1. Definici
on y propiedades elementales
Dada una familia finita de anillos {A1 , . . . , An }, podemos definir sobre el conjunto
producto cartesiano A1 An una estructura de anillo a partir de las estructuras
aditiva y multiplicativa de A1 , . . . , An . En efecto, el conjunto A1 An consta
de n-plas (a1 , . . . , an ) de elementos con ai Ai , 1 i n; dos de tales n-plas
(a1 , . . . , an ) y (b1 , . . . , bn ) son iguales si, y solo si, ai = bi para cada 1 i n. La
adicion y multiplicacion se definen por componentes:
(a1 , . . . , an ) + (b1 , . . . , bn ) := (a1 + b1 , . . . , an + bn )

(a1 , . . . , an ) (b1 , . . . , bn ) := (a1 b1 , . . . , an bn ),
en donde las sumas y productos de la derecha son en general diferentes y se realizan

en los respectivos anillos A1 , . . . , An .
Dejamos al lector la comprobacion de que las operaciones definidas anteriormente
dan alQproducto una estructura de anillo. Este anillo sera denotado por A1 An ,
o por ni=1 Ai , y se denomina anillo producto de la familia {A1 , . . . , An }, 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.
Proposicion 4.1.1. Sea {A1 , . . . , An } una familia finita de anillos arbitrarios, n

1. Entonces,
(i) ni=1 Ai es conmutativo si, y s

Q
olo si, Ai es conmutativo, para cada 1 i n.
36
Y PROPIEDADES ELEMENTALES
4.1. DEFINICION 37

(ii) (a1 , . . . , an ) ( ni=1 Ai ) si, y s
olo si, ai Ai , para cada 1 i n.
Q
(iii) Se tiene el isomofismo de grupos
( ni=1 Ai )

= A1 An .
Q
(iv) Para n 2, el anillo producto ni=1 Ai siempre tiene divisores de cero.

Q

Proposici on 4.1.2. Sea {A1 , . . . , An }, n 1, una familia de anillos. Entonces,
ateros) del anillo producto ni=1 Ai , son de
Q
(i) Los ideales izquierdos (derechos, bil
la forma
I1 In := {(a1 , . . . , an ) | ai Ii },
donde cada Ii es un ideal izquierdo (derecho, bil

atero) del anillo Ai .
(ii) Si I1 , . . . , In son ideales bil
ateros propios de A1 , . . . , An respectivamente, en-
tonces
A1 An /I1 In
= (A1 /I1 ) (An /In ) .
(iii) Si para cada 1 i n, Ai Q es un anillo de ideales izquierdos (derechos,

bilateros) principales, entonces ni=1 Ai 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 Qn Ai es un anillo de ideales bilateros
principales, entonces sea I un bilatero de i=1 Ai , segun (i) I es de la forma I =
I1 In = ha1 i han i, luego
I = h(a1 , . . . , an )i.
En efecto, cada x ha1 i han i es de la forma
m1 mn
!
X (1) (1)
X (n) (n) (i) (i)
x= b k a1 c k , . . . , b k an c k , b k , c k Ai .
k=1 k=1
Sin perdida de generalidad podemos suponer que m1 = m2 = = mn = m, de

donde
Xm
(1) (n) (1) (n)
x= bi , . . . , b i (a1 , . . . , an ) ci , . . . , ci h(a1 , . . . , an )i .
i=1
38 CAPITULO 4. PRODUCTO DE ANILLOS
Observaci on 4.1.3. El producto de anillos se puede extender a una familia arbi-

traria no vaca de anillos definiendo las operaciones por componentes; en particular,
notese que el anillo producto de una familia de anillos iguales {Ai }iC , Ai := A,
coincide con el anillo de funciones de C en A, es decir,
C
Q
iC Ai = A = {f : C A|f es una funci on}.
4.2. Teorema chino de residuos

Para n 2 y
n = pr11 prkk ; pi primo, ri 1, 1 i k,
la descomposicion de n en producto de primos, se tiene el isomorfismo de grupos
Zn
= Zpr11 Zprkk .
Puesto que nosotros estamos considerando a Zn como un anillo, preguntamos si

el isomorfismo anterior es valido tambien considerando los objetos como anillos.
Por medio del torema chino de residuos daremos una respuesta afirmativa a esta
pregunta.
Teorema 4.2.1 (Teorema chino de residuos). Sea A un anillo y sean I1 , . . . , In ,

n 2, ideales bilateros de A tales que Ii + Ij = A, para cualesquiera ndices i 6= j
Entonces, dada una familia finita de elementos a1 , . . . , an A, existe un elemento
a A, tal que a ai Ii para cada 1 i n.
Demostracion. Sean I1 , I2 ideales de A tales que I1 + I2 = A, y sean a1 , a2 elementos

cualesquiera de A. Existen elementos b1 I1 , b2 I2 tales que 1 = b1 + b2 . El
elemento a := a2 b1 + a1 b2 satisface la condicion pedida. En efecto,
a a1 = a2 b1 + a1 (b2 1) = a2 b1 + a1 (b1 ) = (a2 a1 ) b1 I1 .
Analogamente, a a2 I2 . Sean I1 , . . . , In y a1 , . . . , an ideales y elementos de A
que satisfacen las hipotesis del teorema.
Qn Para i 2 existen xi I1 , bi Ii tales que
xi + bQ
i = 1. Resulta entonces que i=2 (xi + bi ) = 1, y este producto est a en el ideal
I1 + ni=2QIi . Por lo demostrado para dos ideales, existe z1 A tal que z1 1 I1 y
n Qn
z1 0 i=2 Ii . Pero como i=2 Ii Ii para cada 2 i n, entonces resulta
z1 1 I1 y z1 Ii , para i 2.
Q Q
Podemos repetir la prueba para las parejas de ideales (I2 , i6=2 Ii ), . . . , (In , i6=n Ii ),
y encontramos elementos z2 , . . . , zn A tales que
zj 1 Ij y zj Ii , para i 6= j.
4.3. EJERCICIOS 39
Comprobemos que el elemento a := a1 z1 + + an zn satisface la condicion exigida:

a ai = a1 z1 + + ai1 zi1 + ai (zi 1) + ai+1 zi+1 + + an zn
Como zj Ii para i 6= j y zi 1 Ii , entonces a ai Ii , para 1 i n.
Corolario 4.2.2. Sean A e I1 , . . . , In como en el enunciado del teorema anterior.

Entonces,
(i) La funcion definida por

Qn
f: A i=1 A/Ii
a 7 f (a) := (a, . . . , a) , con a := a + Ii
es un homomorfismo sobreyectivo de anillos.
(ii) ker (f ) = ni=1 Ii .

T
(iii) A/ ni=1 Ii
T Qn
= i=1 A/Ii .
Ejemplo 4.2.3. Sea n = pr11 prkk , pi primo, ri 1, 1 i k, se tiene entonces el

isomorfismo de anillos
Zn
= Zpr11 Zprkk .
En efecto, basta considerar en el corolario anterior,
Ii := hpri i i, 1 i k,
y entonces
Tn D E
ri k
I
i=1 i = m.c.m. {p i i=1 = hni.
}
4.3. Ejercicios
2. Demuestre el corolario 4.2.2.
3. Si A1 y A2 son anillos de caracterstica n1 6= 0 y n2 6= 0, respectivamente,

entonces char (A1 A2 ) es el mnimo com un m ultiplo de n1 y n2 . De otra
parte, si n1 = 0 o n2 = 0, entonces la caracterstica del anillo producto es cero.
4. Sean A, A1 , . . . , Ak anillos tales que

40 CAPITULO 4. PRODUCTO DE ANILLOS
A
= A1 Ak .
Pruebe el isomorfismo
Mn (A)
= Mn (A1 ) Mn (Ak ), n 1.
5. Determine todos los ideales de Q Zn , 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.
Definici
on 5.1.1. Sean A un anillo e I un ideal bil
atero propio de A.
(i) Se dice que I es un ideal maximal de A si para cada ideal bil

atero 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 I1 e I2 ideales

bilateros de A se tiene que
I1 I2 I I1 I, o, I2 I.
Proposici
on 5.1.2. Sean A un anillo e I un ideal bil
atero propio de A.
(i) Si I es completamente primo, entonces I es primo. Adem

as, si A = R es
conmutativo, la afirmacion recproca es v
alida.
(ii) I es completamente primo si, y s

olo si, A/I no posee divisores de cero. Si
A = R es conmutativo, se cumple que
41
42 CAPITULO 5. IDEALES PRIMOS Y MAXIMALES
I es primo si, y s
olo 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 s
olo si, R/I es un cuerpo.
(iv) El ideal nulo 0 es completamente primo si, y s

olo si, A es anillo sin divisores
de cero. En el caso conmutativo, 0 es primo si, y s
olo si, R es un dominio de
integridad.
(v) El ideal nulo es maximal si, y s

olo si, A es un anillo simple. En el caso con-
mutativo se tiene que
0 es maximal si, y s
olo 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 I1 , I2 ideales de A tales que

I1 I2 I, supongase que I1 no esta contenido en I, es decir, existe a I1 , a / I.
Sea b un elemento cualquiera de I2 , puesto que ab I1 I2 I, entonces b I. De
aqu obtenemos que I2 I. Sea ahora R un anillo conmutativo y sean a, b R tales
que ab I. Entonces, habi = hai hbi I, con lo cual hai I, o, hbi 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 + hxi contiene propiamente a L, luego A = L + hxi. Existen y L y
z hxi 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 6= 0 en R tal que I = hai . Sea J
un ideal de R tal que I J; J es tambien de la forma J = hbi, b R, b 6= 0. Resulta
5.1. DEFINICIONES Y EJEMPLOS 43
entonces que a = bc, con c R, es decir, bc hai. De aqu obtenemos que b hai, o,
c hai, con lo cual hbi = hai, o, c = aa0 , a0 R. En la segunda posibilidad, c = bca0 ,
es decir, c (1 ba0 ) = 0. Como c 6= 0, entonces b R y hbi = 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 hpi, 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 Zm
son de la forma hni con n | m. Del punto (iii) de la proposicion anterior resulta que
los ideales maximales de Zm son de la forma hpi, 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
u
nico ideal maximal y el u nico ideal primo de Zm .
Ejemplo 5.1.5. Los ideales maximales del anillo de matrices Mn (A), n 2, son
de la forma Mn (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 Mn (Z) , n 2: de los ejemplos 5.1.3
y 5.1.5 obtenemos que los ideales maximales de Mn (Z) son de la forma Mn (hpi),
con p primo. Observese que el ideal nulo de Mn (Z) es primo y, sin embargo, no es
maximal. En efecto, sean Mn (hri) , Mn (hsi) ideales bilateros de Mn (Z) tales que
Mn (hri) Mn (hsi) 0. Teniendo en cuenta que
Mn (hri) Mn (hsi) = Mn (hrsi),
resulta hrsi = 0, con lo cual hri = 0, o, hsi = 0. Mostremos ahora que los ideales
primos no nulos coinciden con los maximales: sabemos ya que todo maximal 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 Mn (hri) Mn (hsi) = Mn (hpi); pero ni Mn (hri), ni Mn (hsi)
estan contenidos en Mn (hpi) . En efecto, rE11 Mn (hri), pero rE11 / Mn (hpi);
sE11 Mn (hsi) y sE11 / Mn (hpi). Resulta entonces que Mn (hpi) no es primo.
Ejemplo 5.1.7. Ideales maximales y primos de Mn (Zm ) , 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 Mn (Zm ) son de la forma Mn (hpi), p | m, p primo. Estos ide-
ales coinciden con los primos. En efecto, como todo maximal
es primo, veamos que
estos son los u
nicos ideales primos de Mn (Zm ): sea Mn k un ideal de Mn (Zm ),
con k no primo. Existen
entonces
1 < r, s < k tales que k = rs; notese que
Mn (hri) Mn (hsi) = Mn k , y sin embargo ni Mn (hri), ni Mn (hsi) estan con-

tenidos en Mn k . En efecto, notemos que rE11 / Mn k y sE11 / Mn k
(en caso contrario r = t k, 0 t m 1, 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 con-
tradictorio. De manera analoga se establece que sE11 / Mn k ). Esto demuestra

que Mn k no es primo. Resta observar que el ideal nulo no es primo ya que m
no es primo.
Si m es primo, 0 es el u
nico ideal primo y el unico ideal maximal en Mn (Zm ).
Comparense estos resultados con el ejemplo 5.1.4.
Ejemplo 5.1.8. Ideal primo no completamente primo: sean A un anillo y Mn (A)

su anillo de matrices de orden n 2. Notese que Mn (A) no posee ideales com-
pletamente primos. En efecto, si I 6= A es un ideal bilatero de A tal que Mn (I)
es completamente primo, entonces Mn (A) /Mn (I) = Mn (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 Mn (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, Mn (hpi) es maximal de Mn (Z), sin embargo,
como acabamos de ver, no es completamente primo.
5.2. Comportamiento a trav

es de homomorfismos
Queremos estudiar ahora el comportamiento de los ideales completamente primos,
primos y maximales a traves de homomorfismos.
Proposici on 5.2.1. Sea f : A1 A2 un homomorfismo de anillos, y sean I y J

ideales bilateros propios de A1 y A2 , 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.
(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.

DE HOMOMORFISMOS
5.2. COMPORTAMIENTO A TRAVES 45
(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 homomorfismo compuesto jf :
f j
A1 A2 A2 /J ,
ucleo f 1 (J). El
donde j es el homomorfismo canonico, jf es sobreyectivo y con n
isomorfismo
A2 /J
= A1 /f 1 (J)
garantiza que A1 /f 1 (J) es simple y, en consecuencia, f 1 (J) es maximal.
(ii) El homomorfismo sobreyectivo jf tiene por n ucleo I:
f j
A1 A2 A2 /f (I) ,
De esto obtenemos que A1 /I = A2 /f (I), y as f (I) es maximal.
1
(iii) Si ab f (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 I1 , I2 ideales bilateros de A1 , tales que I1 I2 f 1 (J). Entonces por
la sobreyectividad de f se tiene que f (I1 ) f (I2 ) J, y f (I1 ) , f (I2 ) son ideales
bilateros de A2 . Como J es primo, f (I1 ) J, o, f (I2 ) J. De aqu resulta
I1 f 1 (f (I1 )) f 1 (J), o, I2 f 1 (f (I2 )) f 1 (J) .
(vi) Sean J1 , J2 ideales bilateros de A2 tales que J1 J2 f (I), entonces f 1 (J1 J2 )
f 1 (f (I)). Pero f 1 (f (I)) = I. Ademas, f 1 (J1 ) f 1 (J2 ) f 1 (J1 J2 ) I,
y como I es primo, entonces f 1 (J1 ) I, o, f 1 (J2 ) I. Nuevamente, por la
sobreyectividad de f se tiene que J1 f (I), o, J2 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
: Z Q
k 7 k
0 es maximal en Q, pero 1 (0) = 0 no es maximal en Z. De otra parte, notese que

para el homomorfismo canonico
: Z Z8
k 7 k = k + h8i
h7i es maximal en Z, pero (h7i) = Z8 . Observese que ker () = h8i no esta contenido
en h7i.
El ejemplo 5.1.8 pone de manifiesto 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 P el conjunto de ideales bilateros propios de A;

notese que P =
6 ya que 0 P. Respecto a la relacion de inclusion , P es un
conjunto parcialmente ordenado. Sean S un subconjunto totalmente ordenado de P
e
S
I0 := JS J
la reunion de los ideales de S. I0 es un ideal bilatero propio de A. En efecto, si
a, b I0 entonces existen ideales bilateros J1 , J2 S tales que a J1 , b J2 , por
el orden total podemos suponer por ejemplo que J1 J2 , con lo cual a + b J2
I0 . Analogamente, si a I0 y x A, existe J S tal que a J, de aqu obtenemos
que ax, xa J I0 . I0 es propio debido a la escogencia de los elementos de P.
Evidentemente I0 es cota superior de S. De acuerdo con el lema de Zorn, existe un
ideal bilatero I en P que es elemento maximal respecto a la inclusion. Puesto que la
maximalidad se definio 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 est

a contenido en un ideal maximal.
(ii) Cada elemento no invertible de R est

a contenido en un ideal maximal (R es
un anillo conmutativo).
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 homomorfismo canonico.
(ii) Sea x un elemento no invertible de R; entonces hxi =6 R, y por el numeral
anterior, hxi esta contenido en un ideal maximal de R.
DE HOMOMORFISMOS
5.2. COMPORTAMIENTO A TRAVES 47
Ejemplo 5.2.6. El anillo de matrices Mn (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 E11 no es invertible y el u
nico ideal maximal de Mn (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 R R , entonces x / R y en consecuencia x pertenece a alg un ideal maximal,
nico es J, luego x J. Hemos probado que J = R R . Supongamos ahora
pero el u
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 Zm , m 2, es local

si, y solo si,, m es de la forma m = pk , k 1, con p primo. El ideal maximal es
J = hpi. Ilustremos estos resultados con p = 2, k = 3:
Z8 = 1, 3, 5, 7 , Z Z8 = 0, 2, 4, 6 = 2 .

Qn maximales del anillo producto: sea {A1 , . . . , An } una familia

Ejemplo 5.2.9. Ideales
finita de anillos y i=1 Ai su anillo producto. Para cada 1 i n, la proyeccion
Qn
i : i=1 Ai Ai
(a1 , . . . , an ) 7 ai
es un homomorfismo sobreyectivo de anillos. Fijemos el ndice i y sea Ii un ideal

maximal de Ai . Entonces i1 (Ii ) = A1 Ii Q
An , y seg
un la proposicion
n
5.2.1, este ultimo producto
Qn es un ideal maximal de i=1 Ai . Recprocamente, sea
J un ideal maximal de i=1 Ai . Seg un la proposicion 4.1.2, J es de la forma J =
I1 In , donde Ii es un ideal bilatero de Ai , 1 i n. Existe alg un i,
1 i n, tal que Ii 6= Ai , ya que en caso contrario J no sera propio. Notese que
necesariamente Ij = Aj para cada j 6= i, es decir, J = A1 Ii An . En
efecto, si para algun j 6= i, Ij 6= Aj , entonces,
Qn
J A1 Ai Ij An i=1 Ai
y J no sera maximal. Por u ltimo J ker (i ) = A1 0 An y, seg

un
la proposicion 5.2.1, i (J) = Ii es maximal en Ai . Esto completa la prueba de la
descripcion de los ideales maximales del anillo producto. Observese que
A1 An /A1 Ii An
= Ai /Ii ,
para cada ideal propio Ii de Ai , 1 i n.
Qn Si tomamos en particular una coleccion finita de cuerpos T1 , . . . , Tn , entonces
i=1 Ti tiene n ideales maximales: 0T2 Tn , T1 0 Tn , T1 T2 0;
la interseccion de los cuales es nula. Un anillo A es semilocal si su coleccion de
ideales maximales es finita.
5.3. Ejercicios
1. Sean A un anillo y P un ideal bilatero propio de A. Demuestre que P es primo
si, y solo si, para cada par de elementos a, b A se cumple
aAb P a P o b P .
2. Sean A un anillo y P un ideal bilatero propio de A. Demuestre que P es

primo si, y solo si, para cada par de ideales derechos I, J de A se tiene que
IJ P I P o J P . Demuestre esta misma propiedad para ideales
izquierdos.
3. Sean A un anillo y P un ideal bilatero propio de A. P es primo si, y solo si,
para cada par de ideales bilateros I, J de A que contengan propiamente a P
se tiene que IJ * P .
4. Un anillo A es primo si el ideal nulo es primo. Sea I un ideal propio de A.
Demuestre que I es primo si, y solo si, A/I es un anillo primo.
5. Sea R un anillo conmutativo y sean P1 , . . . , Pn ideales primos de R. (i) Suponga
que I es un ideal de R contenido en ni=1 Pi . Pruebe que existe i tal que I Pi .
(ii) Sean I1 , . . . , It ideales de R y sea P un ideal primo de P que contiene
a tj=1 Ij . Pruebe que existe j tal que P Ij . (iii) Si P = tj=1 Ij , entonces
pruebe que existe j tal que P = Ij .
6. Sea R un anillo conmutativo en el que cada elemento x satisface la condicion
xn = x, para alg
un n > 1 (dependiente de x). Demuestre que todo ideal primo
de R es maximal.
7. 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 rn = 0).

8. 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.

Definicion 6.1.1. Sea R un dominio de integridad y sean a, b R con a =
6 0. Se
ultiplo de a, lo cual denotaremos por a | b, si
dice que a divide b, o que b es m
existe c R tal que b = ac.
Ejemplo 6.1.2. En Z, 2 | 6, 2 - 5. En Z7 , 2 | 6 y 2 | 5 ya que 6 = 2 3, 5 = 2 6.
Definicion 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.
Definicion 6.1.5. Sea R un DI. Un elemento a no nulo y no invertible de R, se

dice irreducible si sus u
nicos divisores son los triviales.
Ejemplo 6.1.6. En Z, 2 es irreducible, 6 no es irreducible. En un anillo de division,

por definicion, no hay elementos irreducibles. As pues, en Q, R y C no hay elementos
irreducibles.
49
50 CAPITULO 6. DOMINIOS DE INTEGRIDAD
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 adici on y mul-
tiplicacion de complejos. Notese que 2 es un elemento irreducible de Z 3 , pero

7 no lo es. En efecto, si definimos la norma de z = a + b 3 , a, b Z, por

N (z) := zz = a + b 3 a b 3 = a2 + 3b2
podemos observar que
N (z1 z2 ) = N (z1 ) N (z2 ),

para cualesquiera z1 , z2 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) esun entero no negativo se obtiene que a2 + 3b2 = 1,

con lo cual z = 1 y Z 3 = {1, 1}.

Podemos probar las afirmaciones formuladas antes: sea z = a + 3 , a,b Z,
b
tal que z | 2. Existen entonces a0 , b0 Z tales que 2 = a + b 3 a0 + b0 3 .
De aqu obtenemos 4 = (a2 + 3b2 ) (a20 + 3b20 ). Se presentan entonces tres casos:
(i) a2 + 3b2 = 4, a20 + 3b20 = 1,

(ii) a2 + 3b2 = 1, a20 + 3b20 = 4,
(iii) a2 + 3b2 = 2, a20 + 3b20 = 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, a0 = 1, b0 = 0; o tambien,
a = 2, b = 0, a0 = 1, b0 = 0, a = 2, b = 0, a0 = 1, b0 = 0, es decir, los unicos
divisores de 2 son los triviales.
ltimo que 7 = 2 + 3 2 3 , pero 2 + 3 y 2 3
Notese por u
no son divisores triviales de 7.
Definicion 6.1.8. Diremos que el elemento no nulo a de R es primo si hai 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 hai es primo entonces hai = / R . Sea m R
6 R y as a
un divisor de a; entonces a = mn, n R, y en el cociente R/ hai resulta 0 = m n,
con lo cual m = 0, o, n = 0, es decir, m hai, o, n hai. 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.
6.2. DOMINIOS GAUSSIANOS 51
Ejemplo 6.1.10. Observese que el recproco de lo afirmado en la proposicion an-

terior
no siempre es cierto, como lo muestra el ejemplo anterior: 2 es irreducible en
Z 3 pero h2i no es un ideal primo:

1 + 3 1 3 = 4 h2i, pero 1 + 3 , 1 3 / h2i.
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.
Definicion 6.2.1. Sea R un DI; se dice que R es un dominio euclidiano (DE) si
existe una funcion d definida 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|, verificandose as la primera condicion de la definicion anterior. Sean
ahora, a, b enteros con b 6= 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 + 6= . 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) (a2 ) ba,
de donde a b (a2 ) a ba = a (1 b) 0 (La u ltima desigualdad es cierta ya
que b > 0 implica b 1, 1 b 0, a (1 b) 0). Tomando x = a2 resulta que
tambien en este caso a b (a2 ) M + .
Como el conjunto de los enteros no negativos es bien ordenado, concluimos que
+
M tiene un primer elemento r0 . Sea q0 Z tal que r0 = a bq0 . Tenemos entonces
que a = bq0 + r0 con r0 0. Supongamos que r0 b. Entonces, a bq0 b,
es decir, a b (q0 + 1) 0 y as a b (q0 + 1) M + . Por la condicion de r0 ,
a b (q0 + 1) r0 = a bq0 , con lo cual b 0 y se obtiene una contradiccion.
a = bq0 + r0 , donde r0 = 0, o, 0 < r0 < 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 (a2 ) (1) (a2 ) = a2 , b (a2 ) 0.
Tomando x = a2 encontramos que b (a2 ) a N + . Sea t1 el primer elemento
de N + y q1 Z tal que t1 = bq1 a. Resulta de aqu que a = bq1 t1 con t1 0.
Supongase que t1 b, entonces, t1 b, bq1 a b, b (q1 + 1) a N + y,
por la escogencia de t1 , b (q1 + 1) a t1 = bq1 a, es decir, b 0 lo cual es una
contradiccion. Se tienen pues en este segundo caso enteros q1 , t1 tales que
a = bq1 + (t1 ), donde t1 = 0, o, b < t1 < 0.
De los dos casos considerados resulta que dados a, b Z con b 6= 0, existen q, r Z
tales que:
a = bq + r, con r = 0, o, |r| < |b|,
cumpliendose as la segunda condicion de la definicion 6.2.1.
Definici
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 m
aximo comun divisor de los elementos a y b, si:
(i) d | a y d | b.
(ii) Cada elemento c R que divida simult

aneamente 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 m
aximo com
un divisor d,
el cual se puede expresar en la forma
d = ra + sb, r, s R.
(ii) El elemento a 6= 0 de R es irreducible si, y s

olo si, hai 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: ha, bi = hdi. Veamos que
d = m.c.d. (a, b). a, b hdi implica que d | a, d | b. Como d ha, bi, 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 definicion de irreducible, a / R , con lo cual hai = 6 R. Sea I un
ideal de R que contiene a hai; existe entonces b R tal que I = hbi hai. Resulta
entonces que b | a y, por ser a irreducible, b R o bien b a. En el primer caso
hbi = R y en el segundo caso hbi = hai. Esto prueba que a es maximal.
) Sea a 6= 0 tal que hai es maximal. Entonces, a / R ; si c R es tal que c | a,
entonces hci hai. La maximalidad de hai implica que hci = R, o, hci = hai. 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), hpi es
primo con hai hbi = habi hpi, es decir, p | a, o, p | b.
Definicion 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 = p1 pn , pi irreducible de R, 1 i n.
(ii) Si a posee otra descomposici

on en irreducibles
a = q1 qm , qi irreducible de R, 1 i m,
on de ndices, pi qi , 1 i n.
entonces m = n y, despues de una reordenaci
Observaci on 6.2.6. De la definicion anterior se desprende que en un DG dos

descomposiciones del elemento a solo difieren en un factor invertible. En efecto,
seg
un (i) y (ii) de la definicion,
qi = pi ui , ui R , 1 i n;
de aqu resulta entonces que a = q1 qm = p1 u1 pn un = (p1 pn ) u, donde

u = u 1 un R .
Proposici on 6.2.7. Sea R un DI en el cual se cumplen la condici on (i) de la

definicion anterior y la condici
on (iii) de la proposici
on 6.2.4. Entonces, R es un
DG. Recprocamente, en todo DG se cumple la propiedad (iii) de la proposici on
mencionada.
Demostracion. La prueba de la primera parte la realizamos por induccion sobre

el numero n de factores irreducibles que intervienen en la descomposicion de un
elemento a de R, a 6= 0, a / R . n = 1: sea a = p = q1 qm , donde p, q1 qm son
irreducibles de R. Si m 2, entonces por la irreducibilidad de p se debe tener que
q1 = pu con u R . Ya que R es un DI resulta entonces que 1 = uq2 . . . qm , con
lo cual q2 R . Pero esto es contradictorio, ya que por hipotesis q2 es irreducible.
As pues, m = 1 y p q1 .
Supongase ahora que la condicion (ii) de la definicion 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 = p1 pn = q1 qm , pj ,qj irreducibles 1 i n, 1 j m.
Como p1 | q1 (q2 . . . qm ), entonces p1 | q1 , o, p1 | q2 qm . Resulta entonces que

p1 qi para alg un 1 i m. Podemos reordenar los irreducibles q1 , . . . , qm y
considerar que p1 q1 . Entonces, p1 pn = (p1 u) q2 qm , p2 pn = (uq2 ) qm ,
con u R . Puesto que uq2 , , qm son irreducibles, entonces, aplicando la hipotesis
inductiva, encontramos que n 1 = m 1 y p2 uq2 , . . . , pn qn . En total
p1 q1 , . . . , pn qn , 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 = p1 . . . pn , b =
q1 . . . qm , m, n 1, las descomposiciones irreducibles de a y b, respectivamente.
Entonces, p1 pn q1 qm = pc, c R. Por la unicidad de las descomposiciones
irreducibles existe pi , o, qj tal que p pi , o, p qj , es decir, p | a o p | b.
Establecemos ahora la relacion existente entre los tres tipos de dominios de

integridad anteriormente definidos.
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 6= 0}.

Puesto que d (I) es un conjunto de enteros no negativos, entonces d (I) tiene un

primer elemento d (a0 ) , a0 I, a0 6= 0. Sea a un elemento cualquiera de I. Entonces,
a = ma0 + r, con m, r R, r = 0, o, d (r) < d (a0 ). Por la escogencia de a0 , r debe
ser nulo y as, a = ma0 . Esto prueba que I = ha0 i. Si I = 0, entonces I = h0i .
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 definicion de DG. Notese en primer lugar que si R es un DIP
entonces cada cadena ascendente de ideales de R
ha1 i ha2 i han i
se detiene, es decir,Sexiste un n natural tal que hak i = han i, para cada k n. En
efecto, la reunionS iN hai i es un ideal de R y por tanto, generado por un cierto
elemento a R, iN hai i = hai . S Existe entonces un n N tal que a han i; de
aqu resulta que hai han i hai y iN hai i = han i. Para k n, hak i han i hak i,
es decir, hak i = han i, 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 a1 , b1 R no nulos y no invertibles tales que a = a1 b1 . Notese que
hai esta contenido propiamente en ha1 i. Al menos uno de a1 , b1 no es producto
de elementos irreducibles, sea por ejemplo a1 . Aplicando al elemento a1 el mismo
razonamiento que para a resulta una cadena infinita de ideales
hai ha1 i ha2 i ...
la cual no se detiene, contradiciendo lo probado al principio de esta demostracion.
La finitud 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.
Proposicion 6.2.10. Sea R un anillo conmutativo. Entonces, en R cada cadena
ascendente de ideales se detiene si, y s
olo si, en cada colecci
on no vaca de ideales
de R hay un elemento maximal.
Demostracion. Sean C una coleccion no vaca de ideales de R e I1 C. Si I1 es
maximal en C no hay nada que probar. Sea entonces I2 C tal que I1 I2 . Si I2
es maximal en C 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 C hay un elemento maximal.
De otra parte, si existe una cadena ascendente de ideales de R que no se detiene
I1 I2 In In+1
entonces en la coleccion C := {Ii }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 finito de elementos primos de R.
Demostracion. (i) Sean a, b R tales que ab hpi. 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
a1 an b1 bl = pm. Entonces, pm ha1 i, con lo cual p ha1 i, o, m ha1 i. En el
primer caso, como p es irreducible, a1 p y p | a1 . En el segundo existe n1 R tal
que m = a1 n1 , de donde a2 an b1 bl = pn1 . 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 Anillos conmutativos.
Ademas,
(i) Si n 2 y n no es primo, entonces Zn es un anillo conmutativo que no es DI.

(ii) Z 3 es un DI que no es DG:

4=22= 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 coeficientes 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].
6.3. EJERCICIOS 57
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 hai hbi es principal.
Captulo 7
Anillos de fracciones: caso

conmutativo
La construccion del cuerpo Q de los n

umeros racionales por medio de una relacion
de equivalencia definida sobre el producto cartesiano Z (Z {0}), 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
Definici
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 est

a en S.
(ii) 0
/ S.
(iii) 1 S.
Proposicion 7.1.2. Sea R un anillo conmutativo y S un subconjunto multiplicativo

de R. La relacion definida 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 reflexiva 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
58
Y PROPIEDADES
7.1. CONSTRUCCION 59
aturv = bsurv y brvus = ctvus; en vista de la conmutatividad obtenemos ar (vtu) =

cs (vtu), con lo cual (a, s) (c, r) ya que vtu S.
La relacion determina una particion del conjunto RS en clases de equivalencia.
Denotemos por as 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 b at + bs a b ab
+ := , := (7.1.2)
s t st st st
definen 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 verificar inicialmente que las operaciones estan definidas correc-
a1 a2 b 1 b 2 a1 a2 b1 b2
tamente. Sean , , , fracciones tales que = y = . Entonces
s1 s2 t1 t2 s1 s2 t1 t2
existen elementos u, v S tales que a1 s2 u = a2 s1 u, b1 t2 v = b2 t1 v. De aqu re-
sulta va1 s2 ut1 t2 = va2 s1 ut1 t2 y ub1 t2 vs1 s2 = ub2 t1 vs1 s2 ; sumando obtenemos
a1 b1 a2 b2
(a1 t1 s2 t2 + b1 t2 s1 s2 ) vu = (a2 s1 t1 t2 + b2 t1 s1 s2 ) vu, con lo cual + = + ,
s1 t1 s2 t2
a1 b 1 a2 b 2
ya que vu S. De manera similar se establece que = . De otra parte,
s1 t1 s2 t2
las propiedades asociativa, conmutativa y distributiva de las operaciones definidas
en (7.1.2), se desprenden de las respectivas propiedades de las operaciones del anillo
R. La verificacion completa de dichas propiedades queda a cargo del lector. Notese
que el cero y el uno del anillo RS 1 son las fracciones 01 y 11 , respectivamente. Por
ltimo, observese que as = a
u s
.
De la construccion anterior se obtienen las siguientes propiedades.
Corolario 7.1.4. La funcion
: R RS 1
a (7.1.3)
a 7 1
cumple las siguientes propiedades:
(i) es un homomorfismo 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

60 CAPITULO 7. ANILLOS DE FRACCIONES: CASO CONMUTATIVO
(a) (s)1 , a R, s S.
(v) es inyectiva S no posee divisores de cero.
(vi) es biyectiva S R .
a+b a b ab ab
Demostracion. (i) (a + b) = = + = (a) + (b); (ab) = = =
1 1 1 1 11
1
(a) (b); (1) = .
1
s s 1 1 1
(ii) Sea s S, (s) = y = , es decir, (s) (RS 1 ) con (s)1 = .
1 1 s 1 s
a 0
(iii) (a) = 0 = au = 01 = 0, para alg un u S.
1 1
a a a1
(iv) Sea RS 1 ; entonces = = (a) (s)1 .
s s 1s
(v) Es equivalente a (iii).
(vi) Evidente.
Segun 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 R0 un homomor-
fismo de anillos tal que g (S) R0 . Entonces, existe un u
nico homomorfismo
1
h : RS R0 tal que h = g. Adem as, si g es inyectivo, entonces h
tambien es inyectivo.
Demostracion. Existencia. Definimos
h as := g (a) g (s)1 , a R, s S.

a1 a2
Veamos primero que h esta bien definida. Si = , entonces existe u S tal
s1 s2

g (u)
que a1 s2 u = a2 s1 u, de aqu resulta g (a1 ) g (s2 ) = g (a2 ) g (s1 ), ya que R0 .
Podemos entonces escribir g (a1 ) g (s1 )1 = g (a2 ) g (s2 )1 , es decir, h as11 = h as22 .
h es un homomorfismo de anillos:

a b at + bs
h + =h = g (at + bs) g (st)1
s t st
= (g (a) g (t) + g (b) g (s)) g (s)1 g (t)1
= g (a) g (s)1 + g (b) g (t)1
a
b
=h +h ;
s t
Y PROPIEDADES
7.1. CONSTRUCCION 61

ab
h = g (a) g (b) g (s)1 g (t)1
st
a b
=h h ;
s t

1
h = g (1) g (1)1 = 1
1
Sea ahora a R; h (a) = h a1 = g (a),es decir, h = g.

Unicidad. Sea f : RS 1 R0 un homomorfismo 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( as ) = h(x), as, f = h.

ltimo notemos que si h as = 0, entonces g (a) g (s)1 = 0, es decir, g (a) =

Por u
0; como g es inyectiva, a = 0 y as = 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 del teorema anterior.
Corolario 7.1.7. Sea R0 un anillo y g : R R0 un homomorfismo tal que
g (S) R0 y R0 tambien cumple la propiedad universal del teorema 7.1.5. Entonces,
R0 = RS 1 .
Demostracion. Como RS 1 tiene la propiedad universal, existe un homomorfismo
h : RS 1 R0 tal que h = g (teorema 7.1.5), de igual manera, como R0 tambien
tiene la propiedad universal, entonces existe un homomorfismo t : R0 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 = iR0 y th = iRS 1 , es decir, h es un
isomorfismo.
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. El teorema 7.1.3 y el siguiente resultado prueban
la existencia y unicidad de tales anillos de fracciones.
Teorema 7.1.9. Sean R0 un anillo y g : R R0 una funci on que satisface
las condiciones (i)-(iv) del Corolario 7.1.4. Entonces, existe un u
nico isomorfismo
h : RS 1 R0 tal que h = g, donde es el homomorfismo definido en
(7.1.3).
Demostracion. Por el teorema 7.1.5, existe un u nico homomorfismo h : RS 1 R0

h = g. Resta ver que h es un isomorfismo. Sean a R, s S tales que
tal que
h as = 0. Entonces, g (a) g (s)1 = 0 y as g (a) = 0. Existe entonces u S tal que
au = 0 y as = 01 . Sea ahora x R0 ; 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 a1 h 1s = h as ,

con lo cual h es inyectivo y sobreyectivo.
7.2. Ejemplos
Terminamos este captulo ilustrando con suficientes ejemplos la construccion reali-
zada.
Ejemplo 7.2.1. Anillo total de fracciones: sean R un anillo conmutativo y
S0 := {a R| a no es divisor de cero} ; (7.2.1)
notese que S0 es un subconjunto multiplicativo de R y, seg un el corolario 7.1.4, R
1
se puede sumergir en Q(R) := RS0 . Si S0 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 S0 son invertibles.
Ejemplo 7.2.2. Cuerpo de fracciones de un DI: si R es un dominio de inte-
gridad, entonces el conjunto S0 definido en (7.2.1) es S0 = R {0}. El anillo clasico
de fracciones Q(R) en este caso es un cuerpo. Notese ademas que Q(R) es el menor
cuerpo que contiene a R. Notemos en particular que Q(Z) = Q. Resulta entonces de
lo dicho que, salvo isomorfismo, Q es el menor cuerpo que contiene a Z. Por u ltimo,
observese que si R es un DI y S0 = R {0}, entonces en la relacion (7.1.1) podemos
suprimir u, y escribir sencillamente at = bs.
Ejemplo 7.2.3. Lozalizaci on 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 RP :
RP = as | a R, s

/P .
El anillo de fracciones RP es local (vease el ejemplo 5.2.7). En efecto, el conjunto
P RP := as | a P, s

/P
es un ideal de RP que cumple P RP = RP RP .
Como P RP es maximal, RP /P RP es un cuerpo, el cual es isomorfo al cuerpo de
fracciones del dominio R/P . En efecto, la funcion definida por
7.2. EJEMPLOS 63
g : R/P RP /P RP
r
r 7 1
r r
donde r = r + P , 1
= 1
+ P RP , r R, cumple las condiciones del teorema 7.1.9.
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
na o
IS 1 := RS 1 | a I, s S (7.2.2)
s
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
n a o
I := a RS 1 | J (7.2.3)
1
es un ideal de R tal que J = IS 1 . En efecto, I es claramente un ideal; sea ab J,
entonces as 1s = a1 J, con lo cual a I y as IS 1 . Recprocamente, si as IS 1
con a I, entonces a1 J, a1 1s J, es decir, as J, y la igualdad
T esta probada.
1
Notemos adicionalmente que IS es propio si, y solo si, I S = ; ademas, si
I1 I2 , entonces I1 S 1 I2 S 1 . Tambien, si R es un DI, entonces RS 1 es un DI,
y si R es un DIP , entonces RS 1 es un DIP :
IS 1 = hai S 1 = a1 .

Ejemplo 7.2.5. Sean R un anillo conmutativo, S un subconjunto multiplicativo de

R e I un ideal de R tal que IS = . Entonces, IS 1 definido como en (7.2.2) es
un ideal propio de RS 1 . Notese que entonces se tiene el isomorfismo
1
RS 1 /IS 1
=RS , (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 7 1
,
donde a = a + I, a1 = a1 + IS 1 , a R, satisface las hipotesis del teorema 7.1.9,

resultando as el isomorfismo (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
P S 1 es propio; ademas sean ar , sb RS 1 tales que ar sb P S 1 , entonces ab
rs
= ct
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, ar P S 1 ,
o, sb P S 1 . Resulta as que P S 1 es primo. De otra parte, si P1 , P2 son ideales
primos de R tales que P1 S = = P2 S con P1 S 1 = P2 S 1 , entonces P1 = P2 .
En efecto, si a P1 , entonces a1 P1 S 1 = P2 S 1 ; existe pues b P2 , s S tales
que a1 = sb , de donde asu = bu, para un cierto u S. Resulta entonces asu P2
y, por ser este u ltimo primo y tener interseccion vaca con S, entonces a P2 y
as P1 P2 . La otra inclusion se prueba de manera analoga.
Resta demostrar que cada ideal primo de RS 1 es de la forma P S 1 , con P primo
de R y P S = . Sea J un ideal primo de RS 1 ; seg un lo establecido en el ejemplo
1
7.2.4, J es de la forma P S , 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, a1 J, o, 1b 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 R1 , . . . , Rn anillos conmutativos con sistemas multiplicativos

S1 , . . . , Sn respectivamente. Entonces, S := S1 . . .Sn es un sistema multiplicativo
de R := R1 Rn , y ademas
RS 1
= R1 S11 Rn Sn1 .
Consideremos en particular que para cada 1 i n, Ri es un DI. Entonces, para

Si := Ri 0, 1 i n, se tiene que S1 Sn coincide con el conjunto de
elementos de R que no son divisores de cero, y por lo tanto,
Q (R1 Rn )
= Q(R1 ) Q(Rn ),
donde Q(Ri ) es el cuerpo de fracciones de Ri , 1 i n. As por ejemplo,
Q (Z Z)
= Q Q.
Ejemplo 7.2.8. Sean R un anillo conmutativo, X un conjunto no vaco y RX

el anillo de funciones definido en el ejemplo 1.1.6. Sea ademas S un subconjunto
multiplicativo de R. Entonces, el conjunto

S X := f RX | f (X) S
es un subconjunto multiplicativo de RX tal que

1
RX S X X
= (RS 1 ) .
7.2. EJEMPLOS 65
La verificacion de estas afirmaciones es rutinaria y se deja a cargo del lector. Con-

sideremos en particular el anillo clasico de fracciones RX cuando R es un dominio
de integridad. Si S0 = R 0, entonces S0X es el conjunto de los elementos de RX
que no son divisores de cero, y por lo tanto,
Q RX

= Q(R)X ,
donde Q(R) es el cuerpo de fracciones de R. En particular,
Q ZN = QN , Q QN = QN , Q RN = R N , Q CN

= CN .

Ejemplo 7.2.9. Cuerpo de fracciones de Z 3 : el anillo Z 3 fue definido
en el ejemplo 6.1.7, y se probo que es un DI. Su cuerpo de fracciones es el conjunto

Q 3 = x + y 3 | x, y Q .
En efecto, consideremos la funcion

g: Z 3 Q 3
a b ;
a + b 3 7 1
+ 1 3
g es claramente un homomorfismo inyectivo de anillos; ademas, para cualesquiera

a b
enteros no nulos a, b, el complejo 1 + 1 3 es no nulo y su inverso satisface
a b

a2 +3b2
+ a2 +3b2
3 Q 3 .

ltimo observese que cada elemento ar + sb 3 Q 3 se escribe en la forma

Por u
a
rs rs 1
+ sb 3 = as3rb
r
+ as+br
3 1 + 1 3
a b
1 1 1
r
+ s 3 = g as br 3 + as + br 3 g rs + rs 3 .

un el teorema 7.1.9 Q 3 es isomorfo al cuerpo de fracciones de Z 3 .
Seg
Ejemplo 7.2.10. Anillo clasico de fracciones de Zn , n 2: notese que en Zn el

sistema S0 definido en (7.2.1) coincide con Zn . En efecto, es claro que si x Zn
/ Zn , entonces seg
entonces x S0 . Recprocamente, si x 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 / S0 .
La funcion identica
iZn : Zn Zn
satisface las hipotesis del teorema 7.1.9, y por lo tanto, Q (Zn ) ' Zn .
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 RP es isomorfo a K.
2. Sean R un anillo conmutativo, S un sistema multiplicativo de R y P Spec(R)

tal que P S = . Entonces, (RS 1 )P S 1
= RP .
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 RQ = (RP )QRP , donde QRP := { ua |a Q, u
/ P } es un
ideal primo de RP .
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 finitamente generado. Demuestre que (I : J)S 1 = (IS 1 : JS 1 ).
5. Sea R un dominio de integridad y sea Q(R) su cuerpo de fracciones. Demuestre

que si f : R R un automorfismo del anillo R, es decir, un isomorfismo de R
en R, entonces f se extiende de manera u
nica a un automorfismo de Q(R).
6. Calcule Q(Zn ) para cada n 2.
7. Sea R un dominio de integridad y sea Q(R) su cuerpo de fracciones. Demuestre

que:
(i) Si P es un ideal maximal de R, entonces el anillo local RP se puede

sumergir en Q(R).
T
(ii) P maximal de R RP = R.
Captulo 8
Polinomios y series
En los cursos elementales de algebra los polinomios son considerados como expre-
siones algebraicasen la forma
a (x) = a0 + a1 x + + an xn ,
donde a0 , . . . , an 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 coeficientes del cual se determinan
sumandos los coeficientes de p (x) y q (x) correspondientes a terminos en x con igual
exponente. As por ejemplo,
p (x) = 5 + 4x + x3 , q (x) = 4 + 3x + x2 + 5x3

p (x) + q(x) = (5 4) + (4 + 3) x + (0 + 1) x2 + (1 + 5) xn
= 1 + 7x + x2 + 6x3 .
Para la multiplicacion es utilizada una propiedad distributiva y una regla sim-

ple de exponentes xk xt = xk+t . Ademas, para efectos de calculo se supone que la
indeterminadax conmuta con los coeficientes: 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 := {(a0 , a1 , a2 , . . .) := (ai ) | ai A, i = 0, 1, 2, . . .}
Entonces, las operaciones de adici

on y multiplicaci
on definidas en S por:
67
68 CAPITULO 8. POLINOMIOS Y SERIES
a = (ai ), b = (bi ),
a + b := c = (ci ) , ciP
:= ai + bi , i = 0, 1, 2, . . .
ab := d = (di ), di := j+k=i aj bk , i = 0, 1, 2, . . .
dan a S una estructura de anillo (dos sucesiones son iguales si, y s

olo si, ai = bi ,
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 = (ai ) es a := (ai ). Sean ahora a = (ai ), b = (bi ), c = (ci )
elementos cualesquiera de S. Entonces
P
(ab) c = dc = f , dondePf = (fi ), fi = i=j+k dj ck ,
P d = (dj ), dj =
P j=r+s ar bs , es decir,
P
fi = i=r+s+k (ar bs ) ck = i=r+s+k ar (bs ck ) = i=r+s+k ar bs ck .
De otra parte,
P
a (bc) = ag = h,P
donde h = (hi ), hi = i=t+l at gl ,
P gl = l=m+n bm cn ,Pes decir,
hi = i=t+m+n at (bm cn ) = i=t+m+n at bm cn .
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.
Definici
on 8.1.2. El anillo S de la proposici
on anterior se denomina anillo de
sucesiones formales en A.
Notese que los elementos del anillo S coinciden con los del anillo AN0 , N0 :=
{0, 1, 2, 3, . . .}, definido 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 s

olo 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 = (ai ), b = (bi ) sucesiones de S. Entonces
8.2. EL ANILLO DE POLINOMIOS 69
P P
ab = c = (ci ), ci = j+k=i aj b k = j+k=i bk aj = di ,
donde d = (di ) = ba ,es decir, ab = ba.
La prueba anterior pone de manifiesto que el anillo A puede sumergirse en su

anillo de sucesiones formales.
Corolario 8.1.4. La funcion

: A S
a 7 (a, 0, 0, . . .)
es un homomorfismo inyectivo.
Demostracion. Evidente.
8.2. El anillo de polinomios

En el anillo S se destacan de manera especial las sucesiones que tienen un n
umero
finito de terminos no nulos.
Definicion 8.2.1. Se dice que la sucesi on a = (a0 , a1 , a2 , . . .) es un polinomio si

existe un entero n tal que ai = 0 para i > n. Se denomina grado del polinomio a al
mayor entero n tal que an 6= 0, y se denota por gr (a). Los polinomios de grado 0 se
denominan constantes.
Observacion 8.2.2. La sucesion nula es un polinomio sin grado. Si a es un poli-

nomio de grado n, entonces an+k = 0 para k 1:
a = (a0 , a1 , . . . , an , 0, . . .).
Los elementos a0 , a1 , . . . , an se denominan coeficientes del polinomio a; a0 se deno-

mina coeficiente independiente de a. El elemento an se denomina el coeficiente
principal de a y se denota por lc(a).
Proposicion 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 = (ai ), b = (bi ) son polinomios, entonces

existen enteros m, k tales que ai = 0 para i > m y bi = 0 para i > k. Sean c := a + b
y d := ab. Entonces, para i > max {m, k} ci = 0 y di = 0 para i > m + n, es decir,
c, d P .
Queremos ahora presentar los polinomios en su forma habitual de sumas finitas.

Si x denota la sucesion:
x := (0, 1, 0, . . .)
entonces
x2 = (0, 0, 1, 0, . . .)
x3 = (0, 0, 0, 1, 0, . . .)
..
.
xn = (0, . . . , 0, 1, 0 . . .)
Ademas, podemos identificar los polinomios constantes en la forma
(a0 , 0, . . .) := a0 , a0 A,
y un polinomio de grado n se escribira
a (x) := (a0 , a1 , . . . , an , 0, . . .) = a0 + a1 x + . . . + an xn
El conjunto P de los polinomios en x con coeficientes 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-
ficadas. 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 redefinirse de
A en A [x], es decir,
A , A[x] , A[[x]].
Notemos queP cada elemento a = (ai ) A[[x]] puede escribirse como una serie
a = a((x)) = i
i=0 ai x , y las operaciones que hemos definido 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 definir en
forma recurrente de la siguiente manera:
A[[x, y]] := A[[x]][[y]], A[[x1 , . . . , xn ]] := A[[x1 , . . . , xn1 ]][[xn ]],
A[x, y] := A[x][y], A[x1 , . . . , xn ] := A[x1 , . . . , xn1 ][xn ].

8.3. PROPIEDADES ELEMENTALES 71
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) 6= 0, se cumple que:
gr (a (x) + b(x)) max {gr (a (x)) , gr (b(x))}.
Para a (x) b(x) 6= 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 u

ltima relaci
on se cumple la
igualdad.
(ii) A es un dominio si, y solo si, A [[x]] es un dominio si, y s

olo si, A [x] es un
dominio.
(iii) Si A es un dominio, A [x] = A .
(iv) A [[x]] = {a = (a0 , a1 , . . .) | a0 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}, ai + bi = 0,
con lo cual se establece la primera desigualdad.P Analogamente, para i > m + n,
di = 0, con d = (di ) = ab, di = j+k=i j k Con esto se prueba la segunda
a b .
desigualdad. Notese que si A no posee divisores de cero, entonces dn+m = an bm 6= 0,
con lo cual queda probado el punto (i).
(ii) Sean a = (a0 , a1 , . . .) , b = (b0 , b1 , . . .) sucesiones no nulas de A [[x]]. Sea r el
menor entero tal que ar 6= 0 y sea s el menor entero tal que bs 6= 0. Sea c = (ci ) = ab,
entonces
P
cr+s = j+k=r+s aj bk = ar bs 6= 0,
es decir, ab 6= 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) = a0 + a1 x + . . . + an xn A [x] . Entonces, existe un polinomio
b (x) = b0 + b1 x + + bn xn A [x]
tal que a (x) b (x) = 1. Del punto (i) resulta que gr (a (x)) = 0 = gr (b (x)), con
lo cual a (x) = a0 , b (x) = b0 , a0 b0 = 1 = b0 a0 , 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 = (a0 , a1 , . . .) A [[x]] ; existe b = (b0 , b1 , . . .) A [[x]] tal que ab =
1 = (1, 0, 0, . . .) = ba; resulta entonces a0 b0 = 1 = b0 a0 y a0 A .
Recprocamente, sea a = (a0 , a1 , . . .), con a0 A . Buscamos un elemento b =
(b0 , b1 , . . .) A [[x]] tal que ab = 1 = (1, 0, 0, . . .) = ba. La condicion ab = 1 puede
expresarse tambien en la forma

1, i = 0
a0 bi + a1 bi1 + + ai b0 = (8.3.1)
0, i 1
Puesto que a0 A , definimos

b0 := a1
0 . (8.3.2)
El elemento b1 debe ser entonces tal que a0 b1 + a1 b0 = 0, de donde
b0 a0 b1 + b0 a1 b0 = 0, es decir, b1 = b0 a1 b0 .
Un paso mas antes de obtener la formula para calcular bi . Para i = 2 tenemos
a0 b2 + a1 b1 + a2 b0 = 0,
con lo cual
b2 = b0 (a1 b1 + a2 b0 ) .
Teniendo ya definidos todos los bl , l < i, hacemos
i
X
bi := b0 aj bij , i 1. (8.3.3)
j=1
Entonces, a0 bi + ij=1 aj bij = 0, es decir, ij=1 aj bij = 0 para i 1. Por tanto la

P P
sucesion definida 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 afirmacion 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, bi = (2)i , i 0.

8.3. PROPIEDADES ELEMENTALES 73
Ejemplo 8.3.3. El polinomio 2x + 1 Z4 [x] es invertible:
(2x + 1) (2x + 1) = 4x2 + 4x + 1 = 1.
Es claro que como elemento de Z4 [[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]] , Z4 [x] , Z4 [[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
0
forma P = {(ai ) | a0 P, P maximal de R} = hP, xi = P + xR[[x]]. En efecto,
0
veamos en primer lugar que si P es maximal de R entonces P es un ideal maximal
0
de R [[x]]. Claramente P es ideal propio de R [[x]] . Sea L un ideal de R [[x]] tal
0 0
que P L, existe (bi ) L tal que (bi ) / P ; b0 / P, ya que de lo contrario
0
(bi ) P . Entonces P + hb0 i = R luego 1 = p + b0 r, con r R, p P , y entonces
0
1 (bi )r = (1 b0 r, b1 r, b2 r, . . . ) = (p, b1 r, b2 r, . . . ) P L, pero como
(bi ) r L, entonces 1 L, de donde L = R [[x]].
0
Sea ahora P un ideal maximal de R[[x]]. Definimos P := {a0 R | a0 es el
0
termino constante de alg un (ai ) P }. P es claramente un ideal de R. P es propio,
0
ya que de lo contrario P contendra invertibles, en contradiccion con el hecho de
0
que P es propio. P es maximal: sea Q ideal de R tal que P Q, existe q Q
0 0
tal que q / P ; entonces (q, 0, . . . ) / P , de donde P + h(q, 0, . . . )i = R [[x]], luego
1 = p0 + (q, 0, . . . )(bi ) = (p00 , p01 , . . . ) + (qb0 , qb1 , qb2 , . . . ) = (p00 + qb0 , p01 + qb1 , . . . );
luego 1 = p00 + qb0 , pero p00 P ( Q, de donde 1 Q es decir, Q = R.
0 0
Veamos ahora que P = hP, xi. En efecto, si (bi ) P entonces b0 P y (bi ) =
0
(b0 , 0, . . . ) + (0, b1 , b2 , . . . ) = b0 + x(b1 , b2 , b3 , . . . ) hP, xi, es decir, P hP, xi, pero
0 0
como P es maximal y hP, xi es propio, entonces P = hP, xi.
0
Hemos ya probado que la correspondencia P 7 P es sobreyectiva. Para ter-
minar veamos que esta correspondencia es 1 1: si hP1 , xi = hP2 , xi, entonces dado
a P1 se tiene que a = b + (ci ) x, con b P2 luego a = b y a P2 es decir, P1 P2 .
Simetricamente, P2 P1 .
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]]/ hJ, xi.
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 h3, xi = hp (x)i. Entonces 3 = q (x) p (x), para alg un
polinomio q (x) con coeficientes enteros. Teniendo en cuenta el grado resulta que
p (x) = 1, 3. Se obtendra que h3, xi = Z [x], o, h3, xi = h3i. En el primer caso
existiran k (x), m (x) Z [x] tales que:
1 = 3k (x) + xm (x),
de donde 1 = 3k0 , k0 Z, resultando una contradiccion. En el segundo caso x =
3a (x), a (x) Z [x], lo cual tambien es imposible. En total, el ideal h3, xi 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. 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) 7 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) 6= 0, gr (b (x)) = m. Consideramos dos casos:
m = 0. Entonces b(x) es constante no nulo, b(x) = b0 . Si
a(x) = a0 + a1 x + + an xn
entonces hacemos q(x) = a0 b1 1 1 n
0 + a1 b0 x + + an b0 x y r(x) = 0, obteni
endose
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) 6= 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) = r0 +r1 x+ +rt xt ,
y sea b(x) = b0 + b1 x + + bm xm . Entonces
s(x) = a(x) b(x) (q(x) + rt b1
m x
tm
) M,
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.
8.4. TEOREMA DE GAUSS 75
8.4. Teorema de Gauss

Podemos preguntarnos si el anillo de polinomios sobre un DG tiene tambien esta
propiedad. La respuesta es afirmativa 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:
Proposicion 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) = a0 + a1 x + + an xn un polinomio cualquiera de R [x] y
sea g la funcion definida por
g: R [x] (RS 1 ) [x]
a0
a(x) 7 1
+ a11 x + + an n
1
x
Es facil verificar que g es un homomorfismo de anillos que satisface las condiciones
del teorema 7.1.9, de donde resulta el isomorfismo postulado.
Sea ahora R un DI, P el conjunto de todos los elementos primos de R y S
definido por
S := {1} {a1 an | ai P , 1 i n, n 1} (8.4.1)
es decir, S es el subconjunto conformado por 1 y todos los productos finitos 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 definido como en (8.4.1). Entonces,
olo si, RS 1 es un cuerpo.

R es un DG si, y s
Demostracion. ) Sea a
s
un elemento no nulo de RS 1 . Entonces a 6= 0. Si a R
entonces
a a1 s
s 1
= 1
1
y a
s
(RS 1 ) .
/ R . Entonces a es producto finito de irreducibles de R:
Supongase que a
a = a1 an , ai 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 as as = 11 , con lo cual as (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 finito de primos, es
decir, a
/ S. De aqu hai S = . En efecto, sea ba hai; si suponemos que ba =
p1 pn es producto finito de primos, entonces a sera tambien producto finito de

primos, contradiciendo el hecho que a / S. La prueba de esta afirmacion se realiza
por induccion sobre n: Si p1 es primo y ba = p1 ; entonces por ser p1 irreducible y
a / R se tiene que a p1 , es decir, a es primo. Suponemos el enunciado valido
para una descomposicion en n 1 primos, y sea ba = p1 pn , donde p1 , . . . , pn son
primos. Resulta de aqu que ba = hp1 i, con lo cual b hp1 i, o, a hp1 i. En el primer
caso
b = b1 p 1 , b1 R y b1 a = p 2 . . . p n ,
de donde por induccion a es producto finito de primos. En el segundo caso
a = a1 p1 , a1 R y ba1 = p2 pn ,
y otra vez por induccion a1 es producto finito de primos, con lo cual a es tambien
producto finito de primos.
Podemos ya terminar la prueba de la proposicion. Teniendo en cuenta que hai
S = y que a 6= 0, entonces 1 es un ideal propio no nulo de RS 1 , es decir, RS 1

a
no es un cuerpo.
Sea R un DI, P el conjunto de todos los elementos primos de R, P 0 cualquier
subconjunto no vaco de P , y
M := {1} {a1 . . . an | ai P 0 , 1 i n, n 1} (8.4.2)
es decir, M es el subconjunto formado por 1 y todos los productos finitos de ele-

mentos primos de P 0 .
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 definido como en (8.4.2).
Si RM 1 es un DG, R tambien lo es.
Demostracion. Sea S definido como en (8.4.1) y sea T generado por 11 y todos los
primos de RM 1 . Seg un la proposicion 8.4.2 (RM 1 ) T 1 = K es un cuerpo. Si
1
probamos que RS = 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 7 1
1
1
Evidentemente g es un homomorfismo de anillos. Veamos que g cumple las condi-

ciones del teorema 7.1.9.
(i) g (S) K . Sea s S; si s = 1 no hay que probar; si s incluye solo primos

de P 0 , entonces s M con lo cual 1s (RM 1 ) y g (s) K . Supongase que
s es de la forma s = ms0 con m M y s0 no incluye primos de P 0 . puesto que
g (s) = g (m) g (s0 ) entonces se debe probar que g (s0 ) K . Es suficiente probar que
g (p) K para cada primo p / P 0 (ya que s0 es producto finito de tales primos).

Si hpi M 6= entonces existe a R tal que ap M y ap 1
(RM 1 ) . De aqu se

sigue que p1 (RM 1 ) y g (p)
p

K . Si por el contrario hpi1 M = , entonces de
acuerdo con el ejemplo 7.2.5 1 es un ideal primo de RM , es decir, p1 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 a1 mn
= 01 ,
m 1
de donde amu = 0 para cierto u M . n es producto de primos de RM :
rj
m
n
= r1
s1
srii , con sj
primo de RM 1 , 1 j i.
ltima igualdad existe t M tal que
Por la u
ms1 si t = nr1 . . . ri t.
Notese que u, t, n M S. Obtenemos pues que
amus1 si t = a (nr1 ri t) = 0.
r s
Queremos probar que r1 , . . . , ri S. Como sjj es primo y 1j (RM 1 ) , entonces
rj
1
es primo; reducimos la prueba a la verificacion de la siguiente afirmacion:
Sea r R tal que 1r es primo en RM 1
r,entonces r S. Supongase contraria-
1
mente que existe un r R, r / S tal que 1 es primo en RM ; sea
/ S, 1r es primo en RM 1

C := hri R| r
Seg un lo supuesto, C es una coleccion no vaca de ideales principales. Por la hipotesis
r proposicion, C contiene un
de la
1
elemento maximal hr0 i. Por on de C,

r la construcci
1
1
0
es un ideal primo en RM . Seg un el ejemplo 7.2.5, 1 = IM , con I ideal
0
primo de R e IM = . Veamos que I = hr0 i. Por el ejemplo 7.2.4

I = a R| a1 r10 .

Evidentemente hr0 i I. Sea a I; a1 = mb r10 , donde b R y m M . Existe m0 M

tal que amm0 = bm0 r0 . Como R es un DI entonces am = br0 , y as m| br0 . m es un
producto finito de primos de P 0 , o, m = 1. En el ultimo caso, a hr0 i. Consideremos
entonces el primer caso:
m = p1 pn , pj primo de P 0 , 1 j n. br0 = p1 pn l, l R.
Supongamos que alg un pj | r0 . Entonces, r0 = pj w, w R. Observese que w
/ S, ya

w D r0 E
r0
que de lo contrario r0 S. Tambien, 1 = pj = 1 por estar pj M . As pues,
w
1
es primo. Se sigue entonces que hwi C y hr0 i hwi; por la escogencia de hr0 i
se tiene que hr0 i = hwi, es decir, w = r0 v, v R. Resulta r0 = r0 pj v, 1 = pj v, en
contradiccion con el hecho que pj es primo (r0 6= 0 ya que r10 es primo no nulo de
RM 1 ).
As pues, pj no divide a r0 , para cada 1 j n, con lo cual pj | b para cada

1 j n. Esto junto con am = br0 , da que a hr0 i, completando la prueba de
hr0 i = I. Se tiene entonces que r0 es primo de R, contradiciendo el hecho que r0 / S.
Hemos completado la prueba de la condicion (ii).
(iii) Sea xz un elemento cualquiera de K. Entonces, x RM 1 y z T ; x, z son
pues de la forma
r r
x= m a
, z = sr11 sjj , a R, m M S, sjj primo de RM 1 , 1 j i.
a a 1
x
z
= m
r1 ...rj = m 1
1 r1 ...rj
s1 ...sj 1 s1 ...sj
a 1 1
= 1 m
1 r1 ...rj
1
1
1 1 s1 ...sj
a 1 1 1
= 1 m
1 1 r1 ...rj
1 1
1 .
1 1 1 s1 ...sj
Razonando como en (ii) vemos que r1 rj S. De aqu resulta

x
z
= g (a) g (m)1 g (r1 rj )1 g (s1 sj ),
Es decir,
x
z
= g (as1 sj ) g (mr1 rj )1 ,
con as1 . . . sj R, mr1 . . . rj 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

ha1 (x)i ha2 (x)i han (x)i
Puesto que para cada ideal i 1, ai+1 (x)| ai (x), entonces resulta la cadena descen-
dente de enteros no negativos
gr (a1 (x)) gr (a2 (x)) gr (an (x))

la cual necesariamente se detiene. Sea pues n tal que
gr (ai (x)) = gr (an (x)), para todo i n.
Denotando por ai el coeficiente principal del polinomio ai (x), entonces resulta en R
la cadena ascendente de ideales principales,
han i han+1 i han+m i
Por la hipotesis de la afirmacion existe un entero positivo m tal que
han+i i = han+m i, para todo i m.
Sea i m cualquiera; como

han+m (x)i han+i (x)i,
entonces
an+m (x) = an+i (x)bi , con bi R.
Resulta pues
an+m = an+i bi ,
lo cual combinado con
han+i i = han+m i
da que bi R , de donde
han+m (x)i = han+i (x)i,
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 s

olo 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 hai el ideal principal de R generado por a.
Entonces, R/ hai es un DI, con lo cual el anillo de polinomios (R/ hai) [x] tambien
lo es. De otra parte, la correspondencia
f
R [x] (R/ hai) [x]
a0 + a1 x + + an x n 7 a0 + a1 x + + an x n
con
ai = ai + hai, 1 i n,
es un homomorfismo sobreyectivo de anillos con n
ucleo
{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 u ltimo ideal es primo y a es elemento primo de R [x].
Sea ahora S en R definido 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 suficiente probar esto para R. Sea
ha1 i ha2 i han i
una cadena de ideales principales de R. Podemos suponer sin perdida de generalidad

que ai 6= 0, ai / R para cada i 1. Sea n(ai ), i 1, ln n umero de factores
irreducibles en la descomposicion de ai . Puesto que ai+1 | ai para cada i 1, entonces
n (a1 ) n (a2 ) n (an )
es una sucesion de enteros positivos que debe por lo tanto detenerse. Existe pues
j entero positivo tal que n (aj+1 ) = n (aj ), para cada i 1. Nuevamente, como
aj+1 | aj entonces las descomposiciones irreducibles de aj+1 y aj coinciden salvo un
invertible, es decir, haj+1 i = haj i, 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], Q [x], R [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 suficiente) el anillo de polinomios R [x] es un DIP . La proposicion 8.3.7
da una condicion suficiente: 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 ha, xi = hp (x)i. 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].
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 a1 , . . . , an K tales que f (ai ) = 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

hx + y, xi = hx, yi = hx + xy, x2 , y 2 , y + xyi.
5. Sea K un cuerpo y sean a, b K. Demuestre que hx a, y bi es un ideal

maximal de K[x, y].
8.5. EJERCICIOS 81
6. Sea R un anillo conmutativo y sean I, J dos ideales de R[x1 , . . . , xn ]. Sea y

una nueva variable. Demuestre que I J = hyI, (1 y)Ji R[x1 , . . . , xn ].
7. Sea A un anillo. Demuestre que A[x1 , . . . , xn ] es un DIP si, y solo si, n = 1 y

A es un cuerpo.
8. Sea A un anillo. Demuestre que A[[x1 , . . . , xn ]] es un DIP si, y solo si, n = 1

y A es un cuerpo.
9. Sean K un cuerpo y f : K[x] K[x] un automorfismo del anillo de polinomios

K[x] tal que la restriccion de f a K es la identica. Demuestre que existen
elementos a, b K, a 6= 0 tales que f (x) = ax + b.
10. Sea A un anillo. Demuestre que Mn (A[x])

= Mn (A)[x] para cada n 1.
11. Sea A un anillo. Demuestre que Mn (A[[x]])

= Mn (A)[[x]] para cada n 1.
Bibliografa
[1] Barshay, J., Topics in Ring Theory, Benjamn, 1969. 75

[2] C
ampoli, O. A., A Principal Ideal Domain that is not a Euclidean Domain,
Amer. Math. Monthly, 1988, 868-871. 56
[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., Introducci
on al Algebra, Mir, 1983.
[9] Lambek J., Rings and Modules, Chelsea Publ., 1996.
[10] Lang, S., Algebra, Springer, 2004. v, vi
[11] Lang, S., Undergraduate Algebra, Second Edition, Springer, 1990.
[12] Lezama, O. and Villamarn, G., Anillos, M odulos y Categoras, Facultad
de Ciencias, Universidad Nacional de Colombia, 1994. v

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

Anillos PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Anillos PDF

Cargado por

Copyright:

Formatos disponibles

CUADERNOS DE ALGEBRA

Cuaderno dedicado a Lukas, mi hijo.

3. Anillo cociente y homomorfismos 25

5. Ideales primos y maximales 41

7. Anillos de fracciones: caso conmutativo 58

La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales

las cuales podemos mencionar la teora algebraica de n umeros, la teora de repre-

(ii) (A, ) es un semigrupo con elemento identidad 1.

(iii) La multiplicacion es distributiva con respecto a la adici on, es decir,

Si ademas la multiplicacion es conmutativa, es decir,

Los siguientes ejemplos ponen de manifiesto la gran variedad de anillos (conmu-

Multiplicacion: f, g End (G)

que resultan ser endomorfismos para los cuales se tiene f g 6= g f .

HB = D = [dij ], donde dij := nk=1 hik bkj .

representa el termino (i, j) de la matriz H (BC), lo cual demuestra la igualdad de

Ejemplo 1.1.6. Aplicaciones de un conjunto no vaco en un anillo: sea

El cero de AX es la funcion denotada por 0 y que asigna a cada elemento de X el

Definicion 1.1.9. Sea A un anillo, y sea a A. Se dice que a es un elemento

Proposicion 1.1.10. Si (A, +, ) es un anillo, (A , ) es un grupo, denominado el

Demostracion. Se deja como ejercicio al lector.

(i) Grupos multiplicativos:

Z = {1, 1}; Q = Q {0}; R = R {0};

(ii) Anillos de la parte (i) que son cuerpos.

Recordemos ademas como se definen los m

Proposicion 1.1.13. Dado (A, +, , 1) un anillo y a, b, c elementos cualesquiera de

(ii) a (b) = (a) b = (ab).

(iii) (a) (b) = ab.

(vi) Si m y n son enteros 1, entonces

(vii) Si A = R es conmutativo, entonces para cada n 1.

Demostracion. Ejercicio para el lector.

Definicion 1.1.14. Se dice que un anillo A es un anillo sin divisores de cero,

El elemento a A es un divisor de cero a la derecha si existe b 6= 0, b A,

(ii) Todo anillo de division es un dominio.

(iii) Todo dominio finito es un anillo de divisi

(iv) Zn es dominio de integridad si, y s

(b) Z es subanillo propio de Q, R y C.

(c) Q es un subanillo propio de R y C.

(d) R es subanillo propio de C.

Ejemplo 1.2.3. Sean End (G) el anillo de endomorfismos de un grupo abeliano G y

Ejemplo 1.2.4. Sea Mn (A) el anillo de matrices de orden n sobre un anillo A; si

D (A) := {D = [dij ] Mn (A) |dij = 0, para i 6= j},

entonces D (A) es un subanillo de Mn (A). El grupo de elementos invertibles del

Ejemplo 1.2.5. Dado un anillo cualquiera, el conjunto C (A) de elementos de A

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

Ejemplo 1.2.6. Sea AX el anillo de funciones del conjunto X en el anillo A, y sea

Ejemplo 1.2.7. Los cuaterniones de Hamilton: consideremos en el anillo de

d = det A = a21 + b21 + a22 + b22 6= 0.

Ejemplo 1.2.8. Dominio de enteros gaussianos: el anillo de los enteros es

De otra parte, S es un subanillo de A que contiene a. En efecto, la suma de dos

(ki ai ) (kj aj ) = ki kj ai+j

da que el producto de dos elementos de S esta en S. Obviamente a S. De lo

Z[0] = Z[1] = {k 1 = k|k Z} . (1.2.3)

kai111 ai212 ain1n ai121 ai222 ain2n ai1r1 ai2r2 ainrn ,

con k Z, r 1 e iuv 0. Notemos que los elementos a1 , . . . , an no necesariamente

k1 ai111 ai212 ain1n k2 ai121 ai222 ain2n kr ai1r1 ai2r2 ainrn ,

con kj B, 1 j r. Este subanillo se denomina el subanillo de A generado

2. Demuestre que Zn es cuerpo, si y solo si, n es un n

3. Sea A un anillo. Demustre que si |X| 2, entonces AX no es un anillo de

4. Demuestre la proposicion 1.1.13.

5. Sean X un conjunto finito no vaco y 2X su conjunto de partes. Sea la

8. Sea p Z no nulo. Demuestre que

es un subanillo de Q y coincide con Z[ p1 ].