Estructuras algebraicas Grado en Matem aticas.

Curso 2011/2012
Apuntes de teora
Juan Gonzalez-Meneses
Tema 2: Anillos e ideales. Divisibilidad y factorizacion.
2.1. Anillos, subanillos e ideales
Denicion 2.1. Un anillo es una terna (A, +, ), tal que (A, +) es un grupo abeliano, es
una operacion binaria interna cumpliendo la propiedad asociativa, y ademas se cumple la
propiedad distributiva de la suma y el producto.
Diremos que un anillo es conmutativo si a b = b a para todo a, b A.
Diremos que un anillo tiene elemento unidad si existe un elemento neutro para , que
denotaremos 1.
Observemos que (A, ) no es en general un grupo, y no tiene por que existir el elemento
inverso de un elemento dado.
De hecho, sea 0 A al elemento neutro de la suma; si existiera el inverso de 0, tendramos
0 x = 1, pero entonces 1 + 1 = 0 x + 0 x = (0 + 0) x = 1, luego restando 1 a ambos
lados obtendramos 1 = 0. Pero en este caso, dado a A, tendramos a = a 1 = a 0 =
a (0 + 0) = a + a, es decir, a = 0 para todo a A. Por tanto, si 0 tuviera inverso,
tendramos A = 0, el anillo trivial.
Podra ocurrir que todo elemento distinto de 0 tuviera inverso. En este caso (si A es un
anillo conmutativo, con elemento unidad) (A0, ) sera un grupo abeliano, y diremos
que (A, +, ) es un cuerpo.
Ejemplo 2.2. En los siguientes ejemplos, la suma y el producto de elementos son bien
conocidos, y no se especicaran.
Z es un anillo conmutativo con elemento unidad.
Z/Zn es un anillo conmutativo con elemento unidad.
El conjunto de los n umeros pares, Z2, es un anillo conmutativo que no tiene elemento
unidad.
Q, R y C son cuerpos.
Sea A un anillo. /
nn
(A) es un anillo (en general no conmutativo), con elemento
unidad.
Z[x] es un anillo conmutativo con elemento unidad.
Dado un anillo A conmutativo con elemento unidad, A[x] es un anillo conmutativo
con elemento unidad.
Dado un cuerpo K, K[x] es un anillo conmutativo con elemento unidad.
1
Dado un anillo A conmutativo con elemento unidad, A[x
1
, . . . , x
n
] es un anillo con-
mutativo con elemento unidad.
Dado un cuerpo K, K[x
1
, . . . , x
n
] es un anillo conmutativo con elemento unidad.
A partir de ahora, cuando digamos sea A un anillo, estaremos suponiendo que A es con-
mutativo con elemento unidad, que la suma y el producto son operaciones bien conocidas,
y denotaremos ab := a b.
Denici on 2.3. Sea (A, +, ) un anillo. Diremos que un subconjunto no vaco B A es
un subanillo de A, si (B, +, ) es un anillo, donde + y son las mismas operaciones que
en A.
Proposicion 2.4. Un subconjunto no vaco B de un anillo A es un subanillo si y solo si
cumple las siguientes propiedades:
1. b
1
b
2
B para todo b
1
, b
2
B (es decir, (B, +) es subgrupo de (A, +)).
2. 1 B.
3. b
1
b
2
B para todo b
1
, b
2
B.
Ejemplo 2.5. El unico subanillo de Z es Z. (por que?)
El unico subanillo de Z/Zn es Z/Zn. (por que?)
Z es subanillo de Q, que es subanillo de R, que es subanillo de C.
Z es subanillo de Z[x], que es subanillo de Z[x, y], que es subanillo de Z[x, y, z]
Z[x] es subanillo de Q[x], que es subanillo de R[x], que es subanillo de C[x].
Los subconjuntos de un anillo que mas nos van a interesar no son, curiosamente, los
subanillos, sino unos subconjuntos llamados ideales. La historia de los ideales se remonta
a mediados del siglo XIX, cuando el matematico aleman Ernst Kummer demostro que
en algunos anillos (en concreto en los llamados anillos de enteros ciclotomicos) haba
elementos que no tenan factorizacion unica, como suceda en Z.
Por ejemplo, si consideramos el anillo A = Z[

3] formado por los n umeros complejos

de la forma a + b

3, con a, b Z, nos damos cuenta de que 4 = 2 2, pero tambien

4 = (1 +

3)(1

3), donde los factores 2, 1 +

3 y 1

