Anillos y factorizaci on

David Sharpe
PREFACIO
Este peque no libro trata de anillos y factorizacion pero no es su intencion el
ser un estudio exhaustivo de ninguno de estos dos temas. Si un tal estudio
existe debera buscarse en los trabajos estandar del tema. El objetivo que te-
nemos es m as modesto. El libro surgio como una corta serie (sucesi on?) de
20 lecciones impartidas a estudiantes de matematicas del segundo a no en
la Universidad de Sheeld. Como atestiguara cualquier maestro universi-
tario, no es ni remotamente cierto que todos los estudiantes de matematicas
se sientan como en casa con ideas abstractas, sin mencionar la posibilidad
de que vean cu al es el punto de estas. El objetivo del curso fue el de ayu-
dar a los estudiantes a hacer la transici on hacia un mundo mas abstracto
lo menos dolorosa posible, presentando las ideas abstractas en un contexto
sucientemente concreto.
Estoy agradecido con mis estudiantes por sufrir lo inadecuado de mi
exposicion. Es mi esperanza que muchos, si no es que todos ellos, hayan
obtenido placer as como conocimiento del curso y que los lectores de este
libro obtendran lo mismo.
Se ha incluido ejercicios en la mayor parte de las secciones con indicaciones
de como resolver la mayora de ellos al nal. Ruego a los lectores a no hacer
trampa viendo las respuestas antes de haber hecho un intento ellos mismos;
esto es tan malo como leer un quienlohizo comenzando en la ultima pagina!
Se supone que los lectores estan familiarizados con las ideas b asicas de
conjuntos y funciones, incluidas las nociones de funci on inyectiva (uno a
uno), suprayectiva (sobre) y biyectiva (uno a uno y sobre), aunque no apare-
cen de manera prominente en el libro; ellas aparecen en la Secci on 1.4. Se
supone tambien que los lectores est an familiarizados con la idea de relaci on
de equivalencia en un conjunto y como parte a un conjunto en subconjuntos.
Estos temas pueden encontrarse en un libro de texto sobre teora elemental
de conjuntos.
INTRODUCCI

ON
Todos, o casi todos, nos sabemos el Teorema Fundamental de la Aritmetica,
aun si no lo conocemos por nombre. Viene desde los antiguos matem aticos
griegos. Comience con un n umero entero, de preferencia positivo, digamos
60. Trate de factorizar 60 en factores cada vez m as peque nos hasta que ya
no pueda hacerlo m as y usted terminar a con 60 = 2 2 3 5. Los factores
2, 2, 3, 5 son irreducibles en tanto que ya no pueden ser factorizados. Otro
nombre para ellos es que son primos. Adem as, esta es la unica manera
de factorizar 60 en irreducibles. Podra usted, por ejemplo, escribir 60 =
(2) 2 (3) 5 si insiste o podra cambiar el orden de los factores,
pero la mayora de la gente razonable dira que estas factorizaciones no son
diferentes de la factorizaci on anterior. Hay entonces esencialmente una y solo
una manera de factorizar a 60 en factores irreducibles (o primos) y esto es
cierto para todos los n umeros enteros. Este es el Teorema Fundamental de
la Aritmetica.
La misma clase de fen omeno sucede con los polinomios. Tome el poli-
nomio x
3
+x
2
+x+1, trate de factorizarlo tanto como se pueda y terminara
con
x
3
+x
2
+x + 1 = (x + 1)(x
2
+ 1).
Al menos eso es con lo que terminar a si insiste en que todos los coecientes
sean n umeros reales. Si usted es lo sucientemente osado para permitir coe-
cientes complejos, puede ir m as lejos y escribir
x
3
+x
2
+x + 1 = (x + 1)(x +i)(x i).
Otro teorema fundamental, esta vez llamado el Teorema Fundamental del

Algebra, nos dice que un polinomio con coecientes complejos puede ser
factorizado en factores lineales y esto puede hacerse de esencialmente una
unica manera. Podra usted, por ejemplo, escribir
x
3
+x
2
+x + 1 = (ix +i)(ix + 1)(x i),
pero la mayora de la gente razonable dira que esta es la misma factorizaci on
que la anterior: el primer factor ha sido multiplicado por i y el segundo por
6
i, que tiene realmente poco efecto. Este famoso teorema fue demostrado
primero por Gauss en su tesis doctoral en 1799 a pesar de que el resultado
era conocido antes de eso. Es, de hecho, un teorema que no es en absoluto del
algebra sino del analisis y las demostraciones de Gauss (porque dio mas de
una) no aguantaran la prueba de los mas altos est andares de rigor de hoy. Si
el polinomio con el que usted comienza tiene coecientes reales y usted insiste
en que los factores tengan coecientes reales, entonces el polinomio puede
solamente ser factorizado en factores irreducibles lineales y cuadr aticos.
He aqu dos situaciones muy distintas en que la misma clase de fenomeno
sucede, primero con enteros y despues con polinomios. Las preguntas surgen
de manera natural, sucede en otras situaciones? o siempre sucede? Las
respuestas son s y no, respectivamente. Debemos establecer un marco al-
gebraico adecuado en el cual considerar estas preguntas y esto trae a colacion
la idea de anillo. A grosso modo (pero mucho), para obtener una idea de un
anillo, piense simplemente en las propiedades que los n umeros enteros y los
polinomios tienen en com un, escrbalas y diga que cualquier cosa que satis-
face estas condiciones es un anillo. En particular, puede usted sumar, restar
y multiplicar en un anillo sujeto a ciertas reglas que se ven mas bien obvias.
Todo el punto de moverse a este marco abstracto en lugar de quedarse con
los n umeros enteros m as familiares, o polinomios, es que se puede lidiar con
ambas situaciones y, esperamos, muchas mas, al mismo tiempo.
Pero para que molestarse? No es simplemente abstraccion en aras de
solo la abstraccion, la maldicion del desafortunado estudiante de hoy? Es-
peramos que no! En primer lugar, muchos resultados sobre n umeros enteros
vienen de esta abstraccion de una manera muy elegante. Pero, de manera
m as importante, factorizacion en este contexto m as abstracto fue impuesto a
los matem aticos por el que es quiz a el m as famoso problema aun sin resolver
en todas las matem aticas, el

Ultimo Teorema de Fermat (entre comillas
porque nadie ha logrado demostrarlo o demostrar que es falso aun). Todos
sabemos que 3
2
+ 4
2
= 5
2
, de manera que hay enteros positivos x, y, z tales
que x
2
+ y
2
= z
2
. El matem atico frances Pierre Fermat propuso alrede-
dor de 1637 que, cuando n > 2, no hay enteros positivos x, y, z tales que
x
n
+y
n
= z
n
.

El escribi o, en el margen de su copia de la traducci on de Bachet
de Aritmetica de Diofanto, que el haba descubierto la m as sobresaliente de-
mostraci on corta de este resultado pero que el margen era demasiado peque no
para contenerla. Desde entonces, matem aticos, tanto profesionales como a-
cionados, han tratado de demostrarlo y fallado. Gauss dio una demostraci on
para n = 3 que involucra la idea de factorizaci on en un anillo distinto a
7
los que hemos mencionado hasta aqu. En 1843, Kummer dio lo que pens o
que era una demostraci on del resultado en general, pero Dirichlet le se nalo
que haba supuesto que la factorizaci on unica se satisfaca en un ambiente
particular en el cual, de hecho, no se satisfaca. Fue esto lo que revel o la
importancia de la factorizacion en general y llev o a Dedekind y a otros a
recurrir a la factorizaci on unica no ya para elementos individuales sino para
conjuntos completos de elementos llamados ideales. Pero esto nos lleva mas
all a del contenido de este peque no libro. Solo podemos esperar que este libro
le abrira el apetito para un estudio posterior.
La factorizaci on de enteros en sus factores primos se ha vuelto promi-
nente recientemente de una manera sorprendente. Los gobiernos alertas a los
problemas de seguridad estan naturalmente preocupados de ser capaces de
pasar mensajes sin que estos sean interceptados y esto se hace en codigo,
esperando que sea un c odigo que no pueda ser decifrado por un enemigo.
La Criptografa de Llave P ublica provee de una tal tecnica de codicaci on.
El receptor del mensaje comienza con dos (o mas) primos grandes, digamos
P, Q que tienen del orden de 50 a 100 dgitos.

El le da al emisor del mensaje
solamente el producto PQ, que el emisor utiliza para codicar el mensaje
en cuestion. El mensaje solo puede ser decodicado cuando se cononcen los
primos individuales P, Q. Es aqu donde resta la dicultad para romper el
c odigo. El tiempo requerido para factorizar un n umero grande en sus factores
primos crece exponencialmente con el tama no del n umero, a diferencia del
tiempo requerido para probar si un n umero dado es primo, que solo crece de
manera lineal con el tama no del n umero. Entonces, aun en estos tiempos de
computadoras muy grandes, no es posible extraer los factores individuales
P, Q solamente del cononcimiento de su producto PQ. Entonces, por ahora
y a menos que usted tenga muy mala suerte (i.e. que su enemigo sea muy
suertudo), su c odigo es seguro. Esto pone a la factorizacion de n umeros a la
vanguardia de la investigaci on de hoy de los cientcos de la computaci on y
la hace de interes para m as personas que solo los estudiantes de licenciatura
en matem aticas. Para un artculo popular en este tema, reimpreso de The
Guardian, referimos al lector a Prime Numbers and Secret Codes de Keith
Devlin, en Mathematical Spectrum, donde se puede encontrar bibliografa a
artculos de investigacion.

Agregado en galeras. Se acaba de anunciar que H. W. Lenstra, Universidad de Ams-

terdam, ha dise nado una tecnica que hace mas posible la factorizacion de n umeros grandes,
de manera que es posible que los servicios de seguridad de todo el mundo deban reconsi-
derar!
8
Pero es tiempo ahora de bajar de estas mareantes cumbres y comnezar
con los detalles.
Parte 1
Anillos
1.1
Introduccion
Las primeras matem aticas con las que la mayora de nosotros nos encon-
tramos conciernen a los n umeros enteros
. . . , 3, 2, 1, 0, 1, 2, 3, . . . .
Aprendimos como sumarlos, restarlos y multiplicarlos. M as adelante pen-
samos en como dividirlos pero esto introduce fracciones de manera que lo
dejaremos de lado por el momento. Con creciente sosticaci on, lidiamos con
polinomios tales como x
2
+ 2, x
3
3x
2
+ 1 y tambien estos los sumamos,
restamos y multiplicamos. Estos dos sistemas satisfacen ambos las mismas
leyes simples para suma, resta y multiplicacion. De hecho, estas leyes son
usualmente utilizadas sin pensarlo. Sin embargo, si vamos a considerar otros
sistemas que estos, necesitaremos hacer una nota de las propiedades que
necesitaremos y, en teora al menos, debemos vericar que las propiedades
se satisfacen cada vez que se introduce un nuevo sistema. Estas propiedades
son incorporadas en la denici on de anillo, dada formalmente por primera
vez por A. A. Fraenkel en 1914.
1.2
Operaciones binarias
Primero la idea de una operaci on binaria en un conjunto. Sea S un conjunto
no vaco. Una operacion binaria en S es una regla mendiante la cual, dados
elementos a, b de S (que podran ser el mismo elemento), hay denido un
elemento unico de S, denotado de manera variada por a +b o ab o a b o a

b,
de acuerdo a como se denota la operaci on binaria. Por ejemplo, si Z denota
al conjunto de los enteros (como siempre lo har a de acuerdo con la palabra
10
alemana zahlen, que quiere decir n umero), entonces la suma y la multipli-
caci on son ambas operaciones binarias en Z en tanto que, dados enteros a,
b, hay denidos enteros unicos a + b y ab en Z. Si estamos considerando la
operaci on binaria + en Z escribimos, a veces pero no siempre, (Z, +) para
enfatizar esto, y (Z, ) o (Z, ) cuando estamos considerando la multipli-
caci on en Z. Cuando las consideramos a ambas, suma y multiplicaci on en Z,
podemos escribir (Z, +, ). Generalmente, si tenemos un conjunto no vaco
S y una operaci on binaria denotada por + denida en S, escribimos (S, +);
y (S, +, ) denotara a S con dos operaciones binarias en ella, denotadas por
suma y multiplicaci on. Enfatizamos que los elementos de S pueden no ser
n umeros y que las operaciones binarias, a pesar de que puedan ser denotadas
por suma y multiplicaci on, pueden no tener nada que ver con suma y multi-
plicaci on de n umeros. De manera sorprendente, es menos confuso quedarse
con las notaciones de suma y multiplicacion que recurrir a cosas como

y
para denotar una operaci on binaria en un conjunto.
Esta denici on de operaci on binaria en S puede dejarlo con un sentimiento
de insatisfacci on o enga no. Despues de todo, que es una regla ? Para el
lector mas sosticado, una operaci on binaria en S es una funci on del producto
cartesiano SS en S. El producto cartesiano SS consiste de todos los pares
ordenados (a, b), donde a, b son elementos de S (similar a las coordenadas
cartesianas de puntos en el plano) y la imagen del par (a, b) bajo la funcion
es denotado por a +b o ab o a

b de acuerdo a como se designa a la operacion

binaria. Pero la manera sosticada de pensar a una operacion binaria es
raramente la mejor, de manera que recurriremos a la manera intuitiva.
Los ejemplos que siguen son todos ejemplos de conjuntos bien conocidos
con dos operaciones binarias denidas en ellos. As como ilustran la noci on
de operaci on binaria, tambien servir an para establecer algo de la notacion
est andar para varios conjuntos.
Ejemplos de conjuntos con operaciones binarias
(1) (Z, +, ), donde Z es el conjunto de los enteros.
(2) (Q, +, ), donde Q es el conjunto de los n umeros racionales.
(3) (R, +, ), donde R es el conjunto de los n umeros reales.
(4) (C, +, ), donde C es el conjunto de los n umeros complejos.
(5) (M
n
(R), +, ), donde M
n
(R) denota al conjunto de todas las matrices
nn con entradas reales y +, denotan la suma y multiplicacion usuales de
matrices.
(6) (R[x], +, ), donde R[x] denota al conjunto de todos los polinomios en
11
x con coecientes reales y +, denotan la suma y la multiplicaci on usuales
de polinomios.
(7) (R[[x]], +, ), donde R[[x]] denota al conjunto de todas las series de
potencias formales. Estas son expresiones formales de la forma
a
0
+a
1
x +a
2
x
2
+ ,
donde los coecientes a
0
, a
1
, a
2
, . . . son todos n umeros reales. A pesar de que
esto parece una suma innita, no lo es y ning un concepto de convergencia est a
involucrado, como sera el caso si estuvieramos tratando de sumar un n umero
innto de cosas. La expresion formal realmente representa a la sucesion
innita (a
0
, a
1
, a
2
, . . . ) y las potencias de x son simplemente utilizadas para
denotar posiciones en la sucesion. Debe resaltarse que

n=0
a
n
x
n
=

n=0
b
n
x
n
,
donde los a
n
y b
n
son n umeros reales, si y solo si a
n
= b
n
para toda n. Suma
y multiplicaci on en R[[x]] estan denidas por
_

n=0
a
n
x
n
_
+
_

n=0
b
n
x
n
_
=

n=0
(a
n
+b
n
)x
n
,
_

n=0
a
n
x
n
__

n=0
b
n
x
n
_
=

n=0
(a
0
b
n
+a
1
b
n1
+ +a
n
b
0
)x
n
.
Estas reglas son similares a las reglas para la suma y la multiplicacion de
polinomios. De hecho, R[x] es un subconjunto de R[[x]] en tanto que un
polinomio es simplemente una serie de potencias con solamente un n umero
nito de coecientes no cero.
(8) En lugar de considerar polinomios en una sola variable x, podemos
tener polinomios en n variables independientes (usualmente llamadas inde-
terminadas) x
1
, . . . , x
n
con (digamos) coecientes reales. Denotamos al con-
junto de estos por R[x
1
, . . . , x
n
]. Un tal polinomio es una expresion formal
de la forma

a
i
1
,...,in
x
i
1
1
x
i
2
2
x
in
n
,
donde i
1
, . . . , i
n
son enteros no negativos y a
i
1
,...,in
R

con solamente
un n umero nito de los a
i
1
,...,in
no cero. (Un ejemplo de un elemento de

El smbolo representa a pertenece a. Entonces a S quiere decir que a es un

elemento de S.
12
R[x
1
, x
2
, x
3
] es 4x
2
1
x
3
2
x
3
6x
2
x
4
3
+x
4
1
; este es tambien un elemento de Z[x
1
, x
2
, x
3
]
porque sus coecientes son, de hecho, enteros.) Suma y multiplicacion pueden
ser denidos en R[x
1
, . . . , x
n
] mediante

a
i
1
,...,in
x
i
1
1
x
i
2
2
x
in
n
+

b
i
1
,...,in
x
i
1
1
x
i
2
2
x
in
n
=

(a
i
1
,...,in
+b
i
1
,...,in
)x
i
1
1
x
i
2
2
x
in
n
,
_

a
i
1
,...,in
x
i
1
1
x
i
2
2
x
in
n
__

b
i
1
,...,in
x
i
1
1
x
i
2
2
x
in
n
_
=

_

jr + kr = ir
1 r n
a
j
1
,...,jn
b
k
1
,...,kn
_
x
i
1
1
x
i
2
2
x
in
n
.
Ejemplos de estas reglas de aparencia complicada seran
(4x
2
1
x
3
2
x
3
3x
2
x
2
3
+x
4
1
) + (x
2
1
x
3
2
x
3
+ 3x
2
x
3
) =
5x
2
1
x
3
2
x
3
3x
2
x
2
3
+x
4
1
+ 3x
2
x
3
,
(4x
2
1
x
3
2
x
3
3x
2
x
3
+x
4
1
)(x
2
1
x
3
2
x
3
+ 3x
2
x
3
) =
4x
4
1
x
6
2
x
2
3
(12 3)x
2
1
x
4
2
x
2
3
9x
2
2
x
2
3
+x
6
1
x
3
2
x
3
+ 3x
4
1
x
3
2
x
3
.
(9) (C[a, b], +, ), donde C[a, b] denota al conjunto de funciones continuas
con valores reales denidas en el intervalo cerrado [a, b] y +, est an denidas
puntualmente, i.e.
(f +g)(x) = f(x) +g(x), (fg)(x) = f(x)g(x).
Ejercicio 1.2 Piense otros diez ejemplos de conjuntos con una o dos
operaciones binarias denidas en ellos. Trate de hacerlos tan diferentes como
pueda.
1.3
Denici on de anillo
Conforme listamos los axiomas que un anillo debe satisfacer, se sugiere que
los lectores tengan en mente los ejemplos prototpicos de los enteros y los
13
polinomios. De hecho, todos los ejemplos listados en la Secci on 1.2 de con-
juntos con dos operaciones binarias satisfaran los axiomas, de manera que
son anillos.
Denicion 1.3.1 Un anillo es un conjunto no vaco R que satisface los
siguientes axiomas:
(1) R tiene una operaci on binaria denotada por + denida en el;
(2) la suma es asociativa, i.e.
a + (b +c) = (a +b) +c para toda a, b, c R
(de manera que podemos escribir a +b +c sin parentesis);
(3) la suma es conmutativa, i.e.
a +b = b +a para toda a, b R;
(4) exite un elemento denotado por 0 en R tal que
0 +a = a para toda a R
(hay solamente un tal elemento porque, si 0
1
, 0
2
son dos tales elementos,
entonces 0
1
= 0
1
+ 0
2
= 0
2
y son el mismo llamamos a 0 el elemento cero
de R);
(5) para cada a R, existe un elemento a R tal que
(a) +a = 0
(hay solamente un tal elemento para cada a porque si b +a = 0 y c +a = 0,
entonces
b = 0 +b = (c +a) +b = c + (a +b) = c + 0 = c;
llamamos a a el negativo de a);
(6) R tiene una operaci on binaria denotada por multiplicacion denida
en el;
(7) la multiplicacion es asociativa, i.e.
a(bc) = (ab)c para toda a, b, c R;
(8) la multiplicacion es distributiva por derecha e izquierda sobre la suma,
i.e.
a(b +c) = ab +ac, (a +b)c = ac +bc para toda a, b, c R;
14
(9) hay un elemento denotado por 1 en R tal que 1 ,= 0 y
1 a = a 1 = a para toda a R
(como para el elemento cero, hay solamente un tal elemento y es llamado el
elemento identidad de R.)
Los Axiomas 1-5 pueden ser resumidos diciendo que R es un grupo abeliano
bajo la suma.
No todos los autores imponen el Axioma 9. Entonces, por ejemplo, los en-
teros pares con la suma y multiplicacion usuales formaran una anillo sin ele-
mento identidad. Sin embargo, nosotros insistiremos en que nuestros anillos
posean elementos identidad y que 1 ,= 0. Podra preguntarse como podran
0 y 1 ser iguales. Si tomamos un conjunto con un solo elemento x y deni-
mos la suma y la multiplicaci on en el mediante x + x = x, xx = x, entonces
obtenemos un anillo en el cual 0 = x = 1. Un tal anillo, con solamente
un elemento, es llamado un anillo trivial. De hecho, anticipando el Teorema
1.3.2, si 1 = 0 en un anillo, entonces a = a 1 = a 0 = 0 para toda a y un
tal anillo debe ser un anillo trivial. Entonces los anillos triviales constituyen
la unica situaci on en la que 1 = 0. Los anillos triviales son excluidos por
nuestro Axioma 9.
El siguiente resultado incluye algunas consecuencias elementales de la
denici on que son usualmente utilizadas sin pensarlo.
Teorema 1.3.2 Sea R un anillo. Entonces
(1) 0a = a0 = 0 para toda a R,
(2) (a)b = a(b) = (ab) para toda a, b R,
(3) (a)(b) = ab para toda a, b R.
Demostracion. (1) 0a + 0a = (0 + 0)a = 0a

, de manera que
(0a) + (0a + 0a) = (0a) + 0a,
((0a) + 0a) + 0a = 0,
0 + 0a = 0,
0a = 0.
Un argumento similar demuestra que a0 = 0.

Las convenciones usuales concernientes a suma y multiplicacion se aplican. Entonces

