Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Curso 2004-2005
Eugenio Miranda Palacios
2
ndice general
0. Rudimentos de lgica 7
0.1. El mtodo axiomtico . . . . . . . . . . . . . . . . . . . . . . . . 7
0.2. Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
0.3. Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
0.4. Demostraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1. Aritmtica entera 13
1.1. El anillo ordenado de los nmeros enteros . . . . . . . . . . . . . 13
1.2. Induccin. Principios del mnimo y del mximo . . . . . . . . . . 15
1.3. Divisibilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Algoritmo de la divisin eucldea . . . . . . . . . . . . . . . . . . 17
1.5. Mximo comn divisor y mnimo comn mltiplo . . . . . . . . . 18
1.6. Ecuaciones diofnticas . . . . . . . . . . . . . . . . . . . . . . . 25
1.7. Primos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.8. Congruencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.9. Sistemas de ecuaciones en congruencias . . . . . . . . . . . . . . 34
1.10. Teorema chino de los restos . . . . . . . . . . . . . . . . . . . . . 36
1.11. Los anillos Z
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2. Anillos conmutativos 51
2.1. Leyes de composicin. Estructuras algebraicas. . . . . . . . . . . 51
2.2. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.2.1. Ejemplos de grupos . . . . . . . . . . . . . . . . . . . . . 54
2.2.2. Ejemplos de anillos . . . . . . . . . . . . . . . . . . . . . 55
2.2.3. Ejemplos de mdulos . . . . . . . . . . . . . . . . . . . . 57
2.3. Reglas de clculo . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3.1. Reglas de clculo para grupos . . . . . . . . . . . . . . . 58
2.3.2. Reglas de clculo para anillos . . . . . . . . . . . . . . . 61
2.4. Homomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.4.1. Homomorsmos de grupos . . . . . . . . . . . . . . . . . 62
2.4.2. Homomorsmos de anillos . . . . . . . . . . . . . . . . . 64
3
4 NDICE GENERAL
2.4.3. Homomorsmos de mdulos . . . . . . . . . . . . . . . . 65
2.5. Subestructuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.5.1. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.5.2. Subanillos e ideales . . . . . . . . . . . . . . . . . . . . . 67
2.5.3. Submdulos . . . . . . . . . . . . . . . . . . . . . . . . 70
2.6. Anillos cocientes . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.7. Dominios de integridad y cuerpos . . . . . . . . . . . . . . . . . 74
2.8. El cuerpo de fracciones . . . . . . . . . . . . . . . . . . . . . . . 75
2.9. Factorizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
2.9.1. Dominios de factorizacin nica . . . . . . . . . . . . . . 79
2.9.2. Dominios de ideales principales . . . . . . . . . . . . . . 81
3. Dominios Eucldeos 85
3.1. Deniciones y resultados bsicos . . . . . . . . . . . . . . . . . . 85
3.2. Ejemplos: Anillos cuadrticos . . . . . . . . . . . . . . . . . . . 87
3.2.1. Cuerpos cuadrticos de nmeros . . . . . . . . . . . . . . 87
3.2.2. Anillos cuadrticos de enteros . . . . . . . . . . . . . . . 87
3.2.3. Anillos cuadrticos eucldeos . . . . . . . . . . . . . . . 90
3.3. Aritmtica en dominios eucldeos . . . . . . . . . . . . . . . . . 92
3.3.1. Factorizacin en primos . . . . . . . . . . . . . . . . . . 92
3.3.2. Clculo del mximo comn divisor . . . . . . . . . . . . 93
3.3.3. Resolucin de ecuaciones lineales . . . . . . . . . . . . . 95
3.3.4. Resolucin de ecuaciones en congruencias . . . . . . . . 96
4. Polinomios 105
4.1. Deniciones y primeras propiedades . . . . . . . . . . . . . . . . 105
4.2. El algoritmo de la divisin con resto . . . . . . . . . . . . . . . . 109
4.3. Factorizacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.4. Criterios de irreducibilidad . . . . . . . . . . . . . . . . . . . . . 114
4.5. Factorizacin en un nmero nito de pasos . . . . . . . . . . . . 118
4.6. Polinomios simtricos . . . . . . . . . . . . . . . . . . . . . . . . 122
4.7. La resultante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
4.7.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . 127
4.7.2. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . 127
4.7.3. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . 128
4.8. El discriminante . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
4.8.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . 129
4.8.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . 129
4.9. Mtodos de clculo . . . . . . . . . . . . . . . . . . . . . . . . . 129
4.9.1. Clculo directo . . . . . . . . . . . . . . . . . . . . . . . 129
4.9.2. Mtodo modular . . . . . . . . . . . . . . . . . . . . . . 132
NDICE GENERAL 5
4.9.3. Por el algoritmo de Euclides . . . . . . . . . . . . . . . . 133
4.9.4. Determinante de Euler-Sylvester-Cayley . . . . . . . . . . 134
4.9.5. Determinante de Bezout . . . . . . . . . . . . . . . . . . 135
6 NDICE GENERAL
Captulo 0
Rudimentos de lgica
0.1. El mtodo axiomtico
Matemticas es el estudio de las relaciones entre ciertos objetos ideales como
nmeros, funciones y guras geomtricas. Estos objetos no existen en el mundo
real sino que son modelos abstractos de situaciones fsicas.
Para que un sistema matemtico sirva como modelo de la realidad debemos
tener en principio un mtodo para reconocer enunciados verdaderos, aunque en la
prctica alguno puede ser difcil de demostrar. Cuando los objetos de estudio nos
son intuitivamente familiares (como los nmeros enteros), tomamos como axio-
mas ciertas propiedades intuitivamente verdaderas e intentamos deducir a partir de
ellas todas las restantes propiedades del sistema. Una vez elegidos los axiomas,
podemos olvidar la interpretacin intuitiva y vemos a nuestros objetos como enti-
dades abstractas sujetas a los axiomas dados. Cuando vayamos a aplicar nuestro
sistema a un caso concreto, debemos buscar una interpretacin para cada nocin
introducida y vericar que en esta interpretacin todos los axiomas son verdad.
Entonces podemos concluir que todos los enunciados derivados de los axiomas
tambin son ciertos. Esta consideracin subraya la necesidad de mantener el sis-
tema de axiomas lo mas pequeo posible.
Dos ventajas de este mtodo axiomtico es que podemos examinar el efecto
sobre nuestro sistema de variar los axiomas y que las demostraciones son mas
trasparentes cuanto mas abstracto es el sistema. Por otra parte cuesta algn tiempo
familiarizarse con las nociones abstractas. En esto puede ayudar el modelo mas
o menos concreto en que se basa nuestro sistema, aunque no es estrictamente
necesario y ciertamente no forma parte de la teora.
Estudiar estas nociones abstractas es como aprender un idioma nuevo. Pero
hay un aspecto en el que este proceso diere de aprender un lenguaje: Debemos
razonar sobre los nuevos conceptos y esto requiere atencin cuidadosa a la in-
7
8 CAPTULO 0. RUDIMENTOS DE LGICA
terrelacin lgica de los enunciados. Naturalmente es cierto que an en la vida
cotidiana podemos despreciar la lgica slo bajo nuestra responsabilidad, pero la
evidencia patente de lo absurdo de las conclusiones normalmente nos fuerza a
abandonar una lnea falsa de razonamiento. Por contra cuando seguimos una lnea
abstracta de pensamiento sobre conceptos no familiares, podemos alcanzar por
razonamiento lgico conclusiones que no podemos tamizar por el sentido comn.
Por tanto es importante estar totalmente familiarizado con las reglas lgicas que
necesitamos y ser conscientes de que estas reglas pueden aplicarse sin mirar el
signicado actual de los enunciados a los que las aplicamos. Por esta razn empe-
zamos describiendo brevemente algunos conceptos y notaciones de la lgica.
0.2. Proposiciones
Para nuestro propsito podemos suponer que cada proposicin es o verdadera
o falsa. Usamos V para verdadero y F para falso. El correspondiente valor V
o F se llama el valor de verdad de la proposicin.
La lgica proposicional describe las formas en que podemos combinar enun-
ciados (tambin llamados proposiciones) verdaderos para producir otros enuncia-
dos verdaderos. Usualmente se consideran cinco operaciones principales de ese
tipo (llamados conectivos lgicos), aunque tcnicamente podemos derivarlas to-
das de una o dos de ellas. Estas operaciones son:
Sean A y B dos enunciados (no necesariamente distintos). Denimos la expre-
sin A y B tambin escrito A B, y llamada la conjuncin de A y B mediante
una tabla de verdad
A V V F F
B V F V F
A B V F F F
Esta tabla muestra que A B es verdad cuando A y B son ambas verdaderas y es
falso en el resto de los casos.
Una segunda forma en que podemos combinar proposiciones es utilizando la
disjuncin A o B que tambin se escribe como A B. Su tabla de verdad es:
A V V F F
B V F V F
A B V V V F
Esto quiere decir que A B es verdad si lo es A o B o ambas.
A partir de cualquier proposicin podemos formar su opuesta o negacin in-
sertando no en los lugares adecuados. En general si A es una proposicin su
negacin es no A denotada tambin A que es verdadera precisamente cuando
0.2. PROPOSICIONES 9
A es falsa. Su tabla de verdad es
A V F
A F V
La nocin de implicacin es especialmente importante y su uso en matemti-
cas diere en algo de su uso corriente, aunque naturalmente el signicado subya-
cente es el mismo.As A implica B o si A entonces B se denota por A B y
signica que A es falsa o B es verdadera. Su tabla de verdad es
A V V F F
B V F V F
A B V F V V
Ntese que si A es falsa, A B es verdadera para cualquier B, en otras palabras:
Un enunciado falso implica cualquier cosa. Esto puede parecer extrao al prin-
cipio, pero tiene su anlogo en el uso ordinario cuando subrayamos lo absurdo de
una armacin extrayendo un resultado an mas absurdo.
(Ntese que se puede denir la implicacin en funcin de los otros conectivos:
A B es igual a (A)B. Mas generalmente, cualquier proposicin compuesta
a partir de dos dadas A y B se puede denir usando slo y ).
El ltimo conectivo de uso frecuente es la biimplicacin o equivalencia lgica
A B que se dene como (A B) (B A). Su tabla de verdad es
A V V F F
B V F V F
A B V F F V
Algunas proposiciones compuestas son verdaderas para todos los valores de
verdad de la proposiciones elementales que aparecen. (Por ejemplo siempre es
verdadera A (A)). Tales proposiciones se llaman tautologas. Para comprobar
si una proposicin dada es una tautologa podemos usar tablas de verdad.
Por ejemplo consideremos (A (A B)) B:
A V V F F
B V F V F
A B V F V V
A (A B) V F F F
(A (A B)) B V V V V
As que (A (A B)) B es una tautologa porque en la ltima la slo
aparecen V.
10 CAPTULO 0. RUDIMENTOS DE LGICA
0.3. Predicados
Usualmente los enunciados simples discutidos hasta ahora no son sucientes
para tratar las situaciones matemticas.
Adems de las proposiciones necesitamos funciones proposicionales o predi-
cados. Por ejemplo x es un nmero impar (x recorre los nmeros naturales) o
x es mayor que y (x, y son nmeros naturales). En contraste con las proposicio-
nes, un predicado ya no es verdadero o falso sino que slo llega a serlo cuando se
sustituyen valores particulares para las variables: 2 es un nmero impar, 3 es
mayor que 2.
En la prctica con frecuencia queremos decir que alguna armacin P(x) sobre
x es verdadera para todo x (en el universo de discurso). Denotamos esto por
(x)P(x)
que se lee Para todo x se verica P(x). Decimos que la variable x est acotada
por el cuanticador universal .
Para expresar que P(x) se verica para algn x escribimos
(x)P(x)
que leemos Existe un x tal que P(x). Aqu x est acotado por el cuanticador
existencial .
Finalmente para expresar que P(x) se verica exactamente para un slo valor
de x escribimos
(
1
x)P(x)
que leemos Existe un nico x tal que P(x). Ahora x est acotado por el cuanti-
cador existencial especial
1
.
Cuando todas las variables que aparecen en un predicado estn acotadas por
cuanticadores, tenemos una proposicin. Por ejemplo en el dominio de los n-
meros naturales (x)(y)(x + y = y + x) signica que para cualesquiera x, y la
suma x + y es independiente del orden de los trminos. De la misma manera
(x)(y)(x < y) dice que para todo x existe un y mayor que x, es decir que no
existe un nmero mximo. Ntese que si aplicamos los cuanticadores en orden
inverso obtenemos la proposicin (y)(x)(x < y) que dice que existe un y mayor
que todo x. Evidentemente esto es falso mientras que lo anteriores verdad, as que
se debe prestar atencin al orden en que se aplican los cuanticadores.
Ntese tambin que una variable acotada puede siempre renombrarse sin cam-
biar el signicado. As (x)P(x) signica exactamente lo mismo que (y)P(y); por
esta razn una variable acotada se llama tambin variable muda. Con frecuencia
usamos esta libertad para evitar conictos de notacin.
0.4. DEMOSTRACIONES 11
Por ejemplo en lugar de (a = x + y) (x)(a 2x) es preferible (a = x +
y) (z)(a 2z). Ambas formas signican lo mismo, pero la segunda es menos
propicia a las malas interpretaciones.
Los cuanticadores universal y existencial estn relacionados por las equiva-
lencias siguientes, que nos permiten denir uno de ellos en trminos del otro:
(x)P(x) (x)P(x)
(x)P(x) (x)P(x)
Con ayuda de estas frmulas (y notando que A A) es fcil escribir la
negacin de cualquier frmula con cuanticadores. Por ejemplo
((x)(y)(z)F(x, y, z)) (x)(y)(z)(F(x, y, z))
0.4. Demostraciones
En cualquier teora matemtica hay axiomas de los que se derivan los teore-
mas mediante deducciones lgicas (demostraciones) usando tambin los teoremas
lgicos (tautologas). No es necesario ni apropiado describir en detalle la forma
que tendra una tal demostracin. La presentacin usual de las demostraciones, l-
gicamente informal pero matemticamente rigurosa, se asimila mejor estudiando
diversos ejemplos. Pero puede ser til exponer rpidamente los principales mto-
dos de demostracin.
Una demostracin directa usualmente tiene la forma: A es verdad y A B es
verdad, luego B es verdad. En la lgica escolstica este proceso se llama modus
ponens.
Es importante distinguir entre A B por un lado y A, de donde B por
otro. La distincin puede parecer pedante cuando A es verdad, pero ignorarla pue-
de llevar a confusin.
A partir del enunciado A B podemos formar otros tres:
El recproco o inverso B A.
El contrario A B.
El contrarrecprocoB A.
El contrarrecproco es lgicamente equivalente al enunciado original (com-
prubense las tablas de verdad correspondientes). Por ello otra forma de demos-
tracin es el modus tolens: A es verdad y B A es verdad, luego B es ver-
dad.
12 CAPTULO 0. RUDIMENTOS DE LGICA
Hay que observar que el recproco no es equivalente al enunciado dado (com-
probar tambin las tablas de verdad), por lo que un razonamiento del tipo A es
verdad y B A es verdad, luego B es verdad no es correcto. Por ejemplo, su-
pongamos que queremos demostrar (x)(x
2
par x es par). No es correcto
argumentar Si x es par, x
2
es par, de donde el resultado, pero s es correcto decir
Si x es impar, x
2
es impar, de donde el resultado.
Otra forma de prueba indirecta es por contradiccin tambin llamado reductio
ad absurdum: Para demostrar A mostramos que (A) F, es decir demostra-
mos que (no A) lleva a una contradiccin.
Tambin existe la demostracin por contraejemplo. Muchos enunciados tienen
la forma (x)P(x). Si queremos demostrar que un tal enunciado es falso, debemos
demostrar su negacin, es decir (x)P(x) y esto se hace hallando un c tal que
P(c) sea cierto.
Finalmente, en matemticas hay demostraciones de existencia no constructi-
vas. Esto puede sonar raro, pero es un tipo de razonamiento que tambin se da en
la vida diaria: En un grupo de 400 personas debe haber dos que tengan el mismo
cumpleaos, aunque para hallar un tal par es preciso un examen mas detallado del
grupo.
Con frecuencia un teorema tiene la forma de una implicacin o una equivalen-
cia. Citamos unas cuantas formas de expresarlo:
A B : Se verica A slo si se verica B; A es suciente para B.
A B : Se verica A si se verica B; A es cierto siempre que B sea cierto; A es
necesario para B.
A B : Se verica A si y slo si se verica B; A es necesario y suciente para B.
En la prctica aparece con frecuencia la frase si y slo si. Muchas veces se
abrevia por sii (en ingls i).
Tambin es til tener un signo para indicar el nal de una demostracin. Tra-
dicionalmente se utilizaban las abreviaturas QED (quod erat demostrandum) o
CQD (como queramos demostrar). Pero en la literatura matemtica mas mo-
derna se usa o .
Captulo 1
Aritmtica entera
1.1. El anillo ordenado de los nmeros enteros
Los nmeros enteros son familiares en la aritmtica elemental. Aqu queremos
expresar esta familiaridad en trminos precisos. Enunciaremos una lista de propie-
dades que poseen los enteros y a partir de ellas sacaremos nuestras deducciones.
Todas estas propiedades pueden deducirse de una lista muy corta de axiomas, pero
de momento esto es inmaterial.
Denotamos N al conjunto de los enteros positivos (tambin llamados nmeros
naturales) 1, 2, 3, . . . . y denotamos por Z al conjunto de todos los enteros positi-
vos, negativos y nulo. La letra N es la inicial de la palabra nmero y Z es la inicial
de Zahl (nmero en alemn). En matemticas est muy extendido el uso de ambas
abreviaturas.
En el conjunto Z hay denidas tres operaciones: Suma, x+y, resta o sustraccin
, x y y multiplicacin x y o xy. Con frecuencia es conveniente expresar la resta
sumando el opuesto, x y = x + (y). Estas operaciones verican las siguientes
propiedades:
Ley asociativa (x + y) + z = x + (y + z), (xy)z = x(yz)
Ley conmutativa x + y = y + x xy = yx
Existencia de neutro x + 0 = x x1 = x
Existencia de opuesto x + (x) = 0.
El nmero 0 se llama neutro para la suma porque al sumarlo a cualquier n-
mero x el resultado es igual a x. De la misma forma el nmero 1 es neutro para la
multiplicacin. Todo entero x tiene el opuesto x, pero salvo 1 y 1 ningn entero
13
14 CAPTULO 1. ARITMTICA ENTERA
tiene un inverso multiplicativo. Mas adelante hallaremos inversos para todo entero
no nulo cuando veamos los nmeros racionales.
Adems de las propiedades anteriores, existe otra propiedad que relaciona la
suma y el producto:
Ley distributiva x(y + z) = xy + xz.
Un conjunto R con dos operaciones x +y, xy vericando las anteriores propie-
dades se llama anillo conmutativo, as que el conjunto Z de todos los enteros es
un anillo conmutativo. Sin embargo estas leyes no son sucientes para determinar
unvocamente a Z.
Veamos ahora algunas consecuencias de las leyes anteriores: De la ley distri-
butiva se sigue que para todo x Z se verica x0 = 0 = 0 x. Por la ley asociativa,
la suma de cualquier nmero de trminos es independiente de la manera en que
introduzcamos parntesis, y por la ley conmutativa el orden de los trminos no
altera la suma. Igual ocurre con la multiplicacin. De momento aceptamos todo
esto sin demostraciones.
La suma de los nmeros a
1
, . . . , a
n
se puede escribir a
1
+ +a
n
. Normalmente
se abrevia esta expresin escribiendo el trmino general a
i
precedido de una sigma
mayscula con alguna indicacin del rango en que se suman los enteros (excepto
si esto ltimo est claro del contexto). As que en lugar de a
1
+ + a
n
podemos
escribir
n
i=1
a
i
,
n
1
a
i
,
i
a
i
, a
i
donde en cada caso i es una variable muda. Cuando n = 0 la suma escrita es vaca
y, por convencin, se toma igual a cero.
Existe una abreviatura similar para productos repetidos usando la pi mayscu-
la en lugar de . As que en lugar de a
1
a
2
. . . a
n
podemos escribir
n
i=1
a
i
,
n
1
a
i
,
i
a
i
, a
i
Por ejemplo, podemos denir la funcin factorial como n! =
n
1
i. Un producto
vaco se toma igual a uno; as que las sumas vacas y los productos vacos son
respectivamente neutros para la suma y el producto.
Una propiedad importante de los enteros es que el producto de dos enteros no
nulos no es nunca cero:
Ley de integridad Para cualesquiera enteros a, b, si a 0 y b 0 entonces
ab 0. Adems 1 0
Esto tiene una consecuencia muy til:
Ley cancelativa Para cualesquiera a, b, c Z si ca = cb y c 0 entonces a = b.
1.2. INDUCCIN. PRINCIPIOS DEL MNIMO Y DEL MXIMO 15
Esto asegura que multiplicacin por un entero no nulo es una aplicacin
inyectiva de Z en s mismo. Para demostrarlo, supongamos que a b, entonces
a b 0 y por la ley de integridad c(a b) 0, por tanto ca cb = c(a b) 0.
En Z adems de las operaciones existe una relacin de orden que escribimos
x y o y x. Si x y pero x y escribimos x < y y tambin y > x. Esta relacin
es una relacin de orden total y est relacionada con las operaciones de Z por las
siguientes reglas:
Si x
1
x
2
, y
1
y
2
entonces x
1
+ y
1
x
2
+ y
2
.
Si x y y z > 0 entonces zx zy.
Estas reglas indican que Z es un anillo totalmente ordenado. Usando la orde-
nacin podemos describir el conjunto N de los enteros positivos como:
N = x Z x > 0 (1.1.1)
Es costumbre tomar N como conjunto de partida dado por algunos axiomas (nor-
malmente los axiomas de Peano) y a partir de l se construye Z.
Ntese que para todo x Z se verica que x = 0 o x N o x N y que
estas tres posibilidades son mutuamente excluyentes. De hecho esto es cierto en
cualquier anillo ordenado, deniendo N por la regla 1.1.1, debido a que el orden
es total.
1.2. Induccin. Principios del mnimo y del mximo
Para jar Z completamente utilizamos la siguiente condicin sobre el conjunto
N de los enteros positivos:
I. Principio de induccin sea S un subconjunto de N tal que 1 S y que n
S n + 1 S . Entonces S = N.
Este principio forma la base del mtodo familiar de demostracin por induc-
cin: Sea P(n) una armacin acerca de un entero positivo n (p. e., P(n) = la
suma de los n primeros enteros positivos es n(n + 1)/2) Supongamos que que-
remos demostrar P(n) para todo n. Para ello por el principio de induccin basta
demostrar P(1) y demostrar n(P(n) P(n + 1)), porque esto signica que el
conjunto S = n N P(n) contiene a 1 y que si contiene a n tambin contiene a
n + 1. Del principio de induccin se deduce que S = N, es decir que todo n N
verica P(n).
Existen formas alternativas del principio de induccin que se usan con fre-
cuencia:
16 CAPTULO 1. ARITMTICA ENTERA
II. Principio de induccin alternativo Sea S un subconjunto de N tal que 1 S
y que n S siempre que para todo m < n m S . Entonces S = N.
III. Principio del mnimo o principio de buena ordenacin. Todo conjunto no
vaco de enteros positivos tiene un elemento mnimo.
IV. Principio del mximo Todo conjunto no vaco de enteros negativos tiene un
elemento mximo.
El principio del mnimo se suele enunciar diciendo que N est bien ordenado
Veamos la equivalencia de los principios enunciados:
I II : Sea S un conjunto vericando las hiptesis de II. Denimos T = x
N y(y x y S ), es decir que x T precisamente cuando todos los
nmeros desde 1 hasta x pertenecen a S . Es evidente que T S , as que
basta demostrar que T = N. Como 1 S , tenemos que 1 T. Si n T
entonces y S para todo y n, luego n + 1 S y por tanto y S para todo
y n + 1. Pero esto implica que n + 1 T. Por I tenemos que T = N.
II III : Sea S un conjunto de enteros positivos que no tiene elemento mnimo.
Vamos a demostrar que S es el conjunto vaco: Llamamos S
= x N x
S al complemento de S . Como S no tiene primer elemento, 1 S luego
1 S
, necesariamente n S
= N y por tanto S = .
III I : El elemento mnimo de Nes 1. Sea S un subconjunto de Nque verique
las hiptesis del principio de induccin. Sea S
= x N x S . Sabemos
que 1 S
y si n S
entonces n 1 S
. Luego S
no tiene elemento
mnimo, por tanto es el conjunto vaco y S = N.
III IV : Sea S un conjunto no vaco de enteros negativos. Entonces T = x
Z x S es un conjunto no vaco de elementos positivos. Por III T tiene
elemento mnimo, sea n. Entonces n S y para todo m S tenemos que
m T, luego n m lo que equivale a n m para todo m T, as que
n es el elemento mnimo de S .
IV III : Se demuestra de manera anloga al apartado anterior.
1.3. Divisibilidad
Denicin 1.3.1. Dados a, b Z decimos que b divide a, que a es divisible por b
y que a es un mltiplo de b si existe un c Z tal que a = bc. Lo denotamos por
b a.
1.4. ALGORITMO DE LA DIVISIN EUCLDEA 17
Ya que cualquier mltiplo de 0 es 0, se verica que 0 a slo cuando a = 0.
Por esta razn en la expresin b a normalmente se toma b 0. Para todo b Z
se verica que b 0.
La negacin de b a se escribe b a que signica que a no es divisible por b.
La relacin de divisibilidad en Z satisface las siguientes propiedades:
1. c b y b a implican c a.
2. Para todo a Z se verica que a a.
3. Si a b y b a entonces a = b.
Estas tres propiedades muestran que la divisibilidad es un orden parcial en
el conjunto de enteros positivos.
4. b a, a > 0 y b > 0 implican b a
5. b a
1
y b a
2
implican que b (xa
1
+ ya
2
) para cualesquiera x, y Z. En
particular b (a
1
a
2
).
6. b a implica que para todo c Z se verica b ac.
7. Si c 0, b a si y slo si cb ca
Denicin 1.3.2. Dos enteros a, b tales que b a y a b se llaman asociados.
De la propiedad 3 anterior vemos que todo entero a est asociado a un nico
entero no negativo, que se llama su valor absoluto y se representa por a.
1.4. Algoritmo de la divisin eucldea
La primera aplicacin del principio de buena ordenacin es demostrar el algo-
ritmo de la divisin:
Teorema 1.4.1. Para cualesquiera enteros a y b, con b > 0, existen enteros nicos
q (el cociente) y r (el resto) tales que a = bq + r con 0 r < b.
Demostracin. Consideramos el conjunto R = s = a bq q Z, s 0. Como
b > 0, el elemento a b(a) = a + b a es mayor o igual a cero y est en R.
Luego R no es vaco.
Por el principio de buena ordenacin R tiene un primer elemento, al que lla-
mamos r. Por denicin r = a bq 0, y a = bq + r. Si fuera r b, entonces
s = r b = a b(q + 1) 0, luego s R y s < r. Esto contradice la minimalidad
de r, luego r < b.
18 CAPTULO 1. ARITMTICA ENTERA
Para demostrar que q y r son nicos, supongamos que a = bq +r = bp + s con
0 r, s < b. Esto implica que r s < b. Pero r s = b(q p) lo que muestra que
b (r s). El nico mltiplo de b con menor valor absoluto que b es el cero, luego
r s = 0 y por tanto r = s. Adems bp = bq, lo que implica p = q.
Corolario 1.4.2. Dados dos enteros a y b con b > 0, b a si y slo si el resto de
la divisin de a por b es 0.
Denicin 1.4.3. Para a Z denimos el conjunto de todos los mltiplos de a
como aZ = aq q Z.
Proposicin 1.4.4. El conjunto aZ es cerrado para la suma y la resta.
Teorema 1.4.5. Sea I un conjunto no vaco de enteros que es cerrado para la
suma y la resta. Entonces o I slo contiene al cero o contiene un mnimo elemento
positivo a, en cuyo caso I = aZ.
Demostracin. Ya que I no es vaco, o slo contiene al cero o contiene algn en-
tero no nulo b. En el primer caso hemos terminado. En el segundo caso, I contiene
a b b = 0 y a 0 b = b. As que I contiene al entero positivo b. Luego el con-
junto I
+
de enteros positivos de I no es vaco. Por el principio de buena ordenacin
tiene un elemento mnimo, al que llamamos a.
Cualquier mltiplo de a se obtiene sumando a o a consigo mismo un nmero
nito de veces, luego aZ I.
Por otra parte, sea c I arbitrario. Dividimos entre a, as que c = aq + r con
0 r < a. Pero r = c aq I. Por el carcter minimal de a, debe ser r = 0. O sea,
que c = aq aZ. Como c era un elemento arbitrario de I, obtenemos que I aZ.
Combinando con el prrafo anterior nos queda que I = aZ.
1.5. Mximo comn divisor y mnimo comn mlti-
plo
Denicin 1.5.1. Un entero positivo d se llama mximo comn divisor de dos
enteros dados a y b si
1. d es un divisor de a y b
2. Todo divisor comn de a y b es un divisor de d.
El mximo comn divisor de a y b se representa como d = m. c. d.(a, b) y tambin
como d = (a, b).
1.5. MXIMO COMN DIVISOR Y MNIMO COMN MLTIPLO 19
El hecho de enunciar una denicin del mximo comn divisor (o de cualquier
otro concepto) no garantiza su existencia. Adems debemos justicar el uso del
artculo determinado el, ya que implica su unicidad. Este ltimo punto es fcil
de tratar: Si d
1
y d
2
son mximos comunes divisores de a y b, entonces la deni-
cin requiere que d
1
d
2
y d
2
d
1
, luego d
2
= d
1
. Ya que ambos son positivos,
d
2
= d
1
.
Denicin 1.5.2. Sean a, b Z. Cualquier entero de la forma ma+nb con m, n Z
se llama combinacin lineal de a y b.
El siguiente teorema muestra la existencia del mximo comn divisor de dos
enters cualesquiera y su expresin como combinacin lineal de ambos:
Teorema 1.5.3. Dos enteros no nulos arbitrarios a y b tienen un mximo comn
dvisor, que se puede expresar como la menor combinacin lineal positiva de a y
b.
Adems un entero es una combinacin lineal de a y b si y slo si es un mltiplo
de su mximo comn divisor.
Demostracin. Sea I el conjunto de todas las combinaciones lineales de a y b, es
decir
I = x Z x = ma + nb, m, n Z
El conjunto I no es vaco, porque contiene a los elementos a = 1 a + 0 b y
b = 0 a + 1 b. Es fcil comprobar que I es cerrado para la suma y la resta. Por
el teorema 1.4.5, I = dZ, siendo d el menor entero positivo de I.
Como d I, existen m, n Z tales que d = ma + nb. Como a, b I, necesa-
riamente d a y d b.
Sea ahora c Z tal que c a y c b, as que a = cq
1
y b = cq
2
. Entonces
d = ma + nb = mcq
1
+ ncq
2
= c(mq
1
+ nq
2
)
lo que muestra que c d.
La ltima armacin se sigue del hecho de que I (el conjunto de todas las
combinaciones lineales de a y b) es igual a dZ (el conjunto de todos los mltiplos
de d).
La igualdad d = ma+nb donde d = (a, b) se conoce como igualdad de Bezout.
Corolario 1.5.4. Para cualquier entero positivo c, (ca, cb) = c (a, b).
Demostracin. Por el teorema 1.5.3 tenemos que (ca, cb) es el menor valor po-
sitivo de cax + cby, que es igual al producto de c por el menor valor positivo de
ax + by, es decir el producto de c por (a, b).
20 CAPTULO 1. ARITMTICA ENTERA
Corolario 1.5.5. Si c a, c b y c > 0, entonces
_
a
c
,
b
c
_
=
1
c
(a, b)
Si (a, b) = d entonces (a/d, b/d) = 1.
Demostracin. La primera armacin es consecuencia directa del corolario an-
terior reemplazando c, a, b en dicho corolario por c, a/c, b/c respectivamente. La
segunda armacin es un caso particular de la primera.
Denicin 1.5.6. Dos enteros a, b se llaman primos relativos si (a, b) = 1, es decir
si no tienen divisores comunes salvo 1.
Teorema 1.5.7. Para cualquier c Z, (a, b) = (b, a) = (a, b) = (a, b + ac).
Teorema 1.5.8. 1. Si b ac, entonces b (a, b)c.
2. Si b ac y (a, b) = 1 entonces b c.
3. Si b a, c a y (b, c) = 1 entonces bc a.
4. (a, bc) = 1 si y slo si (a, b) = 1 y (a, c) = 1.
Demostracin. 1. Supongamos que b ac. Sea ac = bq. Escribimos (a, b) =
ma + nb para algunos m, n Z. Multiplicando por c obtenemos (a, b)c =
mac + nbc = (mq + nc)b.
2. Simplemente tomamos (a, b) = 1 en el apartado anterior.
3. Sea a = bq. Si c a = bq y por el apartado anterior c q, sea q = cq
1
.
Sustituyendo obtenemos a = bcq
1
, luego bc a.
4. Sea (a, bc) = 1. Entonces ma + n(bc) = 1 para algunos m, n Z. Podemos
escribir esta igualdad de otras dos formas: ma + (nc)b = 1, ma + (nb)c que
muestran que (a, b) = 1 y (a, c) = 1.
A la inversa, existen enteros m
1
, m
2
, n
1
, n
2
tales que 1 = m
1
a + n
1
b = m
2
a +
n
2
c. Multiplicando y agrupando trminos queda: 1 = (m
1
m
2
)(a + n
1
m
2
b +
m
1
n
2
c)a + n
1
n
2
bc, luego (a, bc) = 1.
Ejemplo 1.10.11. El ejemplo dado por Sun-Tse corresponde a las tres congruen-
cias
x 2 (m od 3) x 3 (m od 5) x 2 (m od 7)
Aqu M = 3 5 7 = 105 y
M
m
1
= 35,
M
m
2
= 21,
M
m
3
= 15
El conjunto de congruencias lineales
35b
1
1 (m od 3) 21b
2
1 (m od 5) 15b
3
1 (m od 7)
tiene las soluciones b
1
= 2, b
2
= 1, b
3
= 1 as que de acuerdo con la frmula
1.10.7 la solucin es
x 2 2 35 + 3 1 21 + 2 1 15 233 (m od 105)
Las congruencias son una herramienta muy til en cuestiones de calendario,
tales como la determinacin de la Pascua, el da de la semana de una fecha con-
creta y problemas parecidos. Gauss ilustra el teorema chino de los restos con el
problema de encontrar los aos que tienen un cierto perodo respecto a los ciclos
solar y lunar y al ndice romano. Anteriormente el matemtico indio Brahmagupta
(siglo VII) trat problemas similares respecto a los ciclos planetarios.
1.10. TEOREMA CHINO DE LOS RESTOS 41
En la frmula 1.10.7 para calcular los multiplicadores b
i
M/m
i
slo hacen falta
los nmeros m
i
. Por tanto, si hay que resolver varios sistemas de congruencias con
los mismos mdulos, la expresin 1.10.7 es particularmente adecuada porque hay
que calcular los multiplicadores slo una vez.
Ejemplo 1.10.12. Leonardo discute en el Liber Abaci la siguiente cuestin: Se le
pide a alguien que piense un nmero. Entonces se le piden los restos del nmero
al dividirlo por 5, 7 y 9 y con esta informacin se adivina el nmero pensado.
Vamos a denotar como x al nmero desconocido y por a
1
, a
2
, a
3
a los tres
restos de forma que
x a
1
(m od 5) x a
2
(m od 7) x a
3
(m od 9)
Los mdulos son primos relativos y M = 5 7 9 = 315,
M
m
1
= 63,
M
m
2
= 45,
M
m
3
= 35
Las congruencias lineales
63b
1
1 (m od 5), 45b
2
1 (m od 7), 35b
1
1 (m od 9)
tienen las soluciones b
1
= 2, b
2
= 5, b
3
= 8 as que la frmula 1.10.7 nos da
x 126a
1
+ 225a
2
+ 280a
3
(m od 315)
De esta expresin obtenemos x segn los restos conocidos a
1
, a
2
, a
3
. La solucin
es nica slo si se exige que el nmero requerido sea menor que 315.
Ejemplo 1.10.13. ((Regiomontanus). Hallar un nmero x tal que
x 3 (m od 10), x 11 (m od 13), x 15 (m od 17)
Ejemplo 1.10.14. ((Euler). Hallar un nmero x tal que
x 3 (m od 11), x 5 (m od 19), x 10 (m od 29)
Concluimos con una observacin que se aplicar despus: Supongamos que
al resolver un problema hay que determinar un nmero x que para un mdulo m
1
tiene s
1
valores admisibles
x a
1
, . . . , a
s
1
(m od m
1
)
y para otro mdulo m
2
hay s
2
valores admisibles
x b
1
, . . . , bs
2
(m od m
2
)
Cuando (m
1
, m
2
) = 1 cada valor m
i
puede combinarse con cada valor b
j
, as que
en total hay s
1
s
2
soluciones mdulo m
1
m
2
. Esta observacin puede generalizarse
a r mdulos primos relativos dos a dos.
42 CAPTULO 1. ARITMTICA ENTERA
Ejemplo 1.10.15. Vamos a resolver la ecuacin
x
2
1 (m od 40)
Es inmediato comprobar que esa ecuacin equivale al sistema
x
2
1 (m od 5) x
2
1 (m od 8)
Como los mdulos son pequeos, por prueba y error vemos que las soluciones de
estas ecuaciones son
x 1, 4 (m od 5) x 1, 3, 5, 7 (m od 8)
El algoritmo de Euclides nos dice que (3) 5 +2 8 = 1. El teorema chino de los
restos nos dice que x 16a
i
15b
j
(m od 40) donde a
i
= 1, 4 y b
j
= 1, 3, 5, 7.
Despus de reducir mdulo 40 obtenemos todas las soluciones:
x 1, 11, 21, 31, 9, 19, 29, 39 (m od 40)
Resulta bastante mas dicil resolver congruencias del tipo a
k
x
k
+ + a
1
x +
a
0
0 (m od n). Utilizando el teorema chino de los restos el problema se reduce
a resolver congruencias mdulo p
e
para factores primos de n. Y las soluciones
mdulo p
e
se determinan a partir de las soluciones mdulo primo p. Si el primo
p es pequeo, estas ltimas pueden obtenerse por prueba y error, sencillamente
sustituyendo sucesivamente 0, 1, . . . , p 1 en la congruencia. Adems podemos
utilizar el teorema de Fermat que hay mas adelante para reducir el problema a uno
donde el grado del polinomio sea menor que p
1.11. Los anillos Z
n
Al trabajar con congruencias hemos visto que en cualquier clculo los n-
meros congruentes son intercambiables. Vamos a formalizar este punto de vista.
Consideramos como un ente individual a toda una clase de enteros congruentes
y trabajamos con estas clases igual que con los enteros ordinarios. El motivo de
introducir la notacin que viene a continuacin es permitirnos usar nuestra ex-
periencia con los enteros ordinarios como una gua para trabajar con congruen-
cias. Muchas de las propiedades de la aritmtica entera se verican tambin en la
aritmtica de congruencias. La excepcin mas notable es que el producto de dos
clases de congruencia no nulas puede ser cero.
Denicin 1.11.1. San a, n Z con n > 0. Llamamos clase de congruencia de a
mdulo n al conjunto de todos los enteros que son congruentes con a mdulo n.
La denotamos por a + nZ o por [a]
n
:
a + nZ = [a]
n
= x Z x a (m od n)
1.11. LOS ANILLOS Z
N
43
El conjunto de todas las clases de congruencia mdulo n se llama conjunto de los
enteros mdulo n y se representa por Z
n
.
Ntese que [a]
n
= [b]
n
si y slo si a b (m od n). Cuando el mdulo n est
claro del contexto suprimimos el ndice y escribimos slo [a].
Una clase de congruencia puede designarse de innitas maneras. Por ejemplo,
[5]
3
= [8
3
] = [1]
3
= . . . . A un elemento a de la clase [a]
n
le llamamos repre-
sentante de la clase. Toda clase de congruencia [a]
n
tiene un nico representante
r tal que 0 r < n (a saber, r es el resto de dividir a entre n). Esto demuestra
que hay exactamente n clases de congruencias mdulo n distintas. Por ejemplo,
los elementos de Z
3
son
[0]
3
= . . . , 9, 6, 3, 0, 3, 6, 9, . . .
[1]
3
= . . . , 8, 5, 2, 1, 4, 7, 10, . . .
[2]
3
= . . . , 7, 4, 1, 2, 5, 8, 11, . . .
Cada entero pertenece exactamente a una clase de congruencia mdulo 3, por-
que el resto de dividir por 3 es nico. En general, cada entero pertenece a una
nica clase de congruencia mdulo n, luego
Z
n
= [0]
n
, [1]
n
, . . . , [n 1]
n
El conjunto Z
2
tiene exactamente dos elementos: [0]
2
es el conjunto de los enteros
pares y [1]
2
es el de los impares. Con esta notacin las conocidas reglas par +
par = par, impar + par = impar, impar + impar = par se expresan como
[0]
2
+ [0]
2
= [0]
2
, [1]
2
+ [0]
2
= [1]
2
, [1]
2
+ [1]
2
= [0]
2
. De la misma forma,
las reglas par par = par, impar par = par, impar impar = impar se
expresan como [0]
2
[0]
2
= [0]
2
, [1]
2
[0]
2
= [0]
2
, [1]
2
[1]
2
= [1]
2
. Estas reglas
pueden resumirse dando una tabla de adicin y una tabla de multiplicacin para
Z
n
:
+ 0 1
0 0 1
1 1 0
0 1
0 0 0
1 0 1
En estas tablas hemos utilizado una simplicacin habitual al tratar con con-
gruencias: Omitimos el subindice e incluso los corchetes y escribimos a en lugar
de [a]
n
.
Para Z
n
se introducen una suma y un producto anlogos: Dados [a]
n
, [b]
n
Z
n
denimos
[a]
n
+ [b]
n
= [a + b]
n
[a]
n
[b]
n
= [a b]
n
44 CAPTULO 1. ARITMTICA ENTERA
Proposicin 1.11.2. Sea n un entero positivo y sean a, b, a
1
, b
1
Z tales que
[a]
n
= [a
1
]
n
y [b]
n
= b
1
]
n
. Entonces [a + b]
n
= [a
1
+ b
1
]
n
y [a b]
n
= [a
1
b
1
]
n
.
Esta proposicin dice que la suma y multiplicacin de clases de congruencia
estn bien denidas, es decir que son independientes de los representantes que
escojamos en cada clase.
Las leyes asociativas y conmutativas de la suma y el producto, la ley distribu-
tiva y la existencia de neutros son vlidas en Z
n
. Si [a]
n
+[b]
n
= [0]
n
, la clase [b]
n
se llama opuesta a la clase [a]
n
. El opuesto de una clase es nico. Es fcil ver que
de hecho el opuesto de [a]
n
es [a]
n
. Se denota por [a]
n
= [a]
n
. En general no
se verican las leyes de integridad y cancelativa.
Denicin 1.11.3. Sean [a]
n
, [b]
n
Z
n
con [b]
n
[0]
n
y [a]
n
[b]
n
= [0]
n
. Entonces
[a]
n
se llama divisor de cero.
Proposicin 1.11.4. Sea [a]
n
un no divisor de cero y sea [a]
n
[b]
n
= [a]
n
[c]
n
.
Entonces [b]
n
= [c]
n
.
Denicin 1.11.5. Sean [a]
n
, [b]
n
Z
n
tales que [a]
n
[b]
n
= [1]
n
. Entonces de-
cimos que [a]
n
, [b]
n
son elementos invertibles o unidades de Z
n
y que [b]
n
es un
inverso de [a]
n
. Denotamos [b]
n
= [a]
1
n
.
Obsrvese que si [a] es invertible, no puede ser divisor de cero.
Proposicin 1.11.6. Sea n un entero positivo.
1. La clase [a]
n
tiene un inverso multiplicativo en Z
n
si y slo si (a, n) = 1.
2. Un elemento no nulo de Z
n
o es invertible o es divisor de cero.
Demostracin. 1. Supongamos que [a] tiene un inverso [a]
1
= [b]. Entonces
[ab] = [a][b] = [1], luego ab 1 (m od n), lo que implica que ab = qn+1
para algn entero q. O sea que ab + (q)n = 1 y por tanto (a, n) = 1.
A la inversa sea (a, n) = 1. Entonces existen b, c Z tales que ab + cn = 1.
Reduciendo mdulo n vemos que ab 1 (m od n) y por tanto [a][b] =
[ab] = [1].
2. Sea [a] 0 lo que equivale a n a. Si (a, n) = 1 entonces[a] tiene un
inverso, En otro caso (a, n) = d > 1 Como d a y d n existen enteros k, b
tales que n = kd y a = bd. Entonces [k] [0] pero [a][k] = [ak] = [bdk] =
[bn] = [0], lo que muestra que [a] es un divisor de cero.
Corolario 1.11.7. Para un mdulo n > 0 las siguientes condiciones son equiva-
lentes:
1.11. LOS ANILLOS Z
N
45
1. El nmero n es primo.
2. Z
n
no tiene divisores de cero no nulos.
3. Todo elemento no nulo de Z
n
tiene un inverso multiplicativo.
La demostracin de la proposicin 1.11.6 muestra que si (a, n) = 1 entonces
podemos calcular el inverso multiplicativo de a utilizando el algoritmo extendido
de Euclides:
Ejemplo 1.11.8. Para hallar [11]
1
Z
16
realizamos el siguiente clculo:
16 0 1
11 1 0
5 1 1
1 3 2
0 16 11
luego 11 3 + 16 (2) = 1, lo que muestra que [11]
1
= [3].
Hay otros dos mtodos para hallar el inverso multiplicativo de [a]
n
en Z
n
: Si
el mdulo n es pequeo, a veces es mas corto hacerlo por prueba y error. La otra
forma es calculando las potencias sucesivas de [a]. Si (a, n) = 1, entonces [a] no es
divisor de cero en Z
n
y por tanto ninguna potencia [a]
k
puede ser cero. El conjunto
[a], [a]
2
, [a]
3
, . . . tiene menos de n elementos distintos, luego en algn punto
debe repetirse. Sean k < m tales que [a]
m
= [a]
k
. Entonces [a]
mk
= [a]
0
= [1].
Esto muestra que en la primera repeticin debe ser k = 0 y por tanto [a]
m
= [1].
De aqu vemos que [a]
m1
= [1].
Ejemplo 1.11.9. Volvamos a calcular [11]
1
16
. Para ello listamos las potencias su-
cesivas de [11]
16
:
[11]
2
= [5]
2
= [25] = [9]
[11]
3
= [11]
2
[11] = [9][11] = [99] = [3]
[11]
4
= [11]
3
[11] = [3][11] = [33] = [1]
luego [11]
1
= [11]
3
= [3].
Podemos ahora estudiar ecuaciones en Z
n
. La congruencia lineal ax b
(m od n) puede verse ahora como una ecuacin lineal [a]
n
[x]
n
= [b]
n
en Z
n
. Si
[a]
n
tiene inverso, esta ecuacin tiene solucin nica [x] = [a]
1
n
[b]
n
. Ntese que
sin la nocin de clase de congruencia tenemos que modicar la armacin de uni-
cidad para decir que si x
0
es una solucin de ax b (m od n), tambin lo es
x
0
+ qn para cualquier entero q.
Vamos a ver nalmente dos teoremas que permiten rebajar el grado de las
ecuaciones polinmicas en Z
n
.
46 CAPTULO 1. ARITMTICA ENTERA
Denicin 1.11.10. Sea n un entero positivo. El nmero de enteros positivos me-
nores o iguales que n y que son primos relativos con n se denota (n). Esta funcin
se llama funcin de Euler o funcin tociente.
Ntese que (1) = 1. Para n > 1 el valor de (n) puede obtenerse de la
factorizacin en primos:
Lema 1.11.11. Sea n = p
e
. Entonces (n) = p
e
p
e1
= n(1 1/p)
Demostracin. Un entero m es primo relativo con p
e
si y slo si es primo con
p. Como p es primo, esto quiere decir que m no es primo relativo con p
e
si y
slo si es un mltiplo de p. El nmero de todos los enteros entre 1 y p
e
es p
e
. El
nmero de mltiplos de p entre 1 y p
e
es p
e1
. Restando obtenemos el resultado
del lema.
Lema 1.11.12. Sean m, n enteros positivos primos relativos. Entonces (mn) =
(m)(n).
Demostracin. Denimos una aplicacin f : Z
mn
Z
m
Z
n
(el producto carte-
siano mediante f ([a]
mn
) = ([a]
m
, [a]
n
). Por el teorema chino de los restos, f s una
biyeccin. Es fcil comprobar que f [a]
mn
[b]
mn
) = f ([a]
mn
) f ([b]
mn
). En particular
[a]
mn
ser invertible si y slo si lo son ambas [a]
m
y [a]
n
. Pero para cualquier k
la clase [a]
k
es invertible si y slo si (a, k) = 1. As que por restriccin, f esta-
blece una biyeccin entre los enteros positivos menores o iguales que mn primos
relativos con mn con el conjunto de pares de enteros positivos donde la primera
componente sea menor o igual que m y primo relativo con m y la segunda sea
menor o igual que n y primo relativo con n. Contando estos pares obtenemos el
resultado buscado.
Proposicin 1.11.13. Sea n = p
e
1
1
p
e
2
2
. . . p
e
k
k
la factorizacin en primos de n. En-
tonces
(n) = n
_
1
1
p
1
_ _
1
1
p
2
_
. . .
_
1
1
p
k
_
Demostracin. Consecuencia inmediata de los dos lemas anteriores:
(n) = (p
e
1
1
) . . . (p
e
k
k
)
por el lema 1.11.12 y aplicando a cada factor el lema 1.11.11 obtenemos el resul-
tado nal.
Ejemplo 1.11.14. Las frmulas de la proposicin anterior nos dicen que
(10) = 10
_
1
1
2
_ _
1
1
5
_
= 4
1.11. LOS ANILLOS Z
N
47
y que
(36) = 36
_
1
1
2
_ _
1
1
3
_
= 12
Denicin 1.11.15. El conjunto de unidades de Z
n
, es decir el conjunto de clases
[a]
n
con (a, n) = 1 se denota por Z
n
.
Proposicin 1.11.16. El conjunto Z
n
es cerrado para la multiplicacin.
Demostracin. Es inmediato comprobar que ([a][b])
1
= [b]
1
[a]
1
.
El conjunto Z
n
tiene (n) elementos. El siguiente teorema debe verse como un
resultado sobre potencias de elementos de Z
n
:
Teorema 1.11.17 (Euler). Sea (a, n) = 1. Entonces a
(n)
1 (m od n).
Demostracin. En el conjunto Z
n
existen (n) elementos que tienen un represen-
tante primo relativo a n. Sean estos a
1
, . . . , a
(n)
. Las clases representadas por
aa
1
, . . . , aa
(n)
son todas distintas porque (a, n) = 1. Como cada producto aa
i
es primo relativo con n, tenemos un representante de cada una de las clases de
partida. Por tanto
a
1
a
2
. . . a
(n)
(aa
1
)(aa
2
) . . . (aa
(n)
) a
(n)
a
1
a
2
. . . a
(n)
(m od n)
Ya que el producto a
1
a
2
. . . a
(n)
es primo relativo con n podemos simplicarlo y
nos queda la congruencia
1 a
(n)
G a a
= e = a
a
2.1. LEYES DE COMPOSICIN. ESTRUCTURAS ALGEBRAICAS. 53
El elemento e se llama elemento neutro para la operacin y el elemento a
se
llama opuesto de a.
En el caso particular en que la operacin se denote por a + b, el elemento
neutro se llama elemento nulo o cero y se denota por 0. El opuesto de a se denota
por a
Si la operacin se denota por ab, a b o a b, el elemento neutro se llama
unidad o uno y se denota por 1. Y el opuesto de a se llama inverso y se denota por
a
1
.
Un grupo se llama conmutativo o abeliano si verica el axioma adicional
Conmutatividad: a, b G a b = b a.
Denicin 2.1.9. Un anillo (A, +, ) es un conjunto A junto con dos operaciones
binarias A A A denotadas por suma a + b y producto ab que verican los
axiomas:
Asociatividad de la suma: a, b, c A a + (b + c) = (a + b) + c
Existencia de cero: 0 A a A 0 + a = a = a + 0
Existencia de opuesto: a A a A a + (a) = 0 = (a) + a
Conmutatividad de la suma: a, b A a + b = b + a.
Estos cuatro primeros axiomas se resumen en uno: (A, +) es un grupo abe-
liano.
Asociatividad del producto: a, b, c A a(bc) = (ab)c
Distributividad: a, b, c A a(b + c) = ab + ac, (b + c)a = ba + ca
Existencia de uno: 1 A a A 1a = a = a1
Un anillo se llama conmutativo o abeliano si verica el axioma
Conmutatividad del producto: a, b A ab = ba.
Un anillo de divisin es un anillo que verica el axioma adicional
Existencia de inverso: a A a
1
A aa
1
= 1 = a
1
a
Un cuerpo es un anillo de divisin conmutativo.
54 CAPTULO 2. ANILLOS CONMUTATIVOS
Denicin 2.1.10. Sea A un anillo. Un mdulo por la izquierda sobre A o A-
mdulo (M, +, ) es un conjunto M junto con una ley de composicin interna
M M M dada por (x, y) x + y y una ley de composicin externa
A M M denotada (a, x) ax que verican los axiomas:
Asociatividad: x, y, z M x + (y + z) = (x + y) + z
Existencia de cero: 0 M x M 0 + x = x = x + 0
Existencia de opuesto: x M x M x + (x) = 0 = (x) + x
Conmutatividad: x, y M x + y = y + x.
Estos cuatro primeros axiomas pueden resumirse en uno: (M, +) es un grupo
abeliano.
Distributividad respecto a escalares: a, b A x M (a +b)x = ax +bx
Distributividad respecto a vectores: a A x, y M a(x + y) = ax + ay
Pseudoasociatividad: a, b A x M a(bx) = (ab)x
Accin trivial del uno: x M 1x = x
Los elementos de M se llaman vectores y los elementos de A se llaman esca-
lares.
En el caso particular en que A es un cuerpo, M se llama espacio vectorial
sobre A.
De manera anloga se dene el concepto de mdulo por la derecha sobre A.
2.2. Ejemplos
El que una estructura algebraica resulte interesante depende del nmero e im-
portancia de los ejemplos que posea. Veamos ejemplos de las estructuras que he-
mos denido:
2.2.1. Ejemplos de grupos
Ejemplo 2.2.1. Sea G = e un conjunto con un nico elemento. Slo hay una
operacin binaria posible, e e = e. Este grupo (G, ) es el mas pequeo posible
y se llama grupo trivial. Cualquier grupo con mas de un elemento es un grupo no
trivial.
2.2. EJEMPLOS 55
Ejemplo 2.2.2. Para cualquier grupo (G, ), el grupo opuesto G
o
es el grupo (G,
o
)
donde
o
es la operacin opuesta de . En particular, G es abeliano si y slo si
G = G
o
.
Ejemplo 2.2.3. Los ejemplos mas sencillos de grupos son los numricos. Los ca-
sos mas evidentes son:
1. Z, Q, R y C son grupos para +, siendo 0 el elemento neutro y a el opuesto
de cada a.
2. Q
= a Q a 0, R
= a R a 0, C
= a C a 0,
Q
+
= a Q a > 0 y R
+
= a R a > 0 son grupos para con 1 como
elemento neutro y siendo el opuesto de a su inverso a
1
= 1/a. (Ntese
que a Z a 0 no es un grupo para , ya que no todo elemento tiene
inverso).
3. Generalizamos el ejemplo anterior: Sea A un anillo arbitrario y sea A
=
U(A) el conjunto de elementos a A que tienen un inverso a
1
A. En-
tonces (A, +) es un grupo (el grupo aditivo de A), y (A
, ) tambin es un
grupo (el grupo multiplicativo de A), .
4. Los axiomas para un espacio vectorial V sobre un cuerpo K incluyen en
particular el hecho de que (V, +) es un grupo abeliano. En particular, R
n
es
un grupo aditivo.
5. Para todo nmero n Z, n > 0, Z/nZ es un anillo, as que (Z/nZ, +)
y ((Z/nZ)
= U(Z/nZ) = a Z/nZ
(m. c. d.(a, n) = 1.
No deben confundirse los grupos Z/nZ (bajo la suma) y (Z/nZ)
(bajo multi-
plicacin), aunque el ltimo sea un subconjunto del primero, no es un subgrupo.
2.2.2. Ejemplos de anillos
Ejemplo 2.2.4. Sea A = a un conjunto con un nico elemento. En este caso slo
hay una operacin binaria posible, y por tanto la suma y el producto coinciden:
a + a = a = aa y 0 = a = 1. Este anillo (A, +, ) es el mas pequeo posible y
se llama anillo trivial. Cualquier anillo con mas de un elemento es un anillo no
trivial.
Ejemplo 2.2.5. Para cualquier anillo (A, +, ), denimos el anillo opuesto A
o
como
el anillo (A, +,
o
) donde
o
es la operacin opuesta de ; en particular, A es abeliano
si y slo si A = A
o
.
56 CAPTULO 2. ANILLOS CONMUTATIVOS
Ejemplo 2.2.6. Z, Q, R y C son anillos conmutativos respecto a la suma y producto
usuales. En todos los casos el neutro para la suma es el nmerol 0 y el neutro para
el producto es el nmero 1. Adems Q, R y C son cuerpos.
Ejemplo 2.2.7. Para todo natural positivo n las clases de restos mdulo n, Z
n
con
la suma y producto de clases es tambin un anillo conmutativo. Este anillo es un
cuerpo si y slo si n es primo.
Ejemplo 2.2.8. Sea J = a + bi a, b Z, i
2
= 1 C. Para cualesquiera
a + bi, c + di J se verica
(a + bi) + (c + di) = (a + c) + (b + d)i J,
(a + bi)(c + di) = (ac bd) + (ad + bc)i J,
0, 1 J,
(a + bi) = (a) + (b)i J.
Como la suma y el producto de nmeros complejos son asociativas y conmutativas
y verican la distributividad, tenemos un anillo conmutativo (J, +, ) que se llama
anillo de los enteros de Gauss.
Ejemplo 2.2.9. Sea Q(
2) = a + b
2
y 1 = 1 +0
2 pertenecen a Q(
2 Q(
2) se verica
que x = (a) + (b)
2 Q(
2). En resumen, Q(
2) es un anillo.
Para ver que es un cuerpo, observamos que para todo a + b
2 Q distinto de
cero se verica que a
2
2b
2
0 (porque en otro caso,
2 sera racional). As que
1
a + b
2
=
a b
2
(a + b
2)(a b
2)
=
a b
2
a
2
2b
2
=
a
a
2
2b
2
+
b
a
2
2b
2
2 Q(
2)
luego es un cuerpo.
Ejemplo 2.2.10. Un subconjunto interesante del ejemplo anterior es
Z[
2] = m + n
2 m, n Z
que obviamente es cerrado para la suma, el producto, el cero y el uno. Para un
elemento u = m + n
2 Z[
2] el inverso u
1
pertenece a Z[
2] si y slo si
m
2
2n
2
= 1.
2.2. EJEMPLOS 57
Ejemplo 2.2.11. Un tipo de anillos importantes son los anillos de funciones. Sea
X cualquier conjunto no vaco y sea A un anillo arbitrario. Sea B = f : X
A. Denimos en B una suma y un producto punto apunto: ( f + g)(x) = f (x) +
g(x) y ( f g)(x) = f (x)g(x). De cada axioma de anillo de A se deduce el axioma
correspondiente en B. El anillo B es conmutativo si y slo si lo es A.
Si X y A tienen mas estructura podemos formar otros anillos de funciones
que respetan esta estructura. Por ejemplo si A = R y X es el intervalo cerrado
X = [0, 1] Rpodemos formar el anillo conmutativo B de las funciones continuas
[0, 1] R. Los teoremas bsicos sobre lmites nos garantizan que la suma y el
producto de funciones continuas son tambin funciones continuas.
Ejemplo 2.2.12. Sea A un anillo arbitrario y sea n > 0 un entero. Sea M
n
(A) el
conjunto de todas las matrices n n con coecientes en A. Este conjunto es un
anillo para las operaciones usuales de suma y producto de matrices. Si n > 1, el
anillo M
n
(A) no es conmutativo
Ejemplo 2.2.13. Sea A un anillo conmutativo. El conjunto A[X] de todos los po-
linomios en una indeterminada con coecientes en A junto con la suma y el pro-
ducto es un anillo conmutativo.
2.2.3. Ejemplos de mdulos
Ejemplo 2.2.14. El grupo abeliano Z
n
es un Z-mdulo con la accin Z Z
n
Z
n
denida por a[b]
n
= [ab]
n
.
Ejemplo 2.2.15. Todo grupo abeliano M es un Z-mdulo de manera nica, de-
niendo la accin Z M M por induccin:
ax =
_
_
0 si a = 0
(a 1)x + x si a > 0
(ax) si a < 0
Ejemplo 2.2.16. El conjunto de vectores libres (del plano o del espacio) con la
suma por la regla del paralelogramo y el producto escalar usual forman un es-
pacio vectorial sobre R (De hecho la nomenclatura y las propiedades intuitivas
provienen de este ejemplo).
Ejemplo 2.2.17. Sean K un cuerpo, M un espacio vectorial sobre K y t : M M
una aplicacin lineal. Denimos una ley externa K[X] M M como
(a
m
X
m
+ a
m1
X
m1
+ + a
2
X
2
+ a
1
X + a
0
) u =
a
m
t
m
(u) + a
m1
t
m1
(u) + + a
2
t
2
(u) + a
1
t(u) + a
0
u
Con esta operacin, M pasa a ser un K[X]-mdulo (de hecho, todos los K[X]-
mdulos se obtienen de esta manera).
58 CAPTULO 2. ANILLOS CONMUTATIVOS
2.3. Reglas de clculo
De los axiomas de cada estructura algebraica se deducen unas cuantas conse-
cuencias sencillas pero importantes para manipular expresiones y realizar clcu-
los en la estructura, y por ello se llaman reglas de clculo. Vamos a estudiar las
correspondientes a grupos y anillos.
2.3.1. Reglas de clculo para grupos
Proposicin 2.3.1. Sea G un grupo con unidad e.
1. La unidad de un grupo es nica
2. El inverso de cualquier elemento es nico
3. (Propiedad cancelativa): Para x, y, z G,
xy = xz y = z yx = zx y = z
4. e
1
= e
5. Para todo elemento x G se verica (x
1
)
1
= x
6. Para cualesquiera x, y G se verica (xy)
1
= y
1
x
1
7. Para cualesquiera x, y G existen nicos u, v G tales que xu = y y vx = y.
Demostracin. 1. Sean e, f G dos unidades. Entonces e = e f = f
2. Sean x
, x
1
dos inversos para x G. Entonces x
= x
e = x
(xx
1
) =
(x
x)x
1
= ex
1
= x
1
3. Sea xy = xz. Multiplicamos ambos miembros por x
1
por la izquierda: y =
ey = (x
1
x)y = x
1
(xy) = x
1
(xz) = (x
1
x)z = ez = z. Igual por el otro lado.
4. De la misma denicin: ee = e, luego e = e
1
5. Por denicin, xx
1
= e = x
1
x, luego de la misma denicin de inverso
obtenemos que (x
1
)
1
= x
6. Un simple clculo: (y
1
x
1
)(xy) = y
1
(x
1
x)y = e, luego (xy)
1
= y
1
x
1
7. Otro simple clculo muestra que u = x
1
y y v = yx
1
verican las condicio-
nes pedidas y son los nicos que las verican.
n1
i=1
x
i
)x
n
.
Proposicin 2.3.2 (Ley asociativa general). Sea G un conjunto con una ope-
racin interna asociativa. Para cualesquiera enteros m > n > 0 sean x
1
, . . . x
m
elementos de G. Se verica
_
_
n
_
i=1
x
i
_
_
_
_
m
_
i=n+1
x
i
_
_
=
m
_
i=1
x
i
Demostracin. Por induccin sobre m n (el nmero de factores del segundo
producto). Si m n = 1, la expresin dada es
_
_
n
_
i=1
x
i
_
_
x
n+1
=
n+1
_
i=1
x
i
Sea ahora m n = k > 1 y suponemos cierto el resultado cierto siempre que
el segundo producto del primer miembro tenga menos de k factores. Calculamos
usando la propiedad asociativa:
_
_
n
_
i=1
x
i
_
_
_
_
m
_
i=n+1
x
i
_
_
=
_
_
n
_
i=1
x
i
_
_
_
_
_
_
m1
_
i=n+1
x
i
_
_
x
m
_
_
=
_
_
_
_
n
_
i=1
x
i
_
_
_
_
m1
_
i=n+1
x
i
_
_
_
_
x
m
=
_
_
m1
_
i=1
x
i
_
_
x
m
=
m
_
i=1
x
i
_
x
k
n
_
i=k+1
x
i
_
_
=
k1
_
i=1
x
i
_
_
_
_
n
_
i=k+1
x
i
_
_
x
k
_
_
=
_
_
k1
_
i=1
x
i
_
_
n
_
i=k+1
x
i
_
_
_
_
x
k
=
_
_
n1
_
j=1
x
( j)
_
_
x
(n)
=
n
_
i=1
x
(i)
Sea (G, ) un grupo con elemento neutro 1 y sea a G arbitrario. Para todo
entero positivo n denimos por induccin: a
0
= 1 y a
n
= (a
n1
)a. Para n < 0
denimos tambin a
n
= (a
1
)
n
.
Si la operacin se denota aditivamente, la notacin que se usa es na.
Proposicin 2.3.4. Para todo a G y cualesquiera m, n Z se verica:
a
m+n
= a
m
a
n
a
mn
= (a
m
)
n
Si a, b G y ab = ba, entonces para todo n Z se verica
(ab)
n
= a
n
b
n
Demostracin. Todos los casos se demuestran por induccin sobre n.
Si el grupo se denota aditivamente, las expresiones de la proposicin anterior
son
(m + n)a = ma + na, (nm)a = n(ma), n(a + b) = na + nb
Corolario 2.3.5. Todo grupo abeliano es un Z-mdulo de manera nica
Este corolario nos dice que los conceptos Z-mdulo y grupo abeliano son
idnticos.
Si m > n y a
m
= a
n
, necesariamente a
mn
= 1. Luego si en algn momento la
sucesin a
0
, a
1
, a
2
, . . . se repite, necesariamente el primer trmino que se repite es
a
0
= 1.
Denicin 2.3.6. Sea G un grupo y sea a G. Si para todo n > 0 se verica
a
n
1, decimos que el orden de a es innito y lo representamos por o(a) = .
En otro caso, el menor k > 0 que verica a
k
= 1 se llama orden de a y se
representa por o(a) = k. En este caso decimos que a es un elemento de orden
nito o que es un elemento de torsin.
2.3. REGLAS DE CLCULO 61
2.3.2. Reglas de clculo para anillos
Proposicin 2.3.7. Sea A un anillo.
1. Para todo a A se verica a0 = 0 = 0a
2. Si A no es el anillo trivial, 0 1.
3. Para todo a, b A, (a)b = (ab) = a(b). En particular a = (1)a.
4. Para todo a, b A, (a)(b) = ab. En particular (1)(1) = 1.
Demostracin. 1. a + 0 = a. Multiplicamos por a y usamos la propiedad dis-
tributiva: aa + a0 = a(a + 0) = aa. Restamos aa y obtenemos a0 = 0. Igual
por el otro lado.
2. Si 0 = 1, para todo a A se verica a = a1 = a0 = 0 y A es el anillo trivial.
3. Por la primera regla y la distributividad,
0 = 0b = (a + (a))b = ab + (a)b
Restando ab de ambos miembros obtenemos (ab) = (a)b. Igual por el
otro lado.
4. Corolario inmediato de la regla anterior.
_
n
i=1
a
i
_
_
_
_
m
j=1
b
j
_
_
=
n
i=1
m
j=1
a
i
b
j
Demostracin. Por doble induccin sobre m y n. Para m = 1 y n = 2 es la propie-
dad distributiva. Sea m = 1 y n > 2. Por induccin sobre n:
_
_
n
i=1
a
i
_
_
b
1
=
_
_
_
_
n1
i=1
a
i
_
_
+ a
n
_
_
b
1
=
_
_
n1
i=1
a
i
_
_
b
1
+ a
n
b
1
=
_
_
n1
i=1
a
i
b
1
_
_
+ a
n
b
1
=
_
_
n
i=1
a
i
b
1
_
_
62 CAPTULO 2. ANILLOS CONMUTATIVOS
Sea ahora m > 1. Por induccin
_
_
n
i=1
a
i
_
_
_
_
m
j=1
b
j
_
_
=
_
_
n
i=1
a
i
_
_
_
_
_
_
m1
j=1
b
j
_
_
+ b
m
_
_
=
_
_
_
_
n
i=1
a
i
_
_
_
_
m1
j=1
b
j
_
_
_
_
+
_
_
n
i=1
a
i
_
_
b
m
=
n
i=1
m1
j=1
a
i
b
j
+
n
i=1
a
i
b
m
=
n
i=1
m
j=1
a
i
b
j
i=1
_
n
i
_
a
ni
b
i
Denicin 2.3.11. La caracterstica de un anillo A es el orden de 1 en el grupo
aditivo (A, +) si este orden es nito. En otro caso la caracterstico de A es cero. Se
representa por car(A).
Es decir, car(A) = m > 0 si m es el menor entero positivo tal que m 1 = 0. Si
para todo n > 0 se verica n 1 0, entonces car(A) = 0.
Proposicin 2.3.12. Sea car(A) = m. Entonces para todo a A se verica ma = 0
Demostracin. Si car(A) = 0 el resultado es trivial. Supongamos car(A) = m > 0.
Para cualquier a A tenemos ma = m(1a) = (m1)a = 0a = 0.
2.4. Homomorsmos
2.4.1. Homomorsmos de grupos
Denicin 2.4.1. Dados dos grupos G y H llamamos homomorsmo de G a H
a toda aplicacin f : G H tal que para todo par x, y G verique f (xy) =
f (x) f (y)
2.4. HOMOMORFISMOS 63
Ejemplo 2.4.2. La aplicacin signo sgn : S
n
1, 1 es un homomorsmo de
grupos.
Ejemplo 2.4.3. La aplicacin logaritmo log : R
+
R es un homomorsmo del
grupo multiplicatio (R
+
, ) en el grupo aditivo (R, +).
Ejemplo 2.4.4. Sea K un cuerpo. Llamamos grupo lineal general sobre K y re-
presentamos por GL
n
(K) al grupo U(M
n
(K)), es decir al conjunto de todas las
matrices n n invertibles con la operacin producto de matrices. La aplicacin
determinante det : GL
n
(K) K
2.5. SUBESTRUCTURAS 67
Ejemplo 2.5.4. Para cualquier homomorsmo de grupos f : G H, el conjunto
ker( f ) es un subgrupo de G y el conjunto Im( f ) es un subgrupo de H.
Proposicin 2.5.5. Sea K subgrupo de H y sea H subgrupo de G. Entonces K es
un subgrupo de G.
Como ilustracin del criterio vamos a demostrar:
Proposicin 2.5.6. Sea H
es un subgrupo de G.
Demostracin. Sea 1 el elemento unidad de G Para todo , 1 H
as que 1
y por ser
H
. Luego xy
1
H
= H.
Esta proposicin nos permite denir dos conceptos importantes:
Denicin 2.5.7. Sea S un subconjunto de G. Llamamos subgrupo generado por
S a la interseccin H de todos los subgrupos de G que contienen a S . Lo repre-
sentamos por H = (S ).
Denicin 2.5.8. Sea H
. Lo representamos
por
2] es un subanillo de Q(
2).
Ejemplo 2.5.13. El subconjunto [0], [2], [4] Z
6
es un anillo con unidad [4],
pero no es un subanillo de de Z
6
porque el elemento neutro no es el mismo.
Ejemplo 2.5.14. Sea A = M
n
(R) el anillo de todas las matrices n n con coe-
cientes en R y sea B el subconjunto de todas las matrices de la forma
_
_
a a . . . a
a a . . . a
. . . . . . . . . . . . .
a a . . . a
_
_
Es fcil comprobar que con a suma y producto usuales de matrices, B es un anillo
cuya unidad es la matriz
_
_
1/n 1/n . . . 1/n
1/n 1/n . . . 1/n
. . . . . . . . . . . . . . . . . . .
1/n 1/n . . . 1/n
_
_
Pero B no es un subanillo de A porque no tienen la misma unidad, aunque la suma
y el producto sean los mismos.
2.5. SUBESTRUCTURAS 69
Ejemplo 2.5.15. Para cualquier homomorsmo de anillos f : A B el conjunto
Im( f ) es un subanillo de B.
Proposicin 2.5.16. Sea C subanillo de B y sea B subanillo de A. Entonces C es
un subanillo de A.
Como ilustracin del criterio vamos a demostrar:
Proposicin 2.5.17. Sea B
es un subanillo de A.
Esta proposicin nos permite denir dos conceptos importantes:
Denicin 2.5.18. Sea S un subconjunto de A. Llamamos subanillo generado
por S a la interseccin B de todos los subanillos de A que contienen a S . Lo
representamos por B = Z[S ].
Ejemplo 2.5.19. El anillo J de los enteros de Gauss es el subanillo generado por i
Denicin 2.5.20. Sea B
.
Proposicin 2.5.21. 1. Sea S = . Entonces Z[S ] es el subanillo primo.
2. Sea A conmutativo. Para cualquier S A no vaco, Z[S ] es el conjunto de
todos los elementos de A que se expresan como polinomios en los elementos
de S con coecientes enteros.
Proposicin 2.5.22. Sea B un subanillo cualquiera de A. Entonces B contiene al
subanillo primo de A.
En anillos existe otra subestructura importante:
Denicin 2.5.23. Sea A un anillo y sea I un subconjunto no vaco. Decimos que
I es un ideal de A si se verica:
I es un subgruo de (A, +)
a A x I ax, xa I
Ejemplo 2.5.24. Todo anillo tiene dos ideales: El ideal trivial o nulo formado
slo por el elemento 0 y el ideal total que es todo el anillo. Estos son los ideales
impropios. Cualquier otro ideal es un ideal propio.
Proposicin 2.5.25. Un ideal I de A contiene al 1 si y slo si I = A
Corolario 2.5.26. Un ideal I de A es propio si y slo si no es trivial y 1 I.
70 CAPTULO 2. ANILLOS CONMUTATIVOS
Ejemplo 2.5.27. Para cualquier homomorsmo de anillos f : A B el ncleo
ker( f ) es un ideal de A.
Ejemplo 2.5.28. Sea A un anillo conmutativo y sea a un elemento de A. El con-
junto Aa = xa x A es un ideal de A que se llama ideal principal generado
por a.
Proposicin 2.5.29. Sea I
es un ideal de A.
Proposicin 2.5.30. Sean I, J ideales de un anillo A. Entonces I + J es un ideal
de A.
Denicin 2.5.31. Sea S un subconjunto del anillo A. Llamamos ideal generado
por S a la interseccin de todos los ideales que contienen a S . Se representa por
(S ).
Si S = a
1
, . . . , a
n
es un con junto nito, el ideal generado por S se representa
por (a
1
, . . . , a
n
).
Ejemplo 2.5.32. Si S = , (S ) = 0 es el ideal nulo.
Ejemplo 2.5.33. Si A es conmutativo y a A, (a) = Aa el ideal prinicipal generado
por a.
Proposicin 2.5.34. Sea A un anillo conmutativo y S un subconjunto no vaco
suyo. Entonces
(S ) = x =
a
x
a
a a S, x
a
A
Corolario 2.5.35. Sea S = a
1
, . . . , a
n
. Entonces
(a
1
, . . . , a
n
) = x
1
a
1
+ + x
n
a
n
x
i
A = Aa
1
+ + Aa
n
.
2.5.3. Submdulos
Sea A un anillo jo. Todos los mdulos que vamos a considerar son mdulos
por la izquierda sobre A.
Denicin 2.5.36. Dados dos mdulos (M, +) y (N, +), decimos que N es un sub-
mdulo de M, y lo representamos por N < M, cuando N es un subconjunto de M
y la aplicacin de insercin N M es un homomorsmo de mdulos.
Ejemplo 2.5.37. Todo mdulo M tiene dos submdulos: El mdulo formado slo
por el elemento cero, que es el submdulo trivial, y el mismo M, que es el sub-
mdulo total. Ambos son los submdulos impropios. Cualquier otro submdulo
es un submdulo propio.
2.5. SUBESTRUCTURAS 71
Por abuso de lenguaje se suele identicar al submdulo (N, +) con el subcon-
junto N, ya que la ley de composicin est determinada por el mdulo N.
Proposicin 2.5.38 (Caracterizaciones de submdulo). 1. Sea M un mdu-
lo y sea N M. Entonces N es un submdulo de M si y slo si se
verica:
a) Para todo par de elementos x, y N tambin x + y N.
b) Para todo a A y todo x N tambin ax N.
2. Sea M un mdulo y sea N M. Entonces N es un submdulo de M
si y slo si se verica: Para todo par de escalares a, b A y todo par de
elementos x, y N tambin ax + by N.
Ejemplo 2.5.39. Para cualquier homomorsmo de mdulos f : M N, el con-
junto ker( f ) es un submdulo de M y el conjunto Im( f ) es un submdulo de N.
Proposicin 2.5.40. Sea L submdulo de N y sea N submdulo de M. Entonces
L es un submdulo de M.
Como ilustracin del criterio vamos a demostrar:
Proposicin 2.5.41. Sea N
es un submdulo de M.
Esta proposicin nos permite denir dos conceptos importantes:
Denicin 2.5.42. Sea S un subconjunto de M. Llamamos submdulo generado
por S a la interseccin N de todos los submdulos de M que contienen a N. Lo
representamos por N = A(S ).
Proposicin 2.5.43. Sean N
1
, N
2
submdulos de M. Entonces N
1
+ N
2
es un sub-
mdulo de M.
Proposicin 2.5.44. 1. Sea S = . Entonces (S ) es el submdulo trivial.
2. Para cualquier S M no vaco,
A(S ) =
a
x
x a
x
A casi todos cero, x S
es el conjunto de todos los elementos de G que se expresan como combina-
ciones lineales nitas de elementos de S con coecientes en A.
72 CAPTULO 2. ANILLOS CONMUTATIVOS
2.6. Anillos cocientes
Sean A un anillo e I un ideal suyo. Denimos una relacin binaria en A por la
regla
a b a b I (2.6.1)
Lema 2.6.1. La relacin 2.6.1 es una relacin de equivalencia.
Representamos por a = a + I a la clase de equivalencia del elemento a A.
Cualquier elemento de a se llama representante de la clase a. Representamos por
A/I al conjunto de todas las clases de equivalencia para la relacin 2.6.1. En A/I
denimos dos operaciones internas:
a + b = a + b (2.6.2)
ab = ab (2.6.3)
Lema 2.6.2. Sean a = a
1
y b = b
1
. Entonces a + b = a
1
+ b
1
y ab = a
1
b
1
Este lema nos dice que las operaciones 2.6.2 estn bien denidas, es decir que
son independientes de los representantes elegidos.
Proposicin 2.6.3. El conjunto A/I junto con las operaciones 2.6.2 forman un
anillo que se llama anillo cociente de A sobre I.
Llamamos poyeccin de A sobre A/I a la aplicacin p : A A/I dada por
p(a) = a.
Proposicin 2.6.4. La proyeccin p : A A/I es un epimorsmo de anillos con
ncleo ker(p) = I.
Corolario 2.6.5. Un subconjunto I A es un ideal si y slo si existe un homo-
morsmo de anillos f : A B tal que I = ker f .
Teorema 2.6.6 (Propiedad universal del anillo cociente). Sean A un anillo e I
un ideal suyo. Para todo homomorsmo de anillos f : A B tal que ker f I
existe un nico homomorsmo de anillos f : A/I B tal que f p = f .
Adems Im f = Im( f ) y a ker( f ) si y slo si a ker( f ).
Corolario 2.6.7. f es un epimorsmo si y slo si f es un epimorsmo.
f es un monomorsmo si y slo si I = ker( f ).
2.6. ANILLOS COCIENTES 73
Proposicin 2.6.8 (Descomposicin cannica de un homomorsmo). Todo ho-
momorsmo de anillos f : A B se descompone como un producto
A
f
1
A
ker( f )
f
2
Im( f )
f
3
B
donde f
1
es un epimorsmo, f
2
es un isomorsmo y f
3
es un monomorsmo.
Corolario 2.6.9 (Primer teorema de isomorsmo). Para todo homomorsmo de
anillos f : A B existe un isomorsmo A/ ker( f ) Im( f ) dado por a f (a).
Teorema 2.6.10 (Teorema de correspondencia). Sean A un anillo e I un ideal
suyo y sea p : A A/I la proyeccin. Sean
S = U U es un subgrupo aditivo de A y U I
S
I
= V V es un subgrupo aditivo de A/I
1. La aplicacin U p(U) = U/I establece una biyeccin S S
I
.
2. En esta biyeccin S T si y slo si p(S ) p(T).
3. S es un subanillo de A si y slo si p(S ) es un subanillo de A/I.
4. S es un ideal de A si y slo si p(S ) es un ideal de A/I.
Teorema 2.6.11 (Segundo teorema de isomorsmo). Sea A un anillo y sean B
un subanillo e I un ideal de A. Entonces:
1. B + I = b + x b B, x I es un subanillo de A e I es un ideal de B + I.
2. B I es un ideal de B
3. Existe un isomorsmo
B
B I
B + I
I
dado por b + B I b + I.
Teorema 2.6.12 (Tercer teorema de isomorsmo). Sea A un anillo y sean I J
ideales suyos. Entonces I/J es un ideal de A/J y existe un isomorsmo
A/J
I/J
A
I
74 CAPTULO 2. ANILLOS CONMUTATIVOS
2.7. Dominios de integridad y cuerpos
Sea A un anillo conmutativo.
Denicin 2.7.1. Un elementos a A se llama divisor de cero si existe un b A,
b 0 tal que ab = 0.
Un dominio de integridad es un anillo conmutativo A no trivial sin divisores
de cero no nulos.
En otras palabras, un anillo conmutativo A es un dominio de integridad si 1 0
y si ab = 0 a = 0 o b = 0.
Proposicin 2.7.2. Un anillo conmutativo no trivial A es un dominio de integridad
si y slo si satisface la ley cancelativa:
ab = ac y a 0 b = c
Corolario 2.7.3. Sea A un dominio de integridad y sea B un subanillo de A. En-
tonces B es un dominio de integridad.
Denicin 2.7.4. Un cuerpo es un anillo conmutativo no trivial en el que todo
elemento no nulo tiene un inverso multiplicativo.
Un subcuerpo de un cuerpo F es un subanillo que es un cuerpo.
En otras palabras, el cuerpo K es un subcuerpo de F si y slo si es un subcon-
junto y la aplicacin de inclusin i : K F es un homomorsmo.
Lema 2.7.5. Un subconjunto de un cuerpo F es un subcuerpo si y slo si es
cerrado para la suma, la multiplicacin, el cero, el uno, el opuesto aditivo y el
inverso multiplicativo.
Proposicin 2.7.6. Todo cuerpo es un dominio de integridad.
Proposicin 2.7.7. Todo dominio de integridad nito es un cuerpo.
Proposicin 2.7.8. Un anillo conmutativo no trivial es un cuerpo si y solo si no
tiene ideales propios.
Corolario 2.7.9. Todo homomorsmo de cuerpos K F es inyectivo.
Denicin 2.7.10. Sea A un anillo conmutativo. Un ideal I de A se llama maximal
si I A y si para J ideal de A, I J J = I o J = A.
Un ideal I de A se llama primo si I A y si para a, b A ab I a I o b
A.
2.8. EL CUERPO DE FRACCIONES 75
Proposicin 2.7.11. Sea A un anillo conmutativo y sea I un ideal suyo. El ideal I
es maximal si y slo si el anillo cociente A/I es un cuerpo.
El ideal I es primo si y slo si el anillo cociente A/I es un dominio de integri-
dad.
Corolario 2.7.12. Todo ideal maximal es primo.
Denicin 2.7.13. Un anillo de integridad o anillo ntegro es un anillo (no nece-
sariamente conmutativo) sin divisores de cero.
Un anillo de divisin es un anillo (no necesariamente conmutativo) en el que
todo elemento distinto de cero tiene un inverso.
As que un dominio de integridad es lo mismo que un anillo de integridad
conmutativo y un cuerpo es lo mismo que un anillo de divisin conmutativo. Na-
turalmente todo anillo de divisin es un anillo de integridad.
Proposicin 2.7.14. La caracterstica de un dominio de integridad es o cero o un
nmero primo.
Proposicin 2.7.15. Sea K un cuerpo. La interseccin de una familia arbitrarias
de subcuerpos de K es un subcuerpo de K.
Denicin 2.7.16. Sea K un cuerpo. Se llama subcuerpo primo de K a la inter-
seccin de todos los subcuerpos de K.
Es decir, que el subcuerpo primo es el mnimo subcuerpo de K.
2.8. El cuerpo de fracciones
Sea A un dominio de integridad. Llamamos S al conjunto de elementos no nu-
los de A. En el conjunto producto cartesiano S A denimos la siguiente relacin
binaria:
(s
1
, a
1
) (s
2
, a
2
) s
1
a
2
= s
2
a
1
(2.8.1)
Proposicin 2.8.1. La relacin 2.8.1 es una relacin de equivalencia.
Al conjunto cociente S A/ lo representamos por Q(A) o por S
1
A. En este
conjunto la clase De (s, a) se representa por a/s y se llama fraccin; el elemento
a es el numerador y s es el denominador de la fraccin.
Denimos dos operaciones binarias Q(A) Q(A) Q(A) por las reglas:
a
1
s
1
+
a
2
s
2
=
s
2
a
1
+ s
1
a
2
s
1
s
2
(2.8.2)
a
1
s
1
a
2
s
2
=
a
1
a
2
s
1
s
2
(2.8.3)
76 CAPTULO 2. ANILLOS CONMUTATIVOS
Proposicin 2.8.2. Las operaciones 2.8.2 y 2.8.3 estn bien denidas (es decir,
son independientes de los representantes elegidos para las fracciones).
Proposicin 2.8.3. El conjunto Q(A) con las operaciones 2.8.2 y 2.8.3 es un cuer-
po que se llama cuerpo de fracciones del anillo A.
Ejemplo 2.8.4. Cuando A = Z, el cuerpo de fracciones es el cuerpo de los nmeros
racionales Q(A) = Q.
Ejemplo 2.8.5. Q(
2) es el cuerpo de fracciones de Z[
2].
Ejemplo 2.8.6. Q(
.
Ejemplo 2.9.2. Z
= 1, 1.
J
= 1, i, 1, i.
Z[
2]
= a + b
2 a, b Z, a
2
2b
2
= 1.
Lema 2.9.3. En un dominio de integridad A dos elementos a, b A son asociados
si y slo si existe una unidad u A tal que a = bu.
Denicin 2.9.4. Un elemento a A es un irreducible o tomo de A si no es una
unidad y si a = bc implica que b o c es una unidad.
Ejemplo 2.9.5. En Z las unidades son 1 y 1 y los irreducibles son los primos y
sus negativos.
Sea A un dominio de integridad y sean a, b A.
Denicin 2.9.6. Un mximo comn divisor de a y b es un elemento d A que
verica dos propiedades:
1. d a y d b.
2. Para c A, c a y c b c d.
Se suele representar d = (a, b) = m. c. d.(a, b).
Lema 2.9.7. Dos mximos comunes divisores d, d
de a y b son asociados.
Denicin 2.9.8. Dos elementos a, b A son primos relativos si m. c. d.(a, b) = 1.
Proposicin 2.9.9. Sea A un dominio de integridad y sean a, b, c A. Las si-
guientes reglas se verican siempre que existan los mximos comunes divisores
implicados:
1. (ac, bc) = (a, b)c
2. ((a, b), c) = (a, (b, c))
78 CAPTULO 2. ANILLOS CONMUTATIVOS
3. (a, b) es asociado de a si y slo si a b.
4. (a, 0) = a.
Denicin 2.9.10. Sea A un dominio de integridad. Un mnimo comn mltiplo
de a y b es un elemento m A que verica dos propiedades:
1. a m y b m.
2. Para c A, a c y b c m c.
Se suele representar m = [a, b] = m. c. m.(a, b).
Lema 2.9.11. Dos mnimos comunes mltiplos m, m
de a y b son asociados.
Proposicin 2.9.12. Sea A un dominio de integridad y sean a, b, c A. Las si-
guientes reglas se verican siempre que existan los mnimos comunes mltiplos
implicados
1. [ac, bc] = [a, b]c
2. [[a, b], c] = [a, [b, c]]
3. [a, b] es asociado de a si y slo si b a.
4. [a, 1] = a.
Proposicin 2.9.13. Sea A un dominio de integridad y sean a, b dos elementos de
A que tienen un mnimo comn mltiplo m. Entonces m = 0 si y slo si a = 0 o
b = 0. Si m 0, el elemento d = ab/m es un mximo comn divisor de a y b.
Demostracin. Sea ab 0. El producto ab es un mltiplo de a y b, luego m ab.
Sea ab = md. En particular m 0. Adems m = ab
1
= a
1
b, as que ab = ab
1
d =
a
1
bd. Como A es un dominio de integridad, b = b
1
d y a = a
1
d, luego d divide a a
y b. Sea d
1
otro divisor comn de a y b. Llamamos m
1
= ab/d
1
. Es fcil ver que
m
1
es un mltiplo comn de a y b, luego existe c A tal que m
1
= mc. De donde
md = ab = m
1
d
1
= mcd
1
. Luego d = cd
1
y d
1
es un divisor de d.
El enunciado recproco es falso:
Ejemplo 2.9.14. Sea A el subanillo de Z[X] formado por los polinomios con co-
eciente de X par. Los elementos 2 y 2X tienen un mximo comn divisor en A,
pero no tienen mnimo comn mltiplo.
Sin embargo es cierto cuando todos los pares tienen un mximo comn divisor:
2.9. FACTORIZACIN 79
Proposicin 2.9.15. Sea A un dominio de integridad en el que todo par de ele-
mentos tiene un mximo comn divisor. Entonces todo par de elementos tiene un
mnimo comn mltiplo.
Demostracin. Sean a, b A, ab 0. Sea d = m. c. d.(a, b), as que a = a
1
d
y b = b
1
d con a
1
, b
1
A. Sea m = ab/d = a
1
b
1
d = ab
1
= a
1
b. Evidentemente
a m y b m. Sea m
1
un mltiplo comn arbitrario de a, b y sea k = m. c. d.(m, m
1
).
Como a y b son divisores de my m
1
, necesariamente a y b dividen a k. Sea m = kd
1
y sea k = au = bv. Sustituyendo obtenemos a
1
b = m = kd
1
= bvd
1
. Simplicando
nos queda a
1
= vd
1
y por tanto a = a
1
d = v(d
1
d). Similarmente b = u(d
1
d). Po
tanto (d
1
d) divide a m. c. d.(a, b) = d. Sea d = cd
1
d. Simplicando nos queda
1 = cd
1
, por lo que d
1
es una unidad y k, m son asociados, as que m divide a
m
1
.Luego m = m. c. m.(a, b).
2.9.1. Dominios de factorizacin nica
El teorema fundamental de la aritmtica dice que todo entero se factoriza en
irreducibles de forma esencialmente nica. La unicidad de la factorizacin resulta
ser muy til, lo que motiva la siguiente denicin.
Denicin 2.9.16. Un dominio de factorizacin nica (abreviadamente, un DFU)
o dominio factorial es un dominio de integridad en el que todo elemento no nulo
ni unidad se puede escribir como un producto de irreducibles y adems verica
que dadas dos factorizaciones en irreducibles del mismo elemento
a = p
1
. . . p
n
= q
1
. . . q
m
entonces n = m y existe una permutacin S
n
tal que p
i
es asociado de q
(i)
para i = 1, . . . , n.
Ejemplo 2.9.17. Z es un dominio de factorizacin nica por el teorema fundamen-
tal de la aritmtica.
Ejemplo 2.9.18. Todo cuerpo es un dominio de factorizacin nica de manera
trivial.
Mas adelante veremos que los anillos de polinomios con coecientes en un
dominio de factorizacin nica tambin son dominio de factorizacin nica.
Sea A un dominio de factorizacin nica y sea P un conjunto de irreducibles
tal que todo irreducible de A est asociado exactamente a un irreducible de P.
(en muchos ejemplos interesantes P es innito, pero esto no es esencial). Todo
elemento a de A se escribe de manera nica como a = up
k
1
1
. . . p
k
n
n
donde u es una
unidad y los p
i
son elementos de P.
80 CAPTULO 2. ANILLOS CONMUTATIVOS
Lema 2.9.19. Sean a = up
k
1
1
. . . p
k
n
n
y b = up
t
1
1
. . . p
t
n
n
elementos de A. Entonces
a b si y slo si k
1
t
i
para i = 1, . . . , n
Proposicin 2.9.20. Sea A un dominio de factorizacin nica, sean a, b A y
sean a = up
k
1
1
. . . p
k
n
n
y b = up
t
1
1
. . . p
t
n
n
las factorizaciones en irreducibles. Enton-
ces m. c. d.(a, b) = up
l
1
1
. . . p
l
n
n
donde l
i
= mn(k
i
, t
i
) para i = 1, . . . , n.
Proposicin 2.9.21. Sea A un dominio de factorizacin nica Sean a = up
k
1
1
. . . p
k
n
n
y b = up
t
1
1
. . . p
t
n
n
las factorizaciones en irreducibles. Entonces m. c. m.(a, b) =
up
s
1
1
. . . p
s
n
n
donde s
i
= m ax(k
i
, t
i
) para i = 1, . . . , n.
Vamos a establecer dos caracterizaciones de los dominios de factorizacin ni-
ca.
Denicin 2.9.22. Sea A un dominio de integridad y p un elemento suyo; p es un
elemento primo de A si no es cero ni unidad y para a, b A se verica que p ab
si y slo si p a o p b.
Ejemplo 2.9.23. Los primos de Z son los nmeros primos y sus opuestos.
Lema 2.9.24. Sea p un primo de A y sean a
1
, . . . , a
n
A. Entonces p divide al
producto a
1
. . . a
n
si y slo si existe un i tal que p a
i
.
Lema 2.9.25. Todo primo es un irreducible.
Teorema 2.9.26. Un dominio de integridad A es un dominio de factorizacin
nica si y slo si
1. Todo elemento no nulo ni unidad descompone como producto de irreduci-
bles
2. Todo irreducible es primo.
Demostracin. Sea A un dominio de factorizacin nica y sea u A irreduci-
ble Sean a, b A tales que u ab. Entonces existe un c A tal que uc = ab.
Sean a = u
1
. . . u
n
, b = u
n+1
. . . u
m
y c = v
1
. . . v
k
factorizaciones en irreducibles
Sustituyendo nos queda uv
1
. . . v
k
= u
1
. . . v
m
. Estas son dos factorizaciones en
irreducibles. Como A es factorial, k + 1 = m y existe un u
j
asociado con u. Si
j n, resulta que u a y si j > n queda que u b. Luego u es primo.
A la inversa, sea A un dominio de integridad vericando las condiciones del
enunciado y sean a = p
1
. . . p
n
= q
1
. . . q
m
dos factorizaciones en irreducibles. Si
n=1, p
1
= q
1
. . . q
m
y como p
1
es irreducible, necesariamente m = n y p
1
= q
1
.
Sea ahora n > 1 y supongamos que la factorizacin es nica siempre que uno
de los productos tenga menos de n factores. Como p
1
q
1
. . . q
m
y p
1
es primo,
2.9. FACTORIZACIN 81
existe un q
j
tal que p
1
q
j
y como q
j
es irreducible, q
j
= p
1
u con u invertible. Por
sencillez suponemos que j = 1. Nos queda p
1
. . . p
n
= p
1
(uq
2
) . . . q
m
y simpli-
cando p
2
. . . p
n
= (uq
2
) . . . q
m
. Pero ahora el primer miembro tiene n 1 factores.
Por la hiptesis de induccin, n1 = m1 y existe una permutacin i j ta que
p
i
y q
j
son asociados.
Teorema 2.9.27. Un dominio de integridad A es un dominio de factorizacin
nica si y slo si
1. Todo elemento no nulo ni unidad descompone como producto de irreduci-
bles
2. Todo par de elementos tiene mximo comn divisor.
Demostracin. La primera condicin es la misma en ambos casos. Sea A un do-
minio de factorizacin nica. Por la proposicin 2.9.20 todo par de elementos
tiene un mximo comn divisor.
A la inversa, supongamos que todo par de elementos tiene un mximo comn
divisor. Sea u A un irreducible arbitrario y sean a, b A tales que u a y
u b, es decir que m. c. d.(u, a) = 1 = m. c. d.(u, b). Por la proposicin 2.9.9,
b = (ub, ab) y 1 = (u, b) = (u, (ub, ab)) = ((u, ub), ab) = (u(1, b), ab) = (u, ab). El
contrarrecproco nos dice que (u, ab) = u (u, a) = u (u, b) = u
Las proposiciones 2.9.20 y 2.9.21 suministran una forma cmoda de calcular
el mximo comn divisor y el mnimo comn mltiplo. La pega es que presuponen
que A es un dominio de factorizacin nica y que a y b han sido factorizados en A.
Pero el proceso de factorizar completamente un elemento normalmente es largo y
penoso. Para Z, K[X] y otros dominios de integridad existe un mtodo mas directo
y efectivo de calcular el mximo comn divisor usando un algoritmo de divisin
con resto. Esto motiva la denicin de dos nuevas clases de anillos: Los dominios
de ideales principales y los dominios eucldeos.
2.9.2. Dominios de ideales principales
Denicin 2.9.28. Un dominio de ideales principales (abreviado por D.I.P) es un
dominio de integridad en el que todo ideal es principal.
Lema 2.9.29. En un dominio de ideales principales A toda cadena ascendente de
ideales
(a
1
) (a
2
) . . .
es estacionaria, es decir que existe un n tal que (a
n
) = (a
n+1
) = . . . :
82 CAPTULO 2. ANILLOS CONMUTATIVOS
Demostracin. Sea I =
i
(a
i
). Es fcil comprobar que I es un ideal de A, luego
existe un b I tal que I = (b). Como I es la unin de los ideales (a
i
), existe un
n tal que b (a
n
), es decir que b = ca
n
es un mltiplo de a
n
. Para cualquier m
tenemos que a
m
I, luego a
m
= d
m
b es un mltiplo de b. Sustituyendo tenemos
que a
m
= d
m
ca
n
(a
n
) y por tanto (a
m
) (a
n
) para todo m. Luego (a
m
) = (a
n
) para
todo m n.
Proposicin 2.9.30. Todo dominio de ideales principales es un dominio de facto-
rizacin nica.
Demostracin. 1. Todo elemento de un dominio de ideales principales se des-
compone como producto de irreducibles:
Sea A un dominio de ideales principales arbitrario y sea a
1
A cualquier
elemento que no es invertible. Si a
1
es irreducible, tenemos una factoriza-
cin a
1
= p
1
. Si a
1
es reducible existe una factorizacin a
1
= a
2
b
1
con a
2
y b
1
no invertibles, y por tanto (a
1
) (a
2
). Si a
2
es reducible, repetimos el
razonamiento y obtenemos un a
3
no invertible tal que (a
1
) (a
2
) (a
3
).
Por el lema anterior, este proceso no puede ser innito. Luego llegamos a
una factorizacin a
1
= p
1
a
2
con p
1
irreducible.
Si a
2
es irreducible o invertible, tenemos una factorizacin de a
1
en irre-
ducibles. En otro caso, repetimos el proceso y obtenemos a
2
= p
2
a
3
con
p
2
irreducible y a
1
= p
1
p
2
a
3
. Otra vez tenemos una cadena ascendente de
ideales (a
1
) (a
2
) (a
3
) . . .. Por el lema anterior, esta cadena es estaciona-
ria. Luego existe un n tal que a
1
= p
1
. . . p
n
es una factorizacin de a
1
como
producto de irreducibles.
2. En un dominio de ideales principales A todo par de elementos tiene un
mximo comn divisor:
Sean a, b A arbitrarios y sea I = (a, b) el ideal generado por ellos. Por ser
A un dominio de ideales principales, existe un d I tal que (a, b) = (d). Los
elementos a, b estn en I = (d) luego d a y d b. Adems existen u, v A
tales que d = ua + vb. Sea c un divisor comn de a y b, as que a = a
1
c y
b = b
1
c. Luego d = ua
1
c + vb
1
c = (ua
1
+ vb
1
)c es un mltiplo de c.
+ by
r
i1
= ax + by
Entonces r
i
= r
i1
q
i
+ r
i2
= a(x
xq
i
) + b(y
yq
i
). En particular
r
n
= au + bv (3.1.1)
Adems r
n
divide a r
n
y a r
n1
, luego divide a r
n2
. Por induccin obtenemos que
r
n
divide a y b. Pero de la expresin 3.1.1 cualquier divisor de a y b tambin divide
a r
n
. Luego d = r
n
= m. c. d.(a, b)
Corolario 3.1.7. En un anillo eucldeo dos elementos cualesquiera tienen un m-
nimo comn mltiplo.
Corolario 3.1.8. En un dominio eucldeo todo irreducible es primo.
Corolario 3.1.9. Todo dominio eucldeo es un dominio de factorizacin nica.
Corolario 3.1.10. Para cualquier cuerpo K el anillo de polinomios K[X] es un
dominio de factorizacin nica.
3.2. EJEMPLOS: ANILLOS CUADRTICOS 87
3.2. Ejemplos: Anillos cuadrticos
3.2.1. Cuerpos cuadrticos de nmeros
Sea D un nmero racional que no es un cuadrado perfecto en Q. Denimos el
subconjunto de C
Q[
D] = a + b
D a, b Q
Est claro que este subconjunto es cerrado para la resta y la identidad
(a + b
D)(c + d
D)
muestra que tambin es cerrado para la multiplicacin. Por tanto Q[
D] es un
subanillo de C (e incluso de R cuando D > 0), as que en particular es un anillo
conmutativo. Es fcil comprobar que la hiptesis de que D no es un cuadrado
implica que todo elemento de Q[
D.
Tambin implica que si a, b no son ambos cero, entonces a
2
b
2
D 0 y como
(a + b
D)(a b
D) = a
2
b
2
D tenemos que
(a + b
D)
1
=
a
a
2
b
2
D
b
a
2
b
2
D
D Q(
D)
Esto demuestra que todo elemento no nulo de Q[
D] tiene un inverso en Q[
D]
y por tanto Q[
para algn f Q y
un nico D
= 1 o bien D
= p
1
. . . p
t
donde los p
i
son primos
distintos de Z. (Por ejemplo, 8/5 = (2/5)
2
10). Al entero D
le llamamos parte
libre de cuadrados de D. Entonces
D = f
D
y por tanto Q[
D] = Q[
].
Luego no se pierde generalidad si se supone que Des un entero libre de cuadrados
en la denicin del cuerpo cuadrtico Q[
D].
La aplicacin N : Q[
D) = (a + b
D)(a +
b
D) = a
2
b
2
D se llama norma del cuerpo Q[
D].
2. N(u) = 0 si y slo si u = 0.
3.2.2. Anillos cuadrticos de enteros
Sea D un entero libre de cuadrados. Es inmediato que el conjunto
Z[
D] = a + b
D a, b Z
88 CAPTULO 3. DOMINIOS EUCLDEOS
es cerrado para la resta y el producto y contiene al nmero 1, luego es un subanillo
del cuerpo cuadrtico Q[
D].
En el caso en que D 1 (m od 4), el conjunto ligeramente mayor
Z
_
_
1 +
D
2
_
_
=
_
_
c + b
1 +
D
2
c, b Z
_
_
=
_
_
a + b
D
2
a, b Z, a b (m od 2)
_
_
tambin es un subanillo: Es inmediato que es cerrado para la resta y el 1 y el
clculo
(c + b
1 +
D
2
)(c
1
+ b
1
1 +
D
2
) = (cc
1
+ bb
1
D 1
4
) + (cb
1
+ c
1
b + bb
1
)
1 +
D
2
muestra que es cerrado para la multiplicacin, ya que (D 1)/4 Z.
Para unicar los dos casos, llamamos
=
_
D si D 2, 3 (m od 4)
1+
D
2
si D 1 (m od 4)
y denimos
O = O
Q[
D]
= Z[] = a + b a, b Z
El anillo O
Q[
D]
se llama anillo de enteros del cuerpo cuadrtico Q[
D].
La terminologa proviene de que los elementos de O tienen muchas propiedades
respecto a Q[
D]). La
mas sencilla de estas propiedades es la siguiente:
Lema 3.2.1. El cuerpo Q[
D]
.
En el caso particular D = 1 obtenemos el anillo J = Z[i] de los enteros de
Gauss, que son los nmeros complejos a+bi C con a y b enteros. Estos nmeros
fueron estudiados primero por Gauss alrededor del ao 1800 para demostrar la
ley de reciprocidad bicuadrtica, que trata de las relaciones que existen entre las
cuartas potencias mdulo primos.
En los anillos O se utiliza la norma para caracterizar las unidades:
Lema 3.2.2. Un elemento x = a+b Oes invertible en Osi y slo si N(x) = 1.
3.2. EJEMPLOS: ANILLOS CUADRTICOS 89
Ejemplo 3.2.3. Cuando D = 1, las unidades del anillo de enteros de Gauss son
cuatro: 1, i (que son las races cuartas de la unidad).
Cuando D = 3, las unidades del anillo O = Z[
1+
D
2
] son los a + b tales que
a
2
+ab +b
2
= 1, es decir los seis elementos 1, (1
3)/2, que son las races
sextas de la unidad.
Para cualquier otro D < 0, D 1, 3, las unidades del anillo O son 1, 1.
Cuando D > 0, se puede demostrar que el grupo de las unidades O
es siempre
innito. Por ejemplo, cuando D = 2 el grupo de las unidades es O
= (1+
2)
k
k Z.
Tambin utilizamos la norma para buscar irreducibles y primos en O:
Lema 3.2.4 (Condicin suciente de irreducibilidad). Sea u = a+b
D tal que
N(u) = p, con p primo en Z. Entonces u es irreducible
Demostracin. Sea u = vw. Entonces N(v)N(w) = N(u) = p, as que o bien
N(v) = 1 (en cuyo caso v es invertible) o bien N(w) = 1 (en cuyo caso w es
invertible).
Lema 3.2.5 (Condicin necesaria de primalidad). Sea u = a + b
D primo en
O. Entonces N(u) = p o p
2
con p primo en Z.
Si u es primo en O, u es asociado con p si y slo si N(u) = p
2
.
Demostracin. Sabemos que N(u) = u(u), as que u divide al entero racional
N(u). Descomponemos en primos en Z: N(u) = p
1
. . . p
t
. Por ser u primo debe
dividir a uno de los factores p = p
i
. Luego el entero racional N(u) divide a N(p) =
p
2
. Como N(u) 1, slo quedan las posibilidades del enunciado.
Sea p = uv. Se verica que p
2
= N(p) = N(u)N(v), as que v es invertible si y
slo si N(u) = p
2
.
Corolario 3.2.6. Sea D < 0, D 1, 3. Si u = a + b es primo con b 0,
necesariamente N(u) = p es un primo en Z.
Teorema 3.2.7. Sea D un entero libre de cuadrados tal que O es un dominio de
factorizacin nica. Un elemento u O es primo si y slo si es de uno de los
siguientes tipos:
u = p con invertible y p Z irreducible en O.
u = a + b con N(u) = p y p primo en Z.
Podemos enunciar explcitamente los primos de un anillo cuadrtico eucldeo:
Teorema 3.2.8. Sea D un entero libre de cuadrados tal que O es un dominio de
factorizacin nica.
90 CAPTULO 3. DOMINIOS EUCLDEOS
1. Todo primo u de O divide a un nico primo p de Z.
2. Sea p un primo de Z tal que p 2D.
a) p = uv es el producto de dos primos no asociados de O si y slo si
existe un a Z tal que a
2
D (m od p).
b) p es primo en O si y slo si para todo a Z se verica a
2
D
(m od p).
3. a) Sea D 1 (m od 8). Entonces 2 = uv es el producto de dos primos
no asociados de O.
b) Sea D 5 (m od 8). Entonces 2 es primo en O
c) Sea D 2, 3 (m od 4). Entonces 2 = u
2
es asociado al cuadrado de
un primo de O.
4. Sea p D. Entonces p = u
2
es asociado al cuadrado de un primo de O.
Corolario 3.2.9. Sea J = Z[i] el anillo de los enteros de Gauss y sea p Z un
primo.
1. p = (a +bi)(a bi) es el producto de dos primos de J no asociados si y slo
si p 1 (m od 4).
2. p es primo en J si y slo si p 3 (m od 4).
3. El elemento 1 + i es primo en J y 2 = i(1 + i)
2
.
4. Todo primo de J es de uno de los tipos anteriores.
3.2.3. Anillos cuadrticos eucldeos
Los anillos Ono son todos eucldeos, ni siquiera son dominios de factorizacin
nica. Pero vamos a ver que algunos de ellos son eucldeos respecto a la funcin
: O Z denida por (u) = N(u) (valor absoluto de la norma).
En primer lugar, para cualquier par de elementos u, v O siempre se verica
que (uv) = (u)(v) (u) que es la primera condicin de la denicin de
dominio eucldeo.
La segunda condicin de dicha denicin dice:
Para u, v O con v 0 existen q, r O tales que u = vq + r y o bien
(r) < (v) o bien r = 0.
Dividiendo por v y teniendo en cuenta que Q[
D] es el cuerpo de fracciones
de O, esta condicin se traduce en:
Para todo x Q[
D Q[
D]. Elegimos q
1
, q
2
Z tales que a q
1
1/2 y
b q
2
1/2 y llamamos q = q
1
+ q
2
D. Entonces
(x q) = N(x q) = (a q
1
)
2
(b q
2
)
2
D
(a q
1
)
2
+ (b q
2
)
2
D < 1/4 + (1/4) 3 = 1
y por tanto Q[
D] es eucldeo.
Obsrvese que una vez conocido el cociente de dos elementos u, v O, el
resto se obtiene como r = u vq.
Proposicin 3.2.11. Sea D = 11, 7, 3 o 5. Entonces O es eucldeo respecto a
la funcin .
Demostracin. Los valores del enunciado son exactamente los D libres de cua-
drados con D 1 (m od 4) y D < 12.
Sea x = a + b
D Q[
D]. Elegimos 2q
1
, 2q
2
Z tales que b q
2
1/4,
2q
1
2q
2
(m od 2) y a q
1
1/2 y llamamos q = q
1
+ q
2
D. Entonces
(x q) = N(x q) = (a q
1
)
2
(b q
2
)
2
D
(a q
1
)
2
+ (b q
2
)
2
D < 1/4 + (1/16) 12 = 1
y por tanto Q[
D] es eucldeo.
Como antes, una vez conocido el cociente de dos elementos u, v O, el resto
se obtiene como r = u vq.
OBSERVACIN:Ei arsro or rsrx stasrccr ox rs rtaxmrxrr rxroamxrrvo . xo
rxrax rx rxxmrx.
Existen mas anillos cuadrticos eucldeos. En concreto la lista completa es la
siguiente:
Teorema 3.2.12. El anillo O es eucldeo respecto a la funcin anterior si y slo
si D es uno de los valores
11, 7, 3, 2, 1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73
Esta lista no agota todos los anillos cuadrticos eucldeos, porque la funcin
respecto a la que O es eucldeo no tiene porqu ser el valor absoluto de la nor-
ma. Se demuestra que para D < 0 el anillo O es eucldeo respecto a alguna
92 CAPTULO 3. DOMINIOS EUCLDEOS
funcin si y slo si D = 11, 7, 3, 2, 1, pero es una conjetura que el
conjunto de valores D > 0 para los que O es eucldeo es innito. Por ejemplo
para D < 100 el anillo O, adems de para los valores citados en el teorema
anterior, tambin es eucldeo respecto a alguna funcin para los valores D =
14, 22, 23, 31, 35, 38, 43, 46, 47, 53, 59, 61, 62, 67, 69, 71, 77, 83, 86, 89, 93, 94, 97.
Naturalmente para estos valores la funcin no es el valor absoluto de la
norma.
3.3. Aritmtica en dominios eucldeos
Los mtodos y resultados que hemos estudiado para Z que se basan en el algo-
ritmo de la divisin con resto se trasladan mutatis mutande a los anillos cuadrti-
cos. En esta seccin vamos a ver ejemplos de estos mtodos en anillos cuadrticos
eucldeos.
3.3.1. Factorizacin en primos
Ejemplo 3.3.1. Vamos a obtener la descomposicin en primos de u = 11 + 7i
Z[i]:
En primer lugar calculamos y factorizamos en Z la norma de u:
N(u) = 11
2
+ 7
2
= 121 + 49 = 170 = 2 5 17
Por el corolario 3.2.9, el elemento u descompone como producto de un primo
de norma 2, otro de norma 5 y un tercero de norma 17. Para cada uno de los valores
5 y 17 existen exactamente dos primos con dicha norma, y slo hay un primo
con norma 2. En total hay que probar como mximo cinco divisores. Empezamos
sobre seguro, calculando el cociente de u por el nico primo (salvo asociados) de
norma 2:
11 + 7i
1 + i
=
(11 + 7i)(1 i)
(1 + i)(1 i)
=
11 11i + 7i + 7
2
= 9 2i
as que u = (1 + i)(9 2i). Probamos a dividir el cociente 9 2i por uno de los
primos de norma 5:
9 2i
2 + i
=
(9 2i)(2 i)
(2 + i)(2 i)
=
18 9i 4i 2
5
=
16 11i
5
que no pertenece a Z[i]. Luego (2 + i) (9 2i).
Probamos ahora con el otro primo de norma 5:
9 2i
2 i
=
(9 2i)(2 + i)
(2 i)(2 + i)
=
18 + 9i 4i + 2
5
=
20 + 5i
5
= 4 + i
3.3. ARITMTICA EN DOMINIOS EUCLDEOS 93
Este cociente pertenece a Z[i] y adems es un primo de norma 17. Tenemos que
9 2i = (2 i)(4 + i), luego la descomposicin en primos del elemento dado es
11 + 7i = (1 + i)(2 i)(4 + i)
Ejemplo 3.3.2. Sea ahora u = 4+7
2 Z[
2(7 + 2
2).
Ejemplo 3.3.3. Sea u = 4 5
3 Z[
1+
3
2
]. Calculamos la norma: N(u) =
4
2
+ 5
2
3 = 16 + 75 = 91 = 7 13.
En Z[
1+
3
2
] existen dos primos de norma 7 (que se obtienen resolviendo la
ecuacin a
2
+ 3b
2
= 7), a saber 2 +
3 y 2
3. Probamos a dividir por el
primero:
4 5
3
2 +
3
=
(4 5
3)(2
3)
(2 +
3)(2
3)
=
8 4
3 10
3 15
7
=
7 14
3
7
= 1 2
3
as que la factorizacin en primos es
4 5
3 = (2 +
3)(1 2
3)
3.3.2. Clculo del mximo comn divisor
Igual que en Z, en cualquier anillo eucldeo tenemos dos mtodos para calcular
el mximo comn divisor: Uno es factorizar en primos cada elemento dado y
formar el producto de los factores comunes elevados al menor exponente:
Ejemplo 3.3.4. Sean a = 1 + 3i, b = 3 + 4i dos elementos de Z[i]. Buscamos sus
respectivas factorizaciones en primos:
N(a) = 1
2
+ 3
2
= 10 = 2 5,
1 + 3i
1 + i
=
(1 + 3i)(1 i)
(1 + i)(1 i)
= 2 + i
N(b) = 3
2
+ 4
2
= 25 = 5
2
,
3 + 4i
2 + i
=
(3 + 4i)(2 i)
(2 + i)(2 i)
= 2 + i
as que a = (1 + i)(2 + i), b = (2 + i)
2
, m. c. d.(a, b) = 2 + i y m. c. m.(a, b) =
(1 + i)(2 + i)
2
= 1 + 7i
El otro mtodo es aplicar el algoritmo de Euclides (simple o extendido). El
mximo comn divisor ser el ltimo resto no nulo.
94 CAPTULO 3. DOMINIOS EUCLDEOS
Ejemplo 3.3.5. Sean a = 11 + 7i, b = 3 + 7i dos elementos de Z[i]. Calculamos
11 + 7i
3 + 7i
=
(11 + 7i)(3 7i)
(3 + 7i)(3 7i)
=
82
58
56
58
i
as que tomamos el cociente q
1
= 1 i y el resto r
1
= a bq
1
= 1 +3i. Dividimos
ahora b por r
1
:
3 + 7i
1 + 3i
=
(3 + 7i)(1 3i)
(1 + 3i)(1 3i)
=
24
10
2
10
i
El nuevo cociente ser q
2
= 2 y el resto r
2
= b r
1
q
2
= 1 + i. El siguiente paso es
dividir r
1
por r
2
:
1 + 3i
1 + i
=
(1 + 3i)(1 i)
(1 + i)(1 i)
= 2 + i
con lo que q
3
= 2+i y r
3
= 0. Luego m. c. d.(a, b) = 1+i (el ltimo resto no nulo).
Para obtener los coecientes de Bezout utilizamos el algoritmo extendido de
Euclides:
q u v
11 + 7i 1 0
3 + 7i 0 1
1 i 1 + 3i 1 1 + i
2 1 + i 2 3 2i
2 + i 0
as que (11 + 7i)(2) + (3 + i)(3 2i) = 1 + i.
Ejemplo 3.3.6. Vamos a calcular ahora el mximo comn divisor de a = (5 +
11)/2 y b = 2 +
11 en el anillo A = Z[(1 +
11
(5 +
11)/2
=
2(2 +
11)(5
11)
(5 +
11)(5
11)
=
2(21 + 3
11)
36
=
7 +
11
6
as que el cociente es q = 1 y el resto r = b aq = (1 +
11)/2. Dividimos
ahora a entre r:
(5 +
11)/2
(1 +
11)/2
=
(5 +
11)(1
11)
(1 +
11)(1
11)
=
6 6
11
12
=
1
11
2
que pertenece a Z[(1 +
11)/2], as que q
1
= (1
11)/2 y r
1
= 0. Vamos a
3.3. ARITMTICA EN DOMINIOS EUCLDEOS 95
calcular los coecientes de Bezout:
q u v
2 +
11 1 0
5+
11
2
0 1
1
1+
11
2
1 1
1
11
2
0
luego m. c. d.(a, b) =
1+
11
2
= b 1 + a (1)
3.3.3. Resolucin de ecuaciones lineales
En nuestra exposicin de Z vimos cmo utilizar el algoritmo extendido de
Euclides para resolver ecuaciones diofnticas lineales en dos incgnitas. Exac-
tamente el mismo mtodo se aplica para resolver ecuaciones lineales en anillos
eucldeos. En concreto tenemos el siguiente teorema:
Sea A un anillo eucldeo y sean a, b, c A. Consideramos la ecuacin
ax + by = c (3.3.1)
Teorema 3.3.7. 1. La ecuacin 3.3.1 tiene solucin si y slo si m. c. d.(a, b)
c.
2. Una solucin particular de 3.3.1 se obtiene por el algoritmo extendido de
Euclides.
3. Sea d = m. c. d.(a, b) y sea (x
0
, y
0
) una solucin particular de 3.3.1. La
solucin general (x, y) viene dada por
x = x
0
+ k
b
d
, y = y
0
k
a
d
con k A arbitrario.
Demostracin. La demostracin es idntica a la realizada en el caso A = Z, que
se basaba slo en la existencia del algoritmo de divisin con resto.
Ejemplo 3.3.8. Consideramos la ecuacin siguiente en Z[i]:
4x + (3 + 3i)y = 1 + 5i
96 CAPTULO 3. DOMINIOS EUCLDEOS
Para discutirla y en su caso resolverla, calculamos el mximo comn divisor de
los coecientes:
q u v
3 + 3i 1 0
4 0 1
1 + i 1 i 1 1 i
2 + 2i 0
luego el mximo comn divisor es 1 i = (3 + 3i) 4 (1 + i). Calculamos el
cociente (1 +5i)/(1 i) = 2 3i que pertenece a Z[i], luego la ecuacin dada
tiene solucin. Una solucin particular ser
x
0
= (1 + i)(2 3i) = 1 + 5i, y
0
= 2 3i
y la solucin general es
x = 1 + 5i + k 3
y = 2 3i k (2 2i)
con k Z[i] arbitrario.
3.3.4. Resolucin de ecuaciones en congruencias
Tambin podemos establecer en cualquier anillo eucldeo el concepto de con-
gruencia mdulo un elemento:
Denicin 3.3.9. Sea A un anillo eucldeo y sea m A. Los elementos a, b A
se llaman congruentes mdulo m si tienen el mismo resto al dividirlos por m. Esto
se denota por a b (m od m) o a b mod m
Proposicin 3.3.10. Sean a, b, m A. Entonces a b (m od m) si y slo si
m (a b).
Esta proposicin nos dice que a b (m od m) si y slo si a b = mq para
algn q A, lo que podemos escribir como a = b + mq. Esta observacin pro-
porciona un mtodo muy til de reemplazar una congruencia por una ecuacin
diofntica.
Proposicin 3.3.11. La relacin a b (m od m) es una relacin de equivalen-
cia.
Proposicin 3.3.12. Sea m A. Cualesquiera a, b, c, d A verican las siguien-
tes propiedades:
3.3. ARITMTICA EN DOMINIOS EUCLDEOS 97
1. Si a c (m od m) y b d (m od m), entonces a + b c + d (m od m),
a b c d (m od m) y ab cd (m od m).
2. Si a+c a+d (m od m) entonces c d (m od m). Si ac ad (m od m)
y (a, m) = 1 entonces c d (m od m).
Proposicin 3.3.13. Sean a, m A con m 0 y no invertible en A. Existe un
elemento b tal que ab 1 (m od m) si y slo si m. c. d.(a, m) = 1.
La proposicin 3.3.13 muestra que la congruencia
ax 1 (m od m)
tiene solucin si y slo si (a, m) = 1. De hecho la demostracin (omitida) de dicha
proposicin muestra que se obtiene una solucin utilizando el algoritmo extendido
de Euclides para expresar 1 = ab + mq con b, q A.
Denicin 3.3.14. Dos soluciones r y s a la congruencia ax b (m od m) son
distintas mdulo m si r y s no son congruentes mdulo m.
Teorema 3.3.15. La congruencia ax b (m od m) tiene solucin si y slo si b
es divisible por d = m. c. d.(a, m). Si d b, todas las soluciones son congruentes
mdulo m/d.
Ejemplo 3.3.16. Consideramos A = Z[
2)x 3
2 (m od 3)
Para ello calculamos el mximo comn divisor de 2 +
2 y 3:
q u v
3 1 0
2 +
2 0 1
3
2 1
2 1 3 +
2 0
as que un mximo comn divisor es 1
2 = 3 1 + (2 +
2) (3 +
2).
Ahora (3
2)/(1
2) = 5 4
2)(5 4
2) 23 + 17
2 1
2 (m od 3). Obsrvese que
1
2 es invertible en Z[
2] (su inverso es 1
2), as que 2 +
2 y 3 son
primos relativos y la solucin es nica mdulo 3.
98 CAPTULO 3. DOMINIOS EUCLDEOS
Teorema 3.3.17. Sea A un dominio eucldeo y sean a, b, m, n A. Dos congruen-
cias simultneas
x a (m od m) x b (m od n) (3.3.2)
tienen solucin si y slo si a b (m od (m, n)). En este caso la solucin es nica
mdulo [m, n].
Ejemplo 3.3.18. Vamos a resolver en A = Z[
2] el sistema de congruencias
x 2 (m od (1 +
2))
x
2 (m od (3 +
2))
La solucin general de la primera congruencia es x = 2 + t
1
(1 +
2). Lo
sustituimos en la segunda:
2 + t
1
(1 +
2)
2 (m od (3 +
2))
Trasponiendo trminos nos queda
t
1
(1 +
2) 2 +
2 (m od (3 +
2)) (3.3.3)
Aplicamos ahora el algoritmo de Euclides extendido:
q u v
3 +
2 1 0
1 +
2 0 1
2
2 1 1 2 +
2
as que (3 +
2) 1 + (1 +
2)(2 +
2)(2
2) + u (3 +
2) = 2 + 4
2 + t (3 +
2).
Sustituyendo en la primera solucin obtenemos la solucin general del sistema:
x = 2 + (1 +
2)(2 + 4
2 + t (3 +
2))
= 8 + 2
2 + t (1 + 4
2)
Ejemplo 3.3.19. Vamos ahora a resolver el sistema
x 1 + 2
2 (m od (2 3
2))
x 3 (m od (1 +
2))
3.3. ARITMTICA EN DOMINIOS EUCLDEOS 99
Desarrollamos el algoritmo extendido de Euclides:
q u v
2 3
2 1 0
1 +
2 0 1
1 2
2 1 1 1 + 2
2
as que (2 3
2) 1 + (1 +
2)(1 + 2
2) + (2 3
2)t
1
Sustituyendo en la segunda y trasponiendo trminos nos queda la ecuacin
(2 3
2)t
1
3 (1 + 2
2) = 2 2
2 (m od (1 +
2))
Por el algoritmo de Euclides calculado tenemos que
t
1
1 (2 2
2) = 2 + 2
2 (m od (1 +
2))
Sustituyendo en la solucin de la primera obtenemos la solucin general del sis-
tema:
x = (1 +
2) + (2 3
2)((2 + 2
2) + (1 +
2)t)
= (9 + 11
2) + (8
2)t
Teorema 3.3.20. Sea A un dominio eucldeo y sean a
i
, m
i
A para i = 1, . . . , r.
Un sistema de r congruencias simultneas
x a
i
(m od m
i
) i = 1, 2, . . . , r (3.3.4)
tiene solucin si y slo si para todo par de ndices i, j se verica
a
i
a
j
(m od (m
i
, m
j
)) (3.3.5)
y en este caso la solucin es nica mdulo M
r
= [m
1
, . . . , m
r
].
Ejemplo 3.3.21. Vamos a tomarA = Z[i], el anillo de los enteros de Gauss y
consideramos el sistema de congruencias:
x i (m od 3)
x 2 (m od (2 + i))
x 1 + i (m od (3 + 2i))
x 3 + 2i (m od (4 + i))
100 CAPTULO 3. DOMINIOS EUCLDEOS
El mximo comn divisor de los dos primeros mdulos es 3(i)+(2+i)(1+i) = 1.
La solucin general de la primera ecuacin es
x = i + 3t
1
Sustituyendo en la segunda ecuacin nos queda 3t
1
2 i (m od (2 +i)). Luego
t
1
i (2 i) = 1 2i (m od (2 +i)) y la solucin general de las dos primeras
ecuaciones es
x = i + 3(1 2i + (2 + i)t
2
= 3 5i + (6 + 3i)t
2
Sustituimos en la tercera ecuacin y despejamos: (6+3i)t
2
4+6i (m od (3+2i)).
El algoritmo extendido de Euclides muestra que (6 + 3i)i + (3 + 2i)(2i) = 1 por
lo que t
2
i(4 + 6i) (m od (3 + 2i)). La solucin general de las tres primeras
ecuaciones es ahora
x = 3 5i + (6 + 3i)(i(4 + 6i) + (3 + 2i)t
3
)
= 51 + i + (12 + 21i)t
3
Finalmente sustituimos este valor en la cuarta ecuacin y despejamos:
(12 + 21i)t
3
54 + i (m od (4 + i))
La aplicacin correspondiente del algoritmo de Euclides nos da (i)(12 + 21i) +
(4+4i)(4+i) = 1. Luego t
3
(i)(54+i) = 154i (m od (4+i)) y la solucin
general del sistema dado es
x = 51 + i + (12 + 21i)((1 54i) + (4 + i)t)
= 1095 626i + (27 + 96i)t
= 24 14i + (27 + 96i)t
donde la ltima reduccin se obtiene por el cambio t t +(3+12i). (El algoritmo
de divisin nos da 1095 626i = (27 + 96i)(3 12i) + (24 14i)).
Ejemplo 3.3.22. Cuando los mdulos de un sistema de congruencias son primos
relativos dos a dos, podemos emplear el algoritmo chino del resto. Volvamos a
resolver el sistema del ejemplo anterior:
x i (m od 3)
x 2 (m od (2 + i))
x 1 + i (m od (3 + 2i))
x 3 + 2i (m od (4 + i))
3.3. ARITMTICA EN DOMINIOS EUCLDEOS 101
Formamos el producto de todos los mdulos M = 3(2+i)(3+2i)(4+i) = 27+96i
y cada uno de los cocientes M
1
= M/3 = 9 + 32i, M
2
= M/(2 + i) = 30 + 33i,
M
3
= M/(3+2i) = 21+18i y M
4
= M/(4+i) = 12+21i. El algoritmo de Euclides
para cada uno de los cuatro casos nos da
i(9 + 32i) + (11 3i)3 = 1
(1)(30 + 33i) + (19 + 7i)(2 + i) = 1
2(21 + 18i) + (15 2i)(3 + 2i) = 1
(i)(12 + 21i) + (4 + 4i)(4 + i) = 1
El teorema chino del resto nos dice que la solucin del sistema dado es
x i i(9 + 32i) + 2 (1)(30 + 33i)
+ (1 + i) 2(21 + 18i) + (3 + 2i) (i)(12 + 21i)
24 14i (m od (27 + 96i))
102 CAPTULO 3. DOMINIOS EUCLDEOS
Bibliografa
[1] J. A. Beachy and W. D. Blair, Abstract Algebra, Waveland Press 1996
[2] Z. I. Borevich and I. R. Shafarevich, Number Theory, Academic Press 1966
[3] H. Cohn, A Classical Invitation to Algebraic Numbers and Class Fields,
Springer 1978
[4] P. M. Cohn, Algebra I, Wiley and sons 1977
[5] D. S. Dummit and R. M. Foote, Abstract Algebra 2nd ed., Prentice-Hall 1999
[6] I. Niven, H. S. Zuckerman and H. L. Montgomery, An Introduction to the
Theory Of Numbers, Wiley 1991
103
104 BIBLIOGRAFA
Captulo 4
Polinomios
4.1. Deniciones y primeras propiedades
Sea A un anillo conmutativo.
Denicin 4.1.1. El conjunto de polinomios en la indeterminada X con coecien-
tes en A es el conjunto de todas las sumas formales nitas
f = a
n
X
n
+ a
n1
X
n1
+ + a
1
X + a
0
Este conjunto se representa por A[X].
Obsrvese que X no es una variable. Es un elemento nuevo, indeterminado
que no representa a ningn elemento de A (Al nal de la edad media y en el rena-
cimiento le llamaban la cosa, y los que manipulaban la cosa ,i.e. los algebristas,
se llamaban cosistas).
En el conjunto de polinomios denimos una suma y un producto: Sean
f = a
n
X
n
+ a
n1
X
n1
+ + a
1
X + a
0
g = b
m
X
m
+ b
m1
X
m1
+ + b
1
X + b
0
dos polinomios. Supongamos que m n, Tomamos b
i
= 0 para todo n i > m.
Con este convenio denimos
f + g = (a
n
+ b
n
)X
n
+ + (a
1
+ b
1
)X + (a
0
+ b
0
).
f g = a
n
b
n
X
n+m
+ (a
n
b
m1
+ a
n1
b
m
)X
n+m1
+
+ (a
1
b
0
+ a
0
b
1
)X + a
0
b
0
Teorema 4.1.2. El conjunto A[X] con las dos operaciones denidas forma un
anillo conmutativo que se llama anillo de polinomios en X con coecientes en A.
105
106 CAPTULO 4. POLINOMIOS
Lema 4.1.3. La aplicacin : A A[X] denida por (a) = a es un monomor-
smo de anillos.
Normalmente se identica cada elemento a A con el polinomio (a) A[X],
con lo que A es un subanillo de A[X].
Denicin 4.1.4. Para un polinomio f = a
n
X
n
+ a
n1
X
n1
+ + a
1
X + a
0
0 el
mayor ndice n tal que a
n
0 se llama grado de f y se representa por gr( f ). Si
f = 0 denimos gr( f ) = .
Cada uno de los sumandos a
i
X
i
se llama monomio o trmino (de grado i) del
polinomio f .
El trmino no nulo de mayor grado se llama trmino lder. El coeciente a
n
0 del trmino lder se llama coeciente lder y el trmino de grado cero a
0
se llama
trmino constante.
Un polinomio f = X
n
+ a
n1
X
n1
+ + a
1
X + a
0
cuyo coeciente lder vale
1 se llama polinomio mnico.
Un polinomio f se llama constante si gr( f ) 0, es decir, cuando f Im().
Teorema 4.1.5. Para cualquier anillo conmutativo A y cualesquiera polinomios
f , g A[X] se verica
gr( f + g) m ax(gr( f ), gr(g))
gr( f g) gr( f ) + gr(g)
Si A es un dominio de integridad se verica
gr( f g) = gr( f ) + gr(g)
Corolario 4.1.6. El anillo conmutativo A es un dominio de integridad si y slo si
A[X] es un dominio de integridad.
En cualquier dominio de integridad es importante determinar el grupo de uni-
dades y los elementos irreducible y primos, para poder estudiar sus propiedades
de divisibilidad. En este sentido los primeros resultados son los siguientes:
Proposicin 4.1.7. 1. Sea A un dominio de integridad. Los elementos inverti-
bles de A[X] son exactamente los invertibles de A
2. Todo polinomio X a A[X] es irreducible.
La propiedad mas importante de un anillo de polinomios es la siguiente:
Teorema 4.1.8 (Propiedad universal del anillo de polinomios). Sea A un anillo
conmutativo, : A A[X] la inclusin de A en el anillo de polinomios. Para todo
anillo conmutativo B, todo homomorsmo de anillos : A B y todo elemento
b B existe un nico homomorsmo de anillos ev
b
: A[X] B tal que (ev
b
) =
y ev
b
(X) = b.
4.1. DEFINICIONES Y PRIMERAS PROPIEDADES 107
Esta propiedad se visualiza mejor en un diagrama: Dadas y existe un nico
ev
b
que hace el siguiente diagrama conmutativo y aplica X en b:
A
//
!!
D
D
D
D
D
D
D
D
D
A[X]
ev
b
B
Demostracin. Sea f =
_
n
i=0
a
i
X
i
. Denimos ev
b
( f ) =
_
n
i=0
(a
i
)b
i
, es decir, apli-
camos a todos los coecientes de f , sustituimos X por b y realizamos en B las
operaciones indicadas. Es rutina comprobar que ev
b
es un homomorsmo de ani-
llos, que
ev
b
(X) = b
y que ev
b
= .
Sea ahora : A[X] B otro homomorsmo de anillos que verique las
mismas propiedades y sea f =
_
n
i=0
a
i
X
i
A[X] arbitrario. Entonces
( f ) = (
n
i=0
a
i
X
i
) =
n
i=0
(a
i
)(X)
i
=
n
i=0
(a
i
)b
i
= ev
b
( f )
luego = ev
b
es nico.
El morsmo ev
b
del teorema anterior se llama morsmo de evaluacin en b.
Se aplica sobre todo cuando es una inclusin, es decir que para todo a A,
(a) = a. En este caso ev
b
(a
n
X
n
+ + a
1
X + a
0
) = a
n
b
n
+ + a
1
b + a
0
es el
resultado de evaluar f en b y se representa por ev
b
( f ) = f (b).
Denicin 4.1.9. Un elemento a A se llama cero o raz de f si f (a) = 0.
Todo polinomio f A[X] dene una aplicacin polinmica
f : A A
mediante
f (a) = f (a). En general, distintos polinomios pueden denir la misma
aplicacin polinmica.
Ejemplo 4.1.10. Sea A = Z
2
el anillo de las clases de restos mdulo 2. Sean f = 0,
g = X
2
+ X, h = X
3
+ X polinomios de Z
2
[X]. Como polinomios son distintos,
pero los tres denen la misma funcin polinmica Z
2
Z
2
, a saber la funcin
que aplica todo elemento (slo hay dos) de Z
2
en el cero de Z
2
.
El proceso de construir el anillo de polinomios en una indeterminada puede
aplicarse a cualquier anillo conmutativo, en particular a un mismo anillo de poli-
nomios A[X]: Sea Y otra indeterminada. Denimos A[X, Y] = A[X][Y], el anillo
de polinomios en dos indeterminadas con coecientes en A. Sus elementos son de
la forma
f =
i, j
a
i j
X
i
Y
j
108 CAPTULO 4. POLINOMIOS
donde la suma es nita (En lugar de ello se suele decir que tomamos la suma sobre
todos los pares i, j pero con a
i j
= 0 para casi todo par (i, j), es decir, para todos
excepto un conjunto nito).
Mas generalmente, denimos inductivamente el anillo de polinomios en las
indeterminadas X
1
, . . . , X
n
por la regla
A[X
1
, . . . , X
n
] = A[X
1
, . . . , X
n1
][X
n
]
. En otras palabras, consideramos a los elementos de A[X
1
, . . . , X
n
] como poli-
nomios en X
n
con coecientes en A[X
1
, . . . , X
n1
]. Naturalmente existe un mo-
nomorsmo : A A[X
1
, . . . , X
n
] y A se identica con el subanillo Im() de
A[X
1
, . . . , X
n
].
Lema 4.1.11. El anillo conmutativo A es un dominio de integridad si y slo si lo
es A[X
1
, . . . , X
n
]
Demostracin. Induccin sobre n.
De la denicin tenemos que todo elemento f de A[X
1
, . . . , X
n
] se escribe de
manera nica como
f =
a
i
1
...i
n
X
i
1
1
. . . X
i
n
n
Aqu a
i
1
...i
n
esta determinado de manera nica como el coeciente en f del mo-
nomio X
i
1
1
. . . X
i
n
n
. Formalmente la suma anterior es innita, pero de hecho slo
un nmero nito de coecientes son distintos de cero. Ya que las indeterminadas
conmutan entre s con los elementos de A, el anillo A[X
1
, . . . , X
n
] depende sim-
tricamente de las X
i
; as que X
n
no juega ningn papel especial. Podamos haber
escrito f como un polinomio en X
1
con coecientes en A[X
2
, . . . , X
n
] o escoger
cualquier otra X
i
.
Denicin 4.1.12. Cada producto M
i
= X
i
1
1
. . . X
i
n
n
se llama monomio primitivo; el
trmino correspondiente a
i
1
...i
n
X
i
1
1
. . . X
i
n
n
se llama monomio o trmino monomial;
su grado total (o sencillamente grado) es
_
i
j
, y el grado en X
j
es i
j
. El grado de
f es el mximo de los grados de sus trminos no nulos.
Por ejemplo f = 2X
5
1
X
3
2
X
3
X
2
1
X
3
3
+7X
6
2
es de grado 5 en X
1
, de grado 6 en X
2
y de grado 3 en X
3
; el grado total de f es 9.
Denicin 4.1.13. Un polinomio en el que todos los trminos tienen el mismo
grado total se llama polinomio homogneo o tambin una forma. En una inde-
terminada las nicas formas son los monomios, pero ya para dos indeterminadas
puede haber otros, por ejemplo las forma cuadrticas aX
2
+ bXY + cY
2
.
Un criterio prctico de homogeneidades es el siguiente
4.2. EL ALGORITMO DE LA DIVISIN CON RESTO 109
Lema 4.1.14. El polinomio f A[X
1
, . . . , X
n
] es homogneo de grado k si y slo
si para otra indeterminada t se verica que
f (tX
1
, . . . , tX
n
) = t
k
f (X
1
, . . . , X
n
).
A veces es conveniente ordenar los monomios. Incluso para propsito tan sen-
cillo como escribir la expresin total de un polinomio es necesario un orden total
de los monomios. Con frecuencia se usa el orden lexicogrco denido as: Entre
monomios de distinto grado grado total, el de mayor grado precede al de menor
grado. Entre monomios del mismo grado total, el monomio X
i
1
1
. . . X
i
n
n
precede a
X
j
1
1
. . . X
j
n
n
si la primera diferencia no nula i
1
j
1
, . . . i
n
j
n
es positiva.
Por ejemplo, X
3
1
X
2
X
2
3
precede a X
3
1
X
3
3
y es precedido por X
3
1
X
2
2
X
3
. En cual-
quier polinomio, el primer trmino monomial (en el orden lexicogrco) entre los
trminos de grado mximo se llama el trmino lder
4.2. El algoritmo de la divisin con resto
Teorema 4.2.1 (Algoritmo general de divisin). Sea A un anillo conmutativo y
sean f , g A[X] con el coeciente lder de g invertible. Entonces existen nicos
q, r A[X] tales que f = qg + r y gr(r) < gr(g).
Demostracin. Induccin sobre gr( f ). Sean f = a
n
X
n
+ + a
1
X + a
0
y g =
b
m
X
m
+ + b
0
. Si gr( f ) < gr(g), tomamos q = 0 y r = f . Sea ahora gr( f ) = n
gr(g) = m. Denimos
f
1
= f (a
n
b
1
m
)X
nm
g (4.2.1)
Es inmediato que gr( f
1
) < gr( f ) y por induccin existen q
1
, r A[X] tales que
f
1
= q
1
g + r con gr(r) < gr(g). Despejando en 4.2.1 vemos que
f = (a
n
b
1
m
)X
nm
g + f = ((a
n
b
1
m
)X
nm
g + q
1
)g + r
Denimos q = (a
n
b
1
m
)X
nm
g + q
1
y tenemos demostrada la existencia de cociente
y resto.
Para ver la unicidad, sea f = qg+r = q
1
g+r. Trasponiendo trminos tenemos
(q q
1
)g = r r
1
. Como el coeciente lder de g es invertible se verica
gr(g) > m ax(gr(r), gr(r
1
) gr(r r
1
) = gr((q q
1
)g) = gr(q q
1
) + gr(g)
lo que implica que gr(q q
1
) = y q q
1
= 0. Luego q = q
1
y por tanto
r = r
1
.
Corolario 4.2.2. Sea K un cuerpo. Entonces K[X] es un anillo eucldeo
110 CAPTULO 4. POLINOMIOS
Demostracin. En un cuerpo, todo elemento no nulo es invertible. As que para
todo polinomio no nulo g el coeciente lder es invertible. Por el teorema anterior,
para cualesquiera polinomios f , g con g 0 existen nicos q, r tales que f = qg+r
con gr(r) < gr(g). Esta es la segunda condicin en la denicin de anillo eucldeo.
Por otro lado todo cuerpo es un dominio de integridad, as que para dos poli-
nomios no nulos f , g se verica gr( f g) = gr( f ) +gr(g) gr( f ). esta es la primera
condicin de dicha denicin
Por tanto K[X] es eucldeo respecto a la funcin grado.
Corolario 4.2.3 (Teorema del resto). Sea A un anillo conmutativo, a un elemento
de A y f A[X] un polinomio. Entonces existe un q A[X] tal que
f = (X a)q + f (a)
y (X a) divide a f si y slo si f (a) = 0.
Teorema 4.2.4. Sea A un dominio de integridad y sea f A[X]. Sean a
1
, . . . , a
m
A elementos distintos tales que f (a
i
) = 0 para i = 1, . . . m. Entonces ((X
a
1
) . . . (X a
m
)) divide a f .
Demostracin. Induccin sobre m. Para m = 1 esto es parte del teorema del resto.
Sea m > 1. Por induccin f = (X a
1
) . . . (X a
m1
)g con g A[X]. Evaluamos
en a
m
:
0 = f (a
m
) = (a
m
a
1
) . . . (a
m
a
m1
)g(a
m
)
Como los a
i
distintos, a
m
a
i
0 para i = 1, . . . m 1. Como A es un dominio de
integridad, g(a
m
) = 0. Por el teorema del grado g = (X a
m
)g
1
. Sustituyendo en
la expresin de f nos queda f = (X a
1
) . . . (X a
m1
)(X a
m
)g
1
y por tanto el
producto ((X a
1
) . . . (X a
m
)) divide a f .
Corolario 4.2.5. Sea A un dominio de integridad y f A[X], f 0. El nmero
de races de f en A es menor o igual al grado de f .
Ejemplo 4.2.6. El teorema y corolarios anteriores son falsos para anillos conmuta-
tivos generales: Sea f = X
2
1 Z
8
[X]. En Z
8
el polinomio f tiene cuatro races
distintas: 1, 3, 5, 7. Adems (X 1)(X 3) no divide a f .
Corolario 4.2.7. Sea A un dominio de integridad, a
1
, . . . , a
n+1
elementos distintos
de A y f , g A[X] tales que gr( f ), gr(g) y f (a
i
) = g(a
i
) para i = 1, . . . n + 1.
Entonces f = g.
Demostracin. El polinomio f g tiene grado menor o igual a n y tiene n + 1
races distintas. Luego tiene que ser el polinomio cero.
4.3. FACTORIZACIN 111
Corolario 4.2.8. Sea A un dominio de integridad innito y sean f , g A[X] tales
que para todo a A se verica f (a) = g(a). Entonces f = g.
Este ltimo corolario nos dice que si A es un dominio de integridad innito, la
correspondencia entre polinomios y funciones polinmicas es biyectiva.
El anterior corolario se generaliza a varias indeterminadas:
Teorema 4.2.9. Sea A un dominio de integridad y f A[X
1
, . . . , X
n
] tal que para
cualesquiera a
1
, . . . , a
n
A se verica f (a
1
, . . . , a
n
) = 0. Entonces f = 0.
Demostracin. Induccin sobre n.
Corolario 4.2.10 (Principio de irrelevancia de desigualdades algebraicas). Sea
A un dominio de integridad y sean f , g, h A[X], h 0 tales que para a
1
, . . . , a
n
A, h(a
1
, . . . , a
n
) 0 f (a
1
, . . . , a
n
) = g(a
1
, . . . , a
n
). Entonces f = g.
Demostracin. El polinomio ( f g)h se anula sobre todos los a
1
, . . . , a
n
A.
Luego ( f g)h = 0. Como A[X
1
, . . . , X
n
] es un dominio de integridad y h 0,
necesariamente f g = 0.
El principio de irrelevancia de desigualdades algebraicas se llama tambin
propiedad de densidad, por su interpretacin en geometra algebraica.
4.3. Factorizacin
Sea K un cuerpo. El anillo K[X] es un dominio eucldeo y por tanto tambin
es un dominio de factorizacin nica.Vamos ahora a estudiar la factorizacin de
polinomios en ese anillo. En primer lugar caracterizamos los elementos inverti-
bles:
Lema 4.3.1. Las unidades de K[X] son los polinomios constantes no nulos.
El primer teorema proporciona algunos polinomios irreducibles:
Teorema 4.3.2. Los polinomios de grado uno son irreducibles en K[X].
Estos son los nicos irreducibles si y slo si todo polinomio de K[X] de grado
positivo tiene una raz en K.
Demostracin. El primer resultado se deduce del teorema del grado.
Supongamos que todo polinomio irreducible es de grado uno. El anillo K[X]
es un dominio de factorizacin nica, por tanto todo polinomio f no constante
es divisible por un irreducible, as que existe un b
1
X b
0
con b
1
0 tal que
f = (b
1
X b
0
)q. Pero entonces f (b
1
/b
0
) = 0 y f tiene una raz b
1
/b
0
K.
112 CAPTULO 4. POLINOMIOS
A la inversa, si todo polinomio no constante tiene una raz en K, sea f un
polinomio irreducible y sea a K tal que f (a) = 0. Por el teorema del resto X a
divide a f . Como f es irreducible, debe ser asociado a X a y por tanto es de
grado uno.
Denicin 4.3.3. Un cuerpo en que todo polinomio no constante tiene una raz se
llama algebraicamente cerrado.
El llamado teorema fundamental del lgebra dice que el cuerpo C de los
nmeros complejos es algebraicamente cerrado. Este hecho fue conjeturado por
DAlembert y demostrado por primera vez por el gran Gauss en su tesis doctoral.
Dicha demostracin tena una laguna, pero a lo largo de su vida Gauss proporcion
cinco demostraciones correctas distintas. Sin embargo todas esas demostraciones
utilizan bastante maquinaria analtica (como es propio, porque la construccin de
C se basa en R que es el objeto de estudio del anlisis matemtico). Desde un pun-
to de vista puramente algebraico, el hecho de que C sea algebraicamente cerrado
es relativamente poco importante. Es mas importante demostrar que todo cuerpo
K es un subcuerpo de otro cuerpo
K algebraicamente cerrado.
La factorizacin de polinomios con coecientes en un cuerpo algebraicamente
cerrado (como C) es muy sencilla: Todo polinomio no constante es un producto
de polinomios de grado uno.
Sobre los nmeros reales es casi igual de fcil: Todo polinomio es no constante
es un producto de polinomios irreducibles de grado uno y dos. Sobre el cuerpo Q
de los nmeros racionales la situacin es muy diferente: Existen polinomios irre-
ducibles de todos los grados y para un polinomio f Q[X] dado puede ser difcil
hallar sus factores. El resto de esta seccin va encaminado a intentar factorizar
polinomios en Q[X].
Vamos a establecer los teoremas en un contexto mas general: Sea A un dominio
de factorizacin nica y sea K su cuerpo de fracciones.
Denicin 4.3.4. Para todo polinomio no nulo f = a
n
X
n
+ + a
0
A[X] llama-
mos contenido de f a c( f ) = m. c. d.(a
n
, . . . , a
0
).
Un polinomio f A[X] se llama primitivo si c( f ) = 1.
Lema 4.3.5. Todo polinomio f A[X] se expresa como f = c( f ) f
1
con f
1
primi-
tivo.
Teorema 4.3.6 (Lema de Gauss). El producto de dos polinomios primitivos es
primitivo.
Demostracin. Sean f = a
n
X
n
+ + a
0
, g = b
m
X
m
+ + b
0
dos polinomios
primitivos de A[X]. Sea p A un primo de A arbitrario. Como f , g son primitivos,
m. c. d.(a
n
, . . . , a
0
) = 1 = m. c. d.(b
m
, . . . , b
0
) y en cada uno de ellos existe por lo
4.3. FACTORIZACIN 113
menos un coeciente no divisible por p. Sean a
i
y b
j
los primeros coecientes no
divisibles por p, de forma que para todo k > i, p divide a a
k
y para todo l > j, p
divide a b
l
. En el polinomio producto f g consideramos el coeciente del trmino
de grado i + j:
c
i+j
= (a
i+j
b
0
+ + a
i+1
b
j1
) + a
i
b
j
+ (a
i1
b
j+1
+ + a
0
b
i+j
Todos los trminos del primer parntesis (que puede ser vaco) so divisibles por
p, como tambin lo son todos los trminos del segundo parntesis (que tambin
puede ser vaco). As que c
i+j
= q
1
p + a
i
b
j
+ q
2
p con q
1
, q
2
A. Si p dividiese a
c
i+j
, necesariamente p a
i
b
j
y como p es primo, dividira a uno de los factores, lo
cual es imposible. Luego p no divide a c
i+j
.
Hemos demostrado que para todo primo p A existe un coeciente del pro-
ducto h = f g que no es divisible por p. Luego el mximo comn divisor de los
coecientes de h es 1 y h es primitivo.
Corolario 4.3.7. Para dos polinomios f , g A[X], el contenido del producto es
el producto de los contenidos, es decir c( f g) = c( f )c(g).
Teorema 4.3.8. Sea f A[X] primitivo. Entonces f es irreducible en A[X] si y
slo si es irreducible en K[X].
Demostracin. Supongamos que f = gh es una factorizacin de f en K[X]. Mul-
tiplicando por un denominador comn obtenemos k = a f = bg
1
h
1
, donde a, b A
y los polinomios g
1
, h
1
son primitivos. Por el lema de Gauss el producto g
1
h
1
tam-
bin es primitivo. Luego a y b son ambos contenidos del polinomio k, luego son
asociados. Sea b = ua con u invertible. Sustituyendo y simplicando nos queda
f = (uf
1
)g
1
donde uf
1
, g
1
A[X] son primitivos y gr(u f
1
) = gr( f ), gr(g
1
) = gr(g).
Luego f es factorizable en A[X].
A la inversa, sea f = gh una factorizacin en A[X]. Los polinomios f , g no son
constantes y tienen sus coecientes en K, luego esa misma es una factorizacin
en K[X].
Hemos visto que f es reducible en A[X] si y slo si es reducible en K[X]. El
contrarrecproco es el resultado buscado.
Corolario 4.3.9. Los elementos irreducibles en A[X] son de uno de los siguientes
tipos:
1. Polinomios de grado cero que son irreducibles en A
2. Polinomios primitivos que son irreducibles en K[X].
Teorema 4.3.10. Sea A un dominio de integridad. El anillo A es un dominio de
factorizacin nica si y slo si A[X] es un dominio de factorizacin nica.
114 CAPTULO 4. POLINOMIOS
Demostracin. En primer lugar supongamos que A[X] es un dominio de facto-
rizacin nica. Los elementos de A pertenecen a A[X] y por tanto descomponen
de manera nica como producto de irreducibles en A[X], necesariamente todos de
grado cero. Por tanto todo a A descompone de manera nica como producto de
irreducibles en A. Luego A es un dominio de factorizacin nica.
A la inversa sea A un dominio de factorizacin nica. Sea f A[X] no cero.
Descomponemos f = c( f ) f
1
con f
1
primitivo. Descomponemos c( f ) = p
1
. . . p
t
en producto de irreducibles en A y f
1
= q
1
. . . q
s
en producto de primitivos irre-
ducibles en K[X]. Entonces f = p
1
. . . p
t
q
1
. . . q
s
es una descomposicin de f en
producto de irreducibles en A[X].
Sea ahora p un irreducible en A[X] y sean f , g A[X] tales que p divide al
producto f g.
Si gr(p) = 0, entonces p es irreducible y primo en A y p divide al contenido
c( f g) = c( f )c(g). Luego p divide a c( f ) (en cuyo caso divide a f ) o divide a c(g)
(en cuyo caso divide a g. Luego p es primo.
Si gr(p) > 0, entonces p es un polinomio primitivo irreducible y por tanto
primo en K[X]. Luego p divide a f o a g en K[X]. Sea q un polinomio en K[X] tal
que f = pq. Extrayendo contenidos, vemos que q pertenece a A[X] y por tanto p
divide a f en A[X]. Luego p es primo en A[X].
Hemos demostrado que todo polinomio de A[X] descompone como producto
de irreducibles y que todo irreducible es primo. Luego A[X] es un dominio de
factorizacin nica.
Corolario 4.3.11. Sea A un dominio de integridad. Entonces A es un dominio
de factorizacin nica si y slo si A[X
1
, . . . , X
n
] es un dominio de factorizacin
nica.
Corolario 4.3.12. Sea K un cuerpo. El anillo K[X
1
, . . . , X
n
] es un dominio de
factorizacin nica.
4.4. Criterios de irreducibilidad
En esta seccin A es un dominio de factorizacin nica y K es su cuerpo de
fracciones, salvo mencin expresa en contrario.
La factorizacin en el anillo de polinomios A[X] presenta dos problemas prc-
ticos relacionados entre s:
1. Dado un polinomio f A[X] determinar si es reducible o irreducible
2. Si f es reducible, factorizarlo en irreducibles.
4.4. CRITERIOS DE IRREDUCIBILIDAD 115
Para el primer caso muchas veces basta tener criterios sucientes (es decir,
que si un polinomio satisface el criterio, es irreducible. Si no lo satisface no pode-
mos decir nada). Evidentemente, una solucin general del segundo punto incluira
criterios necesarios y sucientes para que un polinomio dado sea irreducible.
Empezamos determinando los factores de grado uno:
Proposicin 4.4.1. Sean f = a
n
X
n
+ +a
0
, g = b
m
X +b
0
A[X] con a
n
, b
m
0.
Si g divide a f , necesariamente b
m
divide a a
n
y b
0
divide a a
0
Demostracin. Sea h = c
k
X
k
+ + c
0
A[X] tales que f = gh. Entonces el
coeciente lder del producto es a
n
= b
m
c
k
y el trmino independiente es a
0
=
b
0
c
0
Corolario 4.4.2 (Regla de Runi). Sea f = a
n
X
n
+ + a
0
y sea a/b K tal
que m. c. d.(a, b) = 1 y f (a/b) = 0. Entonces a divide a a
n
y b divide a a
0
.
La regla de Runi la describi ya Newton en su libro Arithmetica Universa-
lis (publicado en 1707, cincuenta y ocho aos antes del nacimiento de Runi),
para determinar las races racionales y enteras de polinomios con coecientes en-
teros. El corolario anterior permite usarla para hallar las races de polinomios con
coecientes en cualquier dominio de fatorizacin nica.
Ejemplo 4.4.3. Sea f = X
4
+ 4 Z[X]. Cualquier raz racional suya debe ser
de la forma a/b con b 1 y a 4. Luego las posibles races racionales de f son
1, 1, 2, 2, 4, 4. Un clculo rpido muestra que ninguno de estos nmeros es
raz de f , luego el polinomio f no tiene races en Q.
Ejemplo 4.4.4. Sea ahora f = X
4
+ 4 J[X]. Los divisores de 4 son ahora 1, 1 +
i, 2, 2 + 2i, 4 y sus asociados (todos los productos por las unidades 1, i). Un
nuevo clculo muestra que f (1 + i) = f (1 i) = f (1 + i) = f (1 i) = 0, luego
f tiene cuatro races en J y factoriza como
X
4
+ 4 = (X (i + i))(X (i i))(X (i + i))(X (i i))
Un criterio de aplicacin muy rpida es debido a un discpulo de Gauss:
Teorema 4.4.5 (Criterio de Eisenstein). Sea f = a
n
X
n
+ + a
0
un polinomio
primitivo y sea p A un primo tal que p a
n
, p a
i
para i = n 1, . . . , a
0
y
p
2
a
0
. Entonces f es irreducible en A[X].
Demostracin. Supongamos que f es reducible, f = gh con g = b
m
X
m
+ + b
0
y h = c
r
X
r
+ + c
0
con m, r 1 y n = m + r. Como p no divide a a
n
= b
m
c
r
,
necesariamente p b
m
y p c
r
. Como p divide a a
0
= b
0
c
0
, p debe dividir a uno
de los factores, sea p b
0
. Entonces p no divide a c
0
porque p
2
a
0
= b
0
c
0
. Sea
i tal que p b
i
pero p b
j
para todo j < i. El coeciente en f del trmino de
116 CAPTULO 4. POLINOMIOS
grado i es a
i
= b
i
c
0
+ (b
i1
c
1
+ + b
0
c
i
). Todos los trminos del parntesis son
divisibles por p y p b
i
c
0
, luego p a
i
. Pero i m < n, luego por la hiptesis
p a
i
, contradiccin.
Ejemplo 4.4.6. Sea f = 2X
5
6X
3
+9X
2
15 Z[X]. El polinomio f es primitivo
porque m. c. d.(2, 6, 9, 15) = 1. El primo 3 divide a todos los coecientes menos
al lder, y 3
2
= 9 no divide al trmino independiente, luego f es irreducible en
Z[X].
Ejemplo 4.4.7. Sea f = Y
3
+X
2
Y
2
+XY +X K[X, Y] con K un cuerpo arbitrario.
Como K[X, Y] = A[Y] con A = K[X] dominio eucldeo, aplicando el criterio de
Eisenstein con el primo X A[X] vemos que f es irreducible en K[X, Y].
A veces el polinomio dado no satisface las condiciones del criterio de Eisens-
tein pero un transformado sencillo s las satisface. Del siguiente lema podemos
deducir entonces la irreducibildad del polinomio original:
Lema 4.4.8. Sea A un dominio de integridad y sea f A[X]. Sea a A arbitrario
y sea f
a
(X) = f (X+a). Entonces f descompone como f = gh con gr(g), gr(h) > 0
si y slo si f
a
= g
a
h
a
. En este caso gr(g
a
) = gr(g) > 0 y gr(h
a
) = gr(h) > 0.
Demostracin. Clculo trivial.
Corolario 4.4.9. Sea A un dominio de factorizacin nica y sea f A[X] primi-
tivo. Sea a A arbitrario tal que f
a
sea primitivo. Entonces f es irreducible si y
slo si f
a
es irreducible
Ejemplo 4.4.10. Sea f = X
4
+ 1 Z[X]. No podemos aplicar directamente el
criterio de Eisenstein a f . Pero
f
1
= f (X + 1) = (X + 1)
4
+ 1 = X
4
+ 4X
3
+ 6X
2
+ 4X + 2
satisface las condiciones del criterio de Eisenstein con p = 2. Luego f
1
es irredu-
cible en Z[X] y por tanto tambin lo es f .
Ejemplo 4.4.11. (Este ejemplo se remonta a Gauss). Sea p Z un primo. El
polinomio
p
=
X
p
1
X 1
= X
p1
+ X
p2
+ + X + 1
se llama p-simo polinomio ciclotmico. Vamos a comprobar que
p
es irreduci-
ble en Z[X] (y por tanto en Q[X]): Calculamos el desarrollo de f =
p
(X + 1):
f =
(X + 1)
p
1
(X + 1) 1
=
(
_
p
i=0
_
p
i
_
X
i
) 1
X
=
p
i=1
_
p
i
_
X
i1
4.4. CRITERIOS DE IRREDUCIBILIDAD 117
Ahora p no divide al coeciente lder
_
p
p
_
= 1, p divide a
_
p
i
_
para i = p 1, . . . 1 y
p
2
no divide al trmino independiente
_
p
1
_
= p. Luego f es irreducible en Z[X] y
por tanto tambin lo es
p
.
A veces se utiliza otra transformacin del polinomio:
Denicin 4.4.12. Sea f = a
n
X
n
+ a
n1
X
n1
+ a
1
X + a
0
A[X] un polinomio
con a
n
, a
0
0. Se llama polinomio reciproco de f al polinomio
f
rec
= a
0
X
n
+ a
1
X
n1
+ + a
n1
X + a
n
= X
n
f
_
1
X
_
Lema 4.4.13. Sea f A[X] primitivo. Entonces f es irreducible en A[X] si y slo
si f
rec
es irreducible.
Demostracin. Los coecientes de f
rec
son los mismos que los de f , luego f
rec
es primitivo. Sea ahora f = gh con m = gr(g), r = gr(h) y n = gr( f ) = m + r.
Entonces
f
rec
= X
n
f
_
1
X
_
= X
m
X
r
g
_
1
X
_
h
_
1
X
_
= g
rec
h
rec
f = X
4
+ 1 = (X + 1)
4
, lo que no nos da informacin interesante. Mdulo 3 es
f = X
4
+ 2X
2
+ 1 = (X
2
+ 1)
2
, luego si f factoriza en Z[X], debe hacerlo como
producto de dos polinomios de grado 2, f = gh. Adems los trminos constantes
de g y h deben ser divisores de 1 y congruentes con 1 mdulo 3, luego ambos
valen 1.
Supongamos que f = (X
2
+ aX + 1)(X
2
+ bX + 1) = X
4
+ (a + b)X
3
+ (ab +
2)X
2
+(a +b)X +1). Comparando coecientes debe ser a +b = 0 y ab +2 = 22,
as que b = a y a
2
= 24. Esta ltima ecuacin no tiene solucin con a entero,
luego la factorizacin es imposible y f es irreducible.
4.5. Factorizacin en un nmero nito de pasos
Si el polinomio dado f es reducible, el problema es determinar los factores de
f en un nmero nito de pasos (y en un tiempo razonable). En el libro Arithmetica
Universalis citado antes, Newton describe cmo hallar los factores cuadrticos de
un polinomio con coecentes enteros. Esta es la traslacin de dicho mtodo a
dominios de factorizacin nica:
Sea A un dominio de factorizacin nica con un nmero nito de unidades y
4.5. FACTORIZACIN EN UN NMERO FINITO DE PASOS 119
sea f = gh A[X] con
f = a
n
X
n
+ + a
0
g = b
2
X
2
+ b
1
X + b
0
Entonces b
2
divide a a
n
, b
0
divide a a
0
y g(1) = b
2
+ b
1
+ b
0
divide a f (1) = a
n
+
+ a
0
. Estas condiciones limitan a un nmero nito las posibilidades para b
2
, b
0
y b
1
. Para cada una de las ternas (b
2
, b
1
, b
0
) posibles construimos el polinomio g y
probamos a dividir f por g. As se determinan todos los factores cuadrticos de f .
Para limitar an mas el conjunto de posibles divisores se utiliza la condicin
de que g(1) = b
2
b
1
+ b
0
divide a la suma alternada (1)
n
f (1) = a
n
a
n1
+
1. Adems podemos utilizar la informacin que hayamos obtenido reduciendo
diversos primos.
Ejemplo 4.5.1. Sea f = X
4
+4 Z[X]. Usando la regla de Runi vemos que f no
tiene races enteras. Sea g = b
2
X
2
+ b
1
X + b
0
un factor de f Como f es mnico,
podemos tomar b
2
= 1. Reduciendo mdulo 2 tenemos
f = X
4
= g
h, luego
los trminos constantes de g y del cociente h son pares. Como su producto es 4,
necesariamente b
0
= 2. Mdulo 3 tenemos
f = X
4
+1 = (X
2
+X1)(X
2
X1),
luego b
0
1 (m od 3), lo que nos deja b
0
= 2.
Ahora 1 + b
1
+ 2 = b
1
+ 3 divide a f (1) = 5, lo que se verica slo para
b
1
= 8, 4, 2, 2 y 1 b
1
+ 2 = b
1
+ 3 divide a f (1) = 5, lo que reduce las
posibilidades a b
1
= 2, 2. As que los nicos divisores de grados dos posibles
son g
1
= X
2
+ 2X + 2 y g
2
= X
2
2X + 2. Un clculo fcil muestra que f = g
1
g
2
.
El anterior mtodo de Newton fu extendido en 1793 por Friedrich von Schu-
bert, quien mostr cmo hallar todos los factores de grado m en un nmero nito
de pasos. Unos 90 aos despus Leopoldo Kronecker descubri independiente-
mente el mtodo de Schubert. Desgraciadamente el mtodo es muy ineciente
cuando gr( f ) 5 y es mejor utilizar mtodos de reduccin (descritos en [3] y [8])
. El mtodo de Kronecker se describe en la siguiente demostracin:
Teorema 4.5.2 (Kronecker). Sea A un dominio de factorizacin nica con un
nmero nito de unidades. Entonces es posible descomponer cualquier polinomio
f A[X] en factores irreducibles en un nmero nito de pasos.
Demostracin. Dado un polinomio f A[X], el mtodo consiste en determinar
para cada m < n/2 un conjunto nito S de polinomios entre los que estn todos
los divisores de f de grado menor o igual a m. Posteriormente se prueba a dividir
f por cada uno de los polinomios del conjunto S y as determinamos los divisores
de grado menor o igual a m.
Si f = gh, para todo a A se verica que f (a) = g(a)h(a), luego g(a) divide
a f (a). Sean a
0
, . . . , a
m
A elementos distintos. Para cada i = 0, . . . , m sea D
i
el
120 CAPTULO 4. POLINOMIOS
conjunto de divisores de f (a
i
). Para cada sucesin b = (b
0
, . . . , b
m
) D
0
D
m
sea g
b
el nico polinomio de grado menor o igual a m que verica g
b
(a
i
) = b
i
, i =
0, . . . m (El polinomio g
b
es el polinomio de interpolacin, que se obtiene por uno
de los mtodos de Newton o de Lagrange). El conjunto S = g
b
b D
0
D
m
X
3
1
= X
3
1
+ X
3
2
+ X
3
3
X
2
1
X
2
= X
2
1
X
2
+ X
2
1
X
3
+ X
2
2
X
1
+ X
2
2
X
3
+ X
2
3
X
2
+ X
2
3
X
1
. Un polinomio simtrico general es una combinacin lineal de trminos de la
forma
_
X
i
1
1
. . . X
i
n
n
con coecientes en A.
4.6. POLINOMIOS SIMTRICOS 125
Ejemplo 4.6.7. Sea f =
_
X
2
1
X
2
con n = 3. Calculamos f (X
1
, X
2
, 0) = X
2
1
X
2
+
X
2
2
X
1
= X
1
X
2
(X
1
+ X
2
) = (s
2
)
0
(s
1
)
0
.
Ahora f
1
= f s
2
s
1
=
_
X
2
1
X
2
(
_
X
1
X
2
)(
_
X
1
) = 3X
1
X
2
X
3
. Luego
_
X
2
1
X
3
= s
1
s
2
3s
3
.
Ejemplo 4.6.8. Seguimos tomando n = 3. Sea f =
_
X
3
1
.
Entonces f (X
1
, 0, 0) = X
3
1
= (s
1
)
3
00
.
El siguiente paso calcula f (X
1
, X
2
, 0) (s
1
)
3
0
= 3(s
1
)
0
(s
2
)
0
.
Luego f (X
1
, X
2
, 0) = (s
1
)
3
0
3(s
1
)
0
(s
2
)
0
.
Finalmente calculamos f
1
(X
1
, X
2
, X
3
) = f (s
3
1
3s
1
s
2
) = 3X
1
X
2
X
3
,
as que f = s
3
1
3s
1
s
2
+ 3s
3
.
Ejemplo 4.6.9. Sea =
i<j
(X
i
X
j
). El polinomio d =
2
es simtrico. Vamos
a expresarlo en funcin de los polinomios simtricos elementales para n = 3.
1. En primer lugar d(X
1
, 0, 0) = ((X
1
0)((X
1
0)(0 0))
2
= 0.
2. Ahora d(X
1
, X
2
, 0) = ((X
1
X
2
)X
1
X
2
)
2
. Luego d(X
1
, X
2
) = s
2
2
f
1
con
f
1
(X
1
, X
2
) = (X
1
X
2
)
2
.
f
1
(X
1
, 0) = X
2
1
. Entonces
f
1
(X
1
, X
2
) (s
1
)
2
0
= (X
1
X
2
)
2
(X
1
+ X
2
)
2
= 4X
1
X
2
y por tanto f
1
= (s
1
)
2
0
4(s
2
)
0
.
3. Finalmente tenemos
g
1
(X
1
, X
2
, X
3
) = d(X
1
, X
2
, X
3
) s
2
2
(s
2
1
4s
2
)
= s
3
f
2
con f
2
= 6
_
X
2
1
X
2
4
_
X
3
1
+ 3X
1
X
2
X
3
. Por los dos ejemplos anteriores,
d = s
2
1
s
2
2
4s
3
2
+ s
3
(6(s
1
s
2
3s
3
) 4(s
3
1
3s
1
s
2
+ 3s
3
) + 3s
3
)
= s
2
1
s
2
2
4s
3
2
4s
3
1
s
3
+ 18s
1
s
2
s
3
27s
2
3
Existen otros tres mtodos para expresar un polinomio simtrico en funcin
de los simtricos elementales. Quiz el mas til sea el mtodo de coecientes
indeterminados: Descomponemos el polinomio simtrico dado en suma de poli-
nomios simtricos homogneos y expresamos cada uno de estos en funcin de los
polinomios simtricos elementales. Para ello, expresamos cada uno de los poli-
nomios homogneos de grado d como suma con coecientes indeterminados de
todos los k monomios posibles en los s
i
de peso d. Sustituimos las indeterminadas
X
i
por k conjuntos de valores concretos, lo que nos establece un sistema lineal
de k ecuaciones en los coecientes, sistema que resolvemos por los mtodos de
lgebra lineal.
126 CAPTULO 4. POLINOMIOS
Ejemplo 4.6.10. Sea f = (X
1
+X
2
X
3
X
4
)(X
1
X
2
+X
3
X
4
)(X
1
X
2
X
3
+X
4
).
Es fcil comprobar que f es simtrico homogneo de grado 3. La lista de todos
los monomios posibles de peso 3 es la siguiente: s
3
1
, s
1
s
2
, s
3
. As que expresamos
f = as
3
1
+ bs
1
s
2
+ cs
3
Ahora consideramos tres conjuntos de valores para los X
i
de manera que nos que-
de un sistema determinado de tres ecuaciones lineales en a, b, c. Por ejemplo los
valores
X
1
X
2
X
3
X
4
s
1
s
2
s
3
1 0 0 0 1 0 0
1 1 0 0 2 1 0
1 1 1 0 3 3 1
nos dan el sistema
f (1, 0, 0, 0) = 1 = a
f (1, 1, 0, 0) = 0 = 8a + 2b
f (1, 1, 1, 0) = 1 = 27a + 9b + c
que tiene la solucin a = 1, b = 4, c = 8. Luego
f = s
3
1
4s
1
s
2
+ 8s
3
Ejercicio 4.6.1. Sea n 5. Expresar el polinomio f =
_
x
2
1
x
2
2
x
3
como un polino-
mio en los simtricos elementales.
Otro tipo de polinomios interesantes son los denidos a continuacin:
Denicin 4.6.11. Un polinomio f A[X
1
, . . . , X
n
] se llama alternado si para
toda permutacin s
n
se verica f = sgn() f .
El polinomio alternado no nulo mas sencillo es el producto de todas las dife-
rencias
=
_
i<j
(X
i
X
j
)
Cada par ordenado de ndices i < j aparece exactamente una vez, as que en
total hay n(n 1)/2 factores lineales y es un polinomio homogneo de grado
n(n 1)/2. Cuando aplicamos una trasposicin (i j) a , los factores se permutan
entre s, excepto el factor X
i
X
j
que se transforma en X
j
X
i
, luego cambia de
signo.
Teorema 4.6.12. Sea A un dominio de integridad de caracterstica distinta de 2.
Todo polinomio f alternado de A[X
1
, . . . , X
n
] es de la forma f = g, donde g es
simtrico.
4.7. LA RESULTANTE 127
Demostracin. Sustituyendo X
2
= X
1
obtenemos
f (X
1
, X
1
, . . . , X
n
) = f (X
1
, X
1
, . . . , X
n
)
y como car(A) 2, necesariamente f (X
1
, X
1
, . . . , X
n
) = 0, luego (X
1
X
2
) divide a
f . De la misma forma X
i
X
j
divide a f para todo par i < j. Como estos polinomios
son primos relativos, su producto divide a f as que existe un g A[X
1
, . . . , X
n
]
con f = g. Claramente g = f / es un polinomio simtrico.
Corolario 4.6.13. Sea f A[X
1
, . . . , X
n
] un polinomio alternado. Entonces gr( f )
n(n 1)/2.
4.7. La resultante
4.7.1. Introduccin
El problema fundamental de la teora de eliminacin es el siguiente: Dados
dos polinomios con coecientes en un cuerpo F:
f = a
n
x
n
+ a
n1
x
n1
+ . . . + a
0
, a
n
0
g = b
m
x
m
+ b
m1
x
m1
+ . . . + b
0
, b
m
0
(4.7.1)
determinar si tienen una raz comn en una extensin de F y en caso armativo
hallarla. Para responder a esta cuestin, se busca una expresin que se anule slo
cuando f y g tienen una raz comn y que adems sea calculable como funcin
racional de los coecientes de f y g. La ms sencilla de tales expresiones es la
resultante que vamos a denir y estudiar.
4.7.2. Denicin
Sea K un cuerpo de descomposicin para f g, as que en K[X] tenemos:
f = a
n
(X
1
) . . . (X
n
) = a
n
n
i=1
(X
i
)
g = b
m
(X
1
) . . . (X
m
) = b
m
m
j=1
(X
j
)
(4.7.2)
La resultante de f y g viene denida por
R( f , g) = a
m
n
b
n
m
n
_
i=1
m
_
j=1
(
i
j
) (4.7.3)
128 CAPTULO 4. POLINOMIOS
4.7.3. Propiedades
1. R( f , g) = 0 i, j tales que
i
=
j
(i.e., sii f y g tienen una raz en
comn)
2. R(g, f ) = (1)
nm
R( f , g)
3. R( f , g) = a
m
n
n
i=1
g(
i
) = (1)
nm
b
n
m
m
j=1
f (
j
)
4. R( f g, h) = R( f , h)R(g, h), R( f , gh) = R( f , g)R( f , h)
5. Si m = 0 (i.e. si g = b es un escalar), R( f , b) = b
n
6. R(X
k
, f ) = a
k
0
; R( f , X
k
) = (1)
nk
a
k
0
7. Si g = f q + r, R( f , g) = a
gr(g)gr(r)
n
R( f , r)
Demostracin: R( f , g) = a
m
n
n
i=1
g(
i
) = a
m
n
n
i=1
( f (
i
)q(
i
) + r(
i
)) =
a
n
n
n
i=1
r(
i
) = a
mgr(r)
n
R( f , r)
8. R(X
k
f , g) = b
k
0
R( f , g); R( f , X
k
g) = (1)
nk
a
k
0
R( f , g)
9. R( f , g) es un polinomio simtrico de grado m en las
i
10. R( f , g) es un polinomio simtrico de grado n en las
j
11. R( f , g) es un polinomio homogneo de grado m en las a
i
Demostracin: Por la propiedad 9, R( f , g) es expresable como un polinomio
en los polinomios simtricos elementales
i
= (1)
i
a
i
a
0
. Por el factor a
m
0
todos los denominadores se simplican.
12. R( f , g) es un polinomio homogneo de grado n en las b
j
13. El trmino a
m
n
b
n
0
tiene coeciente +1 en R( f , g)
Demostracin: Dicho trmino slo aparece al desarrollar a
m
n
b
n
m
n
i=1
(
n
) =
a
m
n
b
n
0
.
4.8. El discriminante
El caso particular ms importante de la resultante es cuando g = f
(la derivada
formal). En ese caso, R( f , f
= na
n
X
n1
+ (n 1)a
n1
X
n2
+ . . . + a
1
= a
n
n
j=1
_
ij
(X
i
)
f
(
j
) = a
n
_
ij
(
j
i
)
R( f , f
) = a
n1
n
n
_
j=1
f
(
j
) = a
2n1
n
n
_
j=1
_
ij
(
j
i
) (4.8.1)
4.8.1. Denicin
Llamamos discriminante de f a D( f ) = a
2n2
n
i<j
(
i
j
)
2
. Comparando con
(4.8.1) obtenemos:
R( f , f
) = (1)
n(n1)
2
a
n
D( f ) (4.8.2)
4.8.2. Propiedades
1. f
1
, f
2
F[X] D( f
1
f
2
) = D( f
1
)D( f
2
)R( f
1
, f
2
)
2
2. f
1
, . . . , f
r
F[X] D( f
1
. . . f
r
) = D( f
1
) . . . D( f
r
)R
2
con R F
4.9. Mtodos de clculo
En esta seccin nos planteamos encontrar una expresin explcita (o un mto-
do de clculo) para R( f , g) y D( f ) en funcin de los coecientes de f y g. Para
ello existen diversos mtodos que pasamos a describir.
4.9.1. Clculo directo
Las propiedades halladas para la resultante permiten calcular directamente el
discriminante de polinomios particulares. Veamos algunos ejemplos:
1. Ejemplo: f = X
n
1 =
n
i=1
(X
i
), f
= nX
n1
D( f ) = (1)
n(n1)
2
R( f , f
) = (1)
n(n1)
2
n
_
i=1
f
(
i
) = (1)
n(n1)
2
n
_
i=1
n
n1
i
=
(1)
n(n1)
2
n
n
(
n
_
i=1
(
i
))
n1
= (1)
n(n1)
2
+n(n1)
n
n
= (1)
n(n1)
2
n
n
130 CAPTULO 4. POLINOMIOS
En particular si q es impar, f = X
q
1, D( f ) = (1)
q1
2
q
q
2. Ejemplo: f = X
p1
+ X
p2
+ . . . + X + 1 p primo impar. Sea g = X 1.
Entonces f g = X
p
1 D( f g) = (1)
p1
2
p
p
g
= 1 D(g) = R(g, g
) = 1 R( f , g) = f (1) = p.
Luego D( f g) = D( f )D(g)R( f , g)
2
D( f ) = (1)
p1
2
p
p2
3. Ejemplo:
f = X
3
+ aX + b = (X
1
)(X
2
)(X
3
)
f
= 3X
2
+ a D( f ) = R( f , f
)
R( f , f
) =
3
_
i=1
(3
2
i
+ a) =
3
_
i=1
f
(
i
)
Pero f
(
i
) = 3
2
i
+ a =
3
3
i
+a
i
i
=
2a
i
3b
i
Llamamos
i
= 2a
i
+3b
i
=
i
3b
2a
as que
i
es raz de (
X3b
2a
)
3
+a
X3b
2a
+b
3
= 8a
3
(
27b
3
8a
3
+
3b
2
b) = 27b
3
+ 4a
3
b
R( f , f
) =
3
_
i=1
f
(
i
) =
3
i=1
(2a
i
+ 3b)
3
i=1
i
=
27b
3
+ 4a
3
b
b
= 27b
2
+ 4a
3
y por tanto D( f ) = (4a
3
+ 27b
2
)
4. Ejemplo:
f = X
3
+ aX
2
+ b = (X
1
)(X
2
)(X
3
)
f
= 3X
2
+ 2aX = X(3X + 2a) f
(
i
) =
i
(3
i
+ 2a)
Sea
i
= 3
i
+ 2a
i
=
i
2a
3
y los
i
son races de (
X2a
3
)
3
+ a(
X2a
3
)
2
+ b
3
= 3
3
((
2a
3
)
3
a(
2a
3
)
2
b) = (4a
3
+ 27b)
Luego R( f , f
) =
3
i=1
f
(
i
) =
3
i=1
3
i=1
i
= (b)((4a
3
+ 27b))
y D( f ) = R( f , f
) = b(4a
3
+ 27b)
5. Ejemplo:
f = X
5
+ aX + b =
5
_
i=1
(X
i
) f
= 5X
4
+ a
f
(
i
) = 5
4
i
+ a =
5
5
i
+ a
i
i
=
4a
i
5b
i
4.9. MTODOS DE CLCULO 131
Llamamos
i
= 4a
i
+5b
i
=
i
5b
4a
as que
i
es raz de (
X5b
4a
)
5
+a
X5b
4a
+b
5
i=1
i
= (4a)
5
((
5b
4a
)
5
+
5b
4
b) = (5b)
5
+ 4
4
a
5
b
D( f ) = R( f , f
) =
5
_
i=1
f
(
i
) =
5
i=1
5
i=1
i
= 5
5
b
4
+ 4
4
a
5
6. Ejemplo:
f = X
5
+ aX
4
+ b =
5
_
i=1
(X
i
)
f
= 5X
4
+ 4aX
3
= X
3
(5X + 4a) f
(
i
) =
3
i
(5
i
+ 4a)
Sea
i
= 5
i
+ 4a
i
=
i
4a
5
y los
i
son races de (
X4a
5
)
5
+ a(
X4a
5
)
4
+ b
5
i=1
i
= 5
5
((
4a
5
)
5
a(
4a
5
)
4
b) = (4
4
a
5
+ 5
5
b)
Luego D( f ) = R( f , f
) =
5
i=1
f
(
i
) =
5
i=1
3
i
5
i=1
i
= b
3
(4
4
a
5
+ 5
5
b)
7. Ejemplo:
f = X
n
+ aX + b =
n
_
i=1
(X
i
) f
= nX
n1
+ a
f
(
i
) = n
n1
i
+ a =
n
n
i
+ a
i
i
=
(n 1)a
i
nb
i
Llamamos
i
= (n 1)a
i
+nb
i
=
i
nb
(n1)a
as que
i
es raz de (
Xnb
(n1)a
)
n
+
a
Xnb
(n1)a
+ b
n
i=1
i
= (1)
n
((n 1)a)
n
(((1)
n nb
(n1)a
)
n
nb
n1
+ b) = (nb)
n
+
(1)
n
(n 1)
n1
a
n
(b)
R( f , f
) =
n
_
i=1
f
(
i
) = (1)
n
n
i=1
n
i=1
i
= n
n
b
n1
+ (1)
n1
(n 1)
n1
a
n
D( f ) = (1)
n(n1)
2
R( f , f
) = (1)
n(n1)
2
(n
n
b
n1
+ (1)
n1
(n 1)
n1
a
n
)
8. Ejemplo:
f = X
n
+ aX
n1
+ b =
n
_
i=1
(X
i
) f
= nX
n1
+ (n 1)aX
n2
=
X
n2
(nX + (n 1)a) f
(
i
) =
n2
i
(n
i
+ (n 1)a)
132 CAPTULO 4. POLINOMIOS
Sea
i
= n
i
+ (n 1)a
i
=
i
(n1)a
n
y los
i
son races de (
X(n1)a
n
)
n
+
a(
X(n1)a
n
)
n1
+ b
n
i=1
i
= (1)
n
(n
n
((
(n1)a
n
)
n
+ a(
(n1)a
n
)
n1
b)) =
(n 1)
n1
a
n
+ (1)
n
n
n
b
Luego R( f , f
) =
n
i=1
f
(
i
) =
n
i=1
n2
i
n
i=1
i
= (b)
n2
((n 1)
n1
a
n
+
(n)
n
b)
y D( f ) = (1)
n(n1)
2
R( f , f
) = (1)
(n1)(n+2)
2
b
n2
((n 1)
n1
a
n
+ (1)
n1
n
n
b)
4.9.2. Mtodo modular
A partir de la propiedad 7 de la resultante puede desarrollarse un mtodo muy
econmico para el clculo de la resultante de algunos pares especiales de polino-
mios: En primer lugar, sean
f = a
n
X
n
+ . . . + a
0
g = X b
Diviendo f entre g obtenemos:
f = gf
1
+ f (b)
Por las propiedades de la resultante obtenemos:
R( f , g) = (1)
n
R(g, f ) = (1)
n
R(g, f (b)) = (1)
n
f (b) (4.9.1)
Sean ahora
f = a
n
X
n
+ . . . + a
0
g = b
m
X
m
+ . . . + b
0
y sean p, q
i
, r, s
j
tales que
pg
k
_
i=1
(X q
i
) r
l
_
j=1
(X s
j
) (m od f ) (4.9.2)
Entonces
R( f , p)R( f , g)R( f ,
k
_
i=1
(X q
i
)) = a
m+kl
n
R( f , r)R( f ,
l
_
j=1
(X s
j
)) (4.9.3)
Pero por (4.9.1)
R( f , p) = p
n
R( f , r) = r
n
R( f ,
k
_
i=1
(X q
i
)) =
k
_
i=1
R( f , X q
i
)) =
k
_
i=1
(1)
n
f (q
i
)
R( f ,
l
_
j=1
(X s
i
)) =
l
_
j=1
R( f , X s
i
)) =
l
_
j=1
(1)
n
f (s
i
)
4.9. MTODOS DE CLCULO 133
Despejando en (4.9.3),
R( f , g) = (1)
n(k+l)
a
m+kl
n
r
n
p
n
l
j=1
f (s
i
)
k
i=1
f (q
i
)
Ejemplo: Sean
f = X
5
X
2
+ 15 g = f
= 5X
4
2X
Tomamos k = 1, l = 2, p
1
= 1, p
0
= 0 y calculamos:
Xg = 5X
5
2X
2
= 5 f + 3X
2
75 3(X 5)(X + 5) (m od f )
D( f ) = R( f , f
) = (1)
5(1+2)
3
5
f (5) f (5)
f (0)
=
3
5
(5
5
5
2
+ 15)((5)
5
(5)
2
+ 15)
15
= 3
5
10
2
5
10
15
= 3
4
5(5
8
4)
4.9.3. Por el algoritmo de Euclides
Dividiendo g por f obtenemos g = f q+r con gr(r) < gr( f ). Por las propiedades
7 y 2,
R( f , g) = a
mgr(r)
n
R( f , r) = (1)
mgr(r)
a
mgr(r)
n
R(r, f )
Por induccin sobre el grado llegamos a gr(r) = 0 y aplicamos la propiedad 5.
1. Ejemplo:
f = aX + b
f
= a
R( f , f
) = a
D( f ) = 1
2. Ejemplo:
f = aX
2
+ bX + c
f
= 2aX + b
f = (
1
2
X +
b
4a
) f
+ (c
b
2
4a
)
R( f , f
) = R( f
, f ) = (2a)
2
R( f
, c
b
2
4a
) = (2a)
2
(c
b
2
4a
) = a(4ac b
2
)
D( f ) = (1)
21
2
1
a
R( f , f
) = b
2
4ac
134 CAPTULO 4. POLINOMIOS
3. Ejemplo:
f = X
3
+ aX + b
f
= 3X
2
+ a
f =
1
2
X f
+ r r =
2a
3
X + b
f
= (
9
2a
X
27b
4a
2
)r + r
1
r
1
=
27b
2
+4a
3
4a
2
R( f , f
) = R( f
, f ) = 3
2
R( f
, r) = 3
2
R(r, f
) = 3
2
(
2a
3
)
2
R(r, r
1
) = 4a
2 27b
2
+4a
3
4a
2
D( f ) = R( f , f
) = (4a
3
+ 27b
2
)
4.9.4. Determinante de Euler-Sylvester-Cayley
Multiplicando f sucesivamente por 1, X, . . . , X
m1
y g por 1, X, X
n1
e igua-
lando a cero nos queda el siguiente sistema de (n + m) ecuaciones en las (n + m)
incgnitas 1, X, X
2
, . . . , X
n+m1
:
X
m1
f = a
n
X
n+m1
+ a
n1
X
n+m2
+ . . . + a
0
X
m1
= 0
X
m2
f = a
n
X
n+m2
+ . . . + a
1
X
m1
+ a
0
X
m2
= 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1f = a
n
X
n
+ . . . + a
0
= 0
X
n1
g = b
m
X
n+m1
+ b
m1
X
n+m2
+ . . . + b
0
X
n1
= 0
X
n2
g = b
m
X
n+m2
+ . . . + b
1
X
n1
+ b
0
X
n2
= 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1g = b
m
X
m
+ . . . + b
0
= 0
Por el teorema de Rouch, este sistema tendr solucin si y slo si el de-
terminante de los coecientes es cero. Este determinante se llama resultante de
Euler-Sylvester-Cayley:
C( f , g) =
a
n
a
n1
. . . a
0
0 . . . 0
0 a
n
a
n1
. . . a
0
. . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . a
n
a
n1
. . . a
0
b
m
b
m1
. . . b
0
0 . . . 0
0 b
m
b
m1
. . . b
0
. . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . b
m
b
m1
. . . b
0
Vamos a ver que C( f , g) = R( f , g): Como C( f , g) = C(a
n
, . . . , a
0
, b
m
, . . . , b
0
) y
los a
i
y b
j
son polinomios simtricos en
i
y
j
respectivamente, obtenemos que
C( f , g) es un polinomio simtrico en
i
y
j
. Por otra parte, si f y g tienen una
raz comn, el anterior sistema lineal tiene solucin, luego i, j (
i
j
) C( f , g)
4.9. MTODOS DE CLCULO 135
R( f , g) C( f , g). Contando grados vemos que el cociente tiene grado cero (i.e.
es una constante). Luego C( f , g) = R( f , g). Pero el trmino a
m
n
b
n
m
aparece con
coeciente +1 en C( f , g) y en R( f , g) = 1.
1. Ejemplo: Tomando f = aX
2
+ bX + c, g = f
= 2aX + b tenemos:
R( f , g) =
a b c
2a b 0
0 2a b
= ab
2
+ 4a
2
c 2ab
2
= a(4ac b
2
)
2. Ejemplo: f = X
3
+ aX + b, g = 3X
2
+ a
R( f , g) =
1 0 a b 0
0 1 0 a b
3 0 a 0 0
0 3 0 a 0
0 0 3 0 a
= 4a
3
+ 27b
2
4.9.5. Determinante de Bezout
La resultante de Cayley proporciona una expresin sencilla y elegante para
R( f , g). Sin embargo, el orden del determinante es (m + n), muy alto para los cl-
culos prcticos. Vamos a desarrollar otro mtodo basado en la misma idea pero
donde el determinante que va a aparecer es de orden max(m, n). En primer lugar
consideramos m = n, o sea que f y g son del mismo grado. Denimos los elemen-
tos:
c
i j
={
a
j
b
i
a
i
b
j
si 0 i, j n
0 en otro caso
Observese que c
i j
= c
i j
y que c
ii
= 0.
Si todos los c
i j
son cero, existe un tal que g = f . En lo que sigue excluimos
este caso. Consideremos ahora los polinomios:
h
i
= b
i
f a
i
g i = 0, 1, . . . , n (4.9.4)
Si c
i j
0, del sistema:
h
i
= b
i
f a
i
g
h
j
= b
j
f a
j
g
obtenemos:
f =
a
j
c
i j
h
i
a
i
c
i j
h
j
g =
b
j
c
i j
h
i
b
i
c
i j
h
j
136 CAPTULO 4. POLINOMIOS
luego h
i
, h
j
tienen un cero en comn si y slo si f y g tienen un cero en comn, y
las races comunes de f y g son precisamente las races comunes a todos los h
i
.
Formemos ahora los polinomios:
g
0
= h
n
= b
n
f a
n
g =
_
n1
i
d
0i
X
i
g
1
= xg
0
+ h
n1
= (b
n
X + b
n1
) f (a
n
X + a
n1
)g =
_
n1
i
d
1i
X
i
g
2
= xg
1
+ h
n2
= (b
n
X
2
+ b
n1
X + b
n2
) f (a
n
X
2
+ a
n1
X + a
n2
)g =
_
n1
i
d
2i
X
i
.
.
.
.
.
.
.
.
.
.
.
.
g
n1
= xg
n2
+ h
1
= (b
n
X
n1
+ . . . + b
1
) f (a
n
X
n1
+ . . . + a
1
)g =
_
n1
i
d
n1i
X
i
(4.9.5)
Los g
i
tienen un cero en comn los h
i
tienen un cero en comn f y g
tienen un cero en comn. Veamos la forma general de los coecientes d
ki
. Por
construccin,
d
0i
= c
ni
, d
ki
= d
k1,i1
+ c
nk,i
. Demostraremos por induccin sobre k que
d
ki
=
k
j=0
c
nj,ik+j
(4.9.6)
Para k = 0 es trivial. Supongamoslo cierto para k 1. Entonces
d
ki
= d
k1,i1
+ c
nk,i
=
k1
j=0
c
nj,i+jk
+ c
nk,i
Las races comunes de f y g dan lugar a soluciones no triviales del sistema:
d
0n1
X
n1
+ . . . + d
01
X + d
00
1 = 0
d
1n1
X
n1
+ . . . + d
11
X + d
10
1 = 0
.
.
.
d
n1,n1
X
n1
+ . . . + d
n1,1
X + d
n1,0
1 = 0
Llamamos resultante de Bezout de f y g al determinante de este sistema:
B( f , g) =
d
0n1
. . . d
00
.
.
.
.
.
.
.
.
.
d
n1,n1
. . . d
n1,0
Como cada c
i j
es homogneo de grado 1 en a
i
y en b
j
, d
ki
tambin es homogneo
de grado 1 en ambos, y B( f , g) es un polinomio homogneo en las a
i
y en las b
j
de grado 2n. Igual que para la resultante de Cayley, B( f , g) es cero cuando f y g
tienen una raz en comn, luego B( f , g) = R( f , g) y contando grados, F.
4.9. MTODOS DE CLCULO 137
Para determinar observamos el trmino a
n
n
b
n
0
. En la resultante de Cayley este
trmino slo aparece en el desarrollo de la diagonal principal y por tanto tiene
coeciente +1. En B( f , g) aparece en el producto de todos los c
0n
= a
n
b
0
a
0
b
n
de
la diagonal secundaria, luego tiene coeciente sgn() siendo = (1 n)(2 n1) . . .
luego sgn() = (1)
n(n1)
2
y por tanto = (1)
n(n1)
2
, B( f , g) = (1)
n(n1)
2
R( f , g).
En caso de que gr(g) = m gr( f ) = n, tomamos g
1
= X
nm
g, formamos la
resultante de Bezout de f y g
1
y utilizamos la propiedad 8 de R( f , g):
B( f , X
nm
g) = (1)
n(n1)
2
R( f , X
nm
g) = (1)
n(n1)
2
+n(nm)
a
nm
0
R( f , g)
Para calcular el discriminante de un polinomio, g = f
, m = n1 y nos queda:
B( f , X f
) = (1)
n(n1)
2
+n
a
0
R( f , f
) = (1)
n
a
0
a
n
D( f )
as que
D( f ) =
(1)
n
a
n
a
0
B( f , X f
)
adems, en este caso los c
i j
tienen una forma sencilla: Sean
f = a
n
X
n
+ a
n1
X
n1
+ . . . + a
0
g = X f
= na
n
X
n
+ . . . + a
1
X = b
n
X
n
+ . . . + b
1
luego b
i
= ia
i
, c
i j
= ( j i)a
i
a
j
, y
d
ki
=
k
j=0
c
nj,i+jk
=
k
j=0
(i + 2 j k n)a
nj
a
i+jk
=
k
j=0
(n i + k 2 j)a
nj
a
i+jk
y nos queda la expresin:
D( f ) =
1
a
n
a
0
d
0,n1
. . . d
0,0
.
.
.
.
.
.
.
.
.
d
n1,n1
. . . d
n1,0
1. Ejemplo: f = aX
2
+ bX + c
D( f ) =
1
ac
ab 2ac
2ac bc
= b
2
4ac
2. Ejemplo: f = X
3
+ aX + b
D( f ) =
1
b
0 2a 3b
2a 3b 0
3b 0 ab
= (4a
3
+ 27b
2
)
138 CAPTULO 4. POLINOMIOS
3. Ejemplo: f = a
3
X
3
+ a
2
X
2
+ a
1
X + a
0
D( f ) =
1
a
3
a
0
a
3
a
2
2a
3
a
1
3a
3
a
0
2a
3
a
1
3a
3
a
0
+ a
2
a
1
2a
2
a
0
3a
3
a
0
2a
2
a
0
a
1
a
0
4. Ejemplo: f = a
4
X
4
+ a
3
X
3
+ a
2
X
2
+ a
1
X + a
0
D( f ) =
1
a
4
a
0
a
4
a
3
2a
4
a
2
3a
4
a
1
4a
4
a
0
2a
4
a
2
3a
4
a
2
+ a
3
a
2
4a
4
a
0
+ 2a
3
a
1
3a
3
a
0
3a
4
a
1
4a
4
a
0
+ 2a
3
a
1
3a
3
a
0
+ a
2
a
1
2a
2
a
0
4a
4
a
0
3a
3
a
0
2a
2
a
0
a
1
a
0
5. Ejemplo: f = a
5
X
5
+ a
4
X
4
+ a
3
X
3
+ a
2
X
2
+ a
1
X + a
0
D( f ) =
1
a
5
a
0
a
5
a
4
2a
5
a
3
3a
5
a
2
4a
5
a
1
5a
5
a
0
2a
5
a
3
3a
5
a
2
+ a
4
a
3
4a
5
a
1
+ 2a
4
a
2
5a
5
a
0
+ 3a
4
a
1
4a
4
a
0
3a
5
a
2
4a
5
a
1
+ 2a
4
a
2
5a
5
a
0
+ 3a
4
a
2
+ a
3
a
2
4a
4
a
0
+ 2a
3
a
1
3a
3
a
0
4a
5
a
1
5a
5
a
0
+ 3a
4
a
1
4a
4
a
0
+ 2a
3
a
1
3a
3
a
0
+ a
2
a
1
2a
2
a
0
5a
5
a
0
4a
4
a
0
3a
3
a
0
2a
2
a
0
a
1
a
0
Bibliografa
[1] J. A. Beachy and W. D. Blair, Abstract Algebra, Waveland Press 1996
[2] Z. I. Borevich and I. R. Shafarevich, Number Theory, Academic Press 1966
[3] L. Childs, A Concrete Introduction to Higher Algebra, Springer 1979
[4] H. Cohn, A Classical Invitation to Algebraic Numbers and Class Fields,
Springer 1978
[5] P. M. Cohn, Classic Algebra, Wiley and sons 2000
[6] D. S. Dummit and R. M. Foote, Abstract Algebra 2nd ed., Prentice-Hall 1999
[7] J. A. Gallian, Contemporary Abstract Algebra 5th edition, Houghton Miin
2002
[8] D. E. Knuth, The Art of Computer Programming, vol. 2: Seminumerical Al-
gorithms 3rd edition, Addison-Wesley 1998
[9] S. Lang, Algebra 3rd edition, Addison-Wesley 1993
[10] I. Niven, H. S. Zuckerman and H. L. Montgomery, An Introduction to the
Theory Of Numbers, Wiley 1991
139