3 no se pueden
descomponer nuevamente en factores de A. Por tanto, el n umero 4 tendra dos posibles
factorizaciones distintas, en el anillo A.
Para solventar este problema, Kummer introdujo lo que el llamo n umeros ideales, y
demostro que usando esos n umeros, los anillos de enteros ciclotomicos s tenan factori-
zacion unica. El concepto de n umeros idealesfue luego generalizado por matematicos de
la talla de Richard Dedekind, Leopold Kronecker, David Hilbert y Emmy Noether, hasta
llegar a la denicion actual, que es la siguiente.
Denicion 2.6. Sea (A, +, ) un anillo. Un ideal de A es un subconjunto I A tal que
1. (I, +) es un subgrupo de (A, +).
2. AI I. (Es decir, a A b I, ab I.)
2
Ejemplo 2.7. En un anillo A, el propio A y el conjunto 0 son siempre ideales de
A. Cualquier otro ideal se denomina ideal propio.
Hemos visto que el unico subanillo de Z es Z. Sin embargo, los ideales de Z son
precisamente los subconjuntos de la forma Zn, para cualquier n.
En un cuerpo K, los unicos ideales son K y 0. Por que?
En el anillo Z[x], el conjunto de los polinomios con termino independiente par, que
denotaremos 2, x, es un ideal.
Proposicion 2.8. La interseccion de una familia arbitraria no vaca de ideales de un
anillo A, es un ideal de A.
Denicion 2.9. Sea A un anillo, y E un subconjunto de A. Se dene el ideal generado
por E, y se denota E, como la interseccion de todos los ideales que contienen a E (que
es una familia no vaca puesto que A es un ideal que contiene a E).
Proposicion 2.10. Sea E un subconjunto no vaco de un anillo A. El ideal E es el
conjunto de todas las sumas nitas de la forma

i
a
i
e
i
, con a
i
A y e
i
E.
Denicion 2.11. Un ideal I A se llama principal si se puede generar por un solo
elemento. Es decir, si I = a, para un cierto a A.
Observemos que en Z, todos los ideales son principales. Sin embargo, en Z[x] no pasa lo
mismo, porque el ideal 2, x Z[x] no es principal. (por que?)
La propiedad mas importante de los ideales es que sirven para denir los anillos cocien-
tes. Dado un ideal I A, sabemos que (I, +) es un subgrupo (abeliano) de (A, +), y
por tanto podemos considerar el grupo cociente A/I. Lo interesante es que en este grupo
cociente, ademas de la suma:
(a + I) + (b + I) = (a + b) + I,
se puede denir un producto, de forma natural:
(a + I)(b + I) = ab + I.
Este producto esta bien denido porque I es un ideal. Ademas, la suma y el producto de
clases de equivalencia que acabamos de denir, cumplen las propiedades necesarias que
hacen de A/I un anillo: El anillo cociente de A sobre I.
Observacion: Si A

es un subanillo distinto de A, en el grupo cociente A/A

el producto
natural anterior no esta necesariamente bien denido. Por eso nos interesan mas los ideales
que los subanillos.
2.2. Homomorsmos de anillos. Extension y contracci on de ideales
Denicion 2.12. Sean A y B dos anillos (conmutativos con elemento unidad, como
siempre). Una aplicacion f : A B es un homomorsmo de anillos (o morsmo de
anillos), si:
1. f(a + a

) = f(a) + f(a

), a, a

A. (f es morsmo de grupos.)
2. f(a a

) = f(a) f(a

), a, a

A.
3
3. f(1) = 1.
un isomorsmo es un morsmo de anillos biyectivo.
Ejemplo 2.13. si A

es un subanillo de A, la inclusion A