0a + 0a quiere decir (0a) + (0a)
15
(2) (a)b + ab = ((a) + a)b = 0b = 0 por (1), de manera que (a)b =
ab. Un argumento similar muestra que a(b) = ab.
(3) (a)(b) = (a(b)) por (2)
= ((ab)) por (2)
= ab por el Axioma 5.
Todos los anillos listados en la Seccion 1.2 excepto los anillos de matrices
tienen una propieda extra incorporada en la siguiente denici on:
Denici on 1.3.3 Un anillo R cuya multiplicaci on es conmutativa, i.e. tal
que ab = ba para todo a, b R es llamado un anillo conmutativo.
Por supuesto que, para un anillo conmutativo, las leyes distributivas
izquierda y derecha son la misma cosa.
A pesar de que es posible considerar la factorizacion en anillos no con-
mutativos, es mucho m as difcil y est a mucho mas all a del alcance de este
libro. Estaremos entonces concentrados casi exclusivamente en anillos con-
mutativos.
Ahora que ya hemos denido un anillo conmutativo arbitrario, podemos
ver de manera inmediata como se pueden llevar a cabo la construcci on de poli-
nomios en una o m as variables o de las series de potencias dadas en la Seccion
1.2 cuando los coecientes pertenecen a un anillo conmutativo arbitrario R.
Podemos denir una serie de potencias en una variable x (denominada con
mayor correccion como una indeterminada x), con coecientes en R, como
una expresion formal de la forma
a
0
+a
1
x +a
2
x
2
+
donde a
0
, a
1
, a
2
, . . . pertenecen a R. Las deniciones de la suma y la multi-
plicaci on de las series son como en la Seccion 1.2 y estas hacen de las series
un anillo conmutativo, denotado por R[[x]]. Su elemento cero es
0 + 0x + 0x
2
+
y su elemento identidad es
1 + 0x + 0x
2
+ ,
donde 0 y 1 denotan a los elementos cero e identidad de R, respectivamente.
Es tambien usual denotar a estas dos series de potencias mediante 0, 1 res-
pectivamente. Si consideramos unicamente aquellas series de potencias con
16
solamente un n umero nito de coecientes no cero y utilizamos la mismas
suma y multiplicaci on, obtenemos el anillo de polinomios R[x], otra vez, un
anillo conmutativo. Y se puede hacer una cosa similar con mas de una vari-
able (o indeterminada) para obtener el anillo de polinomios en n variables
sobre R, denotado por R[x
1
, . . . , x
n
].
La formacion de anillos de polinomios es una construcci on muy util de
nuevos anillos a partir de viejos anillos. Otra tal construcci on es la for-
maci on de matrices nn con entradas en un anillo conmutativo M
n
(R). No
utilizaremos, sin embargo, esta construccion aqu porque producira anillos
no conmutativos (excepto cuando n = 1).
Ejercicios 1.3
1. Sean R, S anillos. Demuestre que el producto cartesiano RS que
consiste de todos los pares ordenados (a, b), donde a R, b S, es
un anillo con suma y multiplicacion denidos por
(a, b) + (c, d) = (a +c, b +d)
(a, b)(c, d) = (ac, bd)
para todo a, c R, b, d S.
2. Sea R un anillo. Demuestre que el producto cartesiano R R es
un anillo con suma y multiplicacion denidos por
(a, b) + (c, d) = (a +c, b +d)
(a, b)(c, d) = (ac, ad +bc)
para todo a, b, c, d R.
3. El anillo R tiene la propiedad de que a
2
= a para todo elemento
a de R. (Un tal anillo es llamado un anillo booleano en honor a
George Boole.) Demuestre que a = a para todo a R y que R
es conmutativo.
4. Para un conjunto no vaco S, denotemos por P(S) al conjunto
potencia de S, i.e. el conjunto de todos los subconjuntos de S.
Para X, Y P(S), dena la diferencia simetrica XY mediante
XY = (XY ) (Y X).
(XY = x X : x / Y .) Demuestre que (P(S), , ) es un
anillo que es, de hecho, booleano.
17
1.4
Homomorsmos, subanillos e isomorsmos
Sea R un anillo conmutativo. Un miembro tpico del anillo de polinomios
R[x] es una expresi on formal de la forma
f(x) = a
0
+a
1
x +a
2
x
2
+
con solamente un n umero nito de coecientes no cero. Sea un elemento
de R. Podemos evaluar este polinomio en para producir el elemento
f() = a
0
+a
1
+a
2

2
+
de R. Observe que aunque esta suma parece innita, no lo es porque sola-
mente un n umero nito de los a
i
son no cero. Entonces f() es un elemento
perfectamente legtimo de R. A pesar de que f(x) y f() son cosas muy
distintas (despues de todo, pertenecen a anillos dierentes, f(x) a R[x] y f()
a R), su suma y su multiplicacion son similares:
_

n=0
a
n
x
n
_
+
_

n=0
b
n
x
n
_
=

n=0
(a
n
+b
n
)x
n
,
_

n=0
a
n
x
n
__

n=0
b
n
x
n
_
=

n=0
(a
0
b
n
+a
1
b
n1
+ +a
n
b
0
)x
n
_

_
en R[x],
_

n=0
a
n

n
_
+
_

n=0
b
n

n
_
=

n=0
(a
n
+b
n
)
n
,
_

n=0
a
n

n
__

n=0
b
n

n
_
=

n=0
(a
0
b
n
+a
1
b
n1
+ +a
n
b
0
)
n
_

_
en R.
La suma y multiplicaci on en R[x] son una cuestion de denici on mientras que
en R se siguen en virtud de las leyes asociativa, conmutativa y distributiva
de R. Lo que tenemos aqu es una funcion
R[x] R
18
denida por f(x) f() que llamamos evaluacion en . Esta funcion tiene,
adem as, las propiedades incorporadas en la siguiente denicion:
Denici on 1.4.1 Sea f : S R una funcion del anillo S en el anillo R.
Decimos que f es un homomorsmo si
(1) f(a +b) = f(a) +f(b) para toda a, b S,
(2) f(ab) = f(a)f(b) para toda a, b S,
(3) f(1
S
) = 1
R
.
Podemos extender la idea de evaluacion a polinomios en muchas variables.
Entonces, por ejemplo, consideremos f(x
1
, . . . , x
n
) en el anillo de polinomios
R[x
1
, . . . , x
n
] en n variables independientes sobre el anillo conmutativo R y
sean
1
, . . . ,
n
R. Si
f(x
1
, . . . , x
n
) =

a
i
1
,...,in
x
i
1
1
x
in
n
,
entonces escribimos
f(
1
, . . . ,
n
) =

a
i
1
,...,in

i
1
1

in
n
,
y podemos denir un homomorsmo
R[x
1
, . . . , x
n
] R
mediante f(x
1
, . . . , x
n
) f(
1
, . . . ,
n
). Nos referimos a este homomorsmo
como evaluaci on en (
1
, . . . ,
n
).
En la condici on (3) de la Denici on 1.4.1, 1
S
, 1
R
denotan a los elementos
identidad de S y R respectivamente. Si f es suprayectiva, entonces (3) es
redundante. Porque entonces, dada r R existe s S tal que f(s) = r y
f(1
S
)r = f(1
S
)f(s) +f(1
S
s) = f(s) = r.
Por un argumento similar rf(1
S
) = r para toda r R. Entonces f(1
S
) = 1
R
.
Pero en general, (3) no se sigue de (1) y (2). Por ejemplo, sea R el anillo
M
2
(R) de todas las matrices 2 2 con entradas reales y sea S el anillo de
todas las matrices 2 2 de la forma
_
a 0
0 0
_
,
donde a R, con la suma y la multiplicaci on la suma y multiplicaci on de
matrices. Sea f : S R la funcion inclusi on, de manera que f(s) = s para
19
toda s S. Entonces se satisfacen las condiciones (1) y (2) de la denici on,
pero el elemento identidad de S, a saber,
_
1 0
0 0
_
no es enviado al elemento identidad de R, que es
_
1 0
0 1
_
.
Esta funcion no es un homomorsmo de acuerdo con nuestra denici on.
Por otro lado, si tomamos el mismo anillo R y tomamos S como el anillo
M
2
(Q) de todas las matrices 2 2 con entradas racionales, entonces la
funci on inculsi on es, ahora s, un homomorsmo; las condiciones (1), (2)
de la denici on se satisfacen y el elemento identidad de S es el mismo que
el elemento identidad de R, de manera que es enviado a el bajo la funci on
inclusi on. Otros ejemplos donde la funcion inclusi on es un homomorsmo de
anillos son Q R, R C, R[x] R[[x]] (donde R es un anillo conmuta-
tivo), con la suma y la multiplicacion usuales.
Esta situaci on, donde un anillo esta dentro de otro es una ocurrencia
com un, de manera que hacemos la siguiente denici on:
Denici on 1.4.2 Sean R, S anillos tales que S R (i.e. S es un subconjunto
de R). Si el morsmo inclusion S R es un homomorsmo, entonces
decimos que S es un subanillo de R.
Podemos parafrasear esta denicion diciendo que un anillo S es un sub-
anillo de R si S R y
a +
S
b = a +
R
b
a
S
b = a
R
b
1
S
= 1
R
_
_
_
para todo a, b S
i.e. si la suma y multiplicacion de S son las mismas que la suma y la multi-
plicaci on de R (en los elementos de S) y si S, R tienen los mismos elementos
identidad.
Esta forma de la denici on de un subanillo no es muy conveniente de
manejar, de manera que la reformularemos despues de que hayamos demos-
trado el siguiente resultado.

Este nos dice como se comportan el elemento
cero y los negativos bajo homomorsmos.
Teorema 1.4.3 Sea f : S R un homomorsmo de anillos. Entonces
20
1. f(0
S
) = 0
R
, donde 0
S
, 0
R
son los elementos cero de S, R respectiva-
mente.
2. f(a) = f(a) para toda a S, donde a, f(a) denotan los nega-
tivos de a, f(a) en S, R respectivamente.
Si tomamos a f como una funcion inclusi on en este teorema, nos dice que,
si S es un subanillo de R, entonces S, R tienen el mismo elemento cero y el
negativo de un elemento de S es el mismo si lo consideramos como elemento
de S o de R.
Demostracion del Teorema 1.4.3
(1) f(0
S
) +f(0
S
) = f(0
S
+ 0
S
) = f(0
S
).
Si sumamos f(0
S
) a ambos lados, obtenemos
0
R
+f(0
S
) = 0
R
,
que nos da
f(0
S
) = 0
R
.
(2) Sea a S. Entonces
f(a) +f(a) = f(a + (a)) = f(0
S
) = 0
R
,
de donde f(a) = f(a).
Consideramos ahora la cuestion de cuando un subconjunto de un anillo
dado es un subanillo. Un criterio conveniente de esto est a contenido en el
siguiente resultado. Observe la ausencia de cualquier referencia a las leyes
asociativa, conmutativa y distributiva en estas condiciones.
Teorema 1.4.4 (El criterio de subanillo) Sea R un anillo y sea S un
subconjunto de R. Entonces S es un subanillo de R si y solo si las siguientes
condiciones se satisfacen:
(1) 1 S;
(2) siempre que a, b S, entonces a +b S;
(3) siempre que a S, entonces a S;
(4) siempre que a, b S, entonces ab S.
En la condicion (1), 1 denota por supuesto al elemento identidad de R.
Podemos resumir las condiciones diciendo que S contiene al elemento iden-
tidad de R y es cerrado bajo suma, negaci on y multiplicaci on.
21
Demostracion del Criterio de Subanillo Supongamos primero que S es un sub-
anillo de R. Entonces las condiciones (1), (2), (4) se satisfacen por denici on
y la condici on (3) se satisface por el Teorema 1.4.3.
En el sentido contrario, supongamos que se satisfacen las condiciones (1)-
(4). Las condiciones (2), (4) nos permiten usar la suma y la multiplicacion
de R como operaciones binarias en S. Son asociativas en S, la suma es
conmutativa en S y se satisfacen las leyes distributivas derecha e izquierda
en S porque lo hacen en R. Por la condici on (1), el elemento identidad 1
de R pertenece a S y, claramente, se comporta como elemento identidad de
S. Ahora bien, 1 S de manera que tambien 1 S (por (3)), entonces
0 = 1+(1) S (por (2)). Entonces el elemento cero de R tambien pertenece
a S y act ua claramente como el elemento cero de S. Obseve tambien que
1 ,= 0. Finalmente, dado a S, entonces a S y este claramente act ua
como el negativo de a tanto en S como en R. Hemos ahora vericado que
todos los axiomas se satisfacen para que S sea un anillo utilizando la suma
y la multiplicaci on de R y que R, S tienen el mismo elemento identidad.
Entonces S es un subanillo de R
Podemos ilustrar el uso del Criterio de Subanillo en el siguiente resultado:
Teorema 1.4.5 Sea f : S R un homomorsmo de anillos. Entonces la
imagen, Imf, es un subanillo de R. (Observe que Imf = f(a) : a S.)
Demostracion. En primer lugar, 1
R
= f(1
S
) Imf. Consideremos ahora
a, b Imf. Entonces a = f(s
1
), b = f(s
2
) para algunas s
1
, s
2
S, de
manera que
a +b = f(s
1
) +f(s
2
) = f(s
1
+s
2
) Imf,
a = f(s
1
) = f(s
1
) Imf,
ab = f(s
1
)f(s
2
) = f(s
1
s
2
) Imf.
Entonces, por el Criterio de Subanillo, Imf es un subanillo de R.
Como una ilustracion del Teorema 1.4.5, podemos usar la idea de evaluar
polinomios, aunque sea en una forma ligeramente modicada. Considere, por
ejemplo, el anillo Z[x] de polinomios en x con coecientes enteros. Podemos
denir un homomorsmo
Z[x] R
evaluando cada polinomio f(x) en

5 (digamos). Entonces f(x) es enviado

en f(

5). Este es un homomorismo. Denotamos su imagen por Z[

5], de
22
manera que Z[

5] es un subanillo de R y es, entonces, un anillo si utilizamos

la suma y multiplicacion de los n umeros reales. Un elemento tpico de Z[

5]
es
a
0
+a
1

5 +a
2
(

5)
2
+ ,
donde a
0
, a
1
, a
2
, Z con solamente un n umero nito de ellos no cero, y
esto se simplica a un n umero real de la forma a + b

5, donde a, b Z. De
hecho, podemos formar los anillos Z[

n] para todos los enteros positivos n

de manera similar. Otro ejemplo sera tomar la funcion
Z[x] C
denida mediante la evaluaci on de cada polinomio en el n umero complejo i.
La imagen de este homomorsmo es un subanillo de C, denotado por Z[i]
y que consiste de todos los n umeros complejos de la forma a + ib, donde
a, b Z. Estos son los llamados enteros gaussianos. De una manera similar
podemos formar los anillos Z[

n] para todos los enteros positivos n.

Denicion 1.4.6 Un homomorsmo que es tambien biyectivo es llamado un
isomorsmo. Si R, S son anillos y existe un isomorsmo f : S R, entonces
decimos que R, S son isomorfos y denotamos esto mediante R S.
La palabra isomorsmo viene de la palabra griega isos = igual y morfe
= forma. Para un anillo R, la funci on identidad R R es un isomorsmo,
de manera que R R. Asimismo, si f : S R es un isomorsmo, entonces
tambien lo es f
1
: R S. Adem as, si f : S R, g : T S son isomorsmos
de anillos, entonces no es un asunto difcil vericar que la funci on compuesta
f

g : T R (dada por (f

g)(a) = f(g(a)) para a T) es tambien un

isomorsmo, de manera que si R S y S T, entonces R T. Entonces,
isomorsmo en la clase de anillos es una relaci on de equivalencia. Dos anillos
que son isomorfos tienen identicas porpiedades te oricas.
Denici on 1.4.7 Un homomorsmo que es tambien inyectivo es llamado un
encaje. Si R, S son anillos y hay un encaje f : S R, entonces decimos
que el anillo S est a encajado en el anillo R.
Si el anillo S est a encajado en el anillo R, con f : S R el encaje,
entonces Imf es un subanillo de R y S Imf. Algunas veces puede uno
decir, de manera informal, que S es un subanillo de R. Por ejemplo, dado
un anillo conmutativo R, podemos encajar R en el anillo de polinomios R[x]
enviando a a R al polinomio a +0x +0x
2
+ (llamado algunas veces, de
23
manera m as bien inexacta, un polinomio constante). Es usual identicar a
a con a + 0x + 0x
2
+ y decir que R es un subanillo de R[x].
Hay varias maneras de evitar algunas vericaciones tediosas cuando nece-
sitamos demostrar que ciertas estructuras son anillos. Por ejemplo, supon-
gamos que tenemos un anillo R y un conjunto S tales que hay una biyecci on
f : S R. Podemos utilizar esta biyeccion para transferir la estructura de
anillo de R a S. Denimos la suma y la multiplicacion en S mediante
a +b = f
1
(f(a) +f(b)),
ab = f
1
(f(a)f(b)),
donde a, b S y donde la suma y la multiplicaci on del lado derecho est an
en el anillo R. Es ahora posible vericar los axiomas de anillo para S. De
hecho, la funci on f ser a un isomorsmo de S en R. Ejemplos del uso de este
recurso pueden ser encontrados en los ejercicios en la Seccion 1.6.
Ejercicios 1.4
1. Sea p un n umero primo en Z. Demuestre que el conjunto de todos
los n umeros racionales de la forma m/n, donde m, n Z y p no
divide a n es un anillo bajo la suma y la multiplicacion de los
n umero racionales.
2. Demuestre que las matrices de la forma
_
a 0
b c
_
donde a, b, c son enteros, forman un anillo bajo la suma y la multi-
plicaci on de matrices.
3. Muestre que los n umeros complejos de la forma a+b, donde a, b
Z y = e
2i/3
, forman un anillo bajo la suma y multiplicaci on de
n umeros complejos.
4. Sea n 1 (mod 4) un entero jo. Muestre que el conjunto de todos
los n umeros complejos de la forma a +
1
2
b(

n 1), donde a, b Z,
es un anillo bajo la suma y multiplicacion de n umeros complejos.
5. Sea (R, +, ) un anillo. Dena operaciones binarias , en R de
manera que (R, , ) sea un anillo isomorfo a (R, +, ) y en el cual
el elemento cero y el elemento identidad esten intercambiados.
24
1.5
Dominios enteros
En muchos anillos es perfectamente posible tener dos elementos no cero cuyo
producto sea cero. Por ejemplo, en M
2
(R),
_
0 1
0 0
_ _
1 0
0 0
_
=
_
0 0
0 0
_
.
Otra vez, en el anillo C[0, 1] de las funciones continuas con valores reales en
[0, 1], las funciones f, g ilustradas en la gura son no cero pero su producto
(puntual) es cero. Una cosa as no puede sin embargo ocurrir en el anillo
Z, como tampoco en Q, R, C. Cuando el anillo en cuestion posee elementos
a, b ,= 0 tales que ab = 0, decimos que posee divisores propios de cero. La
nocion de un divisor ser a desarrollada con m as detalle en la Parte 2.
0 1
1
2
f = 0
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
G
0 1
1
2
f = 0
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
w
El desarrollo m as sencillo de una teora de factorizaci on, que es nuestro ob-
jetivo, es en un anillo que, como nuestro ejemplo prototpico Z, no tiene
divisores propios de cero, y que, como Z, es conmutativo.
Hacemos entonces la siguiente denici on:
Denicion 1.5.1 Decimos que un anillo R es un dominio entero si (1) es
conmutativo y (2) no tiene divisores propios de cero, de manera que
ab = 0 a = 0 o b = 0 (a, b R).
Una descripcion alternativa de un dominio entero es que es un anillo R que
(1) es conmutativo y (2) satisfacen la ley de cancelacion, i.e.
ab = ac y a ,= 0 b = c (a, b, c R).
Para ver que estas dos descripciones de un dominio entero son equivalentes,
sea primero R un anillo conmutativo que satisface la condici on (2) y supon-
gamos que ab = ac con a ,= 0. Entonces a(b c) = 0 y a ,= 0, de manera
25
que b c = 0 por (2), i.e. b = c

. Sea ahora R un anillo conmutativo que

satisface la condicion (2) y supongamos que ab = 0 con a ,= 0. Entonces
ab = a 0, de manera que, por la ley de cancelaci on, b = 0. Entonces se
satisface (2).
Adem as de Z, los otros ejemplos prototpicos de anillos donde la factori-
zaci on ocurre son los anillos de polinomios C[x], R[x]. Necesitamos entonces
saber que tales anillos son dominios enteros. Esableceremos el siguiente re-
sultado general.
Teorema 1.5.2 Sea R un dominio entero. Entonces el anillo de polinomios
R[x] es tambien un dominio entero.
Demostracion. En primer lugar, R es conmutativo y es f acil ver que R[x]
es tambien conmutativo. Consideremos ahora f(x), g(x) R[x], ambos no
cero. Escribimos
f(x) = a
0
+a
1
x +a
2
x
2
+ ,
g(x) = b
0
+b
1
x +b
2
x
2
+ ,
donde los a
i
, b
j
pertenecen a R. Existen enteros no negativos m, n tales que
a
m
,= 0, a
m+1
= a
m+2
= = 0 y b
n
,= 0, b
n+1
= b
n+2
= = 0. Entonces
el coeciente de x
m+n
en f(x)g(x) es a
m
b
n
, que es no cero y los coecientes
de las potencias m as altas de x son todas cero. Entonces f(x)g(x) ,= 0. Esto
demuestra que R[x] no tiene divisores propios de cero.
Si denimos el grado de un polinomio no cero a
0
+a
1
x+a
2
x
2
+ como
el maximo entero m tal que a
m
,= 0, entonces la demostraci on del Teorema
1.5.2 muestra que, cuando R es un dominio entero,
gr(f(x)g(x)) = gr(f(x)) + gr(g(x))
para polinomios no cero f(x), g(x) en R[x]. Esta f ormula pude ser extendida
para que se aplique cuando f(x) o g(x) es el polinomio cero si damos al
polinomio cero el grado formal y adoptamos las convenciones
n + () = () +n =
para todos los enteros no negativos n,
() + () = ,
< n para todos los enteros no negativos n.

b c quiere decir b + (c)

26
Si el anillo de coecientes R puede tener divisores propios de cero, entonces
la formula del grado debe debilitarse a
gr(f(x)g(x)) gr(f(x)) + gr(g(x))
Un polinomio en dos variables x, y con coecientes en un anillo R puede ser
considerado como un polinomio en y cuyos coecientes son polinomios en x,
y al reves, i.e. podemos escribir
R[x, y] = (R[x])[y].
Y podemos extender esto a polinomios en cualquier n umero de variables.
Se sigue del Teorema 1.5.2 que, si R es un domino entero y x
1
, . . . , x
n
son
variables independientes, entonces el anillo de polinomios R[x
1
, . . . , x
n
] es
tambien un dominio entero.
Es una observaci on trivial que todo subanillo de un dominio entero es un
dominio entero. Entonces, por ejemplo, los anillos Z[

5] y Z[i] introducidos
en la Secci on 1.4 son dominios enteros porque son subanillos de los dominios
enteros R, C respectivamente.
Ejercicios 1.5
1. Tienen los anillos en los Ejercicios 1.3, 1.4 divisores propios de
cero?
2. Sea R un anillo. Denimos el orden de una serie de potencias no
cero a
0
+a
1
x+a
2
x
2
+ en R[[x]] como el entero no negativo m as
peque no n tal que a
n
,= 0. Escriba una f ormula para ord(f(x)g(x)),
donde f(x), g(x) R[[x]] (a) cuando R no tiene divisores propios
de cero, (b) cuando R puede tener divisores propios de cero. (Nece-
sitar a denir el orden de la serie de potencias cero de manera con-
vencional como y adoptar convenciones concernientes al uso de
.) Demuestre que, cuando R es un dominio entero, tambien lo es
el anillo de series de potencias R[[x]].
1.6
Campos
Hasta ahora el anillo Z y los anillos de polinomios han motivado nuestras
deniciones. Pero hay una no propiedad de estos anillos. No es cierto que
cada entero no cero tenga un inverso multiplicativo entero. Entonces, por
27
ejemplo, no hay un entero n tal que 2n = 1, de manera que 2 no tiene un
inverso multiplicativo. Otra vez, en el anillo de polinomios R[x], donde R es
cualquier anillo, el polinomio x no tiene inverso multiplicativo. Si embargo,
en Q, 2 tiene inverso multiplicativo
1
2
y, de hecho, todo n umero racional
no cero tiene un inverso multiplicativo racional, todo n umero real no cero
tiene un inverso multiplicativo real y todo n umero complejo no cero tiene un
inverso multiplicativo complejo.
Hacemos ahora la siguientes deniciones.
Denicion. Sea R un anillo. Decimos que un elemento u de R es una uni-
dad si tiene un inverso multiplicativo, i.e. si existe u
1
R tal que
u
1
u = uu
1
= 1.
Debe observarse que cada elemento u puede tener solamente un tal inverso
u
1
. (Para demostrar esto adapte el argumento de la Denicion 1.3.1 de que
un elemento puede tener solamente un negativo.) Asimismo, el producto de
dos unidades u, v es otra vez una unidad, con (uv)
1
= v
1
u
1
y el inverso
de una unidad u es una unidad con (u
1
)
1
= u. Por supuesto que 1 es una
unidad con 1
1
= 1. Estas observaciones dicen en efecto que las unidades
de una anillo R forman un grupo bajo la multiplicaci on del anillo llamado el
grupo de unidades de R.
A continuaci on determinamos las unidades del anillo de polinomios R[x]
cuando R es un dominio entero. Supongamos que f(x) es una unidad de
R[x]. Entonces tiene un inverso g(x) en R[x], de manera que
f(x)g(x) = 1.
Entonces, como R es un dominio entero
gr(f(x)) + gr(g(x)) = gr(f(x)g(x)) = 0,
de manera que gr(f(x)) = gr(g(x)) = 0. As, f(x) = u+0x+0x
2
+ , g(x) =
v + 0x + 0x
2
+ y uv = 1. Entonces u es una unidad en R. En el sentido
contrario, si u es una unidad de R, entonces el polinomio u +0x +0x
2
+
es una unidad en R[x] con inverso u
1
+0x+0x
2
+ . Esto es, las unidades
de R[x] son los polinomios de la forma u + 0x + 0x
2
+ donde u es una
unidad de R. Siempre identicamos u R con u + 0x + 0x
2
+ R[x],
con lo que podemos decir que las unidades de R[x] y las unidades de R son
las mismas cuando R es un dominio entero. Esto puede no ser cierto cuando
28
R tiene divisores propios de cero. Si anticipamos la Seccion 1.7 vemos que,
con coecientes en el anillo Z
4
de enteros modulo 4,
(1 + 2x)(1 + 2x) = 1 + 4x + 4x
2
= 1,
de manera que 1 + 2x es una unidad en Z
4
[x].
Denicion 1.6.2 Un campo es un anillo conmutativo en el que todo ele-
mento no cero es una unidad.
Entonces Q, R, C son ejemplos de campos.
Muy pronto proveeremos maneras de construir campos. Pero primero
consideramos la conexion entre dominios enteros y campos.
Teorema 1.6.3 Todo campo es un dominio entero.
Demostracion. Sea F un campo. Debemos demostrar que F no tiene divi-
sores propios de cero. Sean a, b F tales que ab = 0 y supongamos que
a ,= 0. Entonces a es una unidad, de manera que tenemos a
1
ab = a
1
0 = 0,
i.e. b = 0 y F no tiene divisores propios de cero.
El dominio entero Z nos dice que no todo dominio entero es un campo.
Tenemos, sin embargo, el siguiente resultado parcial del recproco del Teo-
rema 1.6.3.
Teorema 1.6.4 Todo dominio entero nito es un campo.
Demostracion. Sea R un dominio entero nito y denotemos a sus distintos
elementos por a
1
, a
2
, . . . , a
n
. Tomemos un elemento no cero a de R. Debemos
demostrar que a es una unidad. Consideremos los elementos aa
1
, aa
2
, . . . , aa
n
.
Cualesquiera dos de estos no pueden ser iguales porque, si i ,= j entonces
a
i
,= a
j
, de manera que aa
i
,= aa
j
por la ley de cancelacion. Entonces
aa
1
, aa
2
, . . . , aa
n
son otra vez los elementos de R en alg un orden. En parti-
cular, existe i tal que aa
i
= 1 y a tiene como inverso a a
i
, de manera que es
una unidad.
A pesar de que Z no es un campo, tiene un campo muy cercanamente
asociado a el, a saber, el campo Q de los n umeros racionales. De hecho,
un n umero racional es solamente una fraccion formada por dos enteros, su
numerador y su denominador. La construcci on de los n umeros racionales
desde los enteros puede ser aplicada a cualquier dominio entero. Entonces,
comenzamos con un dominio entero arbitrario R y consideramos el conjunto
S de todos los pares ordenados (a, b), donde a, b R y b ,= 0. Sin embargo,
29
un n umero racional no es solamente un par de enteros porque dos pares
diferentes pueden dar el mismo n umero racional (e.g.
1
2
=
2
4
). Introducimos
por lo tanto una relacion en S que es, por denici on,
(a, b) (c, d) ad = bc.
Puede verse f acilmente que esta es una relacion de equivalencia. (1) Es
reexiva porque ab = ba, de manera que (a, b) (a, b). (2) Es simetrica
porque (a, b) (c, d) ad = bc cb = da (c, d) (a, b). (3) Es
transitiva porque (a, b) (c, d) y (c, d) (e, f) ad = bc y cf = de, de
manera que adf = bcf = bde y podemos cancelar a d porque d ,= 0 para
producir af = be, i.e. (a, b) (e, f).
Una relaci on de equivalencia en un conjunto tiene el efecto de partir al
conjunto en subconjuntos ajenos. En nuestro caso, denotamos al subconjunto
de esta particion al que pertenece (a, b) mediante a/b. Entonces una fracci on
es un conjunto en la partici on a pesar de que es mucho mejor considerarlo
como un solo elemento que satisface la identidad
a
c
=
c
d
ad = bc (b, d ,= 0).
Denotamos el conjunto de todas estas fracciones por k.
Enunciamos ahora las reglas para sumar y multiplicar fracciones. Ellas
son
a
b
+
c
d
=
ad +bc
bd
,
a
b

c
d
=
ac
bd
.
Debe procederse con precaucion en este punto. Debido a la ambiguedad al
denotar una fraccion dada, necesitamos vericar que tenemos unas operacio-
nes binarias bien denidas. Supongamos que
a
b
=
a
1
b
1
,
c
d
=
c
1
d
1
.
Entonces ab
1
= ba
1
, cd
1
= dc
1
, de manera que
(ad +bc)b
1
d
1
= (ab
1
)dd
1
+ (cd
1
)bb
1
= (ba
1
)dd
1
+ (dc
1
)bb
1
= bd(a
1
d
1
+b
1
c
1
),
y
(ac)(b
1
d
1
) = (ab
1
)(cd
1
) = (ba
1
)(dc
1
) = (bd)(a
1
c
1
),
de manera que
ad +bc
bd
=
a
1
d
1
+b
1
c
1
b
1
d
1
,
ac
bd
=
a
1
c
1
b
1
d
1
.
30
Entonces la suma y la multiplicacion en k est an bien denidas. Es cuesti on
elemental aunque tediosa el vericar que se satisfacen los axiomas de campo
para k. Observamos que el elemento cero es 0/1 y el elemento identidad 1/1
as como que, cuando a/b es no cero, tiene como inverso a b/a.
Hay una manera natural de encajar R en k. Denimos la funcion R k
mediante a a/1. Es f acil ver que esto es un encaje. Entonces R es isomorfo
a un subanillo de k. Es usual el considerar a la fraccion a/1 y a a como la
misma cosa (de manera que, en Z y Q, el entero 2 y el n umero racional 2/1
son identicados), que es cuando este encaje se vuelve una inclusion y R es
un subanillo de k. Llamamos a k el campo de fracciones de R.
Ejercicios 1.6
1. Demuestre que Q[

2], que consiste de todos los n umeros reales de

la forma a
0
+ a
1

2 + a
2
(

2)
2
+ donde a
0
, a
1
, a
2
, Q con
solo un n umero nito de los a
i
no cero (o, de manera equivalente,
Q[

2] = a + b

2 : a, b Q), es un campo bajo la suma y

multiplicaci on de n umeros reales.
2. Denotemos por I, A, B, C a las matrices 2 2
_
1 0
0 1
_
,
_
0 1
1 0
_
,
_
0 i
i 0
_
,
_
i 0
0 i
_
con entradas complejas, respectivamente y denamos
H = aI +bA +cB +dC : a, b, c, d R.
Demuestre que
A
2
= B
2
= C
2
= I, BC = CB = A,
CA = AC = B, AB = BA = C.
Deduzca que H es un subanillo del anillo de matrices M
2
(C). (H
es llamado el anillo de los cuaternios.) Sea
x = aI +bA +cB +dC H,
donde a, b, c, d R, un cuaternio no cero y denimos
x = aI bA cB dC.
31
Calcule xx y xx y deduzca que todo cuaternio no cero es una unidad.
Hace esto de H un campo? C omo se puede encajar C en H? (El
cuaternio aI +bA+cB+dC como esta dado aqu es usualmente re-
escrito como a+bi +cj +dk, con i
2
= j
2
= k
2
= 1, jk = kj = i,
ki = ik = j, ij = ji = k. La idea de estos n umeros se
le ocurrio al distinguido matematico irlandes Sir William Hamilton
en 1843 como una herramienta para trabajar en dinamica en tres di-
mensiones el necesitaba n umeros en cuatro dimensiones! Desde
entonces, la a ha sido botada para dar el, ahora familiar, vector en
tres dimensiones bi +cj +dk y jk = kj = i se ha convertido a la
forma del producto vectorial j k = k j = i etc.)
3. Sea R un anillo conmutativo. Demuestre que, en el anillo de series
de potencias R[[x]], a
0
+ a
1
x + a
2
x
2
+ (con los a
i
en R) es una
unidad si y solo si a
0
es una unidad de R. Cual es el inverso de
1+x en Z[x]? Deduzca que toda serie de potencias no cero en k[[x]],
donde k es un campo, puede expresarse de la forma x
n
u, donde u
es una unidad en k[[x]].
4. Denotemos por F al conjunto de todas las matrices de la forma
_
a b
b a
_
,
donde a, b R. Demuestre que F es un campo bajo la suma y la
multiplicaci on de matrices.
5. Demuestre que el producto cartesiano RR con suma y producto
denidos por
(a, b) + (c, d) = (a +c, b +d),
(a, b)(c, d) = (ac bd, ad +bc)
es un campo. Que campo es este?
6 Demuestre que las matrices de la forma
_
a 2b
b a
_
,
32
donde a, b son n umeros racionales, forman un campo bajo la suma
y multiplicaci on de matrices.
7 Sea R un dominio entero nito. Considerando potencias de un
elemento no cero a de R, provea otra demostracion del Teorema
1.6.4, demostrando asimismo que el inverso de a es una potencia
no negativa de a. Adelantandonos a la Secci on 1.7, encuentre la tal
potencia mas peque na para cada elemento no cero de Z
7
.
1.7
Anillos de clases de residuos
En el Teorema 1.6.4 demostramos que todo dominio entero nito es un campo
pero no dimos indicaci on alguna de en donde se puede encontrar una tal cosa.
Recticaremos eso en esta seccion.
Comenzamos con el conjunto Z de los enteros y jamos un entero n > 1.
Recordamos que se dice que los enteros a, b son congruentes modulo n, y lo
denotamos como
a b (mod n),
si la diferencia entre a y b es divisible por n o, en smbolos, n[(ab). Entonces,
por ejemplo, 5 11 (mod 4) porque 16 es divisible entre 4. Es facil ver
que la congruencia modulo n es una relacion de equivalencia. (1) Es reexiva
porque a a (mod n) para toda a Z. (2) Es simetrica porque si a b (mod
n) entonces b a (mod n). (3) Es transitiva porque si a b (mod n) y b c
(mod n), enonces a c (mod n). Entonces la congruencia m odulo n parte a
Z en subconjuntos ajenos. Denotamos al subconjunto al que a pertenece por
a y llamamos a estos las clases de residuo de los enteros modulo n. Entonces,
para a, b Z,
a = b a b (mod n). (1)
Denotamos por Z
n
al conjunto de todas las clases de residuo de los enteros
m odulo n. De hecho, Z
n
tiene exactamente n elementos distintos, a saber,
0, 1, 2, . . . , n 1. Por ejemplo, Z
4
tiene cuatro elementos distintos 0, 1, 2, 3
con 4 = 0, 5 = 1, 1 = 3, etc. Es mucho mejor considerar a a como un
elemento individual de Z
4
m as que como un conjunto de elementos de Z,
donde las a satisfacen la regla (1) anterior.
Intentamos ahora introducir una suma y una multiplicacion en Z
n
. De-
nimos
a +b = a +b, ab = ab (a, b Z).
33
Entonces, por ejemplo, en Z
4
, 2 + 3 = 5 = 1, 2 3 = 6 = 2. Debido a la
ambiguedad con la que se escriben los elementos de Z
n
como en (1), necesi-
tamos vericar que estas reglas producen operaciones binarias bien denidas
en Z
n
. Supongamos que a = a
1
, b = b
1
, con a, b, a
1
, b
1
Z. Entonces a a
1
(mod n), b b
1
(mod n), de manera que a = a
1
+ kn, b = b
1
+ ln para
algunos k, l Z. Entonces
a +b = (a
1
+b
1
) + (k +l)n,
ab = a
1
b
1
+ (kb
1
+la
1
+kln)n,
de manera que
a +b a
1
+b
1
(mod n), ab a
1
b
1
(mod n)
y a +b = a
1
+b
1
, ab = a
1
b
1
. Esto comprueba que la suma y la mutliplicaci on
est an bien denidas en Z
n
. Es ahora una cuesti on elemental pero tediosa
vericar que Z
n
es un anillo conmutativo. Su elemento cero es 0 y su elemento
identidad es 1 y 1 ,= 0 porque n > 1, y a = a.
Muchos de estos anillos de clases de residuos tienen divisores propios de
cero y, en consecuencia, no son dominios enteros y, por lo tanto, no son
campos. Por ejemplo, en Z
4
2 2 = 4 = 0, y en Z
12
2 6 = 12 = 0.
Determinamos primero cuales son los elementos de Z
n
que son unidades.
Teorema 1.7.1 Sea a Z. El elemento a de Z
n
es una unidad si y solo si
a, n son coprimos (i.e. tienen maximo com un divisor 1).
Ejemplo Entonces, en Z
10
, las unidades son 1, 3, 7, 9. De hecho, 1
1
= 1,
3
1
= 7, 7
1
= 3, 9
1
= 9.
Observacion. Se le recomienda a los lectores que no esten familiarizados con
la teora de m aximos comunes divisores que regresen al Teorema 1.7.1 cuando
esta haya sido desarrollada en la Parte 2. Le prometemos a los lectores que
el Teorema 1.7.1 no es utilizado para demostrar resultados en la Parte 2,
evitando el peligro de argumentos circulares. Esta seccion es includa aqu
primordialmente para proveer mas ejemplos de anillos y, en particular, de
campos nitos.
Demostracion del teorema 1.7.1 Supongamos primero que a es una unidad
en Z
n
, de manera que existe s Z
n
tal que s a = 1. Entonces sa = 1, de
manera que
sa 1 (mod n),
34
de donde existe t Z tal que
sa 1 = tn.
Se sigue que cualquier entero que divide a a y a n debe tambien dividir a
1. 1 es claramente un divisor com un de a y n. Se sigue que 1 es el m aximo
com un divisor de a y n, y a y n son en consecuencia coprimos.
Suponemos ahora que a, n son coprimos. Esto quiere decir que su maximo
com un divisor es 1, entonces existen s, t Z tales que sa + tn = 1 (ver el
Teorema 2.4.2). Ahora bien,
sa +tn = 1,
de donde
s a +tn = 1.
Pero n = 0 en Z
n
, de manera que s a = 1 y a es una unidad en Z
n
con inverso
s.
Esto quiere decir que todo elemento no cero de Z
n
es una unidad si y solo
si 1, 2, . . . , n 1 son todos coprimos con n, i.e. si y solo si n es primo. Esto
nos da el siguiente corolario:
Corloario 1.7.2 Z
p
es un campo si y solo si p es primo.
Esto determina campos de cada orden primo. (El orden de un campo es
el n umero de sus elementos.) No es difcil ver, de la toera de dimension en
espacios vectoriales, que todo campo nito debe tener orden p
n
para alg un
n umero primo p y alg un entero positivo n. El brillante matem atico frances
Evariste Galois (1811-32) mostro como construir un campo nito de orden p
n
para cada n umero primo p y cada entero positivo n, llamado ahora el campo
de Galois de orden p
n
.
El Teorema 1.7.1 y el Corolario 1.7.2 sugieren una conecci on entre el
algebra abstracta y la teora de n umeros en este punto que vale la pena
desarrollar m as. Esto provee cierta justicacion para el algebra abstracta y
resalta dos hermosos e importantes resultados en la teora de n umeros.
Teorema 1.7.3 (Peque no teorema de Fermat) Sea p un n umero primo
y sea n un entero no divisible por p. Entonces
n
p1
1 (mod p).
35
Adem as, para todo entero n,
n
p
n (mod p).
Ejemplo Tomemos p = 7, n = 5. Entonces 5
6
(2)
6
64 1 (mod 7).
Nota historica Pierre Fermat naci o en 1601 en Francia. Su padre fue un
mercader de pieles. Fue un servidor p ublico la mayor parte de su tiempo.
Junto con Descartes ayudo a fundar la geometra coordenada y fue tambien
uno de los originadores del c alculo. Se le considera asimismo el padre de la
teora de la probabilidad. Enunci o su Peque no Teorema en una carta que
escribi o en 1640 pero la primera demostracion publicada fue de Gauss en su
Disquisitiones Arithmeticae. Se dice que a veces se le escucho decir pienso
que veo una gran luz.
Demostracion del Peque no Teorema de Fermat Suponemos en primer lugar
que p no divide a n. Los elementos no cero de Z
p
son 1, 2, . . . , p 1. Consi-
deremos los elementos
1 n, 2 n, 3 n, . . . , p 1 n
de Z
p
. Como n ,= 0 y se satisface la ley de cancelacion en Z
p
, estos son todos
distintos. Tambien son todos no cero porque Z
p
no tiene divisores propios de
cero. Estos son, entonces, todos los elementos no cero de Z
p
en alg un orden
de manera que
(1 n)(2 n)(3 n) (p 1 n) = 1 2 p 1.
Podemos ahora cancelar 1 2 p 1 para obtener
n
p1
= 1,
de manera que
n
p1
1 (mod p).
Podemos multiplicar por n para obtener
n
p
n (mod p),
y esto es tambien cierto cuando n es divisible por p porque ambos lados de
la congruencia, en tal caso, son congruentes a cero.
36
Para aquellos familiarizados con el Teorema de Lagrange para grupos
nitos, el Peque no Teorema de Fermat puede ser deducido muy facilmente
del Teorema de Lagrange. Los elementos no cero del campo Z
p
forman un
grupo de orden p 1, su grupo de unidades. Si n no es divisible por p,
entonces n es un elemento de este grupo y se sigue f acilmente del Teorema
de Lagrange que el orden del grupo generado por n divide a p 1, de donde
n
p1
= 1.
Teorema 1.7.4 (Teorema de Wilson) Sea p un n umero primo. Entonces
(p 1)! 1 (mod p).
Ejemplo Tomemos p = 11. Entonces
10! = 10 9 8 7 6 5 4 3 2 1
(1) (2) (3) (4) (5) 5 4 3 2 1 (mod 11)
1
2
2
2
3
2
4
2
5
2
(mod 11)
10
2
12
2
(mod 11)
(1)
2
1
2
(mod 11)
1 (mod 11).
Nota historica John (m as tarde Sir John) Wilson (1741-93) fue un abogado
y juez. Fue alumno de Waring. Este resultado se le atribuy o a el en 1770
a pesar de que Leibniz probablemente conoca el resultado 100 a nos antes.
La primera demostracion publicada fue de Lagrange en 1773. Una supuesta
demostraci on del Teorema de Wilson por un noble espa nol va como sigue:
(p 1) + 1 = p
de manera que
(p 1)! + 1! = p!
de manera que
(p 1)! 1 (mod p).
Le dejamos al lector encontrar el error!
37
Demostracion del Teorema de Wilson Consideremos primero un campo ar-
bitrario F. Si a F es su propio inverso, entonces
a
2
= 1
a
2
1 = 0
(a 1)(a + 1) = 0
a 1 = 0 o a + 1 = 0
a = 1 o a = 1.
Claramente 1, 1 son sus propios inversos, de manera que F tiene a lo mas
dos elementos que son sus propios inversos (a lo m as porque podra suceder
que 1 = 1 en F un ejemplo de esto sera en el campo Z
2
).
Sea ahora F un campo nito. Los elementos que no son sus propios
inversos multiplicativos pueden asociarse con sus inversos multiplicativos.
Esto nos deja 1, 1, que podran ser iguales. Entonces, cuando multiplicamos
todos los elementos no cero de F obtenemos un producto de la forma
x
1
x
1
1
x
2
x
1
2
x
r
x
1
r
1 (1)
si 1 ,= 1, que es igual a 1. Si 1 = 1, el producto es de la forma
x
1
x
1
1
x
2
x
1
2
x
r
x
1
r
(1)
que es de nuevo 1. Entonces el producto de los elementos no cero de un
campo nito es siempre 1.
Aplicamos ahora esta observacion al campo Z
p
para obtener
1 2 p 1 = 1
(p 1)! = 1
(p 1)! 1 (mod p).
Ejercicios 1.4
1. Encuentre el residuo cuando 3
47
es dividido por 23.
2. Encuentre enteros n, k > 1 tales que n
k
, n (mod k).
3. Demuestre que n
561
n (mod 561) para toda n Z.
4. Demuestre que 143
6
+ 91
10
+ 77
12
1 (mod 1001).
5. Demuestre que para todo entero positivo n, n
37
n es divisible por
383838.
6. Demuestre que 2222
5555
+ 5555
2222
es divisible por 7.
7. Demuestre el recproco del Teorema de Wilson, es decir, que si n
es un entero mayor que 1 tal que (n 1)! 1 mod n, entonces n
debe ser primo. Use esto para demostrar que 17 es primo.
38
8. Sean m, n enteros positivos con n > 1 y dena
k = (n 1)! + 1 mn,
p =
1
2
(n 2)[k
2
1[ (k
2
1) + 2.
Demuestre que p toma todos los valores primos y ning un otro con-
forme m y n varan. Encuentre m, n que hacen p = 7. (Esto fue
se nalado en un artculo del periodico The Guardian por Keith De-
vlin y evidenca la mentira en la a menudo repetida armacion
de la que el presente autor es culpable! de que no hay una
funci on conocida que tome todos los valores primos y ning un otro.
No que esta funcion sirva de algo para generar n umeros primos en
la practica!)
9. Sea p un n umero primo. Demuestre que p divide a n
p
+ (p 1)!n
para todo entero n.
10. Sea p un n umero primo impar. Demuestre que
1
2
3
2
5
2
(p 2)
2
(1)
(p+1)/2
(mod p).
Parte 2
Factorizacion
2.1
Introduccion
Estamos ahora listos para desarrollar la teora de factorizaci on en un am-
biente m as general que en los de enteros y polinomios. Hay una compli-
caci on cuando se trata con factorizaci on en general que puede evitarse en su
mayor parte cuando se trata con enteros y polinomios. Cuando se factori-
zan enteros podemos quedarnos en los enteros positivos y factores positivos
y todo es unico, de manera que 60 = 2 2 3 5 y no hay otra manera
de factorizar 60 en factores primos, aparte de, por supuesto, cambiar el or-
den de los factores. De manera similar, con polinomios podemos quedarnos
con los polinomios m onicos, i.e. polinomios cuyo coeciente principal
el coeciente del termino de grado mas alto es 1. Entonces en R[x],
x
3
+x
2
+x + 1 = (x + 1)(x
2
+ 1),
y no hay otra manera de factorizar este polinomo en polinomios monicos
irreducibles. Si desistimos de insistir en enteros positivos, entonces podemos,
por supuesto, escribir 60 = (2) (2) 3 5, por ejemplo, y cambiar la
factorizaci on. De manera similar, si desistimos de la insistencia en polinomios
m onicos, podemos escribir
x
3
+x
2
+x + 1 = (2x + 2)(
1
2
x
2
+
1
2
).
La ambiguedad surge de las unidades de los dos anillos. Las unidades de Z
son 1, 1 y las unidades de R[x] son todos los polinomios constantes no cero.
En general, una factorizacion dada puede siempre ser cambiada esparciendo
unidades. Asimismo, si est a tratando de factorizar un elemento de un anillo
en dos factores y solo puede hacerlo con uno de los factores una unidad,
entonces ha hecho trampa y el elemento con el que comenz o no puede en
realidad ser factorizado.
40
El ambiente adecuado cuando lidia uno con factorizaci on en general,
al menos en nuestro modesto nivel, es en un dominio entero. Entonces el
smbolo R denotar a un dominio entero a todo lo largo de la Parte 2, a menos
que se indique lo contrario.
2.2
Dominios de factorizacion unica
Hacemos primero precisa la nocion de divisibilidad.
Denci on 2.2.1 Sean a, b R. Decimos que a es un factor de b o que a
es un divisor de b o que a divide a b, y lo denotamos mediante a[b, si existe
c R tal que b = ac.
Notas (1) Divisibilidad es una relaci on reexiva y transitiva en R. Entonces
a[a para toda a R porque a = 1a, y a[b, b[c a[c para toda a, b, c R.
Pero a[b , b[a en general, de manera que no es simetrica.
(2) Sea u R. Entonces u es una unidad si y y solo si u[1.
(3) Se sigue de (2) y del hecho de que la divisibilidad es transitiva que
todo factor de una unidad es otra vez una unidad.
Denici on 2.2.2 Sean a, b R. Decimos que a es un asociado de b, y lo
denotamos mediante a b, si a = ub para alguna unidad u R.
Notas (1) es una relaci on de equivalencia, de manera que podemos sim-
plemente referirnos a elementos asociados a, b.
(2) Si a, b son asociados, entonces a[b y b[a. El recproco es tambien cierto.
Porque supongamos que a[b y que b[a. Entonces existen u, v R tales que
b = ua, a = vb, de manera que b = uvb. Si b ,= 0, entonces podemos cancelar
b para obtener 1 = uv y u es una unidad, de manera que a b. Si b = 0,
entonces tambien a = 0 y, otra vez, a b.
(3) Si u es una unidad de R y a R, entonces ua[a porque a = u(u
1
a) =
u
1
(ua). Los factores de a que no son ni unidades ni asociados de a son
llamados factores propios de a. Entonces 2, 3 son factores propios de 6
en Z pero 7 no tiene factores propios.
(4) Supongamos que a = bc con a, b, c R. Si b es una unidad, entoces c
ser a un asociado de a. Si c es un asociado de a y a ,= 0, entonces b ser a una
unidad.
41
Denicion 2.2.3 Decimos que un elemento p de R es un elemento irredu-
cible de R si (1) p ,= 0, (2) p no es una unidad y (3) p no tiene divisores
propios, i.e. p = ab a o b es una unidad (o, de manera equivalente a p
o b p).
Notas (1) Los enteros positivos que satisfacen estas propiedades son usual-
mente conocidos como n umeros primos. La palabra primo est a reservada
aqu para otra clase de elemento que es lo mismo que un elemento irreducible
en el caso de los enteros. M as sobre este punto despues.
(2) Si p es irreducible, entonces es f acil ver que tambien lo es up donde u
es una unidad.
Observacion. Sea a R y supongamos que hay elementos irreducibles p
1
,
p
2
, . . . , p
s
tales que
a = p
1
p
2
p
s
.
Llamamos a una tal expresi on una factorizacion de a en elementos irreduci-
bles. Si tenemos unidades u
1
, u
2
, . . . , u
s
tales que u
1
u
2
u
s
= 1 (y siempre
podemos obtener esta condici on eligiendo unidades u
1
, u
2
, . . . , u
s1
arbitra-
riamente y deniendo u
s
= u
1
1
u
1
2
u
1
s1
), entonces a tambien tiene la
factorizaci on
a = (u
1
p
1
)(u
2
p
2
) (u
s
p
s
)
en elementos irreducibles. En este sentido la factorizaci on en irreducibles
nunca puede ser unica, como lo hicimos notar en las observaciones introduc-
torias en la Secci on 2.1. Observe que p
1
u
1
p
1
, . . . , p
s
u
s
p
s
.
Llegamos a la denici on crucial.
Denici on 2.2.4 Decimos que R es un dominio de factorizacion unica (que
abreviamos DFU) si (1) todo elemento de R que no es cero ni unidad puede
ser expresado en la forma p
1
p
2
p
s
, donde los p
i
son irreducibles y, (2)
siempre que
p
1
p
2
p
s
= q
1
q
2
q
t
donde p
i
, q
j
son irreducibles, entonces s = t y podemos reacomodar los q
j
en
el producto de manera que p
i
q
i
para 1 i s.
Los ejemplos prototpicos de DFUs son Z (del Teorema Fundamental de
la Aritmetica) y C[x] y R[x] (del Teorema Fundamental de

Algebra). De
hecho, k[x] es un DFU para todo campo k. Que estos son DFUs surgir a de
consideraciones mas generales posteriores.
42
En este punto los lectores pueden estar intrigados por ver un ejemplo
de un dominio entero que no sea DFU. Cosideramos el conjunto Z[

5] de
todos los n umeros complejos de la forma
a
0
+a
1

5 +a
2

5
2
+ ,
donde los a
i
son enteros. Esto se simplica al conjunto de todos los n umeros
complejos de la forma a + b

5 donde a, b Z. Como lo indicamos en la

Secci on 1.4, este es un subanillo de C. Como C es un dominio entero, Z[

5]
es entonces un dominio entero bajo la suma y la multiplicacion de n umeros
complejos. Para = a + b

5 (a, b Z), denimos la norma N() de

mediante
N() = [[
2
= a
2
+ 5b
2
.
Entonces N() es un entero no negativo. Tambien, si , Z[

5], en-
tonces
N() = [[
2
= [[
2
[[
2
= N()N().
Sea u una unidad de Z[

5]. Entonces uu
1
= 1, de manera que
N(u)N(u
1
) = N(uu
1
) = N(1) = 1.
Como N(u) es un entero no negativo, esto quiere decir que N(u) = 1. En-
tonces toda unidad tiene norma 1. Consideremos un elemento u = a+b

5
(a, b Z) de norma 1. Esto es, a
2
+ 5b
2
= 1, de manera que a = 1, b = 0.
Por lo tanto los unicos elementos de norma 1 son 1 y estas son las unidades.
Entonces las unidades de Z[

5] son exactamente los elementos de norma

1 y son precisamente 1 y 1. Ahora bien, en Z[

5],
9 = 3 3 = (2 +

5)(2

5).
Armamos que 3, 2 +

5, 2

5 son irreducibles. Todos ellos tienen

norma 9. Sea un elemento de Z[

5] de norma 9 y supongamos que

= , donde , Z[

5]. Entonces
9 = N() = N() = N()N().
Es facil ver que ning un elemento de Z[

5] tiene norma 3, de manera que

o bien N() = 1 o N() = 1. Entonces o o es una unidad. Es decir, un
elemento de norma 9 es irreducible. Como 3 , 2

5, tenemos entonces
43
dos factorizaciones esencialmente diferentes de 9 en irreducibles, de manera
que Z[

5] no es un DFU.
Veremos m as adelante que Z[i], Z[

2] son DFUs. Esto sera parte de una

b usqueda mayor de una clase de anillos que son DFUs. El concepto de facto-
rizaci on unica se remonta a Euclides y es a Euclides a quien recurrimos para
una tal clase de anillos, llamados apropiadamente dominios euclideanos.
Ejercicios 2.2
1. Provea dos factorizaciones esencialmente diferentes de 6 en irredu-
cibles en Z[

5].
2. Para = a+b

5 Z[

5], donde a, b Z, dena N() = a

2
5b
2
.
(a) Demuestre que N() = N()N() para todo , Z[

5].
(b) Demuestre que es una unidad si y solo si N() = 1 y de
un ejemplo de una unidad de norma 1 que no sea 1 y una unidad
de norma 1.
(c) Si N() es un n umero primo, demuestre que es irreducible.
(d) Demuestre que las congruencias x
2
2 (mod 5) no tienen
soluci on en Z y deduzca que 2, 3 +

5, 3

5 son irreducibles en
Z[

5].
(e) Demuestre que 4 = 2 2 = (3 +

5)(3

5) son dos facto-

rizaciones esencialmente distintas de 4 en irreducibles en Z[

5], de
manera que Z[

5] no es un DFU.
2.3
Dominios euclideanos
Considere el anillo Z. Este anillo no es un campo, de manera que no es usual-
mente posible dividir un entero entre otro para obtener un entero. Pero hay
un concepto de divisi on en Z que viene desde los Elementos de Euclides. Su-
pongamos, por ejemplo, que estamos tratando de dividir 13 entre 5. Decimos
que el cociente es 2 y que el residuo es 3 porque
13 = 2 5 + 3.
Esto sucede en general, como el siguiente teorema lo muestra.
Teorema 2.3.1 (El Algoritmo de la Division para Enteros) Sean
n, m Z con n ,= 0. Entonces existen enteros unicos q, r tales que
m = qn +r y 0 r < [n[.
44
En este caso decimos que q es el cociente y r el residuo cuando m es dividido
entre n.
Demostracion. Consideremos el conjunto S que consiste de todos los enteros
no negativos de la forma m xn, donde x Z. Entonces S es no vaco
porque si m 0, entonces m = m 0 n S y si m < 0 entonces
m(1 n
2
) = m (mn)n S. Se sigue del Principio del Buen Orden

que
S tiene elemento mnimo r (digamos). Entonces r = m qn para alguna
q Z. Pero ahora r < [n[ porque si r [n[, entonces
r [n[ = m(q 1)n S
que es menor que el elemento mnimo de S. Hemos entonces encontrado
enteros q, r con las condiciones requeridas.
Para demostrar la unicidad supongamos que q
1
, q
2
, r
1
, r
2
Z son tales
que
q
1
n +r
1
= q
2
n +r
2
con 0 r
1
, r
2
< [n[.
Supongamos que q
1
,= q
2
. Entonces
[r
1
r
2
[ = [q
2
q
1
[[n[ [n[,
lo que es imposible. Entonces q
1
= q
2
y, en consecuencia, tambien r
1
= r
2
.

Una cosa similar sucede con los polinomios, como lo muestra el siguiente
teorema.
Teorema 2.3.2 (El Algoritmo de la Divisi on para Polinomios) Sea
k un campo y sean f(x), g(x) k[x], donde g(x) no es el polinomio cero.
Entonces existen polinomios unicos q(x), r(x) k[x] tales que
f(x) = q(x)g(x) +r(x) y gr(r(x)) < gr(g(x)).
Decimos, una vez mas, que q(x) es el cociente y r(x) es el residuo cuando se
divide a f(x) entre g(x).
Demostracion. La demostracion sigue lneas similares a las del algoritmo de
la divisi on para enteros. Denotemos por S al conjunto de todos los polinomios

El Principio del Buen Orden dice que todo conjunto no vaco de enteros no negativos
tiene un elemento menor. Es equivalente al Principio de Induccion, uno de los axiomas de
Peano para los enteros.
45
de la forma f(x) h(x)g(x), donde h(x) k[x]. Entonces S es no vaco. Si
el polinomio cero pertenece a S, entonces existe h(x) k[x] tal que f(x)
h(x)g(x) = 0 y podemos tomar q(x) = h(x) y r(x) como el polinomio cero
con grado < gr(g(x)). Supongamos ahora que el polinomio cero no
pertenece a S. Entonces el conjunto de grados de los polinomios en S es un
conjunto no vaco de enteros no negativos, de manera que tiene un elemento
mnimo por el Principio del Buen Orden. Entonces S tiene un polinomio
r(x) de grado mnimo que puede ser expresado en la forma
r(x) = f(x) q(x)g(x),
para alg un q(x) k[x]. Armamos que gr(r(x)) < gr(g(x)). Supongamos lo
contrario y escribamos
r(x) = a
m
x
m
+a
m1
x
m1
+ +a
0
,
g(x) = b
n
x
n
+b
n1
x
n1
+ +b
0
,
donde las a
i
s y b
j
s pertenecen a k y a
m
,= 0, b
n
,= 0. Entonces m n.
Tenemos ahora que
r(x) a
m
b
1
n
x
mn
g(x) = f(x) (q(x) +a
m
b
1
n
x
mn
)g(x),
de manera que pertenece a S. Pero
r(x) a
m
b
1
n
x
mn
g(x)
= (a
m
x
m
+ terminos de grado menor)
(a
m
x
m
+ terminos de grado menor),
de manera que gr(r(x) a
m
b
1
n
x
mn
g(x)) < m = gr(r(x)) y S tiene un
miembro cuyo grado es menor que el de r(x). Esto contradice la elecci on de
r(x). De aqu que gr(r(x)) < gr(g(x)) despues de todo y la existencia de
q(x), r(x) ha sido establecida.
Para demostrar la unicidad supongamos que q
1
(x), q
2
(x), r
1
(x), r
2
(x)
k[x] son tales que
q
1
(x)g(x) +r
1
(x) = q
2
(x)g(x) +r
2
(x)
con gr(r
1
(x)) < gr(g(x)), gr(r
2
(x)) < gr(g(x)). Supongamos que q
1
(x) ,=
q
2
(x). Entonces
gr(r
1
(x) r
2
(x)) = gr((q
2
(x) q
1
(x))g(x))
= gr(q
2
(x) q
1
(x)) + gr(g(x))
gr(g(x)).
46
Pero es f acil ver que
gr(r
1
(x) r
2
(x)) maxgr(r
1
(x)), gr(r
2
(x)) < gr(x).
Entonces q
1
(x) = q
2
(x), de donde tambien r
1
(x) = r
2
(x).
Nos encontraremos con otros anillos que tienen un algoritmo de la divisi on
similar, de manera que vale la pena introducir una denicion abstracta que
las cubra a todas. No tenemos la noci on de ser postitivo en un dominio
entero general, de manera que tendremos que reemplazar 0 r < [n[ en el
enunciado del algoritmo de la divisi on para enteros por [r[ < [n[. Perdemos
as la unicidad de q, r porque, por ejemplo, 13 = 3 5 + (2) con lo que,
cuando dividimos 13 entre 5 podemos obtener o bien (q, r) = (2, 3) o (3, 2).
Entonces no podemos insistir en la unicidad del cociente y del residuo en
general.
Lo que aparece en el algoritmo de la divisi on en Z es la funcion con valores
en los enteros no negativos [ [ denida en Z. Observe que [ab[ = [a[[b[ para
todo a, b Z, de manera que, cuando a, b ,= 0, [a[ [ab[ o, puesto de otra
manera,
a[c [a[ [c[ para a, c ,= 0.
Para k[x] esta funci on es reemplazada por la funci on grado. Tenemos aqu la
ligera complicacion de que el polinomio cero tiene grado . Observamos
que, para f(x), g(x) k[x],
gr(f(x)g(x)) = gr(f(x)) + gr(g(x)),
de manera que, cuando f(x), g(x) ,= 0,
gr(f(x)) gr(f(x)g(x))
o, puesto de otra manera,
f(x)[h(x) gr(f(x)) gr(h(x)) para f(x), h(x) ,= 0.
La forma m as conveniente de la dencion es como sigue:
Denici on 2.3.3 Decimos que el dominio entero R es un dominio eucli-
deano si existe una funci on : R0 0, 1, 2, . . . ,

llamada la funcion
grado de R, tal que

R0 denota al conjunto de elementos no cero de R.

47
(1) siempre que a, b son elementos no cero de R tales que a[b, entonces
(a) (b),
(2) dados a, b R con b ,= 0, existen q, r R tales que
a = qb +r,
donde o bien r = 0 o, si r ,= 0, (r) < (b).
Por supuesto que si a R, a ,= 0, llamamos al entero no negativo (a) el
grado de a. Nos referimos a la propiedad (2) de la denci on como el algoritmo
de la division en el dominio euclideano R.
Debe ser claro que Z y k[x], donde k es cualquier campo, son dominios
euclideanos con (a) = [a[ en Z y (f(x)) = gr(f(x)) en k[x]. Asimismo,
cualquier campo k es un ejemplo (poco interesante) de un dominio euclideano
con la funci on grado denida mendiante (a) = 0 para todo a k, a ,= 0.
Observemos que, dados a, b k con b ,= 0, entonces a = (ab
1
)b, de manera
que siempre podemos tomar r = 0 en el algoritmo de la divisi on en k.
Para otro ejemplo de un dominio euclideano nos dirigimos al anillo Z[i]
de los enteros gaussianos. Sabemos de la Seccion 1.4 que estos forman un
subanillo de C, de manera que forman un dominio entero si utilizamos la
suma y la multiplicaci on de los n umeros complejos. M as aun:
Teorema 2.3.4 El anillo Z[i] de los enteros gaussianos es un dominio eucli-
deano.
Demostracion. Denimos la funcion norma N en Z[i] mediante
N() = [[
2
( Z[i]).
Entonces, para Z[i], N() es un entero no negativo que es igual a cero
si y solo si = 0. La funci on grado en Z[i] es simplemente la funcion N
aplicada a Z[i]0. Observe que, para , Z[i],
N() = [[
2
= [[
2
[[
2
= N()N(),
de manera que, cuando , ,= 0, N() N() y la primera condici on de
la Denicion 2.3.3 se sigue de esto.
Consideremos ahora , Z[i] con ,= 0. Podemos escribir

1
= +i,
48
con , Q. Cada n umero racional se encuentra a una distancia de a lo
m as
1
2
de un entero, de manera que podemos expresar
=
1
+
2
, =
1
+
2
,
con
1
,
1
Z y
2
,
2
Q con [
2
[
1
2
, [
2
[
1
2
. Entonces

1
= (
1
+i
1
) + (
2
+i
2
),
de manera que
= (
1
+i
1
) + (
2
+i
2
),
Denimos
1
+i
1
= , (
2
+i
2
) = , de manera que
= +.
Entonces = Z[i] porque , , Z[i] y
N() = (
2
2
+
2
2
)[[
2
(
1
4
+
1
4
)[[
2
< [[
2
= N().
La segunda condicion de la Denici on 2.3.3 se satisface y Z[i] es un dominio
euclideano.
La demostracion del Teorema 2.3.4 puede ser remendada para demostrar
que Z[

2] es un dominio entero (ver el Ejercicio 2.3.2), pero un argumento

similar falla, por ejemplo, para Z[

3]. No todo anillo de la forma Z[

n],
con n ,= 0, 1 y que es (un producto de primos diferentes)

es un dominio
euclideano. Por ejemplo, vimos en la Secci on 2.2 que Z[

5] no es un DFU
de manera que, en consecuencia de lo que sigue, tampoco es un dominio eucli-
deano. Estos anillos surgen en la teora de n umeros algebraicos como anillos
de enteros algebraicos de ciertos campos numericos. En ese contexto resulta
que, cuando n 1 (mod 4), no estamos considerando el anillo correcto,
deberamos estar considerando al anillo Z[
1
2
(1 +

n)]. Observe que

(
1
2
(1 +

n))
2
=
1
4
(1 + 2

n +n) =
1 +

n
2
+
n 1
4
y
1
4
(n1) Z. Se sigue de esto que los elementos de Z[
1
2
(1+

n)] son todos

n umeros (reales si n > 0 y complejos si n < 0) de la forma x +
1
2
y(1 +

n),
donde x, y Z (o, de manera equivalente, todos los n umeros de la forma

i.e. libre de cuadrados

49
a +b

n donde a, b son ambos enteros o ambos mitades de enteros impares).

Entonces, por ejemplo, el anillo Z[

5] en el Ejercicio 2.2.2 no es el anillo

correcto desde el punto de vista de la teora de n umeros porque 5 1 (mod
4). S tenemos el anillo correcto cuando n 2 o 3 (mod 4) y n no puede ser
congruente con 0 (mod 4) porque es libre de cuadrados.
La discusi on de cuales de estos anillos de enteros algebraicos son do-
minios euclideanos (utilizando la funci on grado (a + b

n) = [a
2
nb
2
[)
va mas alla del alcance de este libro. Resulta que, para valores negativos
de n, cuando los anillos consisten de n umeros complejos, obtenemos do-
minios euclideanos para los valores n = 1, 2, 3, 7, 11 y solamente
para estos valores. Para valores positivos de n, cuando los anillos con-
sisten de n umeros reales, obtenemos dominios euclideanos para los valores
n = 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73 y solamente para estos
valores. Referimos a los lectores a An Introduction to the Theory of Numbers
de Hardy y Wright, cuarta edici on, Captulo 14.
De regreso a la tierra, necesitamos el siguiente resultado elemental.
Teorema 2.3.5 Sea R un domino euclideano con funci on grado y sean
a, b elementos no cero de R tales que a[b y (a) = (b). Entonces a y b son
asociados.
Demostracion. Dividimos a entre b utilizando el algoritmo de la divisi on en
R para producir q, r R tales que
a = qb +r,
con r = 0 o, si r ,= 0, (r) < (b). Como a[b, b = ac para alguna c R.
Entonces r = a(1 qc) y a[r. Entonces, si r ,= 0, (a) (r) < (b),
contrario a la hip otesis. Entonces r = 0 y b[a. Como a[b, esto quiere decir
que a, b son asociados.
Antes de que podamos establecer que los dominios euclideanos son DFU,
necesitamos discutir la existencia de maximos comunes divisores (o m aximos
factores comunes) de elementos de un dominio euclideano.
Ejercicios 2.3
1. En Z[i] determine un cociente y un residuo cuando 11+7i es dividido
por 2 + 5i. Son estos unicos?
2. Demuestre que Z[

2] es un dominio euclideano.
3. Demuestre que, en un dominio euclideano, los elementos no cero
que son asociados tienen el mismo grado.
50
4. Demuestre que, en un dominio euclideano R, (a) (1) para
todos los elementos no cero a R y que (a) = (1) si y solo si a
es una unidad.
5. Sea = e
i/3
y sea R el subanillo Z[] de C. Dena la funci on
grado en R como (a) = [a[
2
(a R0).
(a) Demuestre que R es un dominio euclideano.
(b) Determine los elementos de R de grado 1.
(c) Determine las unidades de R.
(d) Demuestre que i

3 es un elemento irreducible de R.
(e) Demuestre que i

3[(m+n) en R, donde m, n Z, si y solo

si 3[(mn) en Z.
(f) Demuestre que, si a R no es divisible entre i

3, entonces
a
3
1 (mod 9) in R, i.e. a
3
1 = 9b para alguna b R.
(Gauss utilizo el dominio euclideano R y los resultados de este ejer-
cicio para establecer el

Ultimo Teorema de Fermat para el caso
n = 3, i.e. el demostr o que no existen enteros positivos x, y, z tales
que x
3
+y
3
= z
3
. Ver, por ejemplo, 100 Great Problems of Elemen-
tary Mathematics de Heinrich Dorrie.)
2.4
Maximos comunes divisores
Considere los enteros 16, 24 ,40. Su maximo com un divisor es 8 en tanto
que 8[16, 8[24, 8[40 y 8 es el entero m as grande que los divide a todos. La
palabra maximo no tiene sentido en un domino entero en general donde
puede suceder que los elementos no esten ordenados. Pero observe que los
factores comunes de 16, 24, 40 son 1, 2, 4, 8 y que estos tambien
son factores de 8. Es esta propiedad la que forma la denicion de m aximos
comunes divisores en general. En este sentido, 8 ser a asimismo un maximo
com un divisor de 16, 24, 40. Por supuesto que 8 y 8 solo dieren por una
unidad en Z.
Denici on 2.4.1 Sea R un dominio entero y sean a
1
, . . . , a
n
R, n 1.
Decimos que d es un maximo com un divisor o un maximo factor com un
(abreviado MCD) de a
1
, . . . , a
n
si (1) d[a
1
, . . . d[a
n
(i.e. d es un com un di-
visor o factor com un de a
1
, . . . , a
n
) y (2) siempre que c[a
1
, . . . , c[a
n
, con
c R, entonces c[d.
51
Observaciones (1) Si d es un MCD de a
1
, . . . , a
n
R, entonces tambien lo es
ud para cualquier unidad u de R. Recprocamente, supongamos que d
1
, d
2
son MCDs de a
1
, . . . , a
n
. Entonces, de la denici on, d
1
[d
2
y d
2
[d
1
, de manera
que d
1
d
2
. Podemos entonces decir que los MCDs, si existen, son unicos
salvo asociados o que ellos dieren solo por una unidad.
(2) Sea d un MCD de a
1
, . . . , a
n
R, con a
1
, . . . , a
n
no todos cero.
Entonces d ,= 0. Podemos escribir a
1
= da

1
, . . . , a
n
= da

n
para algunos
a

1
, . . . , a

n
R. Es obvio que 1[a

1
, . . . , 1[a

n
. Supongamos que c[a

1
, . . . , c[a

n
,
con c R. Entonces dc[a
1
, . . . , dc[a
n
, de manera que dc[d. Como d ,= 0
podemos deducir que c[1. Entonces a

1
, . . . , a

n
tiene MCD 1.
(3) Supongamos que a
1
, . . . , a
n
R tienen MCD d y sea b un elemento no
cero de R. Supongamos tambien que ba
1
, . . . , ba
n
tienen un MCD, c digamos.
Entonces d[a
i
para cada i, con lo que bd[ba
i
para toda i, de manera que bd[c,
c = bdu digamos, para alguna u R. Asimismo c[ba
i
para toda i, de manera
que bdu[ba
i
para toda i, con lo que du[a
i
para toda i, de manera que du[d,
con lo que bdu[bd, i.e. c[bd. Entonces c bd. Entonces, suponiendo que
sabemos que a
1
, . . . , a
n
tienen un MCD y que ba
1
, . . . , ba
n
tienen un MCD,
entonces podemos decir que
MCD(ba
1
, . . . , ba
n
) = b MCD(a
1
, . . . , a
n
).
Este hecho sera utilizado mas adelante.
Teorema 2.4.2 Cualesquiera dos elementos a, b de un dominio euclideano R
poseen un MCD. Ademas, tal MCD puede ser expresado de la forma sa +tb
con s, t R.
Observacion En el Ejercicio 2.4.2 demostramos que si cualquier par de ele-
mentos de R tiene un MCD, entonces tambien lo tiene cualquier coleccion
nita no vaca de elementos. Un dominio entero R en el que cualquier par
de elementos tiene un MCD es a veces llamado un dominio MCD. Si adem as
un MCD de cualesquiera dos elementos a, b puede siempre ser expresado de
la forma sa + tb, con s, t R (y esto tambien se transere a la armacion
correspondiente para cualquier colecci on nita de elementos), entonces R es
llamado un dominio de Bezout en honor de E. Bezout (1730-83). Entonces
un dominio euclideano es un dominio de Bezout.
Demostraremos el Teorema 2.4.2 mediante un algoritmo que se remonta
a Euclides, apropiadamente llamado el algoritmo de Euclides.

Este nos de
un metodo de construir un MCD de dos elementos a, b; construye asimismo
dos elementos s, t R tales que sa +tb es un MCD de a, b.
52
Demostracion del Teorema 2.4.2 Si a, b son ambos cero, entonces su MCD
es cero (satisface la denicion) y podemos tomar s, t cualquier cosa que nos
guste. Supongamos ahora que no son ambos cero. Podemos suponer que
b ,= 0. Si b[a, entonces es f acil ver que a, b tienen MCD b y podemos tomar
s = 0, t = 1. Si b a podemos usar el algoritmo de la divisi on en R para
asegurar que existen q
1
, r
1
en R tales que
a = q
1
b +r
1
, r
1
,= 0 y (r
1
) < (b).
Dividimos a continuacion b entre r
1
. Si r
1
[b el proceso termina. De otra
manera, existen q
2
, r
2
R tales que
b = q
2
r
1
+r
2
, r
2
,= 0 y (r
2
) < (r
1
).
Dividimos a continuaci on r
1
entre r
2
. Si r
2
[r
1
el proceso termina. De otra
manera existen q
3
, r
3
R tales que
r
1
= q
3
r
2
+r
3
, r
3
,= 0 y (r
3
) < (r
2
).
Continuamos de la misma manera. Los grados de los residuos sucesivos son
enteros no negativos y son estrictamente decrecientes, de manera que este
proceso debe terminar en alg un momento. Sea r
n
el ultimo residuo no cero,
de manera que las ultimas dos divisiones son
r
n2
= q
n
r
n1
+r
n
r
n1
= q
n+1
r
n
.
De la ultima divisi on vemos que r
n
[r
n1
. Del la pen ultima divisi on vemos
ahora que r
n
[r
n2
(porque r
n
divide tanto a r
n
como a r
n1
). Trabajando
de esta manera de regreso a lo largo de las divisiones vemos, eventualmente,
que r
n
[b, r
n
[a, de manera que r
n
es un factor com un de a, b.
Supongamos ahora que c[a, c[b con c R. De la primera division r
1
=
a q
1
b, de manera que c[r
1
. Entonces, de la segunda divisi on c[b, c[r
1
, de
manera que c[(b q
2
r
1
), i.e. c[r
2
. Si continuamos a lo largo de las divisiones
vemos eventualmente que c[r
n
. Esto demuestra que r
n
es un MCD de a, b.
Finalmente,
r
1
= a q
1
b,
r
2
= b q
2
r
1
= b q
2
(a q
1
b) = q
2
a + (1 + q
2
q 1)b,
r
3
= r
1
q
3
r
2
= (a q
1
b) q
3
[q
2
a + (1 + q
2
q
1
)b]
= (1 + q
3
q 2)a + (q
1
q
3
q
3
q
2
q
1
)b.
53
Si continuamos a lo largo de las divisiones expresaremos eventualmente a r
n
de la forma sa +tb para algunos s, t R.
Ejemplo 2.4.3 Exprese el MCD de los enteros 132, 630 de la forma 132s +
630t.
Solucion Utilizamos el algoritmo de Euclides. Expresamos las divisiones
sucesivas como sigue:
4
132 630
528
102
1
[
[132
102
30[
3
102
90 2
12
[
30
24 2
6[12
12
0
El ultimo residuo no cero es 6, de manera que el MCD de 132, 630 es 6.
Trabajando de regreso a lo largo de las divisiones tenemos que
6 = 30 2 12
= 30 2(102 3 30)
= 7 30 2 102
= 7(132 102) 2 102
= 7 132 9 102
= 7 132 9(630 4 132)
= 43 132 9 630,
de manera que podemos tomar s = 43, t = 9. (Podemos tambien tomar
s = 43 + 630, t = 9 132 por ejemplo, de manera que s, t no son unicas.)

Podemos tambien aplicar el algoritmo de Euclides en situaciones menos

familiares.
Ejemplo 2.4.4 Encuentre el MCD de los enteros gaussianos 7 + 3i, 5 8i.
Solucion Utilizamos la tecnica de la demostraci on del Teorema 2.3.4, donde
demostramos que los enteros gaussianos forman un dominio euclideano. Pri-
54
mero dividimos uno de los enteros gaussianos entre el otro en C para obtener
5 8i
7 + 3i
=
(5 8i)(7 3i)
(7 + 3i)(7 3i)
=
11
58

71
58
i.
El entero gaussiano mas cercano a este es i, de manera que tomamos el
cociente como i. Esto nos da que la primera divisi on en Z[i] es
5 8i = i(7 + 3i) + (2 i),
con 2 i como residuo. A continuaci on dividimos 7 + 3i entre 2 i en C
para obtener
7 + 3i
2 i
=
(7 + 3i)(2 +i)
(2 i)(2 +i)
=
11
5
+
13
5
i.
El entero gaussiano m as cercano a este es 2 + 3i, el cual tomamos como el
cociente cuando 7 + 3i es dividido entre 2 i en Z[i], para obtener
7 + 3i = (2 + 3i)(2 i) i.
Esta es la segunda divisi on en Z[i]. No es necesario llevar a cabo una divisi on
adicional porque el residuo en la segunda division es i, una unidad, y en-
tonces dividir a a 2 i con residuo cero. Entonces el MCD de 7 + 3i, 5 8i
es i.
Los lectores podran querer llevar a cabo el mismo procedimiento pero
invirtiendo los papeles de 7 + 3i, 5 8i, de manera que el primer paso es
dividir 7 +3i entre 5 8i. El ultimo residuo no cero debe ser 1, de manera
que el MCD es 1. Pero i, 1 son ambos unidades de Z[i], con respectivos
inversos i, 1. Como los MCDs est an denidos solamente salvo asociados,
podemos igual decir que el MCD de 7 + 3i, 5 8i en Z[i] es 1.
Denicion 2.4.5 Si dos elementos de un dominio entero tienen MCD 1,
entonces decimos que son coprimos (o primos relativos).
Entonces los enteros gaussianos 7 + 3i, 5 8i son coprimos.
Observamos que, si a, b son elementos coprimos de un dominio euclideano
(o, mas en general, de un dominio de Bezout) R, entonces existen s, t R
tales que
sa +tb = 1.
(Es una cuestion facil ver que el recproco es tambien cierto ver el Ejercicio
2.4.6.)
55
Necesitaremos los siguientes resultados en la Seccion 2.8. El primero ser a
probablemente familiar a los lectores, al menos cuando R = Z.
Teorema 2.4.6 Sea R un dominio euclideano y sean a, b R. Si a[bc y a, b
son coprimos, entonces a[c.
Demostracion. Supongamos que a[bc y que a, b son coprimos. Existen en-
tonces s, t R tales que sa +tb = 1. Ahora bien, a[ac y a[bc, de manera que
a[(sac +tbc), i.e. a[c.
Para ilustrar el segundo resultado consideremos a los enteros 24, 30, 36.
Podemos factorizarlos en irreducibles en el DFU Z para obtener
24 = 2
3
3, 30 = 2 3 5, 36 = 2 (2) 3
2
.
Entonces el MCD de estos enteros es 6 (o 6) porque 6 divide a los enteros y
consideraciones de factorizaci on unica demuestran que cualquier entero que
divida a 24, 30, 36 debe ser de la forma 2

, donde = 0 o 1, = 0
o 1. En la demostraci on que sigue comenzaramos escribiendo
24 = 1 2
3
3
1
5
0
30 = 1 2
1
3
1
5
1
36 = (1) 2
2
3
2
5
0
.
Observe que 1, 1 son unidades.
Teorema 2.4.7 En un DFU, toda familia nita de elementos tiene un MCD.
Entonces un DFU es un dominio MCD.
Demostracion. Sea R un DFU y consideremos a
1
, . . . , a
r
R, r 1. En la
manera ilustrada para Z arriba, podemos factorizar a
1
, . . . , a
r
en irreducibles
como sigue:
a
1
= u
1
p

11
1
p

12
2
p

1n
n
,
a
2
= u
2
p

21
1
p

22
2
p

2n
n
,
.
.
.
a
r
= u
r
p

r1
1
p

r2
2
p
rn
n
,
donde u
1
, . . . , u
r
son unidades, p
1
, . . . , p
n
son irreducibles no asociados de R
y
ij
son enteros no negativos. Para 1 j n, denimos

j
= min
1j
,
2j
, . . . ,
rj

56
y denimos d = p

1
1
p

2
2
. . . p
r
n
. Entonces d[a
1
, . . . , d[a
r
. Supongamos que
c R es tal que c[a
i
para 1 i r, digamos que a
i
= b
i
c para alguna b
i
R.
De la factorizaci on unica vemos que c debe ser de la forma c = up

1
1
p

2
2
p
r
r
,
donde u es una unidad y
1

11
, . . . ,
r1
, . . . ,
n

1n
, . . . ,
rn
, i.e.
1

1
, . . . ,
n

n
. Entonces c[d y d es un MCD de a
1
, . . . , a
r
.
Ejercicios 2.4
1. Demuestre que 3 y 2 +

5 tienen un MCD en Z[

5] pero que
no es posible expresar a este MCD en la forma 3 + (2 +

5)
con , Z[

5].
2. Demuestre que si cualesquiera dos elementos de R tienen un MCD,
entonces tambien lo tiene cualquier conjunto nito no vaco de ele-
mentos. Demuestre tambien que si cualesquiera dos elementos a, b
de R tienen un MCD que se puede expresar de la forma sa+tb con
s, t R, entonces cualquier colecci on nita a
1
, . . . , a
n
(n 1) de
elementos de R tiene un MCD que se puede expresar de la forma
s
1
a
1
+ +s
n
a
n
con s
1
, . . . , s
n
R.
3. Encuentre el MCD de 5+2

2, 1+5

2 en Z[

2] y expreselo
en la forma
(5 + 2

2) + (1 + 5

2)
con , Z[

2].
4. Encuentre el MCD m onico de
f(x) = x
5
+ 4x, g(x) = x
6
+x
5
+ 3x
4
+x
3
+x
2
+x + 2
en Z
5
[x] (m onico=coeciente del termino de grado mayor 1) y
expreselo de la forma s(x)f(x) + t(x)g(x) con s(x), t(x) Z
5
[x].
(Observe que en la expresi on para f(x), 1x
5
ha sido escrito simple-
mente como x
5
; se hace esto de manera consistente. Asimismo, los
terminos con coecientes cero se omiten.)
5. Encuentre una solucion de la ecuaci on
(4 + 9i) + (2 + 7i) = 3 +i
en los enteros gaussianos , .
6. Sean a, b elementos de un dominio entero arbitrario R para los
cuales existen s, t R tales que sa + tb = 1. Demuestre que a, b
son coprimos.
57
7. Sea R un dominio euclideano y sean a, b, c R. Demuestre que si
a[c, b[c y a, b son coprimos, entonces ab[c.
2.5
Elementos primos
Es probable que los lectores sepan que si p es un n umero primo en Z, entonces,
siempre que p[ab, con a, b Z, o p[a o p[b. Utilizamos esta propiedad para
denir lo que es un elemento primo en un dominio entero arbitrario.
Denici on 2.5.1 Sea R un domino entero y sea p R. Decimos que p
es primo si (1) p ,= 0, (2) p no es una unidad y (3) siempre que p[ab con
a, b R, entonces o p[a o p[b.
En Z los elementos primos son, de hecho, los elementos de la forma p
con p un n umero primo. Estos son lo mismos que los elementos irreducibles
de Z. En el siguiente teorema demostraremos que los elementos primos y los
elementos irreducibles son los mismos en un DFU (tal como Z).
Para ver, en general, que los elementos primos y los irreducibles no son
los mismos, consideremos 3 Z[

5]. Sabemos de la Secci on 2.2 que 3 es

irreducible. Asimismo
3 3 = (2 +

5)(2

5),
de manera que 3[(2+

5)(2

5). Pero 3 (2+

5) en Z[

5] porque,
en caso contrario, 2+

5 = 3(a+b

5) para algunos a, b Z, de donde

2 = 3a, lo cual es imposible. Asimismo 3 (2

5). Entonces 3 no es
primo en Z[

5]. Por supuesto que Z[

5] no es un DFU.
Notas (1) Una f acil extensi on de la denicion de elemento primo del dominio
entero R nos da que, si p es primo y p[a
1
a
2
a
s
, con a
1
, . . . , a
n
R y s 1,
entonces p[a
i
para alguna i.
(2) Si p es un elemento primo de un dominio entero R y u es una unidad,
entonces es facil ver que up tambien es un elemento primo en R.
Teorema 2.5.2 Sea R un dominio entero. Entonces (1) todo elemento primo
de R es irreducible, (2) si R es un dominio euclideano, todo elemento irredu-
cible es primo, (3) si R es un DFU, todo elemento irreducible es primo.
Observacion El resultado al que le estamos apuntando es que un domino
euclideano es un DFU (Teorema 2.6.1). Cuando ya tengamos dicho resultado,
58
la armaci on (2) del Teorema 2.5.2 esta incluida en la armaci on (3). Sin
embargo, (2) es un paso importante para demostrar el Teorema 2.6.1, de
manera que no podemos precindir de el en esta etapa. Necesitaremos (3)
para demostrar el Teorema 2.8.9.
Demostracion del Teorema 2.5.2 (1) Sea p un elemento primo de R y consi-
deremos la factorizaci on p = ab con a, b R. Entonces p[ab, de manera que
o p[a o p[b. Pero tambien a[p y b[p, con lo que a p o b p. Entonces p no
tiene factores propios, de manera que es irreducible.
(2) Supongamos ahora que R es un domino euclideano y sea p un elemento
irreducible de R. Supongamos que a, b R son tales que p[ab pero p a.
Por el Teorema 2.4.2, a, p tienen un MCD. Pero solo unidades y asociados
de p dividen a p porque p es irreducible y los asociados de p no dividen a a.
Entonces a, p son coprimos. Se sigue del Teorema 2.4.6 que p[b. Entonces p
es primo.
(3) Supongamos ahora que R es un DFU y sea p un elemento irreducible
de R. Supongamos que a, b R son tales que p[ab. Existe entonces c R
tal que ab = pc. Si factorizamos a, b, c en irreducibles vemos, por unicidad,
que debe haber un factor irreducible de a o b que es un asociado de p, de
manera que p[a o p[b. Entonces p es primo.
Observacion Hemos demostrado de hecho en (2) que, en un dominio de
Bezout, todo elemento irreducible es primo.
Ejercicios 2.5
1. Encuentre un elemento irreducible en Z[

5] que no sea primo.

2. Sea p un entero positivo y sea k Z con 0 k p. Demuestre
que el coeciente binomial
_
p
k
_
=
p!
k!(p k)!
es un entero y que, cuando p es primo y 1 k p 1, es divisible
entre p.
59
2.6
Los dominios euclideanos son DFUs
Estamos ahora en posici on de demostrar el resultado al que hemos estado
apuntando.
Teorema 2.6.1 Todo dominio euclideano es un DFU.
Demostracion. Sea R un dominio euclideano con funcion grado . Demostra-
mos primero que todo elemento no cero, no unidad de R puede ser factorizado
en irreducibles. Supongamos lo contrario. Existe entonces un elemento no
cero, no unidad sin factorizacion en irreducibles y, por el principio del buen
orden de los enteros no negativos, podemos elegir un tal elemento de grado
mnimo, a digamos. Ahora bien, a no puede ser irreducible ya que en caso
contrario puede ciertamente ser factorizado en irreducibles. Entonces existen
b, c en R, no unidades y no asociados de a, tales que a = bc. Como b[a,
(b) (a). Pero como a y b no son asociados, el Teorema 2.3.5 nos dice
que (a) ,= (b). De aqu que (b) < (a). De manera similar, (c) < (a).
Se sigue de la minimalidad de (a) que b, c pueden ambos ser factorizados
como producto de un n umero nito de irreducibles. Si ponemos juntas estas
dos factorizaciones obtenemos una factorizaci on de a en irreducibles. Esto
nos da la contradicci on requerida.
Para establecer la unicidad, supongamos que
p
1
p
2
p
s
= q
1
q
2
q
t
,
con los p
i
, q
j
irreducibles. Por el Teorema 2.5.2(2) p
s
es primo y p
s
[(q
1
q
2
q
t
),
de manera que p
s
[q
j
para alguna j. Como el orden de los factores no es
importante, podemos reordenar los q
j
s si fuera necesario y suponer entonces
que p
s
[q
t
. Pero q
t
es irreducible, de manera que no tiene factores propios.
Entonces p
s
q
t
, digamos que q
t
= up
s
, con u alguna unidad. Podemos
ahora cancelar p
s
para obtener
p
1
p
2
p
s1
= (uq
1
)q
2
q
t1
.
Observe que uq
1
es irreducible. Repetimos ahora el procedimiento con p
s1
en lugar de p
s
, luego con p
s2
y as susecivamente. Se nos acabaran los p
i
s al
mismo tiempo que se nos acaben los irreducibles del lado derecho ya que de
otro modo terminaramos con un producto de irreducibles igual a 1, lo que
60
es imposible. De aqu que s = t y podemos reordenar los q
j
s de tal forma
que p
i
q
i
para 1 i s. Esto demuestra la unicidad.
Se sigue del Teorema 2.6.1 que Z, los anillos de polinomios k[x], donde k
es un campo y Z[i] son todos DFUs.
2.7
El teorema de los dos cuadrados
Una aplicaci on interesante del anillo Z[i] de los enteros gaussianos es la de
demostrar el famoso teorema de los dos cuadrados en teora de n umeros,
debido originalmente a Fermat. Puede preguntarse cuales n umeros primos
(consideramos a los no primos despues) pueden ser expresados como la suma
de dos cuadrados.

Entonces, 2 = 1
2
+ 1
2
, 5 = 2
2
+ 1
2
, 13 = 3
2
+ 2
2
,
17 = 4
2
+ 1
2
, 29 = 5
2
+ 2
2
pero es imposible expresar 3, 7, 11, 19, 23 de esta
manera. El resultado de Fermat nos dice exactamente cuales primos son la
suma de dos cuadrados.
Determinamos primero las unidades del anillo Z[i].
Teorema 2.7.1 Sea Z[i]. Las siguientes armaciones son equivalentes:
(1) es una unidad de Z[i];
(2) N() = 1 (donde N(a +ib) = a
2
+b
2
con a, b Z);
(3) = 1 o i.
Demostracion. Supongamos (1). Tenemos que
1
= 1, de manera que
N()N(
1
) = N(1) = 1, de donde N() = 1.
Supongamos (2) ahora y escribamos = a + ib con a, b Z. Entonces
a
2
+b
2
= 1, de manera que a = 1, b = 0 o a = 0, b = 1. Entonces = 1
o = i.
Es facil ver que 1, i son unidades, de manera que (3) (1).
El siguiente resultado da el resultado de Fermat de que todo n umero
primo que es congruente con 1 (mod 4) es la suma de dos cuadrados.
Teorema 2.7.2 Sea p un n umero primo en Z. Entonces las siguientes ar-
maciones son equivalenes:
(1) p 3 (mod 4);
(2) p es irreducible como entero gaussiano;

La frase suma de dos cuadrados siempre la utilizamos en el sentido de una expresion

de la forma a
2
+ b
2
con a, b Z; no permitimos 3 = 2
2
+ i
2
por ejemplo.
61
(3) p no es la suma de dos cuadrados.
Demostracion. Suponemos primero que (1) es falso. Si p = 2, entonces
p = (1 + i)(1 i) y ni 1 + i ni 1 i son unidades, de manera que p no
es irreducible. Supongamos ahora que p 1 (mod 4). Por el Teorema de
Wilson (Teorema 1.7.4),
1 2
_
p 1
2
_

_
p + 1
2
_

_
p + 3
2
_
(p 1) 1 (mod p).
Si le restamos p a cada factor en la segunda mitad del producto, entonces la
congruencia se preserva y
1 2
_
p 1
2
_

p 1
2
_

p 3
2
_
(1) 1 (mod p),
de donde
(1)
(p1)/2
_
1 2
_
p 1
2
__
2
1 (mod p).
Sea q = ((p 1)/2)!. Como (p 1)/2 es par porque p 1 (mod 4),
q
2
1 (mod p).
Entonces p[q
2
+ 1 en Z y tambien en el anillo Z[i]. Entonces p[(q +i)(q i)
en Z[i]. Entonces deben existir y, z Z tales que q +i = p(y +iz), de donde
pz = 1, lo que es imposible. Entonces p (q +i) en Z[i] y, de manera similar,
p (q i) en Z[i]. Esto quiere decir que p no es un elemento primo en Z[i].
Pero Z[i] es un dominio euclideano, de manera que, por el Teorema 2.5.2(2),
p no es irreducible en Z[i]. Por lo que, si (1) es falso, entonces (2) es falso.
Supongamos ahora que (2) es falso. Claramente p no es una unidad en
Z[i], de manera que podemos escribir
p = (a +ib)(c +id)
con a, b, c, d Z y a + ib, c + id no unidades de Z[i]. Si tomamos normas
obtenemos
p
2
= (a
2
+b
2
)(c
2
+d
2
).
Ahora bien, a
2
+b
2
, c
2
+d
2
> 1 porque a +ib, c +id no son unidades de Z[i],
de manera que la unica posibilidad es p = a
2
+b
2
(= c
2
+d
2
) y (3) es falso.
62
Finalmente, supongamos que (3) es falso. Entonces p = a
2
+ b
2
para
algunos a, b Z. Pero a, b 0 o 1 (mod 2), de manera que a
2
, b
2
0 o 1
(mod 4). Entonces p 0, 1 o 2 (mod 4) (0 es imposible de hecho porque
4 p), de manera que p , 3 (mod 4) y (1) es falso.
El siguiente resultado describe a todos los irreducibles de los enteros gau-
ssianos.
Teorema 2.7.3 Los enteros gaussianos irreducibles son precisamente
(1) p, ip con p un n umero primo en Z y p 3 (mod 4),
(2) los elementos de norma prima.

Demostracion. Que los enteros gaussianos de la forma (1) son irreducibles se

sigue del teorema 2.7.2 (y 2.7.1). Sea Z[i] con N() primo. Entonces
no es una unidad (ni cero). Supongamos = con , Z[i]. Entonces
N() = N()N(), de manera que N() = 1 o N() = 1. Entonces o
es una unidad, de manera que es irreducible.
Recprocamente, supongamos que es un entero gaussiano irreducible
con = a + ib, a, b Z. Supongamos que b = 0, de manera que = a. Si a
no es un n umero primo, entonces puede ser propiamente factorizado en Z
y tal factorizaci on es tambien una factorizaci on propia en Z[i]. De aqu que
= p con p un n umero primo en Z. Ahora bien, p debe ser irreducible
como entero gaussiano de manera que, por el Teorema 2.7.2, p 3 (mod 4).
Supongamos ahora que a = 0, de manera que pi = ib. Por un argumento
similar, vemos que = ip con p un n umero primo en Z y p 3 (mod 4).
Supongamos ahora que = a+ib es irreducible y que a, b ,= 0. Armamos
que N() es primo. Supongamos que no. Entonces N() = a
2
+b
2
= cd con
c, d Z, c, d > 1. Entonces
a
2
+b
2
= (a +ib)(a ib) = cd.
Y a+ib es irreducible en Z[i]. Adem as, como cualquier factorizaci on de aib
producir a una factorizacion correspondiente de a + ib al conjugar todos los
factores, a ib es tambien irreducible en Z[i]. Si c, d fueran irreducibles en
Z[i], tendramos dos factorizaciones esencialmente diferentes de a
2
+ b
2
en
irreducibles en Z[i], lo que contradice el hecho de que Z[i] es un DFU. Si uno
de c, d no es irreducible en Z[i] (ninguno de ellos es unidad), tendremos un
producto de dos irreducibles igual a un producto de m as de dos irreducibles,

Esta es la norma usual dada por N(a + ib) = a

2
+ b
2
, con a, b Z.
63
lo que contradice una vez mas la unicidad de la factorizacion. Entonces N()
es un primo.
El siguiente resultado demuestra que un n umero primo en Z no congruente
con 3 (mod 4) puede ser expresado de una sola manera como una suma de
dos cuadrados, salvo por el orden de los terminos en la suma.
Teorema 2.7.4 Sea p un n umero primo en Z tal que
p = a
2
+b
2
= c
2
+d
2
,
con a, b, c, d enteros positivos (de manera que p , 3 (mod 4)). Entonces o
bien a = c, b = d o a = d, b = c.
Demostracion. Tenemos que
(a +ib)(a ib) = (c +id)(c id)
y N(a ib) = N(c id) = p, un n umero primo, de manera que por el
Teorema 2.7.3, aib, c id son elementos irreducibles de Z[i]. Se sigue de la
factorizaci on unica que a+ib cid, i.e. a+ib es uno de los ocho elementos
(c id), i(c id). Pero a, b, c, d > 0, de manera que a + ib = c + id o
d +ic, i.e. o bien a = c, b = d o a = d, b = c.
Consideramos a continuacion cuales enteros, no solamente los n umeros
primos, son sumas de dos cuadrados. Primero una observaci on elemental.
Teorema 2.7.5 El producto de dos enteros, cada uno de los cuales es la
suma de dos cuadrados, es el mismo la suma de dos cuadrados.
Demostracion. Sean a, b, c, d Z. Entonces
(a
2
+b
2
)(c
2
+d
2
) = (a +ib)(a ib)(c +id)(c id)
= (a +ib)(c +id)(a ib)(c id)
= (ac bd)
2
+ (ad +bc)
2

Teorema 2.7.6 Sea n Z, n > 1. Entonces n es la suma de dos cuadrados

si y solo si sus factores primos congruentes con 3 (mod 4) ocurren elevados
a potencias pares en su factorizaci on prima.
Entonces 18 es una suma de dos cuadrados (18 = 3
2
+ 3
2
) porque 18 =
2 3
2
, pero 14 no lo es porque 14 = 2 7 y su factor primo 7, que es
congruente con 3 (mod 4), ocurre a una potencia impar (a saber, 1) en la
factorizaci on de 14.
64
Demostracion del Teorema 2.7.6 Supongamos que los factores primos de n
que son congruentes con 3 (mod 4) ocurren a potencias pares en su factori-
zaci on prima. Podemos entonces escribir
n = p
2
1
p
2
2
p
2
r
p
r+1
p
r+2
p
s
,
donde p
1
, . . . , p
r
son n umeros primos congruentes con 3 (mod 4) y p
r+1
, . . . , p
s
son n umeros primos no congruentes con 3 (mod 4). Entonces p
2
1
, . . . , p
2
r
, p
r+1
,
. . . , p
2
son todos sumas de dos cuadrados (p
2
j
= p
2
j
+0
2
y, para r +1 l s,
p
l
es una suma de dos cuadrados por el Teorema 2.7.2). Entonces, mediante
una extension obvia del Teorema 2.7.5, n es una suma de dos cuadrados.
Recprocamente, supongamos que n es una suma de dos cuadrados, n =
a
2
+b
2
digamos, con a, b Z. Entonces
n = (a +ib)(a ib).
Como Z[i] es un DFU podemos factorizar a ib en irreducibles; utilizando
el Teorema 2.7.3, escribimos
a +ib =
1

2

r
(a
1
+ib
1
) (a
s
+ib
s
)
con
j
= p
j
o ip
j
para 0 j r con p
j
n umero primo en Z congruente
con 3 (mod 4) y N(a
l
+ib
l
) = a
2
l
+b
2
l
primo para 0 l s. Si tomamos los
conjugados obtenemos
a ib =
1

2

r
(a
1
ib
1
) (a
s
ib
s
).
Entonces
n = [
1
[
2
[
2
[
2
[
r
[
2
(a
2
1
+b
2
1
) (a
2
s
+b
2
s
).
Pero para 1 j r, [
j
[ = p
j
que es un n umero primo en Z congruente
con 3 (mod 4). Ademas, por el Teorema 2.7.2, los n umeros primos a
2
l
+ b
2
l
(1 l s) no son congruentes con 3 (mod 4). Entonces cada factor primo
de n congruente con 3 (mod 4) ocurre elevado a una potencia par en su
factorizaci on prima.
65
Ejercicios 2.7
1. Exprese 3965 como una suma de dos cuadrados de tantas maneras
como pueda. (No se permite calculadora!)
2. Mi extensi on interna es 4430 y la de un colega es 4437. Factorice
estos n umeros en irreducibles en Z[i] y, de ser posible, expreselos
como la suma de dos cuadrados.
3. Factorice a los enteros gaussianos 3+i, 4+3i, 75+28i en irreducibles.
4. Para cu ales n umeros primos p tiene soluci on la congruencia x
2

1 (mod p) en Z?
5. Sea p un n umero primo. Demuestre que el conjunto F de todas las
matrices de la forma
_
a b
b a
_
con a, b Z y a, b Z
p
, el campo de clases de residuo de los enteros
m odulo p, es un anillo conmutativo con la suma y la multiplicaci on
de matrices y que F es un campo si y solo si p 3 (mod 4).
Cu antos elementos tiene F?
Un problema extra: el problema del Camino de Ladrillo Amarillo

Este apareci o como el problema de navidad de 1976 en el Yorkshire Post y

se reproduce aqu por cortesa del Yorkshire Post.
Pooh, dijo el mago,es donde estamos ahora. La va del tren
comienza aqu y corre en lnea recta a traves de 39 estaciones inter-
medias uniformemente espaciadas hasta la terminal en Oz.
Desafortunadamente los ferrocarrileros estan en huelga, de manera
que deberas ir en autob us. El autob us va por el Camino de Ladrillo
Amarillo que va desde aqu en lnea recta hasta el pueblo de Bah,
fuera de la va del tren, donde da una vuelta de un angulo recto y se
va en lnea recta de regreso hasta la primera estacion de tren despues
de Pooh. De all va en lnea recta hasta el siguiente pueblo fuera de
la va del tren, donde da una vuelta de un angulo recto y procede
de manera similar haciendo zigzag todo el camino hasta Oz, tocando
alternativamente estaciones de tren y pueblos fuera de la va del tren.
Cada uno de los 80 segmentos rectos del camino es un n umero entero
diferente de millas de longitud. Las distancias de va de tren son
tambien un n umero entero de millas de longitud.
La tarifa es un ozzle por milla pero no debes preocuparte porque
todas las distancias son tan cortas como pueden ser
66
Yo estaba preocupado y resulto que haba una buena razon para
estarlo. Se me estaba terminado el dinero porque el Reino de Oz haba
estado padeciendo hiper-inacion ultimamente.
Desafortunadamente el mago haba desaparecido antes de que yo
pudiera hacerle la pregunta vital, qu e tan largo es el Camino
de Ladrillo Amarillo?
67
2.8
Factorizacion de polinomios
En esta secci on investigaremos la factorizacion especcamente para poli-
nomios. Despues de los enteros, con el Teorema Fundamental de la Aritme-
tica, esta es la segunda situaci on en la que historicamente surgi o la factori-
zaci on.
Recordaremos primero algunos resultados elementales a cerca de las races
de polinomios. Inicialmente estos son v alidos cuando los coecientes perte-
necen a un anillo conmutativo arbitrario R. Sea R y consideremos el
polinomio f(x) R[x], digamos que
f(x) = a
0
+a
1
x + +a
n
x
n
con a
0
, . . . , a
n
R. Ahora bien,
f(x) f() = a
1
(x ) +a
2
(x
2

2
) + +a
n
(x
n

n
)
= a
1
(x ) +a
2
(x )(x +) +
+a
n
(x )(x
n1
+x
n2
+ +
n1
)
= (x )g(x)
para alg un polinomio g(x) R[x]. Entonces
f(x) = (x )g(x) +f().
De hecho, cuando R es un campo, g(x) es el cociente y f() es el residuo
cuando se divide f(x) entre x . Nos referimos a este resultado como el
Teorema del Residuo y podramos haberlo obtenido facilmente del algoritmo
de la divisi on para polinomios (cuando R es un campo).
Regresando a la situaci on cuando R es un anillo conmutativo arbitrario
vemos que, si f() = 0, entonces x es un factor de f(x). Recprocamente,
supongamos que x es un factor de f(x), digamos que f(x) = (x)h(x)
para alg un h(x) R[x]. Entonces
(x )(h(x) g(x)) = f().
Si h(x)g(x) ,= 0, entonces el lado izquierdo tendr a grado positivo y entonces
no puede ser igual a f(). Por lo tanto h(x) = g(x) y entonces f() = 0.
68
Denicion 2.8.1 Sea R un anillo conmutativo, sea f(x) un polinomio en
R[x] y sea R. Decimos que es una raz de f(x) si f() = 0.
Hemos entonces demostrado el siguiente resultado:
Teorema 2.8.2 (El Teorema del Factor) Sea R un anillo conmutativo, sea
f(x) un polinomio en R[x] y sea R. Entonces las siguientes armaciones
son equivalentes:
(1) x es un factor de f(x);
(2) es una raz de f(x).
Podemos inmediatamente extender el Teorema 2.8.2 cuando R es un
domino entero.
Corolario 2.8.3 Sea R un dominio entero, sean
1
, . . . ,
r
(r 1) elementos
distintos de R y sea f(x) R[x]. Entonces las siguientes armaciones son
equivelentes:
(1) (x
1
)(x
2
) (x
r
) es un factor de f(x);
(2)
1
,
2
, . . . ,
r
son races de f(x).
Demostracion. Si (1) se satisface, entonces para cada i, x
i
es un factor de
f(x) de manera que, por el Teorema 2.8.2,
i
es una raz de f(x). Entonces
(1) (2).
Demostramos (2) (1) por induccion sobre r. El caso r = 1 es sim-
plemente (2) (1) del Teorema 2.8.2. Sea ahora r > 1, supongamos el
resultado para r 1 y supongamos que
1
, . . . ,
r
son races de f(x). Por la
hip otesis de inducci on, (x
1
)(x
2
) (x
r1
) es un factor de f(x),
de manera que podemos escribir
f(x) = (x
1
)(x
2
) (x
r1
)g(x)
para alg un g(x) R[x]. Evaluamos ahora en
r
para obtener
0 = (
r

1
)(
r

2
) (
r

r1
)g(
r
).
Como
r

1
, . . . ,
r

r1
son todos no cero y no hay divisores propios de
cero en R, entonces g(
r
) = 0. Se sigue del Teorema 2.8.2 que x
r
es un
factor de g(x). Entonces (x
1
) (x
r1
)(x
r
) es un factor de f(x).
Esto completa el paso inductivo.
El siguiente resultado se sigue inmediatamente del Corolario 2.8.3.
Corolario 2.8.4 Sea R un dominio entero. Entonces un polinomio en R[x]
de grado n 0 tiene a lo mas n races distintas.
69
Este resultado no es cierto si R es un anillo conmutativo arbitrario. Por
ejemplo, en Z
8
[x], el polinomio x
2
1 es de grado 2 y aun as tiene cuatro
races 1, 3, 5, 7.
Podemos mejorar el Corolario 2.8.4 cuando R = C en vista del siguiente
resultado.
Teorema 2.8.5 (El Teorema Fundamental del

Algebra) Todo poli-
nomio con coecientes complejos de grado positivo tiene un a raz.
Como observamos en la introduccion, el Teorema Fundamental del

Algebra
es realmente un teorema del an alisis complejo. Nosotros lo supondremos
como esta escrito aqu y referimos a los lectores interesados a cualquier li-
bro en ese tema para una demostraci on ver, por ejemplo Complex Analysis,
subtitulado The Hitch Hikers Guide to the Complex Plane pginas 185 y 233,
por Ian Stewart y David Tall.
Si comenzamos con un polinomio en C[x] de grado positivo, este tendra
entonces una raz y, de aqu que, por el Teorema del Factor, tendr a un factor
x
1
, con
1
C. Podemos hacer lo mismo con lo que queda, suponiendo
que tiene grado positivo y obtener un segundo factor x
2
con
2
C.
Eventualmente habremos expresado nuestro polinomio en la forma
(x
1
)(x
2
) (x
n
),
con ,
1
,
2
, . . . ,
n
C. Esto describe la factorizaci on de un polinomio en
C[x] en irreducibles. De hecho podemos decir lo siguiente:
Corolario 2.8.6 Todo polinomio en C[x] de grado positivo es un producto
de factores lineales (i.e. factores de grado 1) y los polinomios irreducibles en
C[x] son precisamente los polinomios lineales.
Sabemos que C[x] es un DFU (porque es un dominio euclideano), de
manera que la factorizaci on de un polinomio de grado positivo en factores
lineales es esencialmente unica. De hecho, si lo expresamos en la forma
(x
1
)(x
2
) (x
n
),
entonces es unico salvo por el orden de los factores; es el coeciente del
termino de grado mayor del polinomio y
1
, . . . ,
n
son las races. Entonces
un polinomio en C[x] de grado n 0 tiene precisamente n races, siempre y
cuando cada raz sea contada tantas veces como ocurre el factor x en
la factorizacion anterior del polinomio.
70
El Teorema Fundamental del

Algebra lidiar a tambien con polinomios con
coecientes reales que, despues de todo, pertenecen a C[x]. Porque conside-
remos un polinomio no cero
f(x) = a
n
x
n
+a
n1
x
n1
+ +a
1
x +a
0
en R[x]. Entonces f(x) puede ser considerado como polinomio en C[x] de
manera que tendr a precisamente n races complejas. Las races reales entre
estas dar an lugar a factores lineales. Supongamos que es una raz no real.
Entonces
a
n

n
+a
n1

n1
+ +a
1
+a
0
= 0.
Si ahora conjugamos todos los terminos, como a
0
, a
1
, . . . , a
n
son reales, ob-
tenemos
a
n

n
+a
n1

n1
+ +a
1
+a
0
= 0
y , que es distinto de , es tambien una raz. Entonces f(x) tiene un factor
(x )(x )
= x
2
( +)x +
= x
2
2R()x +[x[
2
,
donde R() denota a la parte real de y [[ denota al m odulo de . Este
factor cuadratico tiene coecientes reales de manera que, cuando f(x) es
dividido entre este factor, como en
f(x) = q(x)(x
2
2R()x +[x[
2
),
entonces q(x) tambien pertenece a R[x] y podemos ahora considerar la fac-
torizaci on de q(x) de una manera similar. Esto nos da el siguiente resultado:
Corolario 2.8.7 Todo polinomio en R[x] de grado positivo se factoriza en
factores irreducibles lineales y cuad aticos y cada polinomio irreducible en
R[x] es o bien lineal (grado 1) o bien cuadr atico (grado 2).
De hecho, como en el caso de los polinomios en C[x], es mejor escribir
un polinomio de grado positivo en R[x] como un producto de polinomios
m onicos (el coeciente del termino de grado mayor igual a 1) irreducibles
por un n umero real (el coeciente del termino de grado mayor). Entonces
esta factorizacion es unica (salvo por el orden de los factores).
71
Los lectores est an probablemente familiarizados con el criterio de cuando
un polinomio cuadr atico
ax
2
+bx +c
es irreducible en R[x]. En C[x] lo podemos factorizar para obtener
a
_
x
b +

b
2
4ac
2a
__
x
b

b
2
4ac
2a
_
,
y estos factores pertenecen a R[x] si y solo si b
2
4ac 0. Como esta
factorizaci on es unica en C[x], se sigue que el polinomo cuadr atico ax
2
+bx+c
es irreducible en R[x] si y solo si b
2
4ac < 0.
La situaci on es m as complicada cuando consideramos polinomios con co-
ecientes en Q. A manera de ilustraci on, consideramos un polinomio que
surge de un famoso problema de los matematicos griegos antiguos. Los lec-
tores tal vez recuerden como bisectar un angulo utilizando regla y comp as
(y herramienta de escritura!) solamente, pero hay una construcci on similar
para la triseccion de un angulo? Considieremos, por ejemplo, un angulo de
60

. Denamos = 20

. Entonces
1
2
= cos 60

= cos 3 = cos(2 +)
= cos 2 cos sen 2 sen
= (2 cos
2
1) cos 2 sen
2
cos
= 2 cos
3
cos 2 cos (1 cos
2
)
= 4 cos
3
3 cos .
Entonces cos 20

es una raz del polinomio 4x

3
3x
1
2
en R. Una de-
mostraci on de que es imposible trisectar un angulo de 60

utilizando so-
lamente regla y comp as involucra la armaci on de que este polinomio es
irreducible en Q[x]. Bien podemos multiplicar por 2, una unidad en Q[x],
para obtener el polinomio 8x
3
6x 1, con coecientes enteros. Es f acil ver
que este polinomio es irreducible en Z[x]. Como no hay manera de sacar un
factor constante (adem as de 1), una factorizaci on propia debe involucrar a
un factor lineal, digamos
8x
3
6x 1 = (ax +b)(cx
2
+dx +e),
con a, b, c, d, e Z. Entonces 8 = ac, 1 = be, de manera que a[8, b[ 1.
Entonces los unicos factores posibles son
x 1, 2x 1, 4x 1, 8x 1.
72
pero entonces uno de 1,
1
2
,
1
4
,
1
8
es una raz del polinomio en cuestion
y es facil vericar que ninguno de estos es una raz. Entonces el polinomio en
cuesti on es irreducible en Z[x]. Veremos en el Teorema 2.8.11 que podemos
con esto deducir que el polinomio es tambien irreducible en Q[x].
Es claro que, cuando consideramos la factorizaci on de polinomios en Q[x],
podemos hacer lo que hicimos en este ejemplo y multiplicar el polinomio por
un entero (una unidad en Q[x]) para deshacernos de los denominadores de
los coecientes y as comenzar con un polinomio en Z[x].
Pospondremos hasta el nal de la secci on las cuestiones mas pr acticas de
c omo factorizar un polinomio en Z[x] en polinomios irreducibles y de c omo
decidir si un polinomio en Z[x] es irreducible. Nos encargamos primero de
consideraciones generales, culminando en un importante teorema de nuevas
l amparas de viejas l amparas sobre DFUs. Entonces, por el momento, R es
un DFU arbitrario con campo de fracciones k (por ejemplo, R = Z, k = Q).
Como observamos para polinomios con coecientes racionales, cuando consi-
deramos la factorizaci on de polinomios en k[x], podemos siempre multiplicar
por un elemento no cero de R (una unidad en k[x]) para producir un poli-
nomio en R[x]. Recordemos del Teorema 2.4.7 que, en un DFU, un conjunto
no vaco de elementos posee un MCD.
Denici on 2.8.8 Sea f(x) R[x], f(x) ,= 0. El contenido de f(x) es
el MCD de sus coecientes no cero. (Entonces el contenido de f(x) est a
determinado de manera unica salvo por unidades.) Ademas, decimos que
f(x) es primitivo si su contenido es 1.
Entonces, en Z[x], 8x
3
6x 1 es primitivo mientras que 8x
3
6x 2
tiene contenido 2. En vista de la Observaci on 2 despues de la Denicion
2.4.1, observamos que, si f(x) R[x], f(x) ,= 0, entonces podemos sacar su
contenido d y escribir
f(x) = df

(x),
con f

(x) un polinomio primitivo en R[x]. Entonces, por ejemplo,

8x
3
6x 2 = 2(4x
3
3x 1).
Teorema 2.8.9 (Teorema de Gauss) En R[x], el producto de dos poli-
nomios primitivos es primitivo.
Demostracion. Sean
f(x) = a
0
+a
1
x +a
2
x
2
+ ,
g(x) = b
0
+b
1
x +b
2
x
2
+
73
polinomios primitivos en R[x]. Observamos que f(x) ,= 0, g(x) ,= 0, de
manera que f(x)g(x) ,= 0. Consideremos un elemento irreducible p R.
Como el MCD de los coecientes no cero de f(x) es 1, p no puede dividir a
todos los a
i
s, de manera que existe r tal que
p[a
0
, a
1
, . . . , a
r1
pero p a
r
.
de manera similar existe s tal que
p[b
0
, b
1
, . . . , b
s1
pero p b
s
.
El coeciente de x
r+s
en f(x)g(x) es
a
0
b
r+s
+a
1
b
r+s1
+ +a
r1
b
s+1
+a
r
b
s
+a
r+1
b
s1
+ +a
r+1
b
0
.
Como R es un DFU, por el Teorema 2.5.2 (3), p es primo. Como p a
r
,
p b
s
, se sigue que p a
r
b
s
. Se sigue que p no divide al coeciente de x
r+s
en
f(x)g(x). Como p era un irreducible arbitrario de R, se sigue que el MCD de
los coecientes no cero de f(x)g(x) debe ser 1 y f(x)g(x) resulta primitivo.

Teorema 2.8.10 Sea f(x) k[x], f(x) ,= 0. Entonces existen k y

un polinomio primitivo f

(x) R[x] tales que f(x) = f

(x). Ademas, si
f

(x) = g

(x), con , elementos no cero de k y f

(x), g

(x) polinomios
primitivos en R[x], entonces = u y g

(x) = uf

(x) para alguna unidad

u R.
Por ejemplo, en Q[x],
3
7
x
3
+
9
5
x =
3
35
(5x
3
+ 21x),
con
3
35
Q y 5x
3
+ 21x un polinomio primitivo en Z[x]. Adem as, la unica
otra manera en la que el polinomio puedes ser as expresado es
3
7
x
3
+
9
5
x =
3
35
(5x
3
21x),
porque las unicas unidades de Z son 1.
Demostracion. Escribamos
f(x) =
a
0
b
0
+
a
1
b
1
x +
a
2
b
2
x
2
+ +
a
n
b
n
x
n
,
74
donde los a
i
, b
i
pertenecen a R con b
i
no cero. Denimos b = b
0
b
1
b
n
.
Podemos entonces escribir
f(x) =
1
b
f(x),
con f(x) R[x]. Sea d el MCD de todos los coecientes no cero de f(x).
Podemos entonces escribir f(x) = df

(x) con f

(x) un polinomio primitivo

en R[x]. Entonces
f(x) =
d
b
f

(x),
lo que demuestra la parte de existencia.
Supongamos ahora que
f

(x) = g

(x),
con , elementos no cero de k y f

(x), g

(x) polinomios primitivos en R[x].

Supongamos que = a
1
/b
1
, = a
2
/b
2
con a
1
, a
2
, b
1
, b
2
elementos no cero de
R. Entonces
a
1
b
2
f

(x) = a
2
b
1
g

(x).
Por la Observaci on 3 despues de la Denici on 2.4.1, el MCD de los coecientes
no cero del lado izquierdo es a
1
b
2
y aquel de los coecientes no cero del lado
derecho es a
2
b
1
. Se sigue que a
1
b
2
= ua
2
b
1
para alguna unidad u R, de
donde = u. Se sigue tambien que g

(x) = uf

(x).
Teorema 2.8.11 Sea f(x) un polinomio en R[x] de grado positivo y supon-
gamos que
f(x) = g(x)h(x)
con g(x), h(x) k[x]. Entonces existen polinomios g
1
(x), h
1
(x) R[x] tales
que gr g
1
(x) = gr g(x), gr h
1
(x) = gr h(x) y tales que
f(x) = g
1
(x)h
1
(x).
(Entonces, si f(x) ha sido factorizado en k[x], puede ser refactorizado en
R[x] con factores de los mismos grados que los factores originales.) En con-
secuencia, si f(x) es irreducible en R[x], es tambien irreducible en k[x].
Observacion No es cierto que si un polinomio f(x) R[x] es irreducible en
k[x], es entonces irreducible en R[x]. Por ejemplo, 2x+4 es irreducible en Q[x]
pero se puede factorizar como 2(x+2) en Z[x] y ninguno de los factores es una
unidad en Z[x]. Lo que es cierto es que si f(x) R[x] es primitivo en R[x] e
75
irreducible en k[x], entonces es irreducible en R[x]. Porque supongamos que
f(x) es primitivo en R[x] e irreducible en k[x] y escribimos f(x) = g(x)h(x),
con g(x), h(x) R[x]. Entonces g(x), h(x) k[x], de manera que uno de
ellos es una unidad de k[x], digamos que es g(x), i.e. g(x) es de grado cero.
Entonces g(x) R y divide a los coecientes no cero de f(x). Como f(x) es
primitivo, g(x) debe ser una unidad de R y, por lo tanto, de R[x].
Demostracion del Teorema 2.8.11 Podemos escribir f(x) = df

(x) con d R
el contenido de f(x) y f

(x) un polinomio primitivo en R[x]. Por el Teorema

2.8.10 podemos tambien escribir
g(x) = g

(x), h(x) = h

(x),
con , k y g

(x), h

(x) polinomios primitivos en R[x]. Entonces

df

(x) = g

(x)h

(x).
Por el Lema de Gauss (Teorema 2.8.9), g

(x)h

(x) es primitivo de manera

que, por la parte de unicidad del Teorema 2.8.10, = ud para alguna
unidad u de R. Entonces R. Tambien tenemos
f(x) = (g

(x))h

(x).
Denimos g
1
(x) = g

(x), h
1
(x) = h

(x). Entonces g
1
(x), h
1
(x) R[x],
gr g
1
(x) = gr g(x), gr h
1
(x) = gr h(x) y f(x) = g
1
(x)h
1
(x).
Finalmente, supongamos que f(x) es irreducible en R[x] y que f(x) =
g(x)h(x), con g(x), h(x) k[x]. Podemos encontrar g
1
(x), h
1
(x) R[x] como
se describi o en la parte anterior. Como f(x) es irreducible en R[x], esto quiere
decir que uno de g
1
(x), h
1
(x) es una unidad de R[x] y es, entonces, de grado
cero. De aqu que uno de g(x), h(x) es de grado cero, de manera que es una
unidad de k[x] porque k es un campo. Entonces f(x) es irreducible en k[x].

Podemos ahora demostrar un teorema importante de nuevas lamparas

de viejas l amparas o, m as bien, nuevos DFU de viejos DFUs.
Teorema 2.8.12 Si R es un DFU, entonces tambien lo es el anillo de poli-
nomios R[x].
Se seguir a mediante aplicaciones repetidas de este resultado que, si R es
un DFU, tambien lo es el anillo de polinomios R[x
1
, . . . , x
n
] en n variables
independientes sobre R. Entonces, por ejemplo, Z[x
1
, . . . , x
n
] es un DFU.
76
De manera similiar, todo campo k es un DFU, de manera que el anillo de
polinomios k[x
1
, . . . , x
n
] es un DFU.
Demostracion del Teorema 2.8.12 Sea R un DFU y consideremos f(x) R[x]
no cero y no unidad. Si denotamos al contenido de f(x) por d, entonces
f(x) = df

(x) con d R y f

(x) primitivo en R[x]. Ahora factorizamos

d, f

(x) separadamente en irreducibles en R[x]. Si d es una unidad de R

(y por lo tanto de R[x]), entonces necesitamos solamente considerar f

(x).
Si f

(x) es una unidad de R[x] (cuando tambien ser a una unidad de R),
necesitamos solamente considerar la factorizacion de d. Por supuesto que no
puden ambas ser unidades porque f(x) no es una unidad. Como R es un DFU
podemos factorizar a d (si no es una unidad) en irreducibles de R para obtener
d = p
1
p
2
p
r
. Ademas los p
i
son tambien irreducibles en R[x] porque la
unica manera de factorizar a p
i
es tomando factores en R. Consideremos
ahora f

(x) (si no es una unidad). Si f

(x) es irreducible en R[x], bien!

De otra manera, como es primitivo, podemos escribir f(x) = g(x)h(x) con
g(x), h(x) R[x], gr g(x) 1, gr h(x) 1. Adem as g(x), h(x) son primitivos
porque f

(x) lo es. Si g(x) no es irreducible, puede entonces seguir siendo

factorizado, como tambien h(x). Podemos continuar de esta manera. Como
los grados de los factores van decreciendo con cada factorizaci on y f

(x)
tiene un grado denido al principio, este proceso debe detenerse. Cuando
esto sucede, f

(x) habra sido factorizado en irreducibles.

Para demostrar la unicidad, supongamos que
p
1
p
r
f
1
(x) f
s
(x) = q
1
q
t
g
1
(x) g
w
(x),
con los p
i
, q
j
en R, los f
i
(x), g
j
(x) en R[x] de grado positivo y todos elemen-
tos irreducibles de R[x]. Entonces los p
i
, q
j
ser an elementos irreducibles de
R. Los f
i
(x), g
j
(x) son primitivos porque son irreducibles, de manera que
f
1
(x) f
s
(x) y g
1
(x) g
w
(x) son primitivos por el Lema de Gauss (Teo-
rema 2.8.9). (Observe que, por consideraciones de los grados, s = 0 si y solo
si w = 0.) De aqu que, por la parte de unicidad del Teorema 2.8.10,
f
1
(x) f
s
(x) = ug
1
(x) g
w
(x)
para alguna unidad u de R. Estamos tratando de poner por pares los p
i
y
los q
j
, y los f
i
(x) y los g
j
(x) de manera que nos den pares asociados, por lo
que no hay da no si reemplazamos g
1
(x) por ug
1
(x) y q
1
por u
1
q
1
. Cuando
hacemos esto, podemos decir que
f
1
(x) f
s
(x) = g
1
(x) g
w
(x),
77
de donde tambien
p
1
p
r
= q
1
q
t
.
De la unicidad de la factorizacion en R, r = t y los p
i
, q
j
puden ponerse por
pares en pares asociados en R y, por lo tanto, en R[x]. (Observamos que
r = 0 si y solo si t = 0.)
Nos queda considerar la ecuacion
f
1
(x) f
s
(x) = g
1
(x) g
w
(x).
Este paso nos da el unico aspecto redentor en un argumento por lo demas
tedioso. Denotemos por k al campo de fracciones de R. Por el Teorema
2.8.11, los f
i
(x), g
j
(x) son irreducibles en k[x] y k[x] es un DFU por los
Teoremas 2.3.2 y 2.6.1. De aqu que s = w y los f
i
(x), g
j
(x) pueden ponerse
por pares para producir pares asociados en k[x]. Supongamos que f
1
(x),
g
1
(x) son asociados en k[x]. Entonces
f
1
(x) = g
1
(x),
donde es un elemento no cero de k. Se sigue ahora del Teorema 2.8.10 (con
= 1) que g
1
(x) = uf
1
(x) para alguna unidad u de R y f
1
(x), g
1
(x) son, de
hecho, asociados en R[x]. Esto completa la demostraci on de la unicidad.
Regresamos ahora a la cuesti on de como factorizar un polinomio en Z[x]
en factores irreducibles y de como decidir cuando un polinomio en Z[x] es
irreducible. En vista del Teorema 2.8.12 sabemos que Z[x] es un DFU. Si
regresamos al ejemplo del polinomio 8x
3
6x 1 en Z[x], demostramos que
este es irreducible en Z[x] y, por lo tanto, en Q[x] por el Teorema 2.8.11,
demostrando que no tiene factores lineales, y esto lo hicimos eleminando las
posibles races racionales.
La coneccion entre los factores lineales y las races racionales es cercana.
Supongamos que R es un dominio entero en general con campo de fracciones
k. Si un polinomio f(x) R[x] tiene un factor lineal ax+b (con a, b R y a ,=
0), entonces b/a es una raz de f(x) en k. Asimismo, consideraciones del
coeciente del termino de grado mayor y del termino constante demuestran
que a divide al coeciente del termino de grado mayor de f(x) y que b divide
a su termino constante. Supongamos ahora que R es un DFU y supongamos
recprocamente que f(x) tiene un raz c/d, digamos, en k (con c, d R,
d ,= 0). Ahora bien, c, d tienen un MCD que puede ser cancelado, de manera
que podemos suponer que c, d son coprimos. Decimos en este caso que la
78
fracci on c/d est a en su mnima expresi on. Por el Teorema 2.8.2, podemos
escribir
f(x) =
_
x
c
d
_
g(x)
para alg un g(x) k[x]. La demostraci on del Teorema 2.8.11 demuestra ahora
que podemos transferir 1/d del primer factor al segundo para obtener
f(x) = (dx c)
_
1
d
g(x)
_
y que los dos factores estan ahora en R[x]. (Observe que dx c es un
polinomio primitivo.) Entonces f(x) tiene un factor lineal en R[x] (observe
que R[x] es un DFU) y d divide al coeciente del termino de grado mayor en
f(x) y c divide a su termino constante.
Parece que vale la pena incluir una demostraci on directa de este ultimo
resultado sin apelar a la demostraci on del Teorema 2.8.11. Esto requiere la
hip otesis extra de que R sea un dominio euclideano pero, como la aplicacion
usual es cuando R = Z, esto no representa un problema.
Teorema 2.8.13 Sea R un dominio euclideano con campo de fracciones k,
sea
f(x) = a
n
x
n
+a
n1
x
n1
+ +a
1
x +a
0
R[x]
(con a
0
, a
1
, , a
n
R) y sea c/d una raz de f(x) en k (con c, d R, d ,= 0
y c, d coprimos). Entonces c[a
0
y d[a
n
en R.
Demostracion. Tenemos que
a
n
_
c
d
_
n
+a
n1
_
c
d
_
n1
+ +a
0
= 0,
de manera que si multiplicamos por d
n
obtenemos
a
n
c
n
+a
n1
c
n1
d + +a
0
d
n
= 0.
Entonces c(a
n
c
n1
+ +a
1
d
n1
) = a
0
d
n
, de manera que c[a
0
d
n
y de manera
similar d[a
n
c
n
. Pero c, d son coprimos y R es un dominio euclideano. Apli-
caciones sucesivas del Teorema 2.4.6 demuestran que c[a
0
d
n1
, a
0
d
n2
, . . . , y,
eventualmente, que c[a
0
. De manera similar, d[a
n
.
Lo anterior ayuda a encontrar factores lineales de polinomios en Z[x]
o demostrar que nuestro polinomio no tiene de estos factores. Esto ser a
79
suciente para demostrar que un polinomio de grado 3 o menos es irreducible
en Z[x] (si de hecho lo es) pero no bastar a para polinomios de grado mayor
que 3, que pueden tener factores no lineales. Ayuda tener criterios que nos
digan que ciertos polinomios son irreducibles en Z[x] (o en Q[x]). Un tal
critero fue dado por Eisenstein, que fue alumno de Gauss. Gauss coloc o a
Eisenstein dentro de los tres mejores matematicos de todos los tiempos. Aun
Gauss poda equivocarse! Ya en estas, podemos bien tomar R como un DFU
en general en lugar de Z aunque nuestras aplicaciones ser an invariablemente
cuando R = Z.
Teorema 2.8.14 (Criterio de Irreducibilidad de Eisenstein) Sea R un
DFU, sea
f(x) = a
n
x
n
+a
n1
x
n1
+ +a
1
x +a
0
un polinomio de grado positivo en R[x] y supongamos que existe un elemento
irreducible p de R tal que
p a
n
, p[a
n1
, a
n2
, . . . , a
0
, p
2
a
0
.
Entonces f(x) es irreducible en k[x]. De manera similar, si existe un elemento
irreducible q de R tal que
q a
0
, q[a
1
, a
2
, . . . , a
n
, q
2
a
n
,
entonces, otra vez, f(x) es irreducible en k[x].
Antes de que demostremos el criterio observamos que las condiciones dadas
no nos permiten concluir que f(x) es irreducible en R[x]; para eso se necesita
que el polinomio sea primitivo ademas. Por ejemplo, el polinomio 2x + 6 no
es irreducible en Z[x] a pesar de que 3 2, 3[6 y 3
2
6. Observamos que 3 es
un elemento irreducible en Z porque es un n umero primo.
Como consecuencia de este criterio, podemos inmediatamente dar poli-
nomios irreducibles en Q[x] (y en Z[x]) de cualquier grado positivo, en con-
traste con C[x], donde todos son lineales y con R[x] donde son lineales y
cuadr aticos. Entonces, podemos tomar como polinomio irreducible en Q[x]
(y en Z[x] porque es primitivo) de grado n, donde n es cualquier entero posi-
tivo, a x
n
+p, con p cualquier n umero primo, o x
n
p, o x
n
+px
n1
+ +px+p
y muchos otros m as. En el caso de x
n
+ p tenemos que p 1, p[0, . . . , 0, p y
p
2
p.
Demostracion del Criterio de Irreducibilidad de Eisenstein Solamente de-
mostraremos el resultado que involucra al elemento irreducible p, para la
80
demostraci on para el caso de q solo se necesita argumentar desde el otro ex-
tremo del polinomio. Comenzamos con una factorizacion de f(x) en k[x] en
dos factores. Por el Teorema 2.8.11 habr a entonces una factorizaci on
f(x) = (b
m
x
m
+b
m1
x
m1
+ +b
0
)
(c
nm
x
nm
+c
nm1
x
nm1
+ +c
0
),
donde los b
i
, c
j
pertenecen a R y los dos factores tienen los mismos grados que
los factores originales en k[x]. Ahora bien, a
0
= b
0
c
0
, p[a
0
, p
2
a
0
. Adem as,
por el Teorema 2.5.2(3), p es primo. Entonces p divide uno de b
0
, c
0
pero
no a ambos, digamos que p b
0
, p[c
0
. Tambien tenemos que a
n
= b
m
c
nm
y
p a
n
, de manera que p c
nm
. Existe entonces r con 1 r n m tal que
p[c
0
, . . . , c
r1
pero p c
r
. Entonces
a
r
= b
0
c
r
+b
1
c
r1
+ +b
r
c
0
y p[b
r
c
0
, b
r1
c
1
, . . . , b
1
c
r1
pero p b
0
c
r
(por el Teorema 2.5.2(3) otra vez).
Entonces p a
r
. Como la unica a
i
que no es divisible entre p es a
n
, esto quiere
decir que r = n, de manera que m = 0 y el primer factor en la factorizacion
original de f(x) en k[x] tiene grado cero, de manera que es una unidad en
k[x]. Entonces f(x) es irreducible en k[x].
Ejemplo El Criterio de Irreducibilidad de Eisenstein no es siempre aplicado,
como veremos, de una manera directa. Sea p un n umero primo en Z y
consideremos el polinomio x
p
1 en Q[x]. Sus races complejas son las races
p-esimas de la unidad. Puede ser factorizado en Q[x] como
x
p
1 = (x 1)(x
p1
+x
p2
+ +x + 1).
Armamos que esta es la factorizaci on de x
p
1 en factores m onicos irre-
ducibles en Q[x] (y tambien en Z[x] ya que los factores son primitivos).
Claramente x 1 es irreducible. Consideramos ahora el llamado polinomio
ciclotomico (que divide al crculo)
x
p1
+x
p2
+ +x + 1 =
p
(x)
(digamos). (Este juega un papel importante en la toera de Gauss de polgonos
regulares construibles.) El Criterio de Irreducibilidad de Eisenstein no se
aplica al polinomio tal y como es. Pero supongamos que cambiamos la vari-
able deniendo x = y+1. Con mas precision, lo que estamos haciendo es una
81
funci on del anillo de polinomios Q[x] al anillo de polinomios Q[y] enviando
un polinomio arbitrario f(x) en f(y + 1). Es facil ver que que esta funci on
es un homomorsmo. Si aplicamos este homomorsmo a la factorizacion
x
p
1 = (x 1)
p
(x)
ya dada, obtenemos
(y + 1)
p
1 = y
p
(y + 1),
de manera que si desarrollamos el lado izquierdo usando el teorema del bi-
nomio y cancelamos y, obtenemos

p
(y + 1) = y
p1
+
_
p
1
_
y
p2
+
_
p
2
_
y
p3
+ +
_
p
p 1
_
,
en donde, para 1 k p 1,
_
p
k
_
=
p!
k!(p k)!
denota al conocido coeciente binomial. Ahora bien, todos estos coecientes
son enteros divisibles entre p (ver Ejercicio 2.5.2) y
_
p
p 1
_
= p
que no es divisible entre p
2
. Se sigue del Criterio de Irreducibilidad de
Eisenstein que
p
(y + 1) es irreducible en Q[y]. Cualquier factorizacion

p
(x) = f(x)g(x) en Q[x] producira una factorizaci on
p
(y + 1) = f(y +
1)g(y + 1) en Q[y] utilizando el homomorsmo Q[x] Q[y] descrito arriba
y f(y + 1), g(y + 1) son polinomios en Q[y] de los mismos grados que f(x),
g(x) en Q[x], respectivamente. Como
p
(y + 1) es irreducible en Q[y], uno
de f(y + 1), g(y + 1) debe ser una unidad, de manera que es de grado cero.
Entonces uno de f(x), g(x) debe ser de grado cero en Q[x], de manera que
es una unidad. De aqu que
p
(x) es irreducible en Q[x].
En el ejemplo anterior hemos utilizado la tecnica de substituir x = y + 1
para transformar al polinomio ciclot omico a una forma a la que se le pudiera
aplicar el Criterio de Irreducibilidad de Eisenstein. Este truco puede, obvia-
mente, ser aplicado mas en general. Podemos entonces estar tratando de
demostrar que un polinomio dado f(x) en R[x] (R un DFU) es irreducible
82
en k[x], con k el campo de fracciones de R. Si podemos encontrar a R
tal que, cuando hacemos x = y + a, obtenemos un polinomio f(y + a) que
puede demostrarse que es irreducible en k[x] por el Criterio de Irreducibili-
dad de Eisenstein digamos, se sigue como arriba que (con a en lugar de 1)
el polinomio original f(x) es irreducible en k[x]. El arte ser a elegir un ele-
mento adecuado a. Ejemplos adicionales donde esta tecnica es util pueden
ser encontrados en los ejercicios al nal de esta secci on.
Aun nos queda la cuesti on de c omo factorizar un polinomo en Z[x] en sus
factores irreducibles. Esta es una tarea ardua aunque s existen algoritmos.
Describimos uno de ellos debido a Kronecker. Necesitaremos una herramienta
que demostraremos primero. Su uso sera ilustrado pronto.
Teorema 2.8.15 (Formula de Interpolacion de Lagrange) Sea k un
campo, sean a
0
, a
1
, . . . , a
m
elementos distintos de k y sean b
0
, b
1
, . . . , b
m

k. Existe entonces un unico polinomio g(x) en k[x] de grado m tal que
g(a
i
) = b
i
para 0 i m, dado por
g(x) =
m

r=0
b
r
(x a
0
) (x a
r1
)(x a
r+1
) (x a
m
)
(a
r
a
0
) (a
r
a
r1
)(a
r
a
r+1
) (a
r
a
m
)
Demostracion. Es una cuesti on de vericaci on simple que el polinomio dado
por la f ormula tiene las propiedades enunciadas. Para ver que este es el
unico tal polinomio consideremos dos tales polinomios g
1
(x), g
2
(x). Entonces
a
0
, a
1
, . . . , a
m
son m + 1 races distintas del polinomio g
1
(x) g
2
(x), pero
gr(g
1
(x) g
2
(x)) m, de manera que, por el Corolario 2.8.4, g
1
(x) g
2
(x) =
0, i.e. g
1
(x) = g
2
(x). Entonces el polinomio es unico.
Describimos ahora el metodo de Kronecker para factorizar un polinomio
en Z[x]. De hecho podemos describirlo de manera muy general as que comen-
zamos con un polinomio no cero f(x) R[x], donde R es un DFU innito
arbitrario. Entonces R[x] es tambien un DFU y buscamos una factorizacion
f(x) = g(x)h(x) con g(x), h(x) R[x]. Denimos n = gr f(x) y suponemos
que gr g(x) gr h(x). Entonces gr g(x) n/2; de hecho, gr g(x) m con
m n/2 si n es par y m (n 1)/2 si n es impar. Por el Corolario 2.8.4,
f(x) tiene a lo m as n races distintas, de manera que podemos encontrar
m + 1 elementos distintos a
0
, . . . , a
m
de R tales que f(a
0
), f(a
1
), . . . , f(a
m
)
son no cero. Ahora bien, f(a
i
) = g(a
i
)h(a
i
) para 0 i m, con lo que
g(a
i
)[f(a
i
). Ahora bien, R es un DFU, de manera que podemos factorizar
a f(a
i
) en irreducibles en R y de all encontrar posibles factores. Si b
i
es
83
uno de tales factores, entonces un posible valor de g(a
i
) es b
i
. Obtenemos
entonces posbles valores g(a
i
) = b
i
para 0 i m. Por el Teorema 2.8.15
existe solamente un polinomio con estas propiedades de grado m en k[x],
donde k es el campo de fracciones de R y la Formula de Iterpolacion de
Lagrange producir a tal polinomio. Si resulta que este polinomio pertenece a
R[x], entonces es un candidato a ser un factor de f(x) en R[x] y podemos
utilizar el algoritmo de la divisi on para dividir a f(x) entre el en k[x] para
ver ver si el cociente esta en R[x] y el residuo es cero. Si esto sucede, hemos
entonces encontrado una factorizacion propia de f(x) en R[x].
La mejor ilustraci on del metodo es mediante un ejemplo. Si no hace nada
m as, el ejemplo puede ilustrar la dicultad encontrada al intentar factorizar
aun polinomios simples en Z[x] es sus factores irreducibles.
Ejemplo 2.8.16 Factorice
2x
5
+ 3x
4
+ 3x
3
+ 3x
2
+ 8x + 6
en factores irreducibles en Z[x].
Solucion 1 (sin usar el metodo de Kronecker) Vericamos primero un posible
factor lineal ax+b con a, b Z. Entonces a[2, b[6, de manera que a = 1 o 2
y b = 1, 2, 3, 6, lo que querra decir que uno de 1, 2, 3, 6,
1
2
,
3
2
es una raz racional. Le dejamos a los lectores el vericar que ninguno de
estos es una raz, de manera que no hay un factor lineal. Un factor cuadratico
(con coeciente positivo del termino de grado mayor) tendra que ser de la
forma
x
2
+cx +d o 2x
2
+cx +d
con c Z y d = 1, 2, 3, 6. Intentemos, por ejemplo, x
2
+ cx + 1.
Entonces tenemos
2x
5
+ 3x
4
+ 3x
3
+ 3x
2
+ 8x + 6 = (x
2
+cx + 1)(2x
3
+rx
2
+sx + 6)
con r, s Z. Igualando los coecientes obtenemos las ecuaciones
r + 2c = 3
s +cr + 2 = 3
6 +cs +r = 3
6c +s = 8.
84
Entonces r = 3 2c, s = 8 6c, de manera que
6 +c(8 6c) + (3 2c) = 3,
6c
2
6c 6 = 0,
que no tiene solucion en los enteros. Es ahora una cuesti on de intentar todas
las posibilidades hasta que se llegue a la factorizaci on
(x
2
+ 2x + 2)(2x
3
x
2
+x + 3).
Como el polinomio no tiene factores lineales en Z[x], estos factores son irre-
ducibles.
Solucion 2 (usando el metodo de Kronecker) Como en la Soluci on 1, es mejor
eliminar la posibilidad de factores lineales. Denotemos al polinomio dado
por f(x) y escribamos f(x) = g(x)h(x) con g(x), h(x) Z[x] y gr g(x) = 2.
Lo mejor es evaluar en valores que dan los valores enteros lo m as peque no
posible con el menor n umero de factores por razones obvias, de manera que
elegimos 0, 1, 2. Ahora bien, f(0) = 6, f(1) = 1, f(2) = 38, con lo
que
g(0) = 1, 2, 3 o 6,
g(1) = 1,
g(2) = 1, 2, 19 o 38.
Es ahora una cuesti on de prueba y error. La F ormula de Interpolaci on de
Lagrange nos dice que el polinomio g(x) in Q[x] de grado 2 tal que g(0) =
b
0
, g(1) = b
1
, g(2) = b
2
est a dado por
g(x) = b
0
(x + 1)(x + 2)
(0 + 1)(0 + 2)
+b
1
x(x + 2)
(1 0)(1 + 2)
+b
2
x(x + 1)
(2 0)(2 + 1)
=
1
2
b
0
(x + 1)(x + 2) b
1
x(x + 2) +
1
2
b
2
x(x + 1).
Los valores b
0
= b
1
= b
2
= 1, producen el polinomio 1, que nada nos dice.
Los valores b
0
= b
1
= 1, b
2
= 1 nos dan el polinomio x
2
x + 1. Se
puede vericar mediante divisi on larga que este no divide al polinomio dado.
Cosas similares suceden con otras posibilidades para b
0
, b
1
, b
2
hasta que nos
topamos con b
0
= 2, b
1
= 1, b
2
= 2, que nos da el polinomio x
2
+ 2x + 2, que
divide al polinomio dado con cociente 2x
3
x
2
+ x + 3 como en la solucion
1.
85
Quiz a el metodo de Kronecker no sea muy satisfactorio como un pro-
cedimiento practicable para factorizar un polinomio en Z[x]. Pero s exhibe
como el problema de encontrar factores de un polinomio en Z[x] se reduce a
aquel de encontrar factores de enteros. En la practica, por supuesto, se usan
computadoras. Mucho trabajo se ha hecho en esta area recientemente por A.
K. Lenstra, H. W. Lenstra y L. Lovasz para producir diferentes algoritmos
y estimar el tiempo que le toma a una computadora hacer la factorizaci on.
(Ver su artculo de investigacion titulado Factoring Polynomials with Ratio-
nal Coecients en Matematische Annalen.) La complejidad computacional
de la factorizaci on en Z[x] es del mismo orden que aquella en Z.
Ejercicios 2.8
1. Factorice x
4
+ 15 en factores irreducibles (a) en C[x], (b) en R[x],
(c) en Q[x].
2. En el caso de cada uno de los siguientes polinomios, determine si
es irreducible (a) en Q[x], (b) en Z[x]:
(i) x
3
+ 2x
2
+ 2x + 4
(ii) x
3
+ 6x
2
+ 5x + 25
(iii) 3x
10
+ 6x
7
+ 12x
3
+ 6
(iv) x
5
+x
4
+x
3
+x
2
+x + 1
(v) 3x
5
+ 3x
4
+ 9x
3
+ 27x
2
+ 18x + 1
(vi) x
5
+ 5x
2
+ 4
(vii) 3x
7
+ 7x
5
+ 14x
3
+ 7x + 16
(viii) 12x
10
24x
7
+ 18x
3
5
(iv) 2x
5
5x
4
5x + 36
3. Escriba todos los polinomios de grado 3 en Z
2
[x] y factorice cada
uno en sus factores irreducibles.
4. Sea p > 1 un entero. Para
f(x) = a
0
+a
1
x +a
2
x
2
+ Z[x],
con a
0
, a
1
, a
2
, Z, dena
f(x) = a
0
+a
1
x +a
2
x
2
+ Z
p
[x].
86
Supongamos que f(x) es monico (i.e. que el coeciente del termino
de grado es 1). Demuestre que, si f(x) es irreducible en Z
p
[x],
entonces f(x) es irreducible en Z[x]. Es verdadero el recproco?
Demuestre que x
3
+ ax
2
+ bx + c, con a, b, c Z, es irreducible en
Z[x] si a +b, c son impares.
5. Demuestre que Z[x] y el anillo k[x, y] de polinomios en dos vari-
ables independientes sobre un campo k son DFU pero que no son
dominios euclideanos.
6. Factorice 3x
5
+4x
4
+6x
3
3x 2 en factores irreducibles en Z[x].
2.9
Una aplicaci on de DFUs a identidades de determinantes
Recordamos del Teorema 2.8.12 que, cuando R es un DFU, entonces tambien
lo es el anillo de polinomios R[x
1
, . . . , x
n
] en n variables independientes
x
1
, . . . , x
n
. Mostraremos en esta ultima seccion como se puede explotar este
hecho para demostrar varias identidades de determinantes.
Comenzamos con algunas observaciones generales sobre polinomios en
muchas varibles. Sea R un dominio entero y sean x
1
, . . . , x
n
variables inde-
pendientes sobre R. Sea r un entero no negativo. Decimos que un polinomio
no cero en R[x
1
, . . . , x
n
] de la forma
f(x
1
, . . . , x
n
) =

i
1
++in=r
a
i
1
,...,in
x
i
1
1
x
in
n
con los a
i
1
,...,in
en R, es homogeneo de grado r. Entonces, por ejemplo, en
Z[x, y, z],
x
2
y
3
+ 2x
3
yz + 5yz
4
+x
4
z
es homogeneo de grado 5 porque, en cada sumando del polinomio, la suma de
las potencias de las variables es 5. Sin embargo, x
2
y+xyz
2
no es homogeneo.
Si f(x
1
, . . . , x
n
) es homogeneo de grado r y g(x
1
, . . . , x
n
) (que suponemos es
no cero) es homogeneo de grado s, digamos que
g(x
1
, . . . , x
n
) =

j
1
++jn=s
b
j
1
,...,jn
x
j
1
1
x
jn
n
,
87
entonces el producto f(x
1
, . . . , x
n
)g(x
1
, . . . , x
n
) es no cero (porque R[x
1
, . . . , x
n
]
es un dominio entero) y
f(x
1
, . . . , x
n
)g(x
1
, . . . , x
n
) =

k
1
++kn=r+s
_

i+j=k
a
i
1
,...,in
b
j
1
,...,jn
_
x
k
1
1
x
kn
n
.
En otras palabras, el producto de dos polinomios homogeneos en R[x
1
, . . . , x
n
],
uno de grado r y el otro de grado s, es un polinomio homogeneo de grado
r +s. Observe que el polinomio cero est a excluido en esta armaci on.
Un polinomio general no cero f(x
1
, . . . , x
n
) en R[x
1
, . . . , x
n
] es una suma
de sus componentes homogeneas, de manera que podemos escribir
f(x
1
, . . . , x
n
) =

r
f
r
(x
1
, . . . , x
n
),
donde f
r
(x
1
, . . . , x
n
) es la componente homogenea de f(x
1
, . . . , x
n
) de grado
r. Por ejemplo, x
2
y +xyz
2
en Z[x, y, z] tiene componentes homogeneas x
2
y,
xyz
2
de grados 3, 4 respectivamente. El entero no negativo m as grande r
para el cual f(x
1
, . . . , x
n
) tiene una componente homogenea de grado r es
llamado el grado de f(x
1
, . . . , x
n
). Es claro que este es el grado familiar en
el caso de un polinomio en una variable.
Sea
g(x
1
, . . . , x
n
) =

s
g
s
(x
1
, . . . , x
n
)
otro polinomo no cero en R[x
1
, . . . , x
n
] expresado en terminos de sus com-
ponentes homogeneas. Entonces la componente homogenea de grado t del
producto f(x
1
, . . . , x
n
)g(x
1
, . . . , x
n
) es

r+s=t
f
r
(x
1
, . . . , x
n
)g
s
(x
1
, . . . , x
n
).
Dos cosas deben quedar claras de esto: (1) si alguno de f(x
1
, . . . , x
n
) o
g(x
1
, . . . , x
n
) no es homogeneo, entonces tampoco lo es su producto, (2) el
grado del producto es la suma de los grados.
Con estas observaciones podemos ahora evaluar ciertas identidades de
determinantes. A manera de ilustraci on, consideramos el determinante de
88
Vandermonde
D =

a
n1
1
a
n1
2
a
n1
n
a
n2
1
a
n2
2
a
n2
n
.
.
.
.
.
.
.
.
.
a
1
a
2
a
n
1 1 1

.
Tomaremos a a
1
, . . . , a
n
como elementos de un anillo conmutativo arbitrario
R, con 1 el elemento identidad de R, a pesar de que de manera clasica R sera
el campo R de los n umeros reales. Observe que ni siquiera pedimos que R
sea un dominio entero. Deseamos evaluar este determinante. Consideremos
en lugar de este al determinante
=

x
n1
1
x
n1
2
x
n1
n
x
n2
1
x
n2
2
x
n2
n
.
.
.
.
.
.
.
.
.
x
1
x
2
x
n
1 1 1

,
donde x
1
, . . . , x
n
son ahora variables independientes y este determinante
pertenece al anillo de polinomios Z[x
1
, . . . , x
n
] en n variables. Podemos con-
siderar a como un polinomio en x
i
cuyos coecientes son polinomios en
las otras variables. Si evaluamos esto en x
j
con j ,= i (de manera informal,
ponemos x
j
= x
i
) obtenemos dos columnas iguales, de manera que se hace
cero. Entonces x
j
es una raz de considerado como un polinomio en x
i
de
manera que, por el Teorema del Factor (Teorema 2.8.2), x
i
x
j
es un factor
de . Entonces tiene a los
1
2
n(n1) elementos x
i
x
j
(con 1 i < j n)
como factores en Z[x
1
, . . . , x
n
]. Ahora bien, x
i
x
j
(con i < j) es de grado
1 con coeciente 1 del termino de grado en x
i
, de manera que es irreduci-
ble en el DFU Z[x
1
, . . . , x
n
]. Se sigue que la factorizacion de en factores
irreducibles en Z[x
1
, . . . , x
n
] es de la forma
=

1i<jn
(x
i
x
j
),
con Z[x
1
, . . . , x
n
]. Ahora bien, es un polinomio homogeneo en Z[x
1
, . . . , x
n
]
de grado
(n 1) + (n 2) + + 1 =
1
2
(n 1)n,
89
y lo mismo es cierto de

1i<jn
(x
i
x
j
).
Se sigue que debe ser homogeneo de grado cero, i.e. Z. Pero el
producto de los terminos en la diagonal principal de es x
n1
1
x
n2
2
x
n1
y no hay otra manera de que este termino pueda ocurrir en el determinante.
De manera similar, si vemos el producto

1i<jn
(x
i
x
j
)
vemos otra vez que el termino x
n1
1
x
n2
2
x
n1
ocurre (multiplique todos los
primeros terminos dentro de cada parentesis) y ocurre exactamente una vez.
Se sigue que = 1. Aplicamos ahora el homomorsmo Z[x
1
, . . . , x
n
] R
dado mediante la evaluacion de cada polinomio f(x
1
, . . . , x
n
) en Z[x
1
, . . . , x
n
]
en (a
1
, . . . , a
n
), i.e. enviamos f(x
1
, . . . , x
n
) en f(a
1
, . . . , a
n
). (Esto no es
completamente directo porque el coeciente entero n = 1+1+ +1 (n veces)
es enviado en 1
R
+ +1
R
, (1)+ +(1) es enviado en (1
R
)+ +(1
R
)
y el entero 0 es enviado en 0
R
.) Bajo este homomorsmo es enviado en D
y

1i<jn
(x
i
x
j
)

1i<jn
(a
i
a
j
).
Entonces
D =

1i<jn
(a
i
a
j
)
y hemos evaluado el determinante de Vandermonde.
En la practica, los pasos no se describen tan detalladamente como aqu.
De hecho, es posible que los autores no introduzcan nuevas variables x
1
, .., x
n
para nada y simplemente consideren a a
1
, . . . , a
n
como variables indepen-
dientes al evaluar lo que sea que esten investigando. Pero su argumento
funciona solamente porque Z[x
1
, . . . , x
n
] es un DFU y la funci on de evalua-
ci on Z[x
1
, . . . , x
n
] R (donde R es cualquier anillo conmutativo) es un
homomorsmo.
Como segunda ilustraci on consideramos el circulante, esto es, el determi-
90
nante
C =

a
1
a
2
a
3
a
n
a
n
a
1
a
2
a
n1
a
n1
a
n
a
1
a
n1
.
.
.
.
.
.
.
.
.
.
.
.
a
2
a
3
a
4
a
1

,
en el que los renglones son permutados de una manera circular y a
1
, a
2
, . . . , a
n
son n umeros reales (o pueden ser n umeros complejos). Una vez m as intro-
ducimos n variables independientes x
1
, . . . , x
n
y consideramos el determi-
nante
=

x
1
x
2
x
3
x
n
x
n
x
1
x
2
x
n1
x
n1
a
n
a
1
x
n1
.
.
.
.
.
.
.
.
.
.
.
.
x
2
x
3
x
4
x
1

,
en el anillo de polinomios C[x
1
, . . . , x
n
]. Para cada entero k = 0, 1, . . . , n 1
denimos

k
= e
2ki/n
,
de manera que
0
,
1
, . . . ,
n1
son las distintas races n-esimas complejas de
la unidad. Ahora le agregamos a la primera columna de

k
(2
a
columna) +
2
k
(3
a
columna) + +
n1
k
(n
a
columna)
con lo que obtenemos la nueva primer columna
x
1
+
k
x
2
+
2
k
x
3
+ +
n1
k
x
n
x
n
+
k
x
1
+
2
k
x
2
+ +
n1
k
x
n1
x
n1
+
k
x
n
+
2
k
x
1
+ +
n1
k
x
n2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
x
2
+
k
x
3
+
2
k
x
4
+ +
n1
k
x
1
y estas entradas tienen como factor com un a
x
1
+
k
x
2
+
2
k
x
3
+ +
n1
k
x
n
(recordemos que
n
k
= 1), que es entonces un factor de . Pero este factor es
irreducible en el anillo de polinomios C[x
1
, . . . , x
n
] porque es de grado 1 con
coeciente 1 en x
1
. Esto es cierto para todos los enteros k de 1 a n. Como
C[x
1
, . . . , x
n
] es un DFU, la factorizaci on de en sus factores irreducibles
debe ser de la forma
=

1kn
(x
1
+
k
x
2
+
2
k
x
3
+ +
n1
k
x
n
)
para alg un C[x
1
, . . . , x
n
]. Ahora bien, es un polinomio homogeneo
en C[x
1
, . . . , x
n
] de grado n y lo mismo es cierto del producto de n factores
lineales en el lado derecho. Se sigue que C. La diagonal principal de
produce el termino x
n
1
, que tambien ocurre en el producto del lado derecho.
Se sigue que = 1. Aplicamos ahora el homomorsmo
C[x
1
, . . . , x
n
] C
bajo el cual un polinomio en C[x
1
, . . . , x
n
] es evaluado en (a
1
, . . . , a
n
). Esto
nos da
C =

1kn
a
1
+
k
a
2
+
2
k
a
3
+ +
n1
k
a
n
Algunos de los ejercicios que siguen pueden resolverse mediante las tecnicas
usuales de evaluar tales determinantes, es decir, restando columnas y tomando
factores de las columnas. Se sugiere, de manera alternativa, que los lectores
consideren a las entradas como variables independientes y traten de distinguir
a los factores de manera directa. Los lectores cuidadosos introducir an nuevos
smbolos para las variables en el anillo de polinomos y aplicaran desupues una
funci on evaluaci on a R. Otros no se molestar an pero, esperamos, tendr an
presente que eso es lo que deberan estar haciendo y que todo funciona porque
el anillo de polinomios sobre Z es un DFU.
92
Ejercicios 2.9
1. Evalue los siguientes determinantes en los que los elementos
pertenecen a un anillo conmutativo arbitrario R:
(i)

b
2
+c
2
c
2
+a
2
a
2
+b
2
b +c c +a a +b
1 1 1

(ii)

bc ca ab
a b c
1 1 1

(iii)

a
n
1
a
n
2
a
n
3
a
n
n
a
n2
1
a
n2
2
a
n2
3
a
n2
n
a
n3
1
a
n3
2
a
n3
3
a
n3
n
.
.
.
.
.
.
.
.
.
.
.
.
1 1 1 1

(iv)

a
n
1
a
n
2
a
n
n
a
n1
1
a
n1
2
a
n1
n
.
.
.
.
.
.
.
.
.
a
2
1
a
2
2
a
2
n
1 1 1

(v)

a
3
b
3
c
3
d
3
a
2
b
2
c
2
d
2
b +c +d a +c +d a +b +d a +b +c
1 1 1 1

(vi)

bcd acd abd abc

b
2
+c
2
+d
2
a
2
+c
2
+d
2
a
2
+b
2
+d
2
a
2
+b
2
+c
2
a b c d
1 1 1 1

2. Evalue el siguiente determinante, donde a

1
, . . . , a
n
son n umeros
complejos:

a
1
a
2
a
3
a
n
a
n
a
1
a
2
a
n1
a
n1
a
n
a
1
a
n2
.
.
.
.
.
.
.
.
.
.
.
.
a
2
a
3
a
4
a
1

93
POSDATA
Por donde seguimos? Nuestro acercamiento a anillos ha decididamente sido
tradicional. Hemos alcanzado el punto al que llegaron matem aticos como
Kummer, Dedekind y Kronecker el siglo pasado. Se les haban atravesado
anillos tales como Z[

5] en su trabajo en teora de n umeros y, en particular,

haban notado el hecho de que estos anillos pueden no ser DFUs. La pregunta
era: C omo se puede reestablecer factorizaci on unica en tales anillos? Esto se
resolvi o de la siguiente manera. En lugar de factorizar un solo elemento, ellos
consideraron un conjunto de elementos del anillo con ciertas propiedades,
llamado ideal. Luego Dedekind demostro como, en estos anillos de enteros
algebraicos tales como Z[

5], un ideal puede ser factorizado de manera

unica como un producto de ideales primos. Esto llev o al estudio de anillos
de Dedekind y a la Teora Multiplicativa (o Cl asica) de Ideales.
As como en teora de n umeros, tambien estaban surgiendo anillos en ge-
ometra algebraica, pero eran otra clase de anillos. La geometra algebraica se
preocupa de en donde se anulan los polinomios (piense en una par abola como
los puntos en los que el polinomio y
2
4ax se anula), de manera que los anillos
que surgen son anillos de polinomios en un n umero nito (> 1) de variables
sobre el campo C de los n umeros complejos (para hacerlo m as f acil!). Estos
no son anillos de Dedekind. Al cambio de siglo el matem atico aleman David
Hilbert demostr o que los ideales de estos anillos de polinomios son nita-
mente generados. En la primera parte del siglo XX, la gran matem atica
Emmy Noether tom o las ideas de Hilbert y las present o en un contexto ab-
stracto. Demostr o que en ciertos anillos, incluyendo a los anillos de Dedekind
y los anillos de polinomios en un n umero nito de variables sobre un campo,
todo ideal es la intersecci on (no el producto) de ideales de cierta clase, lla-
mados ideales primarios, y que conectado con esta intersecci on hay algunos
ideales primos que estan asociados de manera unica con el ideal original. En-
tonces el tema de factorizaci on unica, que viene desde de los antiguos griegos,
es preservado en los bellos resultados de Emmy Noether, aunque sea de una
manera muy transformada.
El autor se enter o por primera vez del trabajo Emmy Noether en el
tratado pionero de su maestro D. G. Noether titulado Ideal Theory y est a
94
encantado de recomendar este tratado como un bello recuento de un pedazo
en extremo elegante de matem aticas. Otros libros sobre la teora de anillos,
m as comprehensivos y avanzados que este, tambien contienen recuentos de
anillos noetherianos y Dedekind.
Cerramos con solo un comentario mas sobre resultados mas recientes sobre
factroizaci on unica. Uno de los logros mas sobresalientes de una rama del
algebra moderna llamada algebra homol ogica ha sido la demostraci on de que
una clase de anillos que surgen en la geometra algebraica, llamados anillos
locales regulares son DFUs. Esto fue demostrado de varias maneras por
distintas personas alrededor de 1960. Hemos demostrado aqu que, cuando R
es un DFU, entonces esto tambien es cierto para el anillo de polinomios R[x].
Podra preguntarse si lo mismo es cierto para el anillo de series de potencias.
Pierre Samuel dio, en 1963, un ejemplo de un DFU R para el cual el anillo de
series de potencias R[[x]] no es un DFU. Puede entonces preguntarse: para
cu ales DFUs es R[[x]] un DFU? Por ejemplo, es cierto que Z[[x]] es un DFU
y, mas en general, que si R es un dominio de ideales principales, entonces
R[[x]] es un DFU. De manera que hay mucho m as que se puede decir a cerca
de los DFUs y, en particular, de como encajan en el contexto m as amplio
de la teora de anillos conmutativos. (El libro Commutative Rings de Irving
Kaplansky, que es uno de los que demostro que un anillo local regular es
un DFU, contiene mucha informacion en esa direccion.) Esperamos que a
algunos de nuestros lectores se les haya despertado su interes para seguir el
estudio. !Hay un monton de matematicas facinantes hacia adelante!