Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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.
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
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
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.
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], de
22
manera que 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[
g : T R (dada por (f
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
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 + 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
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]
es entonces un dominio entero bajo la suma y la multiplicacion de n umeros
complejos. Para = a + b
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],
9 = 3 3 = (2 +
5)(2
5).
Armamos que 3, 2 +
5, 2
5]. Entonces
9 = N() = N() = N()N().
Es facil ver que ning un elemento de Z[
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[
5].
2. Para = a+b
5 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], 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
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[
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))
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),
donde x, y Z (o, de manera equivalente, todos los n umeros de la forma
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, 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.)
, 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)(2
5),
de manera que 3[(2+
5)(2
5) en Z[
5] porque,
en caso contrario, 2+
5 = 3(a+b
5). Entonces 3 no es
primo en 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[
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;
_
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.
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
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
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). Ademas, si
f
(x) = g
(x), g
(x) polinomios
primitivos en R[x], entonces = u y g
(x) = uf
(x) con 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) = 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), h(x) = h
(x),
con , k y g
(x), h
(x) = g
(x)h
(x).
Por el Lema de Gauss (Teorema 2.8.9), g
(x)h
(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].
(x) con d R y 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)
tiene un grado denido al principio, este proceso debe detenerse. Cuando
esto sucede, f
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)
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[