A es un morsmo de
anillos inyectivo.
La aplicacion f : A A[x] denida por f(a) = a, es un morsmo de anillos inyectivo.
Podemos identicar A con su imagen por f, y considerar que A es un subanillo de
A[x].
Sea A un anillo, y jemos un elemento a A. La aplicacion f
a
: A[x] A, denida
por f
a
(p(x)) = p(a), es un morsmo de anillos sobreyectivo.
Si I es un ideal de A, la aplicacion : A A/I denida por f(a) = a + I, es un
morsmo de anillos sobreyectivo, llamado proyeccion canonica de A sobre A/I.
Proposicion 2.14. Sea f : A B un morsmo de anillos. Se tiene:
1. Im(f) es un subanillo de B.
2. ker(f) es un ideal de A.
Teorema 2.15 (Primer teorema de isomorfa para anillos). Sea f : A B un morsmo
de anillos. Los anillos A/ ker(f) e Im(f) son isomorfos.
Demostraci on: Basta ver que el isomorsmo de grupos : A/ ker(f) Im(f) denido
por (a + I) = f(a), preserva el producto. En efecto: ((a + I)(b + I)) = (ab + I) =
f(ab) = f(a)f(b) = (a + I)(b + I). 2
Proposicion 2.16. Sea f : A B un morsmo de anillos. Se tiene:
1. Si J es un ideal de B, entonces f
1
(J) es un ideal de A, llamado ideal contrado
de J por f, y denotado J
c
.
2. Si I es un ideal de A, entonces f(I) no es necesariamente un ideal.
Para enviar un ideal I A mediante f : A B a un ideal de B, denimos el ideal
extendido de I por f:
I
e
= f(I).
Hay un caso en el que f(I) s es un ideal:
Proposicion 2.17. Si f : A B es un morsmo de anillos sobreyectivo, e I A es un
ideal, entonces f(I) es un ideal. Por tanto, si f es sobreyectivo, I
e
= f(I).
Corolario 2.18. Sea I un ideal de A. Existe una biyeccion natural, que preserva las
inclusiones, entre los ideales del anillo A/I y los ideales de A que contienen a I.
Demostraci on: Consideremos la proyeccion canonica : A A/I. A todo ideal J A
que contenga a I, le hacemos corresponder el ideal J
e
= (J) de A/I. Basta ver que esta
correspondencia es biyectiva. De hecho, la inversa hace corresponder a un ideal K A/I,
el ideal K
c
de A. (Obervemos que K
c
contiene a I, ya que K
c
=
1
(K) contiene a

1
(0) = I.) 2
4
2.3. Ideales primos y maximales
Recordemos que los ideales de Z son precisamente los subgrupos de la forma Zn. Es decir,
los ideales de Z se corresponden con los numeros naturales (y el cero). Recordemos tambien
que una de las formas de ver si un n umero natural es primo, es la siguiente: Diremos que
p > 1 es primo si dados a, b Z tales que p[ab, entonces o bien p[a o bien p[b. Esta
propiedad se puede expresar en terminos de ideales de Z: El n umero p > 1 es primo si
dados a, b Z tales que ab Zp, entonces o bien a Zp, o bien b Zp. Esto nos permite
tener, en un anillo arbitrario, la nocion de ideal primo:
Denicion 2.19. Un ideal I A se dice primo si, dados a, b A tales que ab I, o
bien a I o bien b I.
Observemos que hemos descartado el caso I = A (que en los enteros correspondera a
p = 1), pero no hemos descartado el caso I = 0. Es decir, 0 Z s es un ideal primo.
Los ideales primos de Z son, entonces, aquellos de la forma Zp, con p un n umero primo,
o p = 0.
El hecho de que un ideal I A sea primo o no, se puede detectar facilmente a traves del
anillo cociente A/I.
Denicion 2.20. Dado un anillo A, un elemento a A se dice que es un divisor de
cero si existe b A0 tal que ab = 0.
Un anillo A se dice dominio de integridad (o simplemente dominio), si el unico divisor
de cero es 0.
Proposicion 2.21. Un ideal I A es primo si y solo si A/I es un dominio de integridad.
El caso de los ideales de Z es muy representativo. Si n no es primo, entonces n = ab
con 1 a, b < n, luego (a + Zn)(b + Zn) = 0 + Zn, por tanto Z/Zn tiene divisores de
cero distintos de cero, luego no es un dominio de integridad. Sin embargo, si p es primo,
sabemos que Z/Zp es un cuerpo, y por tanto es un dominio de integridad (por que?).
Pero los n umeros primos tambien se pueden caracterizar por otra propiedad: Un n umero
natural p > 1 es primo si los unicos divisores que admite son 1 y p. En terminos de ideales,
observemos que a[b si y solo si b a. Por tanto, un n umero p > 1 es primo si y solo
si los unicos ideales que contienen a p son p y 1 = Z. Este tipo de ideales se llaman
maximales.
Denicion 2.22. Un ideal I A se llama maximal si los unicos ideales que lo contienen
son I y A.
Observamos que en Z, los ideales maximales son precisamente los ideales primos (salvo el
0, que es primo pero no maximal).
Al igual que con los ideales primos, los ideales maximales tambien se pueden reconocer
usando el anillo cociente.
Proposicion 2.23. Un ideal I A es maximal si y solo si A/I es un cuerpo.
Corolario 2.24. Un anillo A no nulo es un cuerpo si y solo si el ideal 0 es maximal.
Hemos visto que puede haber ideales primos no maximales (el ideal 0 Z). Pero el
recproco no es cierto:
5
Proposicion 2.25. Todo ideal maximal es primo.
Hemos visto que un morsmo de anillos f : A B nos permite hacer corresponder
ideales de A con ideales de B y viceversa, mediante la extension y la contraccion. Podemos
preguntarnos si esta correspondencia preserva la propiedad de ser primo o de ser maximal.
Desafortunadamente, solo hay un caso en que esta propiedad se preserva:
Proposicion 2.26. Sea f : A B un morsmo de anillos. Si J B es un ideal primo,
entonces J
c
A es un ideal primo.
Observacion: La contraccion de un ideal maximal no es necesariamente maximal. La
extension de un ideal primo no es necesariamente primo. La extension de un ideal maximal
no es necesariamente maximal.
En el caso de un anillo cualquiera A, nos podramos preguntar si de verdad existen ideales
primos o maximales. La respuesta es que siempre existen ideales maximales (y por tanto
primos), pero para demostrarlo necesitamos suponer que es cierto el axioma de eleccion.
Mas concretamente, usaremos el lema de Zorn (que es equivalente al axioma de eleccion),
para demostrar la existencia de ideales maximales.
Teorema 2.27. Todo anillo no nulo tiene al menos un ideal maximal.
Corolario 2.28. Sea A un anillo y I A un ideal. Entonces I esta contenido en un ideal
maximal.
Denicion 2.29. Un elemento a A se dice que es una unidad, si existe b A tal que
ab = 1.
Corolario 2.30. Todo elemento de A que no sea una unidad esta contenido en un ideal
maximal.
A veces, aunque un dominio de integridad A no sea un cuerpo, nos interesa asociarle un
cuerpo K que lo contiene, que llamaremos cuerpo de fracciones de A, y que se dene
del mismo modo que el cuerpo Q se dene a partir de Z.
Denicion 2.31. Dado un dominio de integridad A, consideremos el conjunto de las
fracciones
F =

a
b
; a, b A, b ,= 0

.
El cuerpo de fracciones K de A es el anillo formado por el conjunto cociente F/ , donde
es la relacion de equivalencia denida por:
a
b

c
d
ad = bc,
con las operaciones
a
b
+
c
d
=
ad + bc
bd
,
a
b

c
d
=
ac
bd
.
Proposicion 2.32. El cuerpo de fracciones de un dominio A esta bien denido, es un
cuerpo, y contiene a A (mediante el morsmo de anillos inyectivo a
a
1
).
6
2.4. Anillos noetherianos. Teorema de la base de Hilbert
En esta seccion estudiaremos un tipo particular de anillos, cuyas propiedades fueron estu-
diadas por Emmy Noether, a principios del siglo XX.
Denici on 2.33. Un anillo se dice noetheriano si todos sus ideales son nitamente
generados.
Denicion 2.34. Se dice que un anillo A cumple la condicion de cadena ascendente
si toda cadena creciente de ideales es estacionaria. Es decir, si para toda familia de ideales
I
1
I
2
I
3

existe un k 1 tal que I
k
= I
m
para todo m > k.
Uno de los principales logros de Emmy Noether consistio en descubrir que estas dos con-
diciones son equivalentes:
Teorema 2.35. Un anillo es noetheriano si y solo si cumple la condicion de cadena
ascendente.
Gracias a esta caracterizacion, podemos dar un resultado muy potente sobre los anillos de
polinomios:
Teorema 2.36 (Teorema de la base de Hilbert). Si A es un anillo noetheriano, entonces
A[x] es un anillo noetheriano.
Si nos damos cuenta de que el anillo de polinomios en varias variables A[x
1
, . . . , x
n
] es
isomorfo a A[x
1
][x
2
] [x
n
], entonces el siguiente resultado se sigue inmediatamente, por
induccion, del teorema de la base de Hilbert.
Corolario 2.37. Si A es un anillo noetheriano, entonces A[x
1
, . . . , x
n
] es un anillo noet-
heriano.
Este resultado tiene una importancia fundamental en geometra algebraica, donde se estu-
dian las soluciones de los sistemas de ecuaciones polinomicas. Supongamos que un conjunto
de puntos S k
n
es solucion de un conjunto de ecuaciones polinomicas p
i
(x
1
, . . . , x
n
)
iI
(es decir, S es el conjunto de puntos que anulan a todos los polinomios p
i
a la vez). En esta
situacion se dice que S es un conjunto algebraico. Entonces es evidente que S anula a
todos los polinomios de I = p
i
(x
1
, . . . , x
n
)
iI
, que es un ideal de k[x
1
, . . . , x
n
]. Por el
teorema de la base de Hilbert, I es un ideal nitamente generado, por tanto I = q
1
, . . . , q
r
,
para ciertos polinomios q
i
= q
i
(x
1
, . . . , x
n
) k[x
1
, . . . , x
n
]. As, todo conjunto algebraico
es solucion de un sistema nito de ecuaciones polinomicas. Esto simplica muchsimo el
estudio de estos conjuntos, y tiene innidad de consecuencias, que son estudiadas por la
geometra algebraica.
Observemos entonces que los ideales, ademas de estar relacionados con la unicidad de
factorizacion en los anillos, lo estan tambien con los sistemas de ecuaciones polinomicas.
De hecho, el conjunto de polinomios que anulan a un subconjunto cualquiera de A
n
es un
ideal de A[x
1
, . . . , x
n
]. Y en el caso en que A sea noetheriano (por ejemplo, si A es un
cuerpo), este ideal es nitamente generado.
7
2.5. Divisibilidad. Dominios de factorizacion unica
Veamos alguna propiedad de los dominios de integridad.
Lema 2.38. Si A es un dominio de integridad, se pueden cancelar factores no nulos. Esto
es, si ab = ac con a ,= 0 entonces b = c.
Denicion 2.39. En un dominio de integridad A, diermos que a divide a b, y escribiremos
a[b, si existe c tal que ac = b. En este caso c es unico (por la propiedad de la cancelacion),
y lo designaremos c = b/a.
Observemos que una unidad u A (esto es, un divisor de 1), divide a cualquier otro
elemento de A, ya que a = u(u
1
a) para todo a A.
Denicion 2.40. Se dira que a, b A son asociados si a[b y b[a.
Lema 2.41. Dos elementos a, b A son asociados si y solo si b = au (y por tanto
a = bu
1
) para una unidad u A.
Denicion 2.42. Sean a, b A. Un maximo com un divisor de a y b es un elemento
d que es maximo (con el orden parcial dado por la divisibilidad) en el conjunto de los
divisores comunes de a y b. Esto es:
1. d[a y d[b.
2. Si d

[a y d

[b, entonces d

[d.
No esta claro que, en un anillo, el conjunto de los divisores comunes de dos elementos a y
b tenga alg un maximo. Lo que s tendremos es una cierta unicidad:
Proposicion 2.43. Si d y d

son maximos comunes divisores de a y b, entonces son

asociados.
En otras palabras, el maximo com un divisor de dos elementos, si existe, es unico salvo
producto por unidad. Por ejemplo, en Z, el maximo com un divisor de dos elementos es
unico salvo signo. Lo escribiremos m.c.d(a, b).
Denicion 2.44. Sean a, b A. Un mnimo com un m ultiplo de a y b es un elemento
m que es mnimo (con el orden parcial dado por la divisibilidad) en el conjunto de los
m ultiplos comunes de a y b. Esto es:
1. a[m y b[m.
2. Si a[m

y b[m

, entonces m[m

.
Al igual que ocurra con los maximos comunes divisores, no esta claro que, en un anillo,
el conjunto de los m ultiplos comunes de dos elementos a y b tenga alg un mnimo. Pero
tambien tenemos el mismo tipo de unicidad:
Proposicion 2.45. Si m y m

son mnimos comunes m ultiplos de a y b, entonces son

asociados.
Es decir, el mnimo com un m ultiplo de dos elementos, si existe, es unico salvo producto
por unidad. Por ejemplo, en Z, el mnimo com un m ultiplo de dos elementos es unico salvo
signo. Lo escribiremos m.c.m(a, b).
8
Veamos en que tipo de anillos podemos armar que existen maximos comunes divisores
y mnimo comunes m ultiplos. Para ello vamos a estudiar como se pueden factorizar los
elementos de un anillo, y que tipo de factores nos interesan. Al igual que estudiamos dos
tipos especiales de ideales, primos y maximales, ahora veremos dos tipos especiales de
elementos, primos e irreducibles.
Denicion 2.46. Sea A un dominio de integridad. Un elemento p A que no sea ni cero
ni unidad se dice primo si, dados a, b A tales que p[ab, o bien p[a o bien p[b.
Observemos que p ,= 0 es primo si y solo si p es un ideal primo.
Denicion 2.47. Sea A un dominio de integridad. Un elemento p A que no sea ni
nulo ni unidad se dice irreducible si es unicamente divisible por sus asociados y por las
unidades.
En este caso, p es irreducible si y solo si p es maximal en el conjunto de los ideales
principales de A; pero esto no quiere decir que p sea un ideal maximal. Por ejemplo
2 Z[x] es irreducible, pero 2 2, x.
Observemos que en el anillo Z, los elementos primos e irreducibles coinciden. Esto no es
cierto, como veremos, en otros dominios. Pero s hay una relacion entre los dos conceptos.
Proposicion 2.48. En un dominio de integridad, todo elemento primo es irreducible.
El recproco no es cierto. Por ejemplo, si consideramos el anillo A = Z[

3], que es
dominio de integridad (es un subanillo de C), tenemos 2 2 = (1 +

3)(1

3). Es
facil demostrar que 2 es irreducible en A, y que no divide ni a 1 +

3 ni a 1

3,
aunque s divide a su producto. Por tanto 2 A es irreducible pero no es primo.
El hecho de que los elementos irreducibles sean los mismos que los primos, esta relacionado
con una propiedad importante que pueden tener los anillos, como veremos a continuacion.
Denicion 2.49. Un Dominio de factorizacion unica (DFU) es un dominio de inte-
gridad A que verica las condiciones siguientes:
[DFU1] Todo elemento de A que no sea cero ni unidad es producto nito de irreducibles.
[DFU2] La descomposicion anterior es unica salvo orden y producto por unidades.
La descomposicion de un elemento de la forma indicada en el resultado anterior se llama
descomposicion factorial.
Los ejemplos que conocemos de DFU son Z y el anillo de polinomios k[x] (aunque esto lo
probaremos mas adelante). Por otro lado, hemos visto que Z[

3] no es DFU.
Veamos que, en la denicion de DFU, podramos haber cambiado la propiedad [DFU2]
por la siguiente:
[DFU3] Todo elemento irreducible es primo.
Proposicion 2.50. Si en un dominio de integridad A se satisface [DFU1], entonces
[DFU2] [DFU3].
Es decir, un dominio de integridad es DFU si y solo si cumple [DFU1] y [DFU3].
9
Corolario 2.51. En un DFU, todo par de elementos admite un maximo com un divisor,
y un mnimo com un m ultiplo.
Ejemplos importantes de DFU son los anillos de polinomios (en una o varias variables)
con coecientes en un DFU. Demostraremos que estos anillos son DFU al nal del tema.
2.6. Dominios eucldeos
Algunas de las propiedades mas relevantes de los n umeros enteros, como la factorizacion
unica en irreducibles, o que todo ideal sea principal, se pueden deducir del hecho de que
en Z existe la division eucldea. Recordemos lo que esto signica: Dados a, b Z, con
b ,= 0, existen unos unicos q, r Z tales que
a = qb + r,
con 0 r < [b[.
Tambien sabemos que existe una division eucldea en K[x], ya que dados dos polinomios
a(x), b(x) K[x], con b(x) ,= 0, existen unos unicos polinomios q(x), r(x) K[x] tales que
a(x) = q(x)b(x) + r(x)
donde, o bien r(x) = 0, o bien 0 gr(r(x)) < gr(b(x)).
Estos dos ejemplos nos hacen intuir la denicion general de una division eucldea en un
anillo A. En primer lugar, necesitaremos alg un modo de comparar los elementos de A,
para decidir cuando consideramos que alg un elemento es menor que otro. En el caso de
Z, usaremos el valor absoluto. En el caso de K[x], usamos el grado de los polinomios. En
general, requeriremos que exista una aplicacion
: A0 N,
y compararemos los elementos no nulos de A simplemente comparando sus imagenes por .
Llamaremos a (a) el valor de a. Es importante que tome valores en N, un conjunto con
un buen orden, ya que la estrategia que se suele seguir para calcular la division eucldea de
a por b (con a, b A) consiste en comenzar con a, e ir restandole sucesivamente m ultiplos
de b, para ir reduciendo su valor todo lo posible. Como los valores son n umeros naturales,
el proceso se detendra.
La division eucldea esta estrechamente relacionada con la divisibilidad: Una de las razones
principales por la que un elemento a se divide entre un elemento b, es para ver si a es
m ultiplo de b (lo que ocurrira si y solo si el resto de la division eucldea es cero). Es por eso
que trataremos solo con anillos que sean dominios de integridad (donde la divisibilidad es
un orden parcial). Ademas, queremos que respete ese orden parcial, por lo que exigiremos
que si b[a, entonces (b) (a).
Un dominio eucldeo sera un dominio de integridad donde exista una division eucldea. Es
decir, tenemos lo siguiente:
Denici on 2.52. Un dominio de integridad A se dice dominio eucldeo (DE) si existe
una aplicacion : A0 N tal que
[DE1] Si a, b A0, entonces b[a (b) (a).
10
[DE2] Dados a, b A con b ,= 0, existen q, r A (cociente y resto) tales que
a = qb + r
donde, o bien r = 0, o bien (r) < (b).
Observemos que en esta denicion no se dice nada sobre la unicidad del cociente y el resto.
De hecho, veremos ejemplos de dominios eucldeos donde el cociente y el resto de algunas
divisiones no son unicos.
Ya hemos visto que Z con (n) = [n[ es un dominio eucldeo, y K[x] con (p(x)) = gr(p(x))
tambien lo es.
Un ejemplo interesante es el siguiente: Z[x] con (p(x)) = gr(p(x)) NO ES dominio
eucldeo. Aunque s cumple [DE1], no cumple [DE2], ya que no podemos dividir, por
ejemplo x
2
entre 2x y obtener como resto un polinomio nulo o de grado cero.
Observemos que todo cuerpo K es un dominio eucldeo, y que la aplicacion solo puede
ser esencialmente una. Aunque la division eucldea en este caso es bastante in util.
Un importante ejemplo de dominio eucldeo son los enteros de Gauss:
Z[i] = a + bi; a, b Z C,
donde denimos (a + bi) = [a + bi[
2
=

a
2
+ b
2

2
= a
2
+ b
2
. No es evidente demostrar
[DE2] en este caso.
Proposicion 2.53. Sea (A, ) un dominio eucldeo.
1. Si u A es una unidad, (u) es el mnimo valor posible.
2. Si a, b A0 son asociados, entonces (a) = (b).
3. Si a, b A0 son tales que (a) = (b) y ademas a[b, entonces son asociados.
4. Un elemento u A0 es una unidad si y solo si (u) = (1).
Las propiedades mas importantes de un dominio eucldeo, ademas de la posiblidad de usar
la division eucldea, son las siguientes: En un dominio eucldeo todo ideal es principal, y
todo dominio eucldeo es un DFU. Veamoslo.
Denicion 2.54. Un dominio de integridad A se dice dominio de ideales principales
(DIP) si todo ideal es principal (es decir, todo ideal puede ser generado por un solo
elemento).
Ejemplos de DIP son Z, o cualquier cuerpo. Ya vimos que Z[x] no es un DIP.
Demostraremos lo siguiente:
DE DIP DFU
Proposicion 2.55. Todo dominio eucldeo es un dominio de ideales principales.
Demostraci on: Dado un ideal I ,= 0 de un dominio eucldeo, basta tomar un elemento
no nulo a I de valor mnimo, y demostrar que I = a usando la division eucldea. 2
11
Esto demuestra, por ejemplo, que Z[x] no es un dominio eucldeo, para ninguna aplicacion
que podamos imaginar, ya que si lo fuera tambien sera DIP, y esto ultimo no es cierto.
El recproco del resultado anterior no es cierto: Existen dominios de ideales principales
que no son dominios eucldeos. Un ejemplo es Z

1+

19
2

. Una demostracion sencilla de

este hecho, por Oscar A. Campoli, puede encontrarse en
[http://www.uwlax.edu/faculty/LeDocq/mth 412/pid not ed.pdf]
Un resultado muy conocido para n umeros enteros, que se cumple para todo DIP (y por
tanto para todo DE) es la identidad de Bezout. Lo vemos en el resultado siguiente, del
que tambien se deduce inmediatamente que en un DIP (y por tanto en un DE) todo par
de elementos admite un maximo com un divisor.
Proposicion 2.56 (Identidad de Bezout). Sea A un DIP. Dados a, b A0, existe
d = mcd(a, b), y ademas existen , A tales que d = a + b.
Demostraci on: Basta considerar el ideal a, b. Como A es un DIP, este ideal se puede
generar por un solo elemento, es decir, existe un elemento d A tal que a, b = d. Se
tiene por tanto que d = a + b para ciertos , A.
Solo queda demostrar que d = mcd(a, b). Por un lado, como a, b d, tanto a como b
son m ultiplos de d. Por otra parte, si d

es un divisor com un de a y b, entonces a d

y
ademas b d

, luego d = a, b d

, lo que equivale a decir que d

[d. 2
Veamos ahora que todo DIP es un DFU, mediante los siguientes resultados.
Proposicion 2.57. Todo DIP verica la condicion de cadena ascendente.
Demostraci on: Todo DIP es evidentemente noetheriano, puesto que sus ideales pueden
ser generados por un solo elemento. Como sabemos que un anillo es noetheriano si y solo
si cumple la CCA, el resultado es inmediato. 2
Proposicion 2.58. Si A cumple la CCA, todo elemento a A que no sea nulo ni unidad,
admite un divisor irreducible.
Demostraci on: Si a es irreducible, ya hemos terminado. Si no, existira un divisor a
1
[a
que no es ni unidad ni asociado a a. Si a
1
es irreducible, hemos terminado. Si no, existira un
divisor a
2
[a
1
que no es ni unidad ni asociado a a
1
.
Continuamos el proceso, obteniendo una sucesion a, a
1
, a
2
, a
3
, . . ., donde cada elemento es
divisor del anterior, y no es ni unidad ni asociado a el. Si alg un a
n
es irreducible, hemos
encontrado un divisor irreducible de a. En caso contrario, obtendramos una cadena de
ideales
a a
1
a
2
a
3

que no es estacionaria. Es decir, A no cumplira la CCA, lo cual contradice la hipotesis.
Por tanto, existe un divisor irreducible de a. 2
Proposicion 2.59. Si A satisface la CCA, entonces satisface [DFU1].
Demostraci on: Tomemos un elemento a A que no sea ni nulo ni unidad. Debemos
demostrar que a es producto nito de irreducibles.
12
Por el resultado anterior, sabemos que existe
1
divisor irreducible de a, y tendremos
a =
1
. Si es unidad, hemos terminado, puesto que
1
sera irreducible. Si no,
debe tener alg un divisor irreducible
2
, y tendremos a =
1

2
. Si
2
es unidad,
hemos terminado, puesto que (
1
)(
2
) sera una descomposicion de a como producto de
irreducibles.
Continuamos el proceso, tomando divisores irreducibles de cada
i
. Si alg un
i
es unidad,
habremos terminado. Pero si
i
no es unidad para ning un i, entonces tendremos una
cadena ascendente de ideales
a
1

2

3

que no es estacionaria, contradiciendo la CCA. 2
Corolario 2.60. Todo DIP satisface [DFU1].
Demostraci on: todo DIP satisface la CCA, y por tanto satisface [DFU1]. 2
Proposicion 2.61. Todo DIP satisface [DFU3].
Demostraci on: Hemos visto que todo DIP satisface la identidad de Bezout. Veamos
que podemos usar esta identidad para demostrar que todo elemento irreducible es primo.
Sea A un DIP y sea p A un elemento irreducible. Para ver que es primo supongamos que
p[ab para ciertos a, b A. Supongamos que p no divide a a, y demostremos que p[b. Como
p no divide a a, y p es irreducible, se tiene mcd(a, p) = 1, luego existen , A tales
que a + p = 1. Multiplicando por b, tenemos ab + pb = b. Observemos que p divide
a cada sumando de la izquierda de la igualdad, y por tanto divide a b, como queramos
demostrar. 2
Corolario 2.62. Todo DIP es un DFU.
Hemos demostrado, por tanto, que
DE DIP DFU
Recordemos que uno de los ejemplos principales de dominio eucldeo es K[x], donde K es
un cuerpo. Los resultados que acabamos de demostrar nos dicen que K[x] es un DIP, y
que K[x] es un DFU.
Gracias a esto, ademas, podemos nalmente demostrar un resultado que habamos dejado
para el nal: Si A es un DFU, A[x] es un DFU. Con ello demostraremos, por ejemplo, que
Z[x] es un DFU. Veamos como lograrlo.
Denicion 2.63. Sea A un DFU. Dado un polinomio no nulo f(x) A[x], llamamos con-
tenido de f(x), denotado c(f(x)), al maximo com un divisor de sus coecientes. Diremos
que f(x) es primitivo si c(f(x)) = 1.
Lema 2.64. Sea A un DFU. Todo polinomio no nulo f(x) A[x] se descompone de
forma unica (salvo producto por unidades) de la forma f(x) = c(f(x))g(x), donde g(x) es
primitivo.
Lema 2.65 (Lema de Gauss). Sea A un DFU, y sean f(x), g(x) A[x] dos polinomios
no nulos. Si f(x) y g(x) son primitivos, entonces f(x)g(x) es primitivo.
13
Corolario 2.66. Sea A un DFU, y sean f(x), g(x) A[x] dos polinomios no nulos. Se
tiene c(f(x)g(x)) = c(f(x))c(g(x)).
Gracias al lema de Gauss, veremos que la irreducibilidad de polinomios en A[x] esta rela-
cionada con la irreducibilidad de polinomios en K[x], donde K es el cuerpo de fracciones
de A.
Lema 2.67. Sea A un DFU y sea K su cuerpo de fracciones. Si f(x) K[x] es un
polinomio no nulo, entonces f(x) = g(x), donde K y g(x) A[x] es un polinomio
primitivo. Esta descomposicion es unica salvo producto por unidades de A.
Gracias a estos resultados, ya podemos comprobar si un polinomio es irreducible en A[x].
Proposicion 2.68. Sea A un DFU y sea K su cuerpo de fracciones. Un polinomio no
nulo f(x) A[x] es irreducible si y s olo si cumple una de las condiciones siguientes:
1. gr(f(x)) = 0 y f(x) es irreducible en A.
2. gr(f(x)) > 0, f(x) es primitivo y es irreducible en K[x].
Finalmente podemos demostrar:
Teorema 2.69. Si A es un DFU, entonces A[x] es un DFU.
Corolario 2.70. Si A es un DFU, entonces A[x
1
, . . . , x
n
] es un DFU.
14