Algebraiii

Apuntes de Algebra III
Eugenio Miranda Palacios

Curso 2012-2013
ndice general
I
Prerrequisitos
1. Polinomios simtricos, resultante y discriminante

1.1. Polinomios simtricos . . . . . . . . . . . . . . . .
1.2. Polinomios alternados . . . . . . . . . . . . . . . .
1.3. La resultante . . . . . . . . . . . . . . . . . . . . .
1.3.1. Introduccin . . . . . . . . . . . . . . . . .
1.3.2. Definicin . . . . . . . . . . . . . . . . . . .
1.3.3. Propiedades . . . . . . . . . . . . . . . . . .
1.4. El discriminante . . . . . . . . . . . . . . . . . . .
1.4.1. Definicin . . . . . . . . . . . . . . . . . . .
1.4.2. Propiedades . . . . . . . . . . . . . . . . . .
1.5. Mtodos de clculo . . . . . . . . . . . . . . . . .
1.5.1. Clculo directo . . . . . . . . . . . . . . . .
1.5.2. Mtodo modular . . . . . . . . . . . . . . .
1.5.3. Por el algoritmo de Euclides . . . . . . . .
1.5.4. Determinante de Euler-Sylvester-Cayley .
1.5.5. Determinante de Bezout . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
10
15
15
15
16
16
17
17
18
18
18
20
22
22
24
2. Series de grupos y grupos solubles

2.1. Series de composicin . . . . . . . . . . . . . . . . . . .
2.2. El programa de Holder . . . . . . . . . . . . . . . . . .
2.3. Grupos solubles . . . . . . . . . . . . . . . . . . . . . .
29
30
32
36
II
39
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Extensiones de cuerpos
3. Extensiones de cuerpos
3.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . .
3.2. Elementos algebraicos y extensiones algebraicas . . .
3
41
42
43
NDICE GENERAL
4. Cuerpos de descomposicin
4.1. Cuerpo de descomposicin . . . . . . . . . . . . . . . .
4.2. Clausura algebraica . . . . . . . . . . . . . . . . . . . .
47
48
53
5. Extensiones normales y separables

5.1. Elementos conjugados y extensiones conjugadas.
5.2. Extensiones normales . . . . . . . . . . . . . . . . .
5.3. Extensiones separables . . . . . . . . . . . . . . . .
5.4. Derivada y races mltiples . . . . . . . . . . . . . .
57
58
58
60
62
III
.
.
.
.
Teora de Galois finita
63
6. Teora de Galois finita

6.1. Grupos de automorfismos . . . . . . . . .
6.2. Correspondencia de Galois, caso finito . .
6.3. Ejemplos e ilustraciones . . . . . . . . . .
6.4. Propiedades de las extensiones de Galois
IV
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Aplicaciones
65
66
69
72
73
75
7. Cuerpos finitos
7.1. Estructura de los cuerpos finitos . . . . . . . . . . . .
7.2. Factorizacin de polinomios . . . . . . . . . . . . . . .
7.3. Ilustraciones . . . . . . . . . . . . . . . . . . . . . . . .
77
78
80
82
8. Extensiones ciclotmicas
8.1. Races de la unidad . . .
8.2. Polinomios ciclotmicos .
8.3. Extensiones ciclotmicas
8.4. Grupos de Galois . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
85
86
86
90
92
9. Construcciones con regla y comps

9.1. Los Elementos de Euclides . . . . . . . . . . .
9.2. Puntos construibles y nmeros construibles .
9.3. Caracterizacin de los nmeros construibles
9.4. Aplicacin a los problemas clsicos . . . . . .
9.5. Polgonos regulares . . . . . . . . . . . . . . .
9.6. Construcciones explcitas . . . . . . . . . . . .
9.7. Construcciones con cnicas . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
99
100
102
103
105
106
107
109
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
Teora de ecuaciones
111
10.Extensiones cclicas y radicales

113
10.1.Extensiones cclicas . . . . . . . . . . . . . . . . . . . . 114
10.2.Extensiones solubles y radicales . . . . . . . . . . . . . 115
11.Polinomios de grado 3 y 4
11.1.El grupo de un polinomio . . . . . . .
11.2.Los teoremas clasificatorios . . . . .
11.3.Polinomios de grado pequeo . . . .
11.3.1.Polinomios de grado 2 . . . . .
11.4.Cmo resolver una ecuacin soluble
11.4.1.Polinomios cbicos . . . . . . .
11.4.2.Polinomios curticos . . . . . .
11.4.3.Polinomios ciclotmicos . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
120
121
123
123
123
124
128
128
131
134
12.Polinomios de grado 5
143
12.1.Clculo del grupo de Galois . . . . . . . . . . . . . . . 144
12.2.Resolviendo qunticas solubles . . . . . . . . . . . . . . 145
NDICE GENERAL
Parte I
Prerrequisitos
Captulo 1
Polinomios simtricos,
resultante y discriminante
10CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE
1.1.
Polinomios simtricos
Sea A un anillo conmutativo y sean X1 , . . . , Xn indeterminadas.

Sea Sn el grupo simtrico sobre {1, . . . , n}. Para toda permutacin
Sn definimos
f (X1 , . . . , Xn ) = f (X(1) , . . . , X(n) )
Por ejemplo, sea f = X12 X2 X3 y sean = (1 3), = (1 2 3). Entonces
f = X32 X2 X1 y f = X22 X3 X1 .
Definicin 1.1.1. Un polinomio f A[X1 , . . . , Xn ] se llama simtrico
si para toda permutacin Sn se verifica f = f .
Lema 1.1.2. El conjunto de polinomios simtricos es un subanillo de
A[X1 , . . . , Xn ] que contiene al anillo A.
Sea Y otra indeterminada. Formamos el polinomio
F (Y, X1 , . . . , Xn ) = (Y X1 ) . . . (Y Xn )
= Y n s1 Y n1 + + (1)n sn
con coeficientes en A[X1 , . . . , Xn ]. Los polinomios coeficientes s1 =
X1 + +Xn , . . . , sn = X1 . . . Xn son polinomios simtricos, y se llaman
polinomios simtricos elementales. Obsrvese que el polinomio si es
homogneo de grado i.
Definicin 1.1.3. Sea ae X1e1 . . . Xnen un monomio no nulo. Se llama
peso del monomio al entero e1 + 2e2 + + nen .
Sea g A[X1 , . . . , Xn ]. El peso de g es el mayor de los pesos de
los monomios no nulos de g.
Teorema 1.1.4 (Teorema fundamental de los polinomios simtricos). Sea A un dominio de integridad y sea f A[X1 , . . . , Xn ] un
polinomio simtrico de grado d. Entonces existe un nico polinomio
g A[X1 , . . . , Xn ] de peso menor o igual a d tal que
f (X1 , . . . , Xn ) = g(s1 , . . . , sn )
Demostracin. Induccin sobre n y d.
Si n = 1, slo hay una indeterminada, as que s1 = X1 y g = f
verifica las condiciones (en este caso el peso y el grado de f son
iguales).
1.1. POLINOMIOS SIMTRICOS
11
Sea ahora n > 1 y supongamos el teorema cierto para n 1

indeterminadas. Si d = 0, el polinomio f es constante. Tomando
g = f se verifica el teorema (en este caso, el grado y el peso de f
son ambos iguales a cero).
Finalmente sean n > 1, d > 0 y suponemos el teorema cierto para
todo polinomio simtrico en n indeterminadas de grado menor que
d. En el anterior polinomio F sustituimos Xn = 0. Obtenemos
F (Y, X1 , . . . , Xn1 , 0) = (Y X1 ) . . . (Y Xn1 )Y
= Y n (s1 )0 Y n1 + + (1)n1 (sn1 )0 Y
donde (si )0 se obtiene sustituyendo Xn = 0 en si .
Es inmediato que (s1 )0 , . . . , (sn1 )0 son precisamente los polinomios simtricos elementales en X1 , . . . , Xn1 .
El polinomio f (X1 , . . . , Xn1 , 0) A[X1 , . . . , Xn1 ] es simtrico. Por
la hiptesis de induccin sobre n, existe un polinomio g1 A[X1 , . . . , Xn1 ]
de peso menor o igual a d tal que f (X1 , . . . , Xn1 , 0) = g1 ((s1 )0 , . . . , (sn1 )0 ).
El polinomio
f1 (X1 , . . . , Xn ) = f (X1 , . . . , Xn ) g1 (s1 , . . . , sn1 )
es simtrico y tiene grado menor o igual a d. Adems f1 (X1 , . . . , Xn1 , 0) =
0, luego f1 es divisible por Xn . Como es simtrico, tambin es divisible por X1 , . . . , Xn1 . Como estos factores son primos relativos, su
producto divide a f1 . Luego f1 = sn f2 (X1 , . . . , Xn ) con un polinomio
f2 A[X1 , . . . , Xn ] que es simtrico y de grado estrictamente menor
que d. Por la induccin sobre d, existe un g2 A[X1 , . . . , Xn ] de peso
menor o igual a d n tal que
f2 (X1 , . . . , Xn ) = g2 (s1 , . . . , sn )
Sustituyendo obtenemos
f (X1 , . . . , Xn ) = g1 (s1 , . . . , sn1 ) + sn g2 (s1 , . . . , sn )
y cada trmino del miembro de la derecha tiene un peso menor o
igual a d.
La unicidad se deduce del prximo teorema.
Teorema 1.1.5. Sea g A[X1 , . . . , Xn ]. Entonces g(s1 , . . . , sn ) = 0 si y
slo si g(X1 , . . . , Xn ) = 0.

Demostracin. Induccin sobre n. Si n = 1 el resultado es trivial.
Sea ahora n > 1 y suponemos el resultado cierto para n 1
indeterminadas. Sea g A[X1 , . . . , Xn ] no nulo de grado mnimo tal
que g(s1 , . . . , sn ) = 0. Escribimos g como un polinomio en Xn con
coeficientes en X1 , . . . , Xn1 :
g = g0 + + gd Xnd
Sustituyendo Xi por si en el polinomio g tenemos
0 = g0 (s1 , . . . , sn1 ) + . . . gd (s1 . . . , sn1 )sdn
Sustituyendo ahora Xn = 0 obtenemos
0 = g0 ((s1 )0 , . . . , (sn1 )0 )
Pero los (si )0 son los polinomios simtricos elementales en X1 , . . . , Xn1 .
Por induccin g0 (X1 , . . . , Xn1 ) = 0.
Ya que g0 = 0 podemos escribir g = f Xn con f A[X1 , . . . , Xn ]
y por tanto f (s1 , . . . , sn )sn = 0, luego f (s1 , . . . , sn ) = 0 y f es de grado
estrictamente menor que g, lo cual es imposible.
Ejemplo 1.1.6. Sea f = (X1 + X2 )(X1 + X3 )(X2 + X3 ) Z[X1 , , X2 , X3 ].
Es fcil comprobar que f es un polinomio simtrico homogneo
de grado 3. Queremos encontrar un polinomio g Z[X1 , X2 , X3 ] de
peso menor o igual a 3 tal que f = g(s1 , s2 , s3 ). Para ello aplicamos
la construccin de la demostracin:
1. f (X1 , 0, 0) = 0, luego g1 = 0.
2. f (X1 , X2 , 0) = (X1 + X2 )X1 X2 . El resto del proceso de la demostracin es trivial: f (X1 , X2 , 0) = g((s1 )0 , (s2 )0 ) = (s1 )0 (s2 )0 .
3. La demostracin construye ahora el polinomio
f1 (X1 , X2 , X3 ) = f (X1 , X2 , X3 ) g(s1 , s2 )
= (X1 + X2 )(X1 + X3 )(X2 + X3 )
(X1 + X2 + X3 )(X1 X2 + X1 X3 + X2 X3 )
= (X12 X2 + X12 X3 + X1 X22 + X1 X33 + X22 X3 + X2 X32 + 2X1 X2 X3 )
(X12 X2 + X12 X3 + X1 X22 + X1 X32 + X22 X3 + X2 X32 + 3X1 X2 X3 )
= X1 X2 X3
luego f (X1 , X2 , X3 ) = f1 (X1 , X2 , X3 ) + X1 X2 X3 = s1 s2 s3 .
1.1. POLINOMIOS SIMTRICOS
13
Para escribir los polinomios

se ha desarrollado una
Psimtricos
i1
in
notacin especial: Llamamos
X1 . . . Xn a la suma de todos los
monomios distintos que se obtienen al aplicar todas las permutaciones de Sn al monomio X1i1 . . . Xnin . Por ejemplo si n = 3,
X
X13 = X13 + X23 + X33
X
X12 X2 = X12 X2 + X12 X3 + X22 X1 + X22 X3 + X32 X2 + X32 X1
. Un polinomio simtrico
es una combinacin lineal de trP i1 general
in
minos de la forma
X1 . . . Xn con coeficientes en A.
P
Ejemplo 1.1.7. Sea f = X12 X2 con n = 3. Calculamos f (X1 , X2 , 0) =
X12 X2 + X22 X1 = X1 X2 (X1 + X
1 )0 .
P
P2 ) =2 (s2 )0 (sP
X
(
X
X
)(
X1 ) = 3X1 X2 X3 .
Ahora
f
=
f
s
s
=
X
2
1
2
1
2
1
1
P 2
Luego
X1 X3 = s1 s2 3s3 .
P
Ejemplo 1.1.8. Seguimos tomando n = 3. Sea f = X13 .
Entonces f (X1 , 0, 0) = X13 = (s1 )300 .
El siguiente paso calcula f (X1 , X2 , 0) (s1 )30 = 3(s1 )0 (s2 )0 .
Luego f (X1 , X2 , 0) = (s1 )30 3(s1 )0 (s2 )0 .
Finalmente calculamos f1 (X1 , X2 , X3 ) = f (s31 3s1 s2 ) = 3X1 X2 X3 ,
as que f = s31 3s1 s2 + 3s3 .
Q
Ejemplo 1.1.9. Sea = i<j (Xi Xj ). El polinomio d = 2 es simtrico. Vamos a expresarlo en funcin de los polinomios simtricos
elementales para n = 3.
1. En primer lugar d(X1 , 0, 0) = ((X1 0)((X1 0)(0 0))2 = 0.
2. Ahora d(X1 , X2 , 0) = ((X1 X2 )X1 X2 )2 . Luego d(X1 , X2 ) = s22 f1
con f1 (X1 , X2 ) = (X1 X2 )2 .
f1 (X1 , 0) = X12 . Entonces
f1 (X1 , X2 ) (s1 )20 = (X1 X2 )2 (X1 + X2 )2 = 4X1 X2
y por tanto f1 = (s1 )20 4(s2 )0 .
3. Finalmente tenemos
g1 (X1 , X2 , X3 ) = d(X1 , X2 , X3 ) s22 (s21 4s2 )
= s3 f 2
P 2
P 3
con f2 = 6 X1 X2 4 X1 + 3X1 X2 X3 . Por los dos ejemplos
anteriores,
d = s21 s22 4s32 + s3 (6(s1 s2 3s3 ) 4(s31 3s1 s2 + 3s3 ) + 3s3 )
= s21 s22 4s32 4s31 s3 + 18s1 s2 s3 27s23

Existen otros tres mtodos para expresar un polinomio simtrico en funcin de los simtricos elementales. Quiz el mas til
sea el mtodo de coeficientes indeterminados: Descomponemos el
polinomio simtrico dado en suma de polinomios simtricos homogneos y expresamos cada uno de estos en funcin de los polinomios simtricos elementales. Para ello, expresamos cada uno de los
polinomios homogneos de grado d como suma con coeficientes indeterminados de todos los k monomios posibles en los si de peso d.
Sustituimos las indeterminadas Xi por k conjuntos de valores concretos, lo que nos establece un sistema lineal de k ecuaciones en
los coeficientes, sistema que resolvemos por los mtodos de lgebra
lineal.
Ejemplo 1.1.10. Sea f = (X1 + X2 X3 X4 )(X1 X2 + X3 X4 )(X1
X2 X3 + X4 ). Es fcil comprobar que f es simtrico homogneo de
grado 3. La lista de todos los monomios posibles de peso 3 es la
siguiente: s31 , s1 s2 , s3 . As que expresamos
f = as31 + bs1 s2 + cs3
Ahora consideramos tres conjuntos de valores para los Xi de manera que nos quede un sistema determinado de tres ecuaciones
lineales en a, b, c. Por ejemplo los valores
X1 X2 X3 X 4 s1 s2 s3
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 = s31 4s1 s2 + 8s3
Ejercicio 1.1.1. Sea n 5. Expresar el polinomio f =
como un polinomio en los simtricos elementales.
x21 x22 x3
1.2. POLINOMIOS ALTERNADOS
1.2.
15
Polinomios alternados
Otro tipo de polinomios interesantes son los definidos a continuacin:

Definicin 1.2.1. Un polinomio f A[X1 , . . . , Xn ] se llama alternado si para toda permutacin sn se verifica f = sgn()f .
El polinomio alternado no nulo mas sencillo es el producto de
todas las diferencias
Y
=
(Xi Xj )
i<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(n1)/2. Cuando aplicamos una trasposicin
(i j) a , los factores se permutan entre s, excepto el factor Xi Xj
que se transforma en Xj Xi , luego cambia de signo.
Teorema 1.2.2. Sea A un dominio de integridad de caracterstica
distinta de 2. Todo polinomio f alternado de A[X1 , . . . , Xn ] es de la
forma f = g, donde g es simtrico.
Demostracin. Sustituyendo X2 = X1 obtenemos
f (X1 , X1 , . . . , Xn ) = f (X1 , X1 , . . . , Xn )
y como car(A) 6= 2, necesariamente f (X1 , X1 , . . . , Xn ) = 0, luego (X1
X2 ) divide a f . De la misma forma Xi Xj 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[X1 , . . . , Xn ] con f = g. Claramente
g = f / es un polinomio simtrico.
Corolario 1.2.3. Sea f A[X1 , . . . , Xn ] un polinomio alternado. Entonces gr(f ) n(n 1)/2.
1.3.
1.3.1.
La resultante
Introduccin
El problema fundamental de la teora de eliminacin es el siguiente: Dados dos polinomios con coeficientes en un cuerpo F :
f = an xn + an1 xn1 + . . . + a0 ,
g = bm xm + bm1 xm1 + . . . + b0 ,
an 6= 0
bm 6= 0
(1.3.1)
determinar si tienen una raz comn en una extensin de F

y en caso afirmativo 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 coeficientes de f y g. La ms sencilla de tales expresiones es la
resultante que vamos a definir y estudiar.
1.3.2.
Definicin
Sea K un cuerpo de descomposicin para f g, as que en K[X]

tenemos:
Q
f = an (X 1 ) . . . (X n ) = an Qni=1 (X i )
(1.3.2)
g = bm (X 1 ) . . . (X m ) = bm m
j=1 (X j )
La resultante de f y g viene definida por
R(f, g) =
n
am
n bm
m
n Y
Y
(i j )
(1.3.3)
i=1 j=1
1.3.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)
Qn
Q
nm n
bm m
3. R(f, g) = am
n
i=1 g(i ) = (1)
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) = bn
6. R(X k , f ) = ak0 ; R(f, X k ) = (1)nk ak0
gr(g)gr(r)
7. Si g = f q + r, R(f, g) = an
am
n
Qn
Demostracin: R(f, g) =
Q
mgr(r)
ann ni=1 r(i ) = an
R(f, r)
i=1
R(f, r)
g(i ) = am
n
Qn
i=1 (f (i )q(i )+r(i ))
8. R(X k f, g) = bk0 R(f, g); R(f, X k g) = (1)nk ak0 R(f, g)
1.4. EL DISCRIMINANTE
17
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 ai
Demostracin: Por la propiedad 9, R(f, g) es expresable como un polinomio en los polinomios simtricos elementales
i = (1)i aa0i . Por el factor am
0 todos los denominadores se simplifican.
12. R(f, g) es un polinomio homogneo de grado n en las bj
n
13. El trmino am
n b0 tiene coeficiente +1 en R(f, g)
n
Demostracin: Dicho trmino slo aparece al desarrollar am
n bm
n
am
n b0 .
1.4.
Qn
El discriminante
El caso particular ms importante de la resultante es cuando

g = f 0 (la derivada formal). En ese caso, R(f, f 0 ) = 0 f tiene races
mltiples. Explcitamente, sean
f = an X + an1 X
n1
+ . . . + a1 X + a0 = an
n
Y
(X i )
i=1
0
f = nan X
n1
+ (n 1)an1 X
n2
n Y
X
(X i )
+ . . . + a1 = an
j=1 i6=j
f 0 (j ) = an
Y
(j i )
i6=j
R(f, f 0 ) = an1
n
n
Y
f 0 (j ) = an2n1
j=1
1.4.1.
n Y
Y
(j i )
(1.4.1)
j=1 i6=j
Definicin
Llamamos discriminante de f a D(f ) = an2n2

parando con (1.4.1) obtenemos:
R(f, f 0 ) = (1)
n(n1)
2
an D(f )
i<j (i
j )2 . Com-
(1.4.2)
i=1 (n )
1.4.2.
Propiedades
1. f1 , f2 F [X] D(f1 f2 ) = D(f1 )D(f2 )R(f1 , f2 )2

2. f1 , . . . , fr F [X] D(f1 . . . fr ) = D(f1 ) . . . D(fr )R2 con R F
1.5.
Mtodos de clculo
En esta seccin nos planteamos encontrar una expresin explcita (o un mtodo de clculo) para R(f, g) y D(f ) en funcin de
los coeficientes de f y g. Para ello existen diversos mtodos que
pasamos a describir.
1.5.1.
Clculo directo
Las propiedades halladas para la resultante permiten calcular

directamente el discriminante de polinomios particulares. Veamos
algunos ejemplos:
Q
1. Ejemplo: f = X n 1 = ni=1 (X i ), f 0 = nX n1
D(f ) = (1)
n(n1)
2
R(f, f ) = (1)
n(n1)
2
n
Y
f (i ) = (1)
n(n1)
2
i=1
(1)
n(n1)
2
n
Y
nin1 =
i=1
n
Y
n(n1)
n(n1)
n
n ( (i ))n1 = (1) 2 +n(n1) nn = (1) 2 nn
i=1
En particular si q es impar, f = X q 1, D(f ) = (1)
q1
2
qq
2. Ejemplo: f = X p1 + X p2 + . . . + X + 1
p primo impar. Sea
p1
p
g = X 1. Entonces f g = X 1 D(f g) = (1) 2 pp
g 0 = 1 D(g) = R(g, g 0 ) = 1
R(f, g) = f (1) = p.
p1
2
Luego D(f g) = D(f )D(g)R(f, g) D(f ) = (1) 2 pp2
3. Ejemplo:
f = X 3 + aX + b = (X 1 )(X 2 )(X 3 )
f 0 = 3X 2 + a
D(f ) = R(f, f 0 )
3
3
Y
Y
0
2
R(f, f ) =
(3i + a) =
f 0 (i )
i=1
i=1
1.5. MTODOS DE CLCULO
19
33 +a
Pero f 0 (i ) = 3i2 + a = ii i = 2aii 3b

3b
Llamamos i = 2ai + 3b i = i2a
as que i es raz de
X3b
X3b 3
3b
3 27b3
( 2a ) + a 2a + b 1 2 3 = 8a ( 8a3 + 2 b) = 27b3 + 4a3 b
0
R(f, f ) =
3
Y
Q3
f (i ) =
i=1
i=1 (2ai +
Q3
i=1 i
3b)
27b3 + 4a3 b
= 27b2 +4a3
b
y por tanto D(f ) = (4a3 + 27b2 )

4. Ejemplo:
f = X 3 + aX 2 + b = (X 1 )(X 2 )(X 3 )
f 0 = 3X 2 + 2aX = X(3X + 2a) f 0 (i ) = i (3i + 2a)
Sea i = 3i + 2a i = i 2a
y los i son races de ( X2a
)3 +
3
3
a( X2a
)2 + b 1 2 3 = 33 (( 2a
)3 a( 2a
)2 b) = (4a3 + 27b)
3
3
3
Q
Q
Q
Luego R(f, f 0 ) = 3i=1 f 0 (i ) = 3i=1 i 3i=1 i = (b)((4a3 + 27b))
y D(f ) = R(f, f 0 ) = b(4a3 + 27b)
5. Ejemplo:
5
Y
f = X + aX + b =
(X i )
f 0 = 5X 4 + a
i=1
f 0 (i ) = 5i4 + a =
5i5 + ai
4ai 5b
=
i
i
5b
Llamamos i = 4ai + 5b i = i4a
as que i es raz de
Q
5
X5b 5
X5b
5 5b 5
( 4a ) + a 4a + b i=1 i = (4a) (( 4a ) + 5b
b) = (5b)5 + 44 a5 b
4
5
Y
Q5
i
D(f ) = R(f, f ) =
f (i ) = Q5i=1 = 55 b4 + 44 a5
i=1 i
i=1
0
6. Ejemplo:
5
Y
f = X + aX + b =
(X i )
5
f = 5X + 4aX = X (5X + 4a)
f (i ) =
i=1
i3 (5i
+ 4a)

y los i son races de ( X4a
)5 +
Sea i = 5i + 4a i = i 4a
5
5
Q
a( X4a
)4 + b 5i=1 i = 55 (( 4a
)5 a( 4a
)4 b) = (44 a5 + 55 b)
5
5
5
Q
Q
Q
Luego D(f ) = R(f, f 0 ) = 5i=1 f 0 (i ) = 5i=1 i3 5i=1 i = b3 (44 a5 +
55 b)
7. Ejemplo:
n
Y
f = X + aX + b =
(X i )
n
f 0 = nX n1 + a
i=1
f 0 (i ) = nin1 + a =
(n 1)ai nb
nin + ai
=
i
i
i nb
as que i es raz de
Llamamos i = (n 1)ai + nb i = (n1)a
Qn
Xnb n
nb
Xnb
n
( (n1)a ) + a (n1)a + b i=1 i = (1) ((n 1)a)n (((1)n (n1)a
)n
nb
+ b) = (nb)n + (1)n (n 1)n1 an (b)
n1
Qn
n
Y
i
0
0
n
R(f, f ) =
f (i ) = (1) Qni=1 = nn bn1 + (1)n1 (n 1)n1 an
i=1 i
i=1
D(f ) = (1)
n(n1)
2
R(f, f 0 ) = (1)
n(n1)
2
(nn bn1 + (1)n1 (n 1)n1 an )
8. Ejemplo:
n
f = X + aX
n1
n
Y
+b=
(X i )
f 0 = nX n1 + (n 1)aX n2 =
i=1
n2
(nX + (n 1)a)
f 0 (i ) = in2 (ni + (n 1)a)
Sea i = ni + (n 1)a i = i (n1)a

y los i son races de
Qnn
X(n1)a n
X(n1)a n1
(
) + a(
)
+ b i=1 i = (1)n (nn (( (n1)a
)n +
n
n
n
(n1)a n1
b)) = (n 1)n1 an + (1)n nn b
a( n )
Q
Q
Q
Luego R(f, f 0 ) = ni=1 f 0 (i ) = ni=1 in2 ni=1 i = (b)n2 ((n
1)n1 an + (n)n b)
n(n1)
(n1)(n+2)
2
y D(f ) = (1) 2 R(f, f 0 ) = (1)
bn2 ((n1)n1 an +(1)n1 nn b)
1.5.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 polinomios: En primer lugar, sean
f = an X n + . . . + a0
g =X b
21
Diviendo f entre g obtenemos:

f = gf1 + 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)
(1.5.1)
Sean ahora
f = an X n + . . . + a0
g = b m X m + . . . + b0
y sean p, qi , r, sj tales que

k
l
Y
Y
pg (X qi ) r (X sj )
i=1
(1.5.2)
(mod f )
j=1
Entonces
k
l
Y
Y
m+kl
R(f, p)R(f, g)R(f, (X qi )) = an
R(f, r)R(f, (X sj )) (1.5.3)
i=1
j=1
Pero por (1.5.1)

R(f, p) = pn
R(f, r) = rn
k
k
k
Y
Y
Y
R(f, (X qi )) =
R(f, X qi )) =
(1)n f (qi )
R(f,
i=1
l
Y
i=1
l
Y
j=1
j=1
(X si )) =
R(f, X si )) =
i=1
l
Y
(1)n f (si )
j=1
Despejando en (1.5.3),
Ql
n
r
j=1 f (si )
R(f, g) = (1)n(k+l) anm+kl n Qk
p
i=1 f (qi )
Ejemplo: Sean
f = X 5 X 2 + 15
g = f 0 = 5X 4 2X
Tomamos k = 1, l = 2, p1 = 1, p0 = 0 y calculamos:
Xg = 5X 5 2X 2 = 5f + 3X 2 75 3(X 5)(X + 5)
(mod f )
35 f (5)f (5)
=
f (0)
5
2
5
2
2
10
5 (5 5 + 15)((5) (5) + 15)
5 10 5
= 3
= 34 5(58 4)
3
15
15
D(f ) = R(f, f 0 ) = (1)5(1+2)
1.5.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) = amgr(r)
R(f, r) = (1)mgr(r) amgr(r)
R(r, f )
n
n
Por induccin sobre el grado llegamos a gr(r) = 0 y aplicamos la
propiedad 5.
1. Ejemplo:
f = aX + b
f0 = a
R(f, f 0 ) = a
D(f ) = 1
2. Ejemplo:
f = aX 2 + bX + c
f 0 = 2aX + b
b
b2
)f 0 + (c 4a
)
f = ( 21 X + 4a
b2
b2
0
0
2
0
2
R(f, f ) = R(f , f ) = (2a) R(f , c 4a ) = (2a) (c 4a
) = a(4ac b2 )
21
D(f ) = (1) 2 a1 R(f, f 0 ) = b2 4ac
3. Ejemplo:
f = X 3 + aX + b
f 0 = 3X 2 + a
r = 2a
X +b
f = 21 Xf 0 + r
3
2
3
9
27b
0
f = ( 2a X 4a2 )r + r1
r1 = 27b4a+4a
2
2
3
R(f, f 0 ) = R(f 0 , f ) = 32 R(f 0 , r) = 32 R(r, f 0 ) = 32 ( 2a
)2 R(r, r1 ) = 4a2 27b4a+4a
2
3
D(f ) = R(f, f 0 ) = (4a3 + 27b2 )
1.5.4.
Determinante de Euler-Sylvester-Cayley
Multiplicando f sucesivamente por 1, X, . . . , X m1 y g por 1, X, X n1

e igualando a cero nos queda el siguiente sistema de (n + m) ecua-
23
ciones en las (n + m) incgnitas 1, X, X 2 , . . . , X n+m1 :

X m1 f = an X n+m1 + an1 X n+m2
X m2 f =
an X n+m2
.. ..
..
..
..
. .
.
.
.
1f =
X n1 g = bm X n+m1 + bm1 X n+m2
X n2 g =
bm X n+m2
.. ..
..
..
..
. .
.
.
.
1g =
+ ...
+ ...
..
..
.
.
+
+
..
.
a0 X m1
a1 X m1
..
.
+ ...
+ ...
..
..
.
.
an X n
+
+
..
.
bm X m
+
..
.
a0 X m2
..
.
+
b0 X n1
b1 X n1
..
.
...
+
..
.
b0 X n2
..
.
...
Por el teorema de Rouch, este sistema tendr solucin si y slo

si el determinante de los coeficientes es cero. Este determinante se
llama resultante de Euler-Sylvester-Cayley:
an
0
..
.
C(f, g) =
an1
an
..
.
...
an1
..
.
a0
...
..
.
0
a0
..
.
0
0
. . . an an1
bm bm1 . . .
b0
0
0
bm bm1 . . .
b0
..
..
..
..
..
.
.
.
.
.
0
0
. . . bm bm1
...
...
..
.
0
0
..
.
. . . a0
... 0
... 0
..
..
.
.
. . . b0
Vamos a ver que C(f, g) = R(f, g): Como C(f, g) = C(an , . . . , a0 , bm , . . . , b0 )

y los ai y bj 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) R(f, g) | C(f, g). Contando
grados vemos que el cociente tiene grado cero (i.e. es una consn
tante). Luego C(f, g) = R(f, g). Pero el trmino am
n bm aparece con
coeficiente +1 en C(f, g) y en R(f, g) = 1.
1. Ejemplo: Tomando f = aX 2 + bX + c, g = f 0 = 2aX + b tenemos:
a b c
R(f, g) = 2a b 0 = ab2 + 4a2 c 2ab2 = a(4ac b2 )
0 2a b
..
.
a0
..
.
b0
= 0
= 0
.. ..
. .
= 0
= 0
= 0
.. ..
. .
= 0

2. Ejemplo: f = X 3 + aX + b, g = 3X 2 + a
1
0
R(f, g) = 3
0
0
1.5.5.
0
1
0
3
0
a
0
a
0
3
b
a
0
a
0
0
b
0 = 4a3 + 27b2
0
a
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 clculos 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. Definimos los
elementos:
a b ai bj si 0 i, j n
cij ={ j i
0
en otro caso
Observese que cij = cij y que cii = 0.
Si todos los cij son cero, existe un tal que g = f . En lo que
sigue excluimos este caso. Consideremos ahora los polinomios:
hi = bi f ai g
i = 0, 1, . . . , n
(1.5.4)
Si cij 6= 0, del sistema:

hi = bi f ai g
hj = bj f aj g
obtenemos:
aj
hi
cij
bj
g=
hi
cij
f=
ai
hj
cij
bi
hj
cij
luego hi , hj 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 hi .
25
Formemos ahora los polinomios:

g0
g1
g2
..
.
= hn
= xg0 + hn1
= xg1 + hn2
..
.
P
= n1
d Xi
Pin1 0i i
= i d1i X
P
d2i X i
= n1
i
..
.
P
= n1
dn1i X i
i
(1.5.5)
= bn f an g
= (bn X + bn1 )f (an X + an1 )g
= (bn X 2 + bn1 X + bn2 )f (an X 2 + an1 X + an2 )g
..
.
gn1 = xgn2 + h1 = (bn X n1 + . . . + b1 )f (an X n1 + . . . + a1 )g
Los gi tienen un cero en comn los hi tienen un cero en comn

f y g tienen un cero en comn. Veamos la forma general de los
coeficientes dki . Por construccin,
d0i = cni ,
dki = dk1,i1 + cnk,i . Demostraremos por induccin
sobre k que
k
X
dki =
cnj,ik+j
(1.5.6)
j=0
Para k = 0 es trivial. Supongamoslo cierto para k 1. Entonces

dki = dk1,i1 + cnk,i =
k1
X
cnj,i+jk + cnk,i
j=0
Las races comunes de f y g dan lugar a soluciones no triviales

del sistema:
d0n1 X n1 + . . . + d01 X + d00 1 = 0
d1n1 X n1 + . . . + d11 X + d10 1 = 0
..
.
dn1,n1 X n1 + . . . + dn1,1 X + dn1,0 1 = 0
Llamamos resultante de Bezout de f y
sistema:
d0n1
...
.
..
B(f, g) = ..
.
dn1,n1 . . .
g al determinante de este
d00
..
.
dn1,0
Como cada cij es homogneo de grado 1 en ai y en bj , dki tambin es

homogneo de grado 1 en ambos, y B(f, g) es un polinomio homogneo en las ai y en las bj 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 .

Para determinar observamos el trmino ann bn0 . En la resultante
de Cayley este trmino slo aparece en el desarrollo de la diagonal
principal y por tanto tiene coeficiente +1. En B(f, g) aparece en el
producto de todos los c0n = an b0 a0 bn de la diagonal secundaria,
luego tiene coeficiente sgn() siendo = (1 n)(2 n1) . . . luego sgn()
n(n1)
n(n1)
n(n1)
= (1) 2 y por tanto = (1) 2 , B(f, g) = (1) 2 R(f, g).
En caso de que gr(g) = m gr(f ) = n, tomamos g1 = X nm g, formamos la resultante de Bezout de f y g1 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)
+n(nm)
2
anm
R(f, g)
0
Para calcular el discriminante de un polinomio, g = f 0 , m = n 1

y nos queda:
B(f, Xf 0 ) = (1)
n(n1)
+n
2
a0 R(f, f 0 ) = (1)n a0 an D(f )
as que
(1)n
B(f, Xf 0 )
an a0
D(f ) =
adems, en este caso los cij tienen una forma sencilla: Sean
f = an X n + an1 X n1 + . . . + a0
g = Xf 0 = nan X n + . . . + a1 X = bn X n + . . . + b1
luego bi = iai , cij = (j i)ai aj , y
dki =
k
X
j=0
cnj,i+jk
k
k
X
X
=
(i+2jkn)anj ai+jk =
(ni+k2j)anj ai+jk
j=0
j=0
y nos queda la expresin:

1
D(f ) =
an a0
d0,n1
..
.
dn1,n1
. . . d0,0
..
..
.
.
. . . dn1,0
1. Ejemplo: f = aX 2 + bX + c
D(f ) =
1 ab 2ac
= b2 4ac
ac 2ac bc
27
2. Ejemplo: f = X 3 + aX + b
D(f ) =
0 2a 3b
1
2a 3b 0 = (4a3 + 27b2 )
b
3b 0 ab
3. Ejemplo: f = a3 X 3 + a2 X 2 + a1 X + a0
a3 a2
2a3 a1
3a3 a0
1
2a3 a1 3a3 a0 + a2 a1 2a2 a0
D(f ) =
a3 a0
3a3 a0
2a2 a0
a1 a0
4. Ejemplo: f = a4 X 4 + a3 X 3 + a2 X 2 + a1 X + a0
a4 a3
2a4 a2
3a4 a1
4a4 a0
1 2a4 a2 3a4 a2 + a3 a2 4a4 a0 + 2a3 a1 3a3 a0
D(f ) =
a4 a0 3a4 a1 4a4 a0 + 2a3 a1 3a3 a0 + a2 a1 2a2 a0
4a4 a0
3a3 a0
2a2 a0
a1 a0
5. Ejemplo: f = a5 X 5 + a4 X 4 + a3 X 3 + a2 X 2 + a1 X + a0
a5 a4
2a5 a3
3a5 a2
4a5 a1
2a5 a3 3a5 a2 + a4 a3
4a5 a1 + 2a4 a2
5a5 a0 + 3a4 a1
1
3a
a
4a
a
+
2a
a
5a
a
+
3a
a
+
a
a
D(f ) =
5 2
5 1
4 2
5 0
4 2
3 2 4a4 a0 + 2a3 a1
a5 a0
4a5 a1 5a5 a0 + 3a4 a1
4a4 a0 + 2a3 a1
3a3 a0 + a2 a1
5a5 a0
4a4 a0
3a3 a0
2a2 a0
5a5 a0
4a4 a0
3a3 a0
2a2 a0
a1 a0
Captulo 2
Series de grupos y grupos
solubles
29
30
CAPTULO 2. SERIES DE GRUPOS Y GRUPOS SOLUBLES
2.1.
Series de composicin
Definicin 2.1.1. Sea G un grupo. Llamamos factor de G a cualquier grupo cociente H/H 0 donde G > H B H 0 .
Ntese que ni H ni H 0 tienen que ser normales en G.
Definicin 2.1.2. Dados dos factores H/H 0 , K/K 0 de un grupo G,
el cociente
K 0 (H K)
K 0 (H 0 K)
se llama proyeccin de H/H 0 sobre K/K 0
Definicin 2.1.3. Llamamos serie del grupo G a una cadena finita
de subgrupos
G = G0 > G1 > > Gr = 1
(2.1.1)
Al nmero natural r le llamamos longitud de la serie 2.1.1
Definicin 2.1.4. Dadas dos series para el mismo grupo G:
G = G0 > G1 > > Gr = 1
G = G00 > G01 > > G0s = 1
decimos que la primera es un refinamiento de la segunda si todo
grupo de la segunda aparece en la primera. Si adems en la primera hay grupos que no aparecen en la segunda diremos que es un
refinamiento propio.
Definicin 2.1.5. Una serie 2.1.1 se llama normal si para todo
i = 1, 1, . . . , r se verifica que Gi es un subgrupo normal de Gi1 .
Una serie 2.1.1 se llama propia si todas las inclusiones son propias.
Para cada serie 2.1.1 normal los grupos cocientes Gi1 /Gi se
llaman factores de la serie
Dadas dos series normales
G = G0 > G1 > > Gr = 1
G = H0 > H1 > > Hs = 1
del mismo grupo G diremos que son isomorfas si r = s y existe
una permutacin Sr tal que Gi1 /Gi
= H(i)1 /H(i) para todo
i = 1, 2, . . . r.
2.1. SERIES DE COMPOSICIN
31
Una serie normal propia sin refinamientos normales propios se

llama serie de composicin del grupo G.
Para cada serie de composicin de G los factores de la serie
se llaman factores de composicin del grupo G. Los rdenes de los
factores de composicin se llaman ndices de composicin del grupo
G.
Definicin 2.1.6. Un grupo G se llama simple si no es trivial y no
admite subgrupos normales propios.
Lema 2.1.7. Un grupo abeliano finito simple es cclico de orden primo
Demostracin. En un grupo abeliano G todos los subgrupos son
normales. As que G ser simple si y slo si no tiene subgrupos
propios. Sea 1 6= x G. El grupo cclico < x > es un subgrupo no
trivial de G, luego < x >= G es cclico. Si |G| = mn no es primo,
< xm > sera un subgrupo propio de G, contradiccin.
Lema 2.1.8. Los factores de composicin de un grupo G son simples.
Demostracin. Sea 2.1.1 una serie de composicin del grupo G. y
sea H un subgrupo normal propio de Gi1 /Gi . Sea p : Gi1 Gi1 /Gi
la proyeccin y sea H 0 = p1 (H). Entonces Gi1 B H 0 B Gi y las
inclusiones son propias. La serie G = G0 > > Gi1 > H 0 > Gi >
> 1 es un refinamiento propio de la dada, contradiccin.
No es cierto que todo grupo posea una serie de composicin. De
hecho Z no la tiene. Sin embargo tenemos:
Lema 2.1.9. Todo grupo finito G posee una serie de composicin.
Demostracin. Induccin sobre el orden de G. Para grupos de orden primo, G > 1 es una serie de composicin. Supongmoslo demostrado para todos los grupos de orden menor que G. Sea G1 un
subgrupo normal propio maximal de G (existe porque el conjunto
de subgrupos de G es finito). Sea G1 > > Gr = 1 una serie de
composicin de G (existe porque el orden de G1 es estrictamente
menor que el orden de G). Entonces G > G1 > > Gr = 1 es una
serie de composicin de G.
Teorema 2.1.10 (Teorema de refinamiento de Schreier). Dos series
normales arbitrarias de un grupo G tienen refinamientos isomorfos.
32
Demostracin. Sean las series normales

G = G0 > G1 > . . . > Gr = 1
(2.1.2)
G = H0 > H1 > . . . > Hs = 1
(2.1.3)
Llamamos Gij = Gi (Hj Gi1 ), i = 1, . . . , r, j = 1, . . . s. Entonces

Gi1 = Gi0 > Gi1 > Gis = Gi es una cadena normal de Gi1 a Gi .
Uniendo estas cadenas obtenemos un refinamiento de 2.1.2:
G = G10 > G11 > > G1s (= G20 ) > G21 > > Gr1,s
(= Gr0 ) > > Grs = 1 (2.1.4)
Similarmente los grupos Hij = Hj (Gi Hj1 ), i = 1, . . . , r, j = 1, . . . s
forman un refinamiento de 2.1.3:
G = H01 > H11 > > Hr1 (= H02 ) > H12 > > Hs1,r
(= Hs0 ) > > Hsr = 1 (2.1.5)
Por el lema de Zassenhaus, Gi,j1 /Gij
= Hj.i1 /Hji , lo que demuestra
que los refinamientos anteriores son isomorfos. Si omitimos todas
las repeticiones en 2.1.4 y 2.1.5 (correspondientes a factores triviales), las series que quedan siguen siendo isomorfas.
Teorema 2.1.11 (Teorema de Jordan-Holder). Si un grupo admite
una serie de composicin, cualquier serie normal propia puede refinarse a una serie de composicin.
Dos series de composicin de un grupo G son isomorfos.
Demostracin. Sea G un grupo que admite una serie de composicin. Cualquier refinamiento de tal serie coincide con ella misma.
Tomemos cualquier serie normal de G y construimos los refinamientos isomorfos de esta serie y la serie de composicin dada que
existen por el teorema de refinamiento de Schreier. Deben ser series de composicin isomorfas a la dada.
2.2.
El programa de Holder
Sea G un grupo y N un subgrupo normal de G. El primer teorema de isomorfismo nos dice que el grupo cociente G/N describe
la estructura de G sobre N (es decir, los retculos de subgrupo
2.2. EL PROGRAMA DE HOLDER
33
son isomorfos). Esto plantea el problema de hasta que punto el

conocimiento de N y G/N fuerza cmo tiene que ser G.
El teorema de Jordan-Holder nos dice que todo grupo finito tiene una serie de composicin y aunque la serie en s no tiene que
ser nica, su longitud y los tipos de isomorfismo de los factores
s son nicos. Adems est claro que grupos isomorfos tienen los
mismos factores de composicin, aunque grupos no isomorfos tambin pueden tener los mismos factores (por ejemplo, Z6 y S3 ).
Esta situacin motiva un programa de dos partes para clasificar
todos los grupos finitos salvo isomorfismo, expuesto por Holder en
un artculo de 1893:
1. Clasificar todos los grupos finitos simples.
2. Hallar las tcnicas para construir grupos a partir de otros mas
sencillos.
Estos dos problemas son una motivacin importante para gran
parte del desarrollo de la teora de grupos. Problemas anlogos se
encuentran recurrentemente a travs de toda la matemtica. Vamos a comentar un poco los dos problemas del programa de Holder:
La clasificacin de los grupos simples finitos se complet en
1980. Los esfuerzos de unos 100 matemticos repartidos entre 300
y 500 artculos que cubren entre 5,000 y 10,000 pginas de revistas demostraron el siguiente teorema:
Teorema 2.2.1. Existe una lista consistente en 18 familias infinitas
de grupos simples y 26 grupos simples no pertenecientes a estas
familias (los grupos simples espordicos) tal que todo grupo simple
finito es isomorfo a uno de los grupos de esta lista.
Tres ejemplos de familias infinitas: Zp para p primo, An para
n 5 y P SLn (F ) para n 2 excepto P SL2 (Z2 ) y P SL2 (Z3 ).
Vamos a demostrar el siguiente resultado:
Teorema 2.2.2 (Abel). El grupo alternado An es simple para n 5
Demostracin. Sea K 6= 1 un subgrupo normal de An . Queremos
ver que necesariamente K = An . Lo demostramos en tres pasos:
1. K contiene un ciclo de longitud 3
34

Sea K una permutacin distinta de la identidad que mueve el mnimo nmero de smbolos. Sea k = |{i = 1 . . . n | (i) 6=
i}|. Como no es la identidad, k > 0. Si (i) = j 6= i, como
es inyectivo tenemos que (j) 6= j. As que k 2. Si k = 2,
necesariamente = (i j) que no pertenece a An . Luego k 3.
Supongamos que k 4. no es un ciclo de longitud 4, porque
entonces sera impar. Descomponemos en producto de ciclos
disjuntos. Dos posibilidades:
1 = (1 2)(3 4)(producto de transposiciones disjuntas)
2 = (1 2 3 . . . ) . . . (Si k > 3 necesariamente k 5)
Sea = (3 4 5) An y definimos i = ( i 1 )i1 K por ser K
normal en An . Calculamos
a) Si i (t) = t e i > 5, entonces i (t) = t.
b)
1 (1) = 1 1 (2) = 1 (2) = (1) = 1
1 (2) = 1 1 (1) = 1 (1) = (2) = 2
1 (3) = 1 1 (4) = 1 (3) = (4) = 5 6= 3
2 (2) = 2 1 (1) = 2 (1) = (2) = 2
2 (3) = 2 1 (2) = 2 (2) = (3) = 4 6= 3
luego en ambos casos i es una permutacin no trivial que
deja fijos mas smbolos que i , contradiccin. As que k = 3 y
el grupo K contiene un ciclo de longitud 3, sea (1 2 3) K.
2. K contiene todos los ciclos de longitud 3

Sea (1 2 4) un ciclo que se diferencia de (1 2 3) en un nico
smbolo. Entonces
(3 4 5)(1 2 3)(3 4 5)1 = (1 2 4) K
Sea ahora (1 4 5) un ciclo que se diferencia de (1 2 3) en dos
smbolos. Entonces
(2 4)(3 5)(1 2 3)((2 4)(3 5))1 = (1 4 5) K
Sea (4 5 6) un ciclo con todos los smbolos distintos de (1 2 3).
Por los resultados anteriores, (1 2 6) K y de aqu (4 5 6) K.
2.2. EL PROGRAMA DE HOLDER
35
3. El grupo An est generado por todos los ciclos de longitud 3

Sea An arbitraria. La permutacin es producto de un nmero par de transposiciones, sea = (1 2 ) . . . (2m1 2m ). Cada
producto s s+1 es de uno de los siguientes tipos:
a) s s+1 = (i j)(i j) = (1)
b) s s+1 = (i j)(j k) = (i j k)
c) s s+1 = (i j)(k l) = (i j)(j k)(j k)(k l) = (i j k)(j k l)
En cualquier caso es un producto de ciclos de longitud 3.
Una idea de la complejidad de la clasificacin de los grupos finitos simples la proporciona uno de los teoremas claves de la clasificacin:
Teorema 2.2.3 (Feit-Thompson). Si G es un grupo simple de orden
impar, entonces G
= Zp para algn primo impar p.
La demostracin de este teorema (publicado en 1963) ocupa 255
pginas de matemtica dura.
La segunda parte del programa de Holder se llama problema de
la extensin. Vamos a describirla con mas precisin: Dados dos
grupos H y K, determinar (salvo isomorfismo) todos los grupos G
que contienen un subgrupo normal N tal que N
= H y G/N
= K
(se suele decir que G es una extensin de K por H). Por ejemplo si
H = K = Z2 existen exactamente dos posibilidades: Z4 y Z2 Z2 . El
programa de Holder busca cmo pueden construirse los dos grupos de orden 4 a partir de los de orden 2 sin tener un conocimiento
previo de la existencia de aquellos. Esta parte del programa de Holder es extremadamente difcil an cuando los subgrupos envueltos
son de orden pequeo. Por ejemplos, si |G| = 2n todos los factores
de composicin tienen orden 2. Sin embargo el nmero de grupos
no isomorfos de orden 2n crece exponencialmente como funcin de
n:
36

Orden: Nmero de Grupos:
2
1
4
2
5
8
16
14
51
32
64
267
2328
128
256
56092
10494213
512
1024
49487365422
As que el nmero de extensiones de un 2-grupo por otro 2-grupo

puede ser muy grande. An as existen unas cuantas tcnicas interesantes y poderosas para revelar la estructura de amplias clases
de grupos.
No sera justo decir que la teora de grupos finitos trata solamente del programa de Holder, pero s es justo decir que el programa de
Holder sugiere un gran nmero de problemas y motiva bastantes
tcnicas algebraicas. Por ejemplo, el estudio de las extensiones de
K por H cuando H es abeliano nos lleva a clasificar las acciones
(por automorfismos) de K sobre H.
2.3.
Grupos solubles
El teorema de Jordan-Holder nos dice que cada grupo determina unvocamente a su serie de composicin (salvo isomorfismo).
Nos permite por tanto definir clases especiales de grupos mediante
propiedades que satisfacen sus factores de composicin. La mas
evidente de tales clases es la de los grupos solubles, que adems
tiene un papel clave en la teora de Galois.
Definicin 2.3.1. Dado un grupo G, definimos la serie derivada de
G como
G = G0 > G0 > G00 > > G(i >
donde G(i+1 = [G(i , G(i ] (el grupo derivado).
En general esta serie no tiene porqu alcanzar el 1. De hecho
tenemos:
Teorema 2.3.2. Sea G un grupo finito. Las siguientes propiedades
son equivalentes:
2.3. GRUPOS SOLUBLES
37
1. Los factores de composicin de G son cclicos de orden primo.

2. G tiene una serie normal con factores cclicos.
3. G tiene una serie normal con factores abelianos.
4. Existe un i 1 tal que G(i = 1.
Demostracin. Es inmediato que 1 2 3. Veamos que 3 1: Sea
G = H0 > Hs = 1 una serie normal con factores abelianos. Por el
teorema de Jordan-Holder, esta serie se puede refinar a una serie
de composicin, cuyos factores sern cocientes de subgrupos de
la serie dada y por tanto abelianos. Todo grupo simple abeliano es
cclico de orden primo.
Supongamos que la serie derivada alcanza el uno. Entonces es
una serie con factores abelianos y ese es el enunciado 3. A la inversa, supongamos que G tiene la siguiente serie normal con factores
abelianos:
G = G0 > G1 > > Gr = 1
Como G0 /G1 es abeliano, el grupo G1 contiene al derivado de G0
que es G0 . Por induccin supongamos que Gi G(i . Como Gi /Gi+1
es abeliano se verifica que Gi+1 G0i (G(i )0 = G(i+1 . Al final 1 =
Gr G(r y la serie derivada alcanza el 1.
Definicin 2.3.3. Un grupo finito G se llama soluble si verifica las
propiedades del teorema 2.3.2
El nombre de grupo soluble proviene de una importante aplicacin a la resolucin de ecuaciones por radicales que veremos mas
adelante. La clase de los grupos solubles se comporta bien respecto
a subgrupos y cocientes:
Proposicin 2.3.4.
luble.
1. Todo subgrupo de un grupo soluble es so-
2. Todo grupo cociente de un grupo soluble es soluble.

3. Sea N un subgrupo normal de G. Si N y G/N son solubles,
tambin G es soluble.
Demostracin. Sea H < G. Por induccin se ve que para todo i 0
se verifica H (i < G(i . Si G es soluble existe un r tal que H (r < G(r = 1,
luego H es soluble. Un argumento similar se aplica a los cocientes.
38
Supongamos que N es un subgrupo normal de G y que N y G/N

son grupos solubles. Existe un s tal que (G/N )(s = 1, luego G(s < N .
Existe ahora un r tal que N (r = 1. Luego G(r+s < N (r = 1 y G es
soluble.
Corolario 2.3.5. Todo producto finito de grupos solubles es soluble.
Para la clase de los grupos solubles es posible generalizar los
teoremas de Sylow. Nos limitamos a dar el siguiente enunciado
cuya demostracin puede verse en Hall, Teora de grupos, pginas
152-154:
Teorema 2.3.6 (Hall). Sea G un grupo soluble de orden mk con m, k
naturales tales que m. c. d.(m, k) = 1. Entonces:
1. G posee al menos un subgrupo de orden m.
2. Dos subgrupos cualesquiera de orden m son conjugados.
3. Cualquier subgrupo cuyo orden m0 divida a m est contenido en
un subgrupo de orden m.
4. El nmero nm de subgrupos de orden m puede expresarse como
un producto de factores cada uno de los cuales es congruente
con 1 mdulo algn factor primo de m y es una potencia de un
primo y divide a alguno de los factores principales de G.
La primera propiedad anterior caracteriza a los grupos solubles:
Teorema 2.3.7. Un grupo finito G es soluble si y slo si para toda
descomposicin |G| = mk con m. c. d.(m, k) = 1 existe un subgrupo
H < G de orden m.
Parte II
39
Captulo 3
41
42
3.1.
CAPTULO 3. EXTENSIONES DE CUERPOS
Generalidades
Definicin 3.1.1. Una extensin de cuerpos F/K es un par de cuerpos F , K tales que K es un subcuerpo de F .
El cuerpo K se llama cuerpo base y el cuerpo F se llama cuerpo
extensin.
En toda extensin F/K el cuerpo F es un espacio vectorial sobre
K de forma natural
Definicin 3.1.2. Llamamos grado de la extensin F/K y representamos por [F : K] a la dimensin de F como espacio vectorial
sobre K.
Definicin 3.1.3. Dada una extensin F/K cualquier subcuerpo
F1 de F que contenga a K se llama cuerpo intermedio
Definicin 3.1.4. Una torre de cuerpos es una sucesin de subcuerpos:
Fn Fn1 F0
La longitud de la torre es n (el nmero de inclusiones)
Definicin 3.1.5. Una extensin F/K se llama finita si y slo si
[F : K] es finito. En otro caso se llama infinita
Proposicin 3.1.6. Sea E F K una torre de inclusiones.
1. Sean {ui E | i I} un sistema de generadores de E como espacio vectorial sobre F y {vj F | j J} un sistema
de generadores de F como espacio vectorial sobre K. Entonces
{ui vj | (i, j) I J} es un sistema de generadores de E como
espacio vectorial sobre K.
2. Sean {ui E | i I} linealmente independientes sobre F y
{vj F | j J} linealmente independientes sobre K. Entonces
{ui vj | (i, j) I J} son linealmente independientes sobre K.
3. Sean {ui E | i I} una base de E sobre F y {vj F | j
J}una base de F sobre K. Entonces {ui vj | (i, j) I J} es una
base de E sobre K.
Teorema 3.1.7 (Teorema del grado). Sea E F K una torre de
cuerpos. Entonces
[E : F ][F : K] = [E : K]
3.2. ELEMENTOS ALGEBRAICOS Y EXTENSIONES ALGEBRAICAS43

Corolario 3.1.8. Sea E F K una torre de cuerpos. La extensin
E/K es finita si y slo si las extensiones E/F y F/K son ambas
finitas.
Corolario 3.1.9. Sea Fn Fn1 F0 una torre de longitud n.
Entonces
[Fn : Fn1 ] [F1 : F0 ] = [Fn : F0 ]
Corolario 3.1.10. Sea F/K una extensin tal que [F : K] = p es
primo. Entonces no existe ningn cuerpo intermedio distinto de F o
K.
3.2.
Elementos algebraicos y extensiones

algebraicas
Lema 3.2.1. Para todo anillo A existe un nico homomorfismo Z A

que se llama homomorfismo unital
Definicin 3.2.2. La caracterstica del anillo A es car(A) = n > 0 si
el ncleo del homomorfismo unital es nZ 6= 0.
La caracterstica del anillo A es car(A) = 0 si el ncleo del homomorfismo unital es 0 (es decir, si el homomorfismo unital es
inyectivo).
Lema 3.2.3. Si A es un dominio de integridad, entonces o bien
car(A) = 0 o bien car(A) = p es un primo.
Lema 3.2.4. car(A) = n si y slo si n es el menor entero positivo tal
que para todo a A se verifica na = 0.
Lema 3.2.5. Sea A un anillo y sea {Bi | i I} una familia de subanillos de A. Entonces B = i Bi es un subanillo de A.
Sea A un anillo y sea {Ki | i I} una familia de subcuerpos de
A. Entonces K = i Ki es un subcuerpo de A.
Definicin 3.2.6. Sea A un anillo. Llamamos anillo primo de A a la
interseccin de todos los subanillos de A.
Lema 3.2.7. El subanillo primo de un anillo A es isomorfo a Z si
car(A) = 0 y a Z/nZ si car(A) = n 6= 0.
Si A es un dominio de integridad y car(A) 6= 0, entonces p = car(A)
es un primo.
44
Definicin 3.2.8. Sea K un cuerpo. Llamamos subcuerpo primo de

K a la interseccin de todos los subcuerpos de K.
Lema 3.2.9. El subcuerpo primo de un cuerpo K es isomorfo a Q
cuando car(K) = 0 y a Z/pZ cuando car(K) = p 6= 0
Definicin 3.2.10. Sea F/K una extensin y sea S un subconjunto
de F . Llamamos subanillo generado por S sobre K y representamos
por K[S] a la interseccin de todos los subanillos de F que contienen a K y a S.
Llamamos subcuerpo generado por S sobre K a la interseccin
de todos los subcuerpos de F que contengan a K y a S.
Lema 3.2.11. Sea F/K una extensin y sean S, T subconjuntos de
F . Entonces K[S T ] = K[S][T ] = K[T ][S] y K(S T ) = K(S)(T ) =
K(T )(S)
Cuando S = {u} consta de un nico elemento, denotamos K[u]
y K(u) en lugar de K[S] y K(S) respectivamente.
Cuando S = {u1 , . . . , un } es un conjunto finito, el anillo K[S]
lo denotamos como K[u1 , . . . , un ] y el cuerpo K(S) lo denotamos
K(u1 , . . . , un ).
Definicin 3.2.12. Dados los cuerpos L E, F K llamamos
compuesto de E y F al cuerpo EF = E(F ) = F (E).
Si E y F no son subcuerpos de algn otro cuerpo L, no definimos
el compuesto.
Definicin 3.2.13. Sea F/K una extensin y S un subconjunto de
F . Diremos que S es un conjunto de generadores para F sobre K si
F = K(S).
Definicin 3.2.14. Una extensin F/K se llama finitamente generada si existe un conjunto finito de generadores de F sobre K, es
decir, si F = K(u1 , . . . , un ) con u1 , . . . , un F .
Definicin 3.2.15. Una extensin F/K se llama simple si existe un
elemento u F tal que F = K(u). El elemento u se llama elemento
primitivo para la extensin.
Sea F/K una extensin y u F un elemento arbitrario. Consideramos el anillo K[u]. Por la propiedad universal del anillo de polinomios existe un nico homomorfismo de anillos : K[X] K[u]
tal que a K se verifica (a) = a y que (X) = u. Por el primer teorema de isomorfismo para anillos, K[u]
= K[X]/ ker(). Distingamos
dos casos:
3.2. ELEMENTOS ALGEBRAICOS Y EXTENSIONES ALGEBRAICAS45

1. ker() = 0 y es inyectivo. Entonces existe un isomorfismo
K[X]
= K[u]. En este caso decimos que u es trascendente sobre K. El cuerpo K(u) es el cuerpo de fracciones de K[u] y es
isomorfo a K(X) (cuerpo de fracciones de K[X].
2. ker() 6= 0. En este caso decimos que u es algebraico sobre
K. Como K[X] es un dominio de ideales principales, el ideal
ker() es principal. Como el grupo de las unidades de K[X]
es K (grupo multiplicativo de K), existe un nico polinomio
mnico p(X) tal que ker() = (p(X)). Este p(X) se llama polinomio mnimo de u sobre K y se representa por Irr(u, K). El
anillo K[u]
= K[X]/(p(X)) es un dominio de integridad (por ser
subanillo del cuerpo F ), y por tanto el ideal (p(X)) es primo.
Pero esto ocurre si y slo si el polinomio p(X) es irreducible
sobre K. Naturalmente sobre un cuerpo mayor p(X) puede ser
reducible.
Proposicin 3.2.16. Sea F/K una extensin de cuerpos y sea u
F un elemento algebraico sobre K con polinomio mnimo p(X) =
Irr(u, K). Entonces
1. K(u) = K[u]
2. K[u]
= K[X]/(p(X))
3. [K(u) : K] es igual al grado de p(X)
4. {1, u, u2 , . . . , un1 } es una base de K[u] sobre K.
5. Para un f K[X] se verifica que f (u) = 0 si y slo si p | f .
El grado de Irr(u, K) (que es igual a [K[u] : K]) se llama grado de
u sobre K.
Lema 3.2.17. Sea F E K y sea u F algebraico sobre K.
Entonces u es algebraico sobre E y Irr(u, E) divide a Irr(u, K).
Definicin 3.2.18. Una extensin F/K se llama algebraica si todos
los elementos de F son algebraicos sobre K.
Una extensin F/K se llama trascendente si existe algn elemento u F que es trascendente sobre K.
Sea ahora F/K una extensin arbitraria y sea {ui | i I}
F un subconjunto no vaco arbitrario. Consideramos el anillo de
polinomios A = K[Xi | i I] y el nico homomorfismo : A F
dado por (Xi ) = ui para todo i I.
46
Definicin 3.2.19. Los elementos {ui | i I} se llaman algebraicamente independientes sobre K si el anterior homomorfismo es
inyectivo. En caso contrario se llaman algebraicamente dependientes.
Definicin 3.2.20. Una extensin F/K se llama puramente trascendente si F = K(S) donde S es un conjunto de elementos algebraicamente independientes sobre K.
Lema 3.2.21. Sea F/K una extensin arbitraria y sea S un subconjunto de F .
1. Para todo u K[S] existe un subconjunto finito {u1 , . . . , un } S
tal que u K[u1 , . . . , un ].
2. Para todo u K(S) existe un subconjunto finito {u1 , . . . , un } S
tal que u K(u1 , . . . , un ).
Lema 3.2.22. Sean L E, F K cuerpos tales que F = K(S).
Entonces EF = E(S).
Corolario 3.2.23. Sean L E, F K. Entonces
[EF : K] [E : K][F : K]
Corolario 3.2.24. Sean L E, F K con n = [E : K] y m = [F : K]
primos relativos. Entonces [EF : K] = [E : K][F : K]
Proposicin 3.2.25. Sea F = K(u1 , . . . , un ) una extensin finitamente generada por elementos ui algebraicos. Entonces la extensin F/K
es finita.
Corolario 3.2.26. Sea F = K(S) con S F arbitrario. Entonces F/K
es algebraica si y slo si todo u S es algebraico sobre K.
Corolario 3.2.27. Una extensin F/K es finita si y slo si es algebraica y finitamente generada.
Corolario 3.2.28. Un elemento u F es algebraico sobre K si y slo
si existe un cuerpo intermedio E tal que E/K es finita y u E.
Corolario 3.2.29. Dada una torre de cuerpos E F K, la extensin E/K es algebraica si y slo si las extensiones E/F y F/K son
ambas algebraicas.
Corolario 3.2.30. Para una extensin arbitraria F/K el conjunto E
de elementos de F que son algebraicos sobre K forman un subcuerpo
de F .
El cuerpo E del corolario 3.2.30 se llama clausura algebraica
(relativa) de K en F .
Captulo 4
Cuerpos de descomposicin
47
48
CAPTULO 4. CUERPOS DE DESCOMPOSICIN
El estudio de las extensiones de cuerpos se origina en la necesidad de construir cuerpos que contengan al cuerpo base K en
donde existan races de polinomios dados de K[X]. El ejemplo clsico es la construccin C = R(i) = R[X]/(X 2 + 1). Vamos a ver que el
mismo mtodo es vlido para cualquier polinomio.
4.1.
Cuerpo de descomposicin
Teorema 4.1.1 (Kronecker). Sea f un polinomio de grado positivo

sobre un cuerpo K. Entonces existe una extensin F/K y un u F
tal que f (u) = 0.
Demostracin. Descomponemos f en factores ireducibles sobre K:
f = f1 . . . fm . El cuerpo buscado es F = K[X]/(f1 ) y una raz de f es
u = X + (f1 ) F .
Sean Fi /Ki (i = 1, 2) dos extensiones de cuerpos y sean : F1
F2 y : K1 K2 dos homomorfismos tales que para todo a K1 se
verifica (a) = (a).
Definicin 4.1.2. En las condiciones anteriores decimos que es
una extensin de .
Cuando = 1K : K K decimos que es un homomorfismo
sobre K
Proposicin 4.1.3. Sea : K1 K2 un isomorfismo de cuerpos.
Existe una nica extensin a un isomorfismo : K1 [X] K2 [X] definido por (X) = X
Demostracin. Es una aplicacin directa de la propiedad universal
del anillo de polinomios K1 [X]. Obsrvese que gr(f ) = gr((f )) para
todo polinomio f K1 [X].
Lema 4.1.4. En las condiciones de la proposicin 4.1.3 sea f1
K1 [X] irreducible sobre K1 . El polinomio f2 = (f1 ) es irreducible sobre K2 .
Demostracin. Sea f1 = gh una descomposicin del polinomio f1 .
Entonces f2 = (g)(h) es una descomposicin de f2 y los grados de
los factores correspondientes son iguales. Como es un isomorfismo, aplicando el mismo argumento para 1 obtenemos que f1 es
compuesto si y slo si f2 es compuesto.
4.1. CUERPO DE DESCOMPOSICIN
49
Proposicin 4.1.5. En las condiciones de la proposicin 4.1.3 sean

Fi /Ki con i = 1, 2 dos extensiones algebraicas, : F1 F2 un homomorfismo sobre y u F1 una raz de f1 . Entonces (u) es una raz
de f2 = (f1 ).
Demostracin. Un clculo sencillo: Sea f1 = an X n + + a1 X + a0 .
Entonces
f2 ( (u)) =
=
=
=
(an ) (u)n + + (a1 ) (u) + (a0 )

(an ) (u)n + + (a1 ) (u)
(an un + + a1 u + a0 )
(0) = 0
Corolario 4.1.6. Sea F/K una extensin algebraica y : F F un

homomorfismo sobre K. Entonces es un automorfismo.
Demostracin. Sea u F arbitrario. Sea f = Irr(u, K) y sean u =
u1 , . . . , uk todas las races de f que hay en F (k gr(f )). Sea F1 =
K(u1 , . . . , uk ) el subcuerpo de F generado por todas ellas. La extensin F1 /K es finita, y para cualquier homomorfismo : F F el
elemento (ui ) es una raz de f , por tanto (ui ) = uj . Luego se
restringe a un homomorfismo 1 : F1 F1 . Pero este es una aplicacin K-lineal inyectiva. Como F1 es de dimensin finita sobre K, la
aplicacin 1 es sobre y existe un v F1 F tal que u = 1 (v) = (v).
Luego es sobre.
Proposicin 4.1.7. Con la notacin de la proposicin 4.1.5 sea f1
irreducible y sea ui una raz de fi en alguna extensin Fi de Ki
(i=1,2). Entonces existe un nico isomorfismo : K1 (u1 ) K2 (u2 )
sobre tal que (u1 ) = u2 .
Demostracin. El isomorfismo = 2
1
1 buscado es el compuesto
de los tres isomorfismos siguientes:
K1 (u)
K2 (u)
1
K1 [X]
(f1 )
- K2 [X]
(f2 )
50
Los isomorfismos i : Ki [X]/(fi )

= Ki (ui ) (i = 1, 2) son los establecidos en la definicin de elemento algebraico y vienen dados por
X + (fi ) 7 ui . El isomorfismo
es el inducido entre los cocientes
por el dado en la proposicin 4.1.3.
Proposicin 4.1.8. Con la notacin de la proposicin 4.1.7 el nmero de extensiones : K1 [u1 ] F2 sobre es igual al nmero de races
distintas de f2 en F2 .
Demostracin. Cualquiera de tales est totalmente determinada
por la imagen de u. Como f2 ( (u)) = (f1 (u)) = 0, necesariamente
(u) es una raz de f2 . Por la proposicin 4.1.7, para cada v raz de
f2 en F2 existe un homomorfismo tal que (u) = v. En total existen
tantos homomorfismos como races de f2 hay en F2 .
Definicin 4.1.9. Un cuerpo extensin F K se llama cuerpo de
descomposicin de f sobre K si y slo si existen u1 , . . . , un F tales
que f = (X u1 ) (X un ) y F = K(u1 , . . . , un ).
Proposicin 4.1.10. Sea E F K una torre de cuerpos tal que E
es un cuerpo de descomposicin de un polinomio f sobre K. Entonces
E es tambin un cuerpo de descomposicin de f sobre F .
Demostracin. Los elementos u1 , . . . , un races de f verifican
E = K(u1 , . . . , un ) F (u1 , . . . , un) E
luego E = F (u1 , . . . , un ).
Teorema 4.1.11. Para todo polinomio f K[X] de grado n > 0
existe un cuerpo de descomposicin F de f sobre K y se verifica que
[F : K] n!.
Demostracin. Induccin sobre el grado de f . Si gr(f ) = 1, el polinomio es f = a1 X + a0 y su nica raz es u1 = a0 /a1 K. Luego F = K es el cuerpo de descomposicin de f sobre K. Adems
[F : K] = 1 = n! donde 1 = n = gr(f ).
Sea ahora gr(f ) > 1. Por el teorema de Kronecker existe un cuerpo K1 = K(u1 ) K con f (u) = 0. Descomponemos f = (X u1 )f1
y gr(f1 ) = gr(f ) 1 < gr(f ). Por la hiptesis de induccin existe F = K1 (u2 , . . . , un ) cuerpo de descomposicin de f1 sobre K1 .
Luego f = (X u1 )(X u2 ) . . . (X un ) y F = K(u1 , u2 , . . . , un ) es
un cuerpo de descomposicin de f sobre K. Calculemos el grado:
[F : K] = [F : K1 ][K1 : K] (n 1)! n = n!.
4.1. CUERPO DE DESCOMPOSICIN
51
Sea : K1
= K2 un isomorfismo de cuerpos, sea f1 K1 [X]
arbitrario y sea f2 = (f1 ).
Teorema 4.1.12. Sea Fi un cuerpo de descomposicin de fi sobre
Ki . Entonces existe un isomorfismo : F1 F2 que es una extensin
de .
Demostracin. Por induccin sobre el grado de f1 . Si gr(f1 ) = gr(f2 ) =
1 se verifica que Fi = Ki (i = 1, 2) y = .
Sea ahora gr(fi ) > 1 y supongamos el teorema cierto para polinomios de grado menor. Sean ui Fi races respectivas de fi tales
que Irr(u2 , K2 ) = (Irr(u1 , K1 )). Por la proposicin 4.1.7 existe un
isomorfismo 1 : K1 (u1 )
= K2 (u2 ) extensin de tal que 1 (u1 ) = u2 .
Descomponemos fi = (X ui )gi (i = 1, 2). Cada Fi es el cuerpo de
descomposicin de gi sobre Ki (ui ). Por la hiptesis de induccin
existe una extensin : F1
= F2 del isomorfismo 1 , que es tambin
una extensin de .
Corolario 4.1.13. Dos cuerpos de descomposicin de f K[X] sobre K son isomorfos.
Demostracin. Aplicar la proposicin anterior al isomorfismo identidad = 1K .
Ejemplo 4.1.14. Sea f = X 2 + aX + b K[X] con K arbitrario. Si f es
reducible sobre K el cuerpo de descomposicin de f es el mismo K.
Si f es irreducible llamamos F = K[X]/(f ) = K(u) donde u = X +(f ).
Entonces f = (X u)(X + (u + a)), el cuerpo de descomposicin de
f sobre K es F y [F : K] = 2.
Ejemplo 4.1.15. Sea f =
(X 2
2)(X 2 3) Q[X]. El cuerpo de descomposicin ser F = Q( 2, 3) y su grado sobre Q es 4.
Ejemplo 4.1.16. Sea f = X 3 + X + 1 Z2 [X]. Como f (0) 6= 0 6= f (1),
el polinomio f no tiene races en Z2 y por tanto es irreducible en
Z2 [X]. Sea u = X + (f ) Z2 [X]/(f ) = F . Un poco de clculo muestra
que u2 y u4 = u2 + u tambin son races de f y que f = (X u)(X
u2 )(X (u + u2 )). Luego f descompone en factores lineales en F y
por tanto F = Z2 (u) es el cuerpo de descomposicin de f sobre Z2 .
Ejemplo 4.1.17. Sea f = X 4 + 1 Q[X]. Sea u una raz de f . Las
otras races son u, u1 y u1 que son todas distintas. As que
Q(u, u, u1 , u1 ) = Q(u) es el cuerpo de descomposicin de f sobre
Q. Igual sucede sobre Zp cuando p 6= 2. Sobre Z2 tenemos f = (X +
1)4 .
52
Ejemplo 4.1.18. Sea f = X 4 + 4 Q[X]. En este caso el polinomio

f es reducible:
f = (X 2 + 2X + 2)(X 2 2X + 2). Las races de f son
1 1, as que el cuerpo de descomposicin es Q(i).
Ejemplo 4.1.19.
Sea f = X 3 2 Q[X]. Sea u = 3 3 R y sea
= (1 + 3)/2 C la raz cbica de la unidad. Entonces las

races de f son u, u y 2 u, y el cuerpo de descomposicin de f
sobre Q es Q(u, ).
Ejemplo 4.1.20. Sea f = X p 1 Q[X] con p primo. Sabemos que f =
(X 1)p y que p = X p1 + +X +1 es irreducible sobre Q. Sea u =
X + (p ) Q[X]/(p ) = F . Sabemos que los p elementos 1, u, . . . , up1
forman una base de F sobre Q y por tanto son distintos. Por otra
parte f (uk ) = (uk )p 1 = (up )k 1 = 0 para k = 0, . . . p 1 y tenemos
p races de f en F . Luego f = (X 1)(X u) . . . (X up1 ) y F es
el cuerpo de descomposicin de f sobre Q (luego tambin F es el
cuerpo de descomposicin de p sobre Q).
Ejemplo 4.1.21. Sea f = X p 2 con p primo. Sea u = p 2 y sea

= e2i/p . Las races de f en C son u, u, . . . , p1 u y el cuerpo de
descomposicin de f sobre Q es E = Q(u, u, . . . , up1 ) = Q(u, ).
Como [Q(u) : Q] = p y [Q() : Q] = p 1 son primos relativos, obtenemos que [E : Q] = p(p 1).
Ejemplo 4.1.22. Sea ahora f = X p t K = Zp (t) donde t es una
indeterminada. Por el criterio de Eisenstein f es irreducible sobre
K. Sea F = K(u) el cuerpo obtenido adjuntando a K una raz de
f . Como car(F ) = p el polinomio f descompone como f = (X u)p
y por tanto F es el cuerpo de descomposicin de f sobre K. Igual
k
ocurre para el polinomio X p t Zp (t).
Definicin 4.1.23. Sea F K[X] cualquier conjunto de polinomios
no constantes. Una extensin E/K se llama cuerpo de descomposicin de F sobre K si para todo polinomio f F existen u1 , . . . , un E
tales que f = (X u1 ) (X un ) y adems E = K(S) donde
S = {u F | f F f (u) = 0}
Teorema 4.1.24. Para todo conjunto de polinomios no constantes
F K[X] existe un cuerpo de descomposicin sobre K.
Demostracin. Sea F = {f | Q
} el conjunto de polinomios
dados. Si es finito, sea f = f . Por el teorema 4.1.11 existe
un cuerpo de descomposicin F de f sobre K, que es tambin el
cuerpo de descomposicin de F sobre K.
4.2. CLAUSURA ALGEBRAICA
53
Sea ahora infinito. Para cada subconjunto finito J sea FJ

un cuerpo de descomposicin de J = {f | J} sobre K. Usando
un argumento de sustitucin de conjuntos podemos tomarlos de
manera que si I J se verifique FI FJ . El conjunto S = {EJ |
J , J finito} est ordenado por inclusin y es dirigido (es decir,
para cualquier par FI , FJ S existe una extensin comn FIJ S).
Sea F = JS FJ . Definimos una suma y un producto en F de la
siguiente manera: Para cualesquiera u, v F existe un J S tal
que u, v FJ . Entonces la suma u + v y el producto uv en F son la
suma y el producto en FJ . Es rutina comprobar que F es un cuerpo
de descomposicin de F sobre K.
Proposicin 4.1.25. Sean F1 , F2 dos cuerpos de descomposicin sobre K de la misma familia de polinomios F. Entonces existe un isomorfismo : F1
= F2 sobre K.
Demostracin. Si F es finito esta proposicin es un caso particular
del corolario 4.1.13.
Sea ahora F arbitrario. Formamos el conjunto
E = {(E, ) | F1 E K, es una extensin de }
Por el corolario 4.1.13 los E K tales que E/K es finita pertenecen todos a E. Ordenamos el conjunto E de la siguiente manera:
(E1 , 1 ) (E2 , 2 ) si y slo si E1 E2 y 1 = 2 |E1 . Es rutina comprobar que esta es una ordenacin inductiva sobre E. Sea (F, )
un elemento maximal. Si F $ F1 , por la proposicin 4.1.7 existe
un 0 : F 0 F2 extensin de con F $ F 0 , en contra del carcter
maximal de (F, ).
Finalmente, todo f F descompone en factores lineales en F1
y las races de todos estos polinomios se aplican mediante sobre
las races de todos los f F en F2 . Pero estas ltimas generan F2
sobre K, luego es sobre.
4.2.
Clausura algebraica
Proposicin 4.2.1. Sea K un cuerpo. Los siguientes enunciados son

equivalentes:
1. Todo polinomio no constante f K[X] tiene una raz en K.
2. Para todo f K[X] de grado n > 1 existen u1 , . . . , un K tales
que f = an (X u1 ) (X un ).
54
3. Un polinomio f K[X] es irreducible si y slo si gr(f ) = 1.

4. Toda extensin algebraica de K es trivial.
Demostracin. 1 2 Por induccin sobre el grado de f . Si gr(f ) = 1
tenemos que f = a1 X + a0 = a1 (X u1 ) con u1 = a0 /a1 K.
Sea ahora n = gr(f ) > 1. Por la hiptesis existe un K tal que
f (un ) = 0. Dividimos f por X un y obtenemos f = f1 (X un )
donde f1 = an X n1 + . . . Por la hiptesis de induccin existen
u1 , . . . , un1 K tales que f1 = an (X u1 ) . . . (X un1 ). Luego
f = an (X u1 ) . . . (X un ).
2 3 Sea f K[X] irreducible. No es constante, luego f = an (X
u1 ) . . . (X un ) con ui K. Como K[X] es un dominio factorial, f
divide a uno de los factores de la derecha. Comparando grados
obtenemos que gr(f ) = 1.
3 4 Sea E/K algebraica y u E arbitrario. Sea f = Irr(u, K). El
polinomio f es irreducible, luego gr(f ) = 1 y f = X u K[X].
Por tanto u K y E = K.
4 1 Sea f K[X] no constante. Por el teorema de Kronecker existe una extensin algebraica E/K y un elemento u E tal que
f (u) = 0. Pero la hiptesis dice que E = K y por tanto u E.
Definicin 4.2.2. Un cuerpo verificando las propiedades de la proposicin 4.2.1 se llama algebraicamente cerrado
Proposicin 4.2.3. Todo cuerpo algebraicamente cerrado es infinito.
Demostracin. Sea K = {a1 , . . . , am } un cuerpo finito. Formamos el
polinomio f = (X a1 ) . . . (X am ) + 1. Para todo a K se verifica
que f (a) = 1 6= 0, luego f no tiene races en K, de donde K no es
algebraicamente cerrado.
Proposicin 4.2.4. Sea E/K una extensin arbitraria con E algebraicamente cerrado. Entonces el conjunto de elementos de E que
son algebraicos sobre K forman un cuerpo algebraicamente cerrado.
Demostracin. Sea F el conjunto de elementos de E que son algebraicos sobre K. Ya hemos visto que F es un cuerpo (que se llama
clausura algebraica (relativa) de K en E). Veamos que es algebraicamente cerrado: Sea f F [X] E[X] no constante arbitrario. Por
4.2. CLAUSURA ALGEBRAICA
55
ser E algebraicamente cerrado, existe un u E tal que f (u) = 0. Entonces u es algebraico sobre F y por tanto tambin sobre K. Luego
u F.
Definicin 4.2.5. Decimos que un cuerpo E es una clausura algebraica (absoluta) de K si E/K es una extensin algebraica y E es
algebraicamente cerrado.
Proposicin 4.2.6. Para una extensin E/K las siguientes propiedades son equivalentes:
1. E es una clausura algebraica de K.
2. La extensin E/K es algebraica y todo polinomio no constante
f K[X] descompone en factores lineales en E[X].
3. E es el cuerpo de descomposicin sobre K del conjunto de polinomios F = {f K[X] | gr(f ) > 0}.
4. La extensin E/K es algebraica y todo polinomio no constante
f K[X] tiene una raz en E.
Demostracin. 1 2 Por la proposicin 4.2.1 para todo polinomio
f F E[X] existen u1 , . . . , un E tales que f = an (X
u1 ) . . . (X un ).
2 3 Sea S = {u E | f F f (u) = 0}. Como E/K es algebraica, S
es el conjunto de elementos no nulos de E, y K(S) = E. Luego
E es el cuerpo de descomposicin de F sobre K.
3 1 Sea g E[X] no constante y sea F = E(u) un cuerpo extensin de F tal que g(u) = 0. El elemento u es algebraico sobre
E y E/K es una extensin algebraica, luego u es algebraico
sobre K. Sea f = Irr(u, K). Por la hiptesis existen elementos
u1 , . . . , un E tales que f = (X u1 ) . . . (X un ). Como f (u) = 0
existe un i tal que u = ui y por tanto u E.
La equivalencia con la condicin 4 se ver mas adelante.
Proposicin 4.2.7. Sea E F K una torre de cuerpos con F/K
algebraica. Entonces E es una clausura algebraica de F si y slo si
E es una clausura algebraica de K.
Demostracin. El cuerpo E es una clausura algebraica de F si y
slo si es algebraicamente cerrada y la extensin E/F es algebraica. Esto ltimo ocurre si y slo si E/K es algebraica, de donde el
resultado.
56
Teorema 4.2.8 (Steinitz). Para todo cuerpo K existe una clausura
algebraica K.
Demostracin. Por el teorema 4.1.24 existe un cuerpo de descomposicin para F = {f K[X] | gr(f ) > 0}. Por 4.2.6 es una clausura
algebraica de K.
Teorema 4.2.9. Dos clausuras algebraicas E1 , E2 del mismo cuerpo
K son isomorfas sobre K.
Demostracin. Por 4.2.6 E1 y E2 son cuerpos de descomposicin de
la familia F = {f K[X] | gr(f ) > 0}. Por 4.1.25 son isomorfos
sobre K.
Teorema 4.2.10. Sea E F K una torre de cuerpos con E/K
una clausura algebraica de K. Entonces todo
algebraica y sea K
sobre K tiene una extensin : E K.
homomorfismo : F K
Demostracin. Por induccin transfinita. Sea
y i |F = }
S = {(Ei , i ) | F Ei E, i : Ei K
El conjunto S no es vaco y est inductivamente ordenado por inclusin. Por el lema de Zorn existe un maximal (E1 , 1 ). Si E1 ( E,
una raz de f . Por
existe u E, u
/ E1 . Sea f = Irr(u, K) y sea v K
extensin de 1 tal que 1 (u) = v, y el
4.1.7 existe un 2 : E1 (u) K
par (E1 (u), 2 ) contiene propiamente a (E1 , 1 ) en contra del carcter maximal de ste ltimo. Luego E1 = E y = 1 es la extensin
buscada.
su clausura algeProposicin 4.2.11. Sea K un cuerpo y sea K
braica.
es infinito numerable.
1. Si K es finito , entonces la clausura K
tiene el mis2. Si K es infinito, entonces la clausura algebraica K
mo cardinal que K.
Demostracin. Para cualquier cuerpo K sea Mn = {f K[X] |
gr(f ) = n f mnico }. El conjunto Mn est en biyeccin con K n .
El anillo K[X] es la unin disjunta de la familia numerable de todos los Mn , luego el cardinal de K[X] es la suma de los cardinales
|Mn | = |K|n . Si K es infinito, |K|n = |K| y |K[X]| = |K|. Si |K| es finito
tambin lo es |K|n y |K[X]| es numerable.
es la unin del cero y de las races de todos los
El conjunto K
polinomios de la familia F = {f K[X] | gr(f ) > 0}. El nmero de
= |K[X]|.
ceros de cada polinomio f es finito, luego |K|
Captulo 5
Extensiones normales y
separables
57
58
5.1.
CAPTULO 5. EXTENSIONES NORMALES Y SEPARABLES
Elementos conjugados y extensiones

conjugadas.
una clausura algebraica de

Sea K un cuerpo base fijo y sea K
K tambin fija. Todos los elementos y todas los cuerpos extensin
que vamos a considerar estn en K.

Los siguientes enunciados son
Proposicin 5.1.1. Sean u, v K.
equivalentes:
1. Irr(u, K) = Irr(v, K)
2. Existe un isomorfismo : K(u) K(v) tal que (u) = v
tal que (u) = v
3. Existe un homomorfismo 1 : K(u) K
K
tal que (u) = v.
4. Existe un automorfismo : K
se llaman conjugados
Definicin 5.1.2. Dos elementos u, v K
sobre K si verifican las propiedades enunciadas en 5.1.1.
Proposicin 5.1.3. Sean F1 /K y F2 /K dos extensiones algebraicas.
Los siguientes enunciados son equivalentes:
1. Existe un isomorfismo : F1 F2 sobre K.
sobre K tal que 1 (F1 ) =
2. Existe un homoomorfismo 1 : F1 K
F2 .
K
sobre K tal que 2 (F1 ) = F2 ).
3. Existe un isomorfismo 2 : K
Definicin 5.1.4. Dos extensiones F1 /K, F2 /K se llaman conjugadas si verifican las propiedades enunciadas en 5.1.3
5.2.
Extensiones normales
Teorema 5.2.1. Sea F/K una extensin algebraica, con F subcuer Los siguientes enunciados son equivalentes:
po de K.
sobre K, (F ) = F
1. Para todo : F K
2. Todo polinomio irreducible de K[X] que tiene una raz en F descompone en factores lineales en F [X].
5.2. EXTENSIONES NORMALES
59
3. F es el cuerpo de descomposicin sobre K de una familia de

polinomios de K[X].
Definicin 5.2.2. Una extensin F/K se llama normal si verifica
las propiedades del teorema 5.2.1
Proposicin 5.2.3. Propiedades de las extensiones normales:
1. Sea E/K una extensin normal y sea F/K una extensin algebraica arbitraria. Entonces la extensin EF/F es normal
2. Sea K F E una torre de de cuerpos con E/K normal. Entonces E/F es una extensin normal.
3. Sean F1 /K y F2 /K dos extensiones normales. Entonces F1 F2 /K
es una extensin normal.
4. Sea F /K, una familia arbitraria de extensiones normales
y sea E = F . Entonces la extensin E/K es normal.
Definicin 5.2.4. Sea F/k una extensin algebraica arbitraria. Llamamos clausura normal de F/K a la extensin E/K donde
E = {F1 | F1 F y F1 /K es normal}
Teorema 5.2.5. Para toda extensin algebraica F/K existe una clausura normal E/K.
Teorema 5.2.6. Sean E1 /K y E2 /K dos clausuras normales de la
extensin F/K. Entonces existe un isomorfismo E1
= E2 sobre F .
Proposicin 5.2.7. Sea E F K una torre de cuerpos tal que la
extensin E/K es normal. Entonces todo homomorfismo : F E
se extiende a un automorfismo : E E
Proposicin 5.2.8. Sea F = K(u1 , . . . , un ) una extensin finita y sea
fi = Irr(ui , K) para i = 1, . . . , n. Entonces la clausura normal es E/K
donde E es el cuerpo de descomposicin de f = f1 f2 sobre K.
Corolario 5.2.9. Sea F/K una extensin finita de grado n = [F : K]
y sea E/K su clausura normal. Entonces E/K es finita.
Definicin 5.2.10. Sea f K[X] un polinomio irreducible. Decimos que f es un polinomio normal sobre K si para toda extensin
algebraica F/K tal que en F exista una raz de f , el polinomio f
descompone como un producto de factores lineales.
60
Proposicin 5.2.11. Sea f un polinomio irreducible en K[X]. Los

siguientes enunciados son equivalentes:
1. El polinomio f es normal sobre K.
2. El cuerpo de descomposicin de f sobre K es K(u), donde u es
una raz de f .
3. Todas las races de f se expresan como polinomios en una cualquiera de ellas.
5.3.
Extensiones separables
Definicin 5.3.1. Un elemento algebraico u sobre un cuerpo K se

llama separable si Irr(u, K) no tiene races mltiples
Definicin 5.3.2. Una extensin algebraica F/K se llama separable si todo elemento de F es separable sobre K.
Proposicin 5.3.3. Sea E F K una torre de cuerpos tal que
E/K es una extensin separable. Entonces E/F y F/K son extensiones separables.
Sea una torre de cuerpos
F K
K
es una clausura algebraica de K.
donde K
Definicin 5.3.4. Llamamos grado separable de F sobre K al car sobre K:
dinal del conjunto de homomorfismos de F en K
sobre K }|
[F : K]s = |{ : F K
Proposicin 5.3.5. Sea una torre de cuerpos
EF K
K
es una clausura algebraica de K. Entonces
donde K
[E : K]s = [E : F ]s [F : K]s
Proposicin 5.3.6. Sea F/K una extensin finita. Entonces [F : K]s
divide a [F : K] y por tanto [F : K]s [F : K]
5.3. EXTENSIONES SEPARABLES
61
Proposicin 5.3.7. Sea E F K una torre de cuerpos con E/K

finita. Entonces [E : K]s = [E : K] si y slo si [E : F ]s = [E : F ] y
[F : K]s = [F : K].
Proposicin 5.3.8. Sea E/K una extensin finita. La extensin E/K
es separable si y slo si [E : K]s = [E : K].
Proposicin 5.3.9. Sea F/K una extensin algebraica y S F tal
que F = K(S). Entonces la extensin F/K es separable si y slo si
todo elemento de S es separable sobre K.
Proposicin 5.3.10. 1. Sea E F K una torre de cuerpos con
E/K algebraica. La extensin E/K es separable si y slo si las
extensiones E/F y F/K son separables.
2. Sean E/K una extensin algebraica separable y F/K una extensin arbitraria. Entonces EF/F es separable.
3. Sean E/K y F/K dos extensiones algebraicas separables. Entonces EF/K es separable.
Corolario 5.3.11. Sea F/K una extensin separable y E/K su clausura normal. Entonces E/K es separable.
sepaDefinicin 5.3.12. El conjunto de todos los elementos de K
que se llama clausura
rables sobre K forman un subcuerpo de K
sep
separable de K y se denota por K .
Teorema 5.3.13 (Teorema del elemento primitivo). Sea F/K una
extensin finita. La extensin es simple si y slo si el conjunto de
cuerpos intermedios {E | F E K} es finito.
Si la extensin F/K es finita y separable, entonces es simple.
Definicin 5.3.14. Sea K un cuerpo de caracterstica p. El homomorfismo : K K definido por (u) = up se llama endomorfismo
de Frobenius del cuerpo K.
Teorema 5.3.15. Para un cuerpo K las siguientes propiedades son
equivalentes:
1. Todo polinomio f K[X] irreducible tiene slo races simples.
2. Toda extensin E/K algebraica es separable.
3. Toda extensin E/K finita es separable.
62
4. car(K) = 0 car(K) = p y el endomorfismo de Frobenius es

sobre.
Definicin 5.3.16. Un cuerpo K se llama perfecto si tiene las propiedades del teorema 5.3.15.
Proposicin 5.3.17.
fecto.
1. Todo cuerpo de caracterstica cero es per-
2. Todo cuerpo finito es perfecto.

3. Todo cuerpo algebraicamente cerrado es perfecto.
5.4.
Derivada y races mltiples
Definicin 5.4.1. Sea f F [X] un polinomio y u F . Decimos que

u es una raz de f de multiplicidad k si f = (X u)k f1 con f1 (u) 6= 0.
El elemento u es una raz simple si k = 1 y es una raz mltiple
si k > 1.
P
Definicin 5.4.2. Para todo polinomio f = ni=0 ai X i = an X n + +
a1 X + a0 definimos la derivada de f como
n
X
0
f =
ian X i1 = nan X n1 + + a1
i=1
Proposicin 5.4.3. La derivada verifica las siguientes propiedades:

1. Para todo par de polinomios f, g se verifica (f + g)0 = f 0 + g 0
2. Para todo par de polinomios f, g se verifica (f g)0 = f 0 g + f g 0
3. (f m )0 = mf m1 f 0
Proposicin 5.4.4. Las races de f son simples si y slo si m. c. d.(f, f 0 ) =
1
Corolario 5.4.5. Sea f irreducible y f 0 6= 0. Entonces las races de f
son simples
Corolario 5.4.6. 1. Sea car(K) = 0 y f irreducible sobre K. Entonces las races de f son simples.
2. Sea car(K) = p > 0. El polinomio f irreducible tiene races multiples si y slo si f (X) = g(X p )
Definicin 5.4.7. Un polinomio f K[X] se llama separable sobre
K si sus factores irreducibles tienen slo races simples.
Parte III
63
Captulo 6
65
66
CAPTULO 6. TEORA DE GALOIS FINITA
6.1.
Grupos de automorfismos
Sea S un conjunto y F un cuerpo. Sea Fun(S, F ) = {f : S

F } el conjunto de todas las aplicaciones de S en F . Definimos en
Fun(S, F ) una suma y un producto escalar por componentes: (f1 +
f2 )(s) = f1 (s) + f2 (s) y (af )(s) = a f (s) para todo s S y todo a F .
Lema 6.1.1. El conjunto Fun(S, F ) con la suma y productos recin
definidos es un espacio vectorial sobre F de dimensin |S|.
Demostracin. Ocho comprobaciones rutinarias.
Sea ahora G un grupo sean y sean 1 , . . . , n : G F n homomorfismos distintos de G en el grupo multiplicativo de F .
Proposicin 6.1.2. Los homomorfismos 1 , . . . , n son linealmente
independientes sobre F .
Demostracin. Un nico homomorfismo es linealmente independiente sobre F .
Supongamos que los homomorfismos dados son linealmente dependientes sobre F . Sea 1 , . . . , s un subconjunto linealmente dependiente de longitud mnima, de manera que existen a1 , . . . , as
F con a1 1 + + as s = 0. Despejando el ltimo homomorfismo
tenemos que s = b1 1 + + bs1 s1 donde bi = ai /as F . Es decir,
que para cualquier x G se verifica
s (x) = b1 1 (x) + + bs1 s1 (x)
Sea y G tal que 1 (y) 6= s (y). Sustituyendo yx en lugar de x en
la expresin anterior tenemos que para todo x G se verifica
s (y)s (x) = b1 1 (y)1 (x) + + bs1 s1 (y)s1 (x)
Por otra parte, multiplicando la primera relacin por s (y) tenemos
que para todo x G se verifica
s (y)s (x) = b1 s (y)1 (x) + + bs1 s (y)s1 (x)
Restando ambas relaciones obtenemos que para todo x G se
verifica
0 = b1 (1 (y) s (y))1 (x) + + bs1 (s1 (y) s (y))s1 (x)
6.1. GRUPOS DE AUTOMORFISMOS
67
de donde
0 = b1 (1 (y) s (y))1 + + bs1 (s1 (y) s (y))s1
que es una relacin lineal no trivial (el primer coeficiente no es
cero) de longitud estrictamente menor que la dada, contradiccin.
Corolario 6.1.3 (Lema de Dedekind). Sean 1 , . . . , n : F1 F2 n
homomorfismos de cuerpos distintos. Entonces son linealmente independientes sobre F2 .
Corolario 6.1.4. Si [F1 : K] = n, existen como mximo n homomorfismos distintos F1 F2 sobre K.
Demostracin. Sean {u1 , . . . , un } una base de F1 sobre K. Si existen
n + 1 homomorfismos distintos i : F1 F2 sobre K, el sistema de
ecuaciones lineales homogneas
X1 1 (uj ) + + Xn+1 n+1 (uj ) = 0
j = 1, . . . n
tiene una solucin no trivial c1 , . . . cn+1 F2 . Todo elemento u F1

se expresa como u = a1 u1 + + an un y por tanto
(c1 1 + + cn+1 n+1 )(u) = c1 1 (u) + + cn+1 n+1 (u) = 0
para todo u F1 . Luego los homomorfismos i son linealmente
dependientes sobre F2 , contradiccin.
Definicin 6.1.5. Para toda extensin finita F/K llamamos grupo
de la extensin al grupo
G(F/K) = { Aut(F ) | u F (u) = u}
Corolario 6.1.6. Para toda extensin finita F/K se verifica |G(F/K)|
[F : K]
Sea E un cuerpo arbitrario y sea G < Aut(E) un subgrupo del
grupo de automorfismos de E. Llamamos E G = {u G |
G (u) = u}.
Lema 6.1.7. E G es un subcuerpo de E que se llama cuerpo fijo de
G.
Demostracin. Comprobaciones rutinarias.
68
Teorema 6.1.8 (Teorema de Artin). Sea G un subgrupo finito de

Aut(E). Entonces [E : E G ] = |G|.
Demostracin. Ya sabemos que n = |G| [E : E G ]. Supongamos
que la desigualdad sea estricta. Sea G = {j | j = 1, . . . n} y sean
u1 , . . . , un+1 E linealmente independientes sobre E G . Formamos el
sistema de ecuaciones lineales homogneas
X1 j (u1 ) + + Xn+1 j (un+1 ) = 0
j = 1, . . . , n
que tiene solucin no trivial. Sea a1 , . . . , an+1 E una solucin con

el nmero mnimo de elementos no nulos. Sea a1 6= 0. Despejamos
j (u1 ) = b2 j (u2 ) + + bn j (un+1 )
j = 1, . . . , n
Para j = 1E (el elemento unidad de G), nos queda u1 = b2 u2 +

. . . bn+1 un+1 . Los ui son linealmente independientes sobre E G , luego
alguno de los coeficientes bi no est en E G .
Sea b2
/ E G , luego existe un G tal que (b2 ) 6= b2 . Tenemos
que { j | j G} = G, luego aplicando a las igualdades anteriores
tenemos que
j (u1 ) = (b2 )j (u2 ) + + (bn )j (un+1 )
j = 1, . . . , n
Restando ambos sistemas obtenemos una solucin del sistema original no trivial (porque b2 (b2 ) 6= 0) de longitud estrictamente menor (el coeficiente correspondiente a u1 vale 0), contradiccin
Definicin 6.1.9. Una extensin finita E/K se llama extensin de
Galois si existe un grupo G < Aut E tal que E G = K. En este caso,
el grupo G se representa pos Gal(E/K) y se llama grupo de Galois
de la extensin E/K
Proposicin 6.1.10. Una extensin finita E/K es de Galois si y slo
si es normal y separable.
Corolario 6.1.11. Sea F/K una extensin separable finita y sea
E/K su clausura normal. Entonces E/K es una extensin finita de
Galois.
Demostracin. Sea E/K una extensin de Galois. Entonces K = E G
para algn grupo G. Cada automorfismo G se extiende a un
luego [E : K]S |G| = [E : K] [E : K]s .
homomorfismo 0 : E K,
6.2. CORRESPONDENCIA DE GALOIS, CASO FINITO
69
Por tanto [E : K]s = [E : K] y la extensin es separable. El nmero

es [E : K]s = |G|, luego para todo
total de homomorfismos : E K
, (E) = E y la extensin E/K es normal.
A la inversa, sea E/K una extensin normal y separable. Existen
sobre K, y para
n = [E : K]s = [E : K] homomorfismos : E K
todos ellos (E) = E. Luego G = G(E/K) tiene orden n. Tenemos la
torre de cuerpos E E G K, y por el teorema de Artin, [E : E G ] =
n = [E : K]. Luego [E G : K] = 1 y por tanto E G = K y la extensin
E/K es de Galois.
6.2.
Correspondencia de Galois, caso finito
Sea E/K una extensin finita de Galois con grupo G = Gal(E/K).

Definimos dos aplicaciones entre el conjunto S(G) de subgrupos de
G y el conjunto F(E/K) de cuerpos intermedios de E/K de la siguiente manera: A cada subgrupo H < G le hacemos corresponder
su cuerpo fijo
E H = H = {u E | H (u) = u}
y a cada cuerpo intermedio F entre E y K le hacemos corresponder
el grupo de Galois de la extensin E/F :
GF = F = Gal(E/F ) = { G | u F (u) = u}
Proposicin 6.2.1. Sean F, F1 , F2 cuerpos intermedios de E/K y
H, H1 , H2 subgrupos de G = Gal(E/K). Entonces:
1. F1 F2 F1 F2 ; H1 H2 H1 H2
2. F F ; H < H
3. F = F ; H = H
Demostracin.
1. Sea F1 F2 y sea u F1 arbitrario. Para todo
F2 se verifica (u) = u. Luego F1 . Como esto es cierto

para todo F2 , tenemos que F2 F1 .
A la inversa, sea H1 H2 y sea H1 arbitrario. Para todo
u H2 se verifica (u) = u, luego u H1+ . Como esto es cierto
para todo u H2+ , tenemos que H2 H1 .
70
2. Para todo u F y todo F se verifica que (u) = u. Luego

u F y por tanto F F .
Para todo H y todo u H se verifica que (u) = u. Luego
H y por tanto H H .
3. Por el apartado anterior, F (F ) = F y H (H ) =
H .
Como F F , por el primer apartado F (F ) = F .
Como H H , por el primer apartado H (H ) = H .
Definicin 6.2.2. El par de aplicaciones F 7 F y H 7 H se llama
correspondencia de Galois para la extensin E/K.
Teorema 6.2.3 (Teorema fundamental). Sea E/K una extensin de
Galois finita con grupo G = Gal(E/K).
1. La correspondencia de Galois establece una biyeccin F(E/K)
=
S(G) dada por F = H H = F
2. En esa biyeccin F1 F2 si y slo si H1 H2 .
3. Dicha biyeccin es un antiisomorfismo de retculos: (F1 F2 ) =
F1 F2 y (F1 F2 ) = F1 F2 .
4. Las extensiones F1 /K y F2 /K son conjugadas si y slo si los
subgrupos F1 y F2 son conjugados en G.
5. La extensin F/K es normal si y slo si F es un subgrupo
normal de G. En este caso Gal(F/K)
= G/F .
6. Para todo subgrupo H < G se verifica |H| = [E : H ] y [G : H] =
[H : K].
Para todo F F(E/K) se verifica [E : F ] = |F | y [F : K] = [G :
F ].
Demostracin. Demostramos los diversos apartados en otro orden:
Empezamos demostrando el ltimo apartado: Para todo grupo
H el teorema de Artin nos dice que |G| = [E : E G ] = [E : K] y
|H| = [E : E H ] = [E : H ]. Por el teorema de Lagrange |G| = [G :
H]|H|, y por el teorema del grado [E : K] = [E : H ][H : K].
6.2. CORRESPONDENCIA DE GALOIS, CASO FINITO
71
Simplificando los factores iguales nos queda que [G : H] =

[H : K].
Para todo cuerpo intermedio F la extensin E/F es de Galois,
con grupo Gal(E/F ) = E F = F y |F | = [E : F ]. Igualmente
sabemos que |G| = [E : K]. Por el teorema del grado [E : K] =
[E : F ][F : K] y por el teorema de Lagrange tenemos que |G| =
[G : F ]|F |. Simplificando los factores iguales nos queda que
[F : K] = [G : F ].
Demostramos ahora el primer apartado:
Para todo H < G tenemos la torre de grupos G > H > H.
Por el teorema de Lagrange, [G : H] = [G : H ][H : H]. Pero
[G : H] = [H : K] y [G : H ] = [G : H ] = [H : K] = [H : K]
son iguales, luego [H : H] = 1 y por tanto H = H.
Para todo F E tenemos la torre de cuerpos E > F > F .
Por el teorema del grado, [E : F ] = [E : F ][F : F ]. Pero
[E : F ] = |F | y [E : F ] = |F | = |F | son iguales, luego
[F : F ] = 1 y por tanto F = F .
Luego la aplicaciones de la correspondencia de Galois son inversas cada una de la otra, y por tanto son biyecciones.
Por la proposicin anterior, estas biyecciones invierten las inclusiones, que es el segundo apartado.
Dichas biyecciones son antiisomorfismos de conjuntos ordenados. Por tanto llevan el supremo (mnima cota superior) de
dos elementos en el nfimo (mxima cota inferior) de sus imgenes y viceversa, que es el enunciado del tercer apartado.
Demostramos el cuarto apartado: Sea F2 = (F1 ) con G.
Para todo elemento u F2 existe un nico v F1 tal que u =
(v). Para todo automorfismo F1 tenemos que 1 (u) =
(v) = (v) = u, luego 1 F2 . Como esto es cierto para
todo F1 , tenemos que F1 1 F2 .
Partiendo de la expresin F1 = 1 (F2 ) y aplicando el mismo
razonamiento obtenemos que 1 F2 F1 . Por tanto F2 =
1 F2 1 F1 1 . Combinando ambas inclusiones nos
queda que F2 = F1 1 .
Partiendo de F1 1 = F2 y aplicando un razonamiento anlogo, llegamos a que F2 = (F1 ).
72

El primer enunciado del quinto apartado es consecuencia inmediata del cuarto apartado.
Para demostrar el isomorfismo, consideramos el homomorfismo de grupos : G = Gal(E/K) Gal(F/K) dado por restriccin. Entonces Im() = Gal(F/K) y ker() = F . Por el primer
teorema de isomorfismo para grupos obtenemos el isomorfismo buscado.
6.3.
Ejemplos e ilustraciones
Ejemplo 6.3.1. Extensiones cuadrticas

Ejemplo 6.3.2. Q(u), u3 3u 1 = 0 (races: u, 2 u2 , 2 u + u2 )
Ejemplo 6.3.3. x3 + x + 1 F2 [x]; races: u, u2 , u + u2
Ejemplo 6.3.4. Cuerpo de descomposicin de x3 2 sobre Q
Ejemplo 6.3.5. Q(u)/Q, u3 2 = 0

Ejemplo 6.3.6. Q( 2, 3)/Q
q

Ejemplo 6.3.7. Q
(2 + 2)(3 + 3) /Q
p

2 + 2 /Q
Ejemplo 6.3.8. Q
q

p
Ejemplo 6.3.9. Q
2 + 2 + 2 /Q
Ejemplo 6.3.10. car(F ) = p, E = F (u), up = a F imperfecto
Ejemplo 6.3.11. Q(u)/Q, u6 3 = 0
Ejemplo 6.3.12. Q(u)/Q, u6 + 3 = 0 (Races: u, (u + u4 )/2, (u +
u4 )/2), G
= S3
Ejemplo 6.3.13. Q(u)/Q, u4 2 = 0 |G| = 8
Ejemplo 6.3.14. X 4 + 1
Ejemplo 6.3.15. Q(u)/Q, u8 2 = 0 |G| = 16
Ejemplo 6.3.16. Q(u)/Q, u7 = 1
Ejemplo 6.3.17. Q(u)/Q, u17 = 1
Ejemplo 6.3.18. X p 1 Q[X]
Ejemplo 6.3.19. E = F (t) G = {t (at + b)/(ct + d) | ad bc 6= 0}
6.4. PROPIEDADES DE LAS EXTENSIONES DE GALOIS
73
Ejemplo 6.3.20. car(F ) = 0, F = k(t), (t) = t, (t) = 1 t

Ejemplo 6.3.21. car(F ) = p, F = k(t), (t) = t, (t) = 1 t
Ejemplo 6.3.22. car(K) = p, K(t, u)/K(tp , up )
Ejemplo 6.3.23. C es algebraicamente cerrado.
Ejemplo 6.3.24. Cuerpo de descomposicin de X 5 4 X + 2 sobre
Q (conjugacin compleja)
Ejemplo 6.3.25. Cuerpo de descomposicin de X 5 X 1 sobre Q
(reduccin modulo 5 y 2)
Ejemplo 6.3.26. F (t1 , , tn )/F
Ejemplo 6.3.27. Funciones racionales simtricas K(t1 , . . . , tn )/K(s1 , . . . , sn )
Ejemplo 6.3.28. Ecuacin general de grado n
6.4.
Propiedades de las extensiones de Galois
Proposicin 6.4.1. Sea E F K una torre de cuerpos tal que

E/K es una extensin de Galois finita. Entonces la extensin E/F
tambin es de Galois finita y el grupo Gal(E/F ) es un subgrupo de
Gal(E/K).
Definicin 6.4.2. Una extensin finita E/K se llama abeliana si
es de Galois y el grupo G = Gal(E/K) es abeliano.
Una extensin finita E/K se llama cclica si es de Galois y el
grupo G = Gal(E/K) es cclico.
Una extensin finita E/K se llama soluble si es de Galois y el
grupo G = Gal(E/K) es soluble.
Proposicin 6.4.3. Sea E F K una torre de cuerpos con E/K
finita. Si la extensin E/K es abeliana (cclica, soluble) tambin la
extensin E/F es abeliana (cclica, soluble).
Proposicin 6.4.4. Sea E F K una torre de cuerpos.
1. Si E/K es una extensin finita de Galois abeliana, la extensin
F/K tambin es finita de Galois abeliana.
2. Si E/K es una extensin finita de Galois cclica, la extensin
F/K tambin es finita de Galois cclica.
74
Teorema 6.4.5. Sea E/K una extensin finita de Galois y F/K una
extensin arbitraria tales que E, F son subcuerpos de otro cuerpo L.
Entonces EF/F y E/(E F ) son extensiones finitas de Galois y la
aplicacin restriccin 7 |E define un isomorfismo Gal(EF/F )
=
Gal(E/(E F )) < Gal(E/K).
Corolario 6.4.6. Sea E/K una extensin finita de Galois y sea F/K
arbitraria donde E y F son subcuerpos de otro cuerpo L. Entonces
[EF : F ] divide a [E : K].
Este corolario no es vlido si E/K no es de Galois:
Ejemplo
6.4.7. Sean E = Q( 3 2), F = Q( 3 2) y K = Q. Entonces
EF = Q( 3 2, ) y E F = Q. Luego [EF : F ] = 2 no divide a [E : K] = 3.
Teorema 6.4.8. Sea E1 /K y E2 /K extensiones finitas de Galois con
grupos Gi = Gal(Ei /K), ambas contenidas en otro cuerpo L. Entonces
E1 E2 /K es una extensin finita de Galois y existe un homomorfismo
inyectivo : Gal(E1 E2 /K) G1 G2 definido por restriccin: () =
(|E1 , |E2 ). Si E1 E2 = K, el homomorfismo es un isomorfismo.
Corolario 6.4.9. Sean E1 /K, . . . , En /K extensiones finitas de Galois
con grupos respectivos G1 , . . . , Gn . Supongamos que todos los cuerpos Ei son subcuerpos de otro cuerpo L y que Ei (E1 Ei1 ) = K
para i = 2, . . . , n. Entonces Gal(E1 En /K)
= G1 Gn .
Corolario 6.4.10. Sea E/K una extensin finita de Galois con grupo G. Supongamos que G = G1 Gn . Sea Ei el cuerpo fijo de
G1 {1} Gn (el elemento 1 aparece en la i-sima coordenada). Entonces Ei /K es de Galois con grupo Gal(Ei /K)
= Gi ,
Ei (E1 Ei1 ) = K y E = E1 En .
Parte IV
Aplicaciones
75
Captulo 7
Cuerpos finitos
77
78
CAPTULO 7. CUERPOS FINITOS
El primer matemtico que realiz clculos extensos en cuerpos

finitos distintos de Zp fue Gauss. El proyectado ltimo captulo de
[15] estaba dedicado a un estudio profundo de los cuerpos finitos.
Gauss los introduca (en lenguaje moderno) como extensiones de
Zp por adjuncin de races de polinomios irreducibles sobre Zp . As
que usaba dominios nuevos, pero rehus darles nombre. Fue Galois quien introdujo en [13] el concepto de cuerpo finito. Por esta
razn los cuerpos finitos se llaman tambin cuerpos de Galois. La
discusin mas detallada de los cuerpos finitos y sus propiedades
es la expuesta en [23]. La siguiente exposicin sigue las lneas de
[7], [9] y [22].
7.1.
Estructura de los cuerpos finitos
Sea F un cuerpo finito con |F | = q elementos. Recolectamos

algunos hechos fciles de demostrar:
Lema 7.1.1.
1. La caracterstica de F es un primo p 6= 0.
2. El cuerpo primo de F es isomorfo a Z/pZ.

3. La extensin F/Zp es finita.
4. Sea [F : Zp ] = n. Entonces q = |F | = pn .
5. El grupo multiplicativo F es cclico de orden q 1.
El ltimo punto del lema anterior y el teorema de Lagrange para grupos implican que todo elemento no nulo u F es raz del
polinomio X q1 1 Zp [X]. Luego todo elemento u F es raz de
f = X q X F [X]. As que el polinomio f Q
descompone totalmente
en F y todas sus races son distintas: f = aF (X a) y por tanto:
Proposicin 7.1.2. 1. F es el cuerpo de descomposicin del polinomio X q X sobre Zp .
2. Dos cuerpos finitos con el mismo cardinal son isomorfos.
La caracterizacin dada en esta proposicin nos da la clave para
demostrar la existencia de un cuerpo con q = pn elementos:
Proposicin 7.1.3. Sea q = pn con p primo. Existe un cuerpo con
|F | = q elementos.
7.1. ESTRUCTURA DE LOS CUERPOS FINITOS
79
Demostracin. Consideramos el polinomio f = X q X Zp . Su

derivada vale f 0 = 1 y no tiene races. Por tanto f tiene slo races
simples. Sea F el cuerpo de descomposicin de f sobre Zp y sea
S F el conjunto de todas las races de f en F . Sabemos que
|S| = q. Vamos a ver que S = F con lo que tendremos el resultado
buscado.
Para ello basta comprobar que S es un subcuerpo de F , es decir,
que es cerrado para la suma, el producto, el opuesto y el inverso:
Sean u, v S. Calculamos:
(u + v)q (u + v) = uq + v q u v = 0
(uv)q (uv) = uq v q uv = uv uv = 0
(u)q (u) = uq + u = 0
(u1 )q u1 = u1 u1 = 0
(7.1.1)
(7.1.2)
(7.1.3)
(7.1.4)
Las dos proposiciones anteriores unidas forman el siguiente teorema:

Teorema 7.1.4 (Moore). Para cada primo p y para cada n 6= 1 existe
exactamente un cuerpo con q = pn elementos (salvo isomorfismo), a
saber, el cuerpo de descomposicin de X q X sobre Zp . Estos son los
nicos cuerpos finitos.
Definicin 7.1.5. El nico cuerpo con pn elementos se denota por
Fpn y tambin por GF (pn ). Se llama cuerpo de Galois de orden pn .
Proposicin 7.1.6. Sea Fq un cuerpo finito y sea n > 1 un entero.
En una clausura algebraica de Fq existe un nico cuerpo extensin
de grado n de Fq y este cuerpo es Fqn .
Demostracin. Por el teorema de Moore un tal cuerpo extensin
n
est caracterizado como el conjunto de races del polinomio X q
X
Sea : Fpn Fpn el endomorfismo de Frobenius definido por
(u) = up .
Proposicin 7.1.7. El grupo Aut(Fpn ) es cclico de orden n, generado
por .
80
Demostracin. Sea G = hi. El cuerpo fijo bajo G es

p
FG
pn = {u Fpn | u = u} = Fp
el cuerpo primo de Fpn , que tambin es el cuerpo fijo bajo todo el

grupo Aut(Fpn ). Por el teorema fundamental ambos grupos son el
mismo y su orden es n = [Fpn : Fp ].
Teorema 7.1.8. Sean m, n 1 enteros. Entonces Fpn es un subcuerpo de Fpm si y slo si n | m. En este caso la extensin Fpm /Fpn es
cclica y Gal(Fpm /Fpn ) = hn i
Demostracin. Supongamos que Fpm Fpn Fp . Por el teorema del
grado, n = [Fpn : Fp ] divide a m = [Fpm : Fp ].
A la inversa supongamos que n es un divisor de m, sea m = dn. El
grupo Gal(Fpm /Fp ) = hi es cclico de orden n y posee un subgrupo
(nico) H = hn i de orden d. Sea F = FH
pn el cuerpo fijo bajo H.
Entonces [F : Fp ] = [G : H] = m y por tanto |F | = pm y por el teorema
de Moore F
= Fpm . Adems H = Gal(Fpm /Fpn ).
7.2.
Factorizacin de polinomios
El teorema de Moore provee un instrumento altamente eficiente

para trabajar con polinomios de Fpn [X]. En primer lugar permite
identificar y contar los polinomios irreducibles con grado dado.
Proposicin 7.2.1. Todo polinomio irreducible de grado n en Fp [X]
n
n
es un factor de f = X p X. Los factores irreducibles de f = X p X
en Fp [X] son exactamente los polinomios irreducibles en Fp [X] cuyo
grado divida a n.
Demostracin. Sea g un factor irreducible de f y sea una raz de g.
Tambin es una raz de f y por tanto Fpn . Luego Fpn Fp () Fp .
Por el teorema del grado gr(g) = [Fp () : Fp ] divide a n = [Fpn : Fp ].
A la inversa, sea g Fp [X] irreducible de grado m divisor de n y
sea una raz de g. Entonces [Fp () : Fp ] = m y por el teorema 7.1.8,
Fpm Fp (). Por el teorema de Moore f () = 0 y por tanto g | f .
Corolario 7.2.2. Sea n primo. El nmero de polinomios mnicos irreducibles de Fp [X] de grado n es precisamente (pn p)/n 6= 0.
7.2. FACTORIZACIN DE POLINOMIOS
81
Demostracin. El polinomio X p X es el producto de todos los

polinomios mnicos irreducibles cuyo grado divida a n. Como ste
es primo, sus nicos divisores son 1 y n. El producto de todos los
factores de grado 1 es X p X, y por tanto el producto de todos
n
los polinomios irreducibles de grado n es (X p X)/(X p X), un
polinomio de grado pn p. Luego el nmero de factores es (pn
p)/n.
Un anlisis mas detallado utilizando la funcin de Mbius permite enunciar una frmula para el nmero de polinomios irreducibles de grado n general (puede verse, por ejemplo, en [22], cap. V
ejercicio 22 o en [9], p. 502).
Del teorema de Moore se deduce tambin el primer paso de un
algoritmo efectivo para factorizar polinomios arbitrarios en Fp [X].
En primer lugar sea f Fp [X] no constante sea f 0 su derivada y sea
g = m. c. d.(f, f 0 ).
Lema 7.2.3. 1. Para un algebraico sobre Fp , f () = 0 si y slo
si f1 () = 0
2. El polinomio f1 = f /g tiene todas las races simples.
Q
Q
ki 1
ki
.
Es
fcil
ver
que
g
=
(X
)
Demostracin. Sea
f
=
i
i (X )
i
Q
y por tanto f1 = i (X i ).
Por este lema, los factores irreducibles de f1 son exactamente
los factores irreducibles distintos de f . El clculo de f1 a partir de
f es rpido, utilizando el algoritmo de Euclides en Fp [X].
n
Lema 7.2.4. Sea f Fp [X]. El polinomio fn = m. c. d.(f, X p X) es el

producto de todos los factores irreducibles distintos de f cuyo grado
divide a n
n
Demostracin. Sea g mnico e irreducible. Entonces g divide a X p

n
X si y slo si su grado divide a n, y el polinomio X p X no tiene
factores mltiples. Adems g divide a fn slo si divide a f .
El lema precedente es la base del algoritmo siguiente: Sea f un
polinomio tal que m. c. d.(f, f 0 ) = 1 y sea g una variable polinmica.
1. Asignamos g := f , n := 1
2. Si 2gr(g) < n vamos al paso 4
82

n
3. Asignamos fn := m. c. d.(g, X p X), g := g/fn , n := n + 1. Volvemos al paso 2

4. Si gr(g) > 0, el polinomio g es irreducible. Cada polinomio fi
obtenido es el producto de todos los factores irreducibles de f
de grado n y f = gf1 f2 . . . .
Este algoritmo es especialmente efectivo cuando todos los factores irreducibles de f tienen grados distintos. En el caso general
slo obtenemos una factorizacin parcial. Para obtener una factorizacin completa, hay que descomponer cada fn . Existe otro algoritmo eficiente para ello, el algoritmo de Berlekamp. Una exposicin
sencilla puede verse en [9], pginas 503-505.
7.3.
Ilustraciones
Ejemplo 7.3.1. Los elementos de F4 son las races del polinomio

f = X 4 X = X(X 1)(X 2 + X + 1) F2 [X]
En este caso los factores irreducibles de X 4 X Z[X] siguen siendo irreducibles en F2 [X] = Z2 [X]. Ntese que en la descomposicin
de f aparecen los factores de X 2 X, porque F4 contiene a F2 .
Ejemplo 7.3.2. El cuerpo F8 es una extensin de F2 de grado 3. Sus
elementos son las ocho races del polinomio
f = X 8 X = X(X 1)(X 3 + X + 1)(X 3 + X 2 + 1) F2 [X]
(7.3.1)
as que los seis elementos en F8 que no estn en F2 se reparten en

dos clases: Las tres races de X 3 +X +1 y las tres races de X 2 +X +1.
Los factores cbicos de 7.3.1 son los dos polinomios irreducibles de grado 3 que hay en F2 [X]. Ntese que en el anillo Z la
factorizacin del polinomio f es
X 8 X = X(X 1)(X 6 + X 5 + X 4 + X 3 + X 2 + X + 1)
y el tercer factor es reducible en F2 [X] aunque es irreducible en
Z[X].
Para calcular en el cuerpo F8 elegimos una raz de una de las
cbicas, digamos de X 3 +X +1. Entonces {1, , 2 } es una base de F8
7.3. ILUSTRACIONES
83
sobre F2 . Los elementos de F8 son las ocho combinaciones lineales

con coeficientes en F2 :
F8 = {0, 1, , 1 + , 2 , 1 + 2 , + 2 , 1 + + 2 }
Ntese que F4 no est contenido en F8 , en consonancia con [F8 :
F2 ] = 3, [F4 : F2 ] = 2 y 2 - 3.
Ejemplo 7.3.3 (El cuerpo F16 ). El polinomio f = X 16 X = X(X 15 1)
es divisible en Z[X] por X 5 1 y por X 3 1. Efectuando las divisiones
sobre los enteros obtenemos la factorizacin:
X(X 1)(X 2 + X + 1)(X 4 + X 3 + X 2 + X + 1)
(X 8 X 7 + X 6 X 5 + X 4 X 3 + X 2 X + 1)
Esta es la factorizacin en irreducibles en Z[X]. Pero en F2 [X] el
factor de grado 8 es reducible y nos queda:
X(X 1)(X 2 + X + 1)(X 4 + X 3 + X 2 + X + 1)(X 4 + X + 1)(X 4 + X 3 + 1)
Esta factorizacin muestra los tres polinomios irreducibles de grado 4 que hay en F2 [X]. Ntese que los factores de X 4 X aparecen
entre los factores de X 16 X en coincidencia con el hecho de que
F16 contiene a F4 .
84
Captulo 8
Extensiones ciclotmicas
85
86
CAPTULO 8. EXTENSIONES CICLOTMICAS
8.1.
Races de la unidad
Lema 8.1.1. Sea G un subgrupo finito del grupo multiplicativo K

de un cuerpo. Entonces G es cclico.
Demostracin. Sea n = m. c. m.{o() | G}. G, n = 1. Si G no
es cclico, n |G| y el polinomio f = X n 1 tiene ms races que su
grado, imposible.
En un cuerpo cualquiera K llamamos n (K) = { K | n = 1}.
Lema 8.1.2. n (K) es un grupo cclico finito, |n (K)| n.
Demostracin. Trivial.
Definicin 8.1.3. Llamamos grupo de las races n-simas de la uni siendo K
la clausura algebraica de K. Los
dad al grupo n = n (K)
elementos de n se llaman races n-simas de la unidad . Cualquier
generador del grupo n se llama raz n-sima primitiva de la unidad.
Sea p = car(K) y sea n = pe m con p - m. Entonces f = X n 1 =
e
(X m 1)p y las races n-simas de la unidad coinciden con las races
m-simas de la unidad. Por ello a partir de ahora nos restringimos
a que car(K) - n.
Lema 8.1.4. d | n d n .
8.2.
Polinomios ciclotmicos
Definicin 8.2.1. Se llama n-simo polinomio ciclotmico al polinomio

n =
(X ) =
primitiva
(X a )
(a,n)=1
Lema 8.2.2. gr(n ) = (n)

Lema 8.2.3.
Xn 1 =
d|n
El lema anterior permite calcular recurrentemente la expresin

explcita del polinomio ciclotmico:
8.2. POLINOMIOS CICLOTMICOS

Lema 8.2.4.
n = Q
87
Xn 1
d|n, d6=n d
Ejemplo 8.2.5.
4 =
X4 1
X4 1
= 2
= X2 + 1
1 2
X 1
Ejemplo 8.2.6.
12 =
X 12 1
X6 + 1
X 12 1
=
=
= X4 X2 + 1
6
2
1 2 3 6 4
(X 1)4
X +1
El lema 8.2.4 tambin permite establecer cmo son los coeficientes de n :

Lema 8.2.7. n es mnico y tiene coeficientes en el anillo primo
Demostracin. Ambas propiedades se comprueban por induccin
sobre n. Para n = 1, 1 = X 1 las verifica. Supongamos por induccin que d n, d es mnico y tiene sus coeficientes en el
anillo primo. Tambin X n 1 verifica dichas propiedades. Luego en
la expresin de n dada en 8.2.4 el numerador y el denominador
son mnicos y con coeficientes en el anillo primo. Al calcular el cociente (por el algoritmo de la divisin de polinomios), n tambin
verifica las mismas propiedades.
Vamos a desarrollar una forma an mas rpida para determinar
el polinomio ciclotmico.
Se define la funcin de Mbius : N Z como:
si existe un primo p tal que p2 | n

0
(n) = (1)r si n = p1 . . . pr con pi primos distintos
1
si n = 1
Lema 8.2.8. La funcin de Mbius verifica que
(
X
1 si n = 1
(d) =
0 si n 6= 1
d|n
Demostracin. Una induccin fcil.
Sea (A, +) un grupo abeliano y sean f, g : N A dos aplicaciones.
88
Teorema 8.2.9. Para todo n N f (n) =

P
todo n N g(n) = d|n (d)f (n/d)
d|n
g(d) si y slo si para
Demostracin. Es un ejercicio de cambio de ndices

de sumacin:
P
Supongamos que para todo n se verifica f (n) = d|n g(d). Entonces
(d)f (n/d) =
d|n
(d)
d|n
g(k) =
XX
k|n/d
(d)g(k) =
k|n d|n/k
k|n
(d) g(k) = g(n)
d|n/k
por el lema anterior. Un clculo anlogo muestra la otra implicacin.

Proposicin 8.2.10 (Reglas de clculo para los polinomios ciclotmicos).
Si p es un primo, p (X) = X p1 + X p2 + . . . + X + 1.
e1
2. pe (x) = p (xp
), para todo r 1.
e1 1
3. Si n = pe11 pe22 . . . perr , entonces n (x) = p1 ...pr (xp1
...perr 1
).
4. Si n > 1 es impar 2n (x) = n (x).

5.
n =
Y
(xn/d 1)(d)
d|n
Demostracin.
1. Aplicacin inmediata del lema 8.2.4:

p (X) =
Xp 1
= X p1 + X p2 + . . . + X + 1
X 1
2. Otra aplicacin del lema 8.2.4:

e
pe (X) =
Xp 1
pe1
=
(X
)
p
e1
Xp 1
3. Para demostrarlo necesitamos unos resultados previos:

Llamamos m = pe11 1 pe22 1 . . . perr 1 , y para todo d | n, llamamos
d
d1 = (m,d)
. Obsrvese que d = d1 (m, d) | d1 m. Sea k = (d1 m)/d.
Lema 8.2.11. d (X) divide a d1 (X m )
1.
8.2. POLINOMIOS CICLOTMICOS
89
Demostracin.
Sea una raz d-sima primitiva de la unidad.
Q
Entonces t|d1 t ( m ) = ( m )d1 1 = dk 1 = 0. Si demostramos
que para t 6= d1 se verifica que t ( m ) 6= 0, simplificando tendremos d1 ( m ) = 0, luego d (X) = Irr(, Q) | d1 (X m ) que es lo
que buscamos.
n
= p1 . . . pr . Luego todo t | d1 es de la forma t = pi1 . . . pij .
d1 | m
Sea t 6= d1 y por sencillez numeramos los primos de forma que
t = p1 . . . pj con j r (puede ser j = 0, cuando t = 1). Entonces
t ( m ) | ( m )t 1 = mt 1 6= 0
ya que mt md1 y el orden multiplicativo de es exactamente
d = md1 . Luego t ( m ) 6= 0.
Lema 8.2.12.
Y
d|n, d6=n
d (X) =
d1 (X m )
d1 |p1 ...pr
d1 6=p1 ...pr
Demostracin. Por el lema 8.2.11, cada factor del miembro de

la izquierda divide al miembro de la derecha. Como todos los
factores de la izquierda son irreducibles sobre Q y distintos,
su producto dividir al polinomio que est a la derecha. Todos
los factores son polinomios mnicos, as que ambos productos
son mnicos. Finalmente contemos los grados:
gr(
d (X)) = gr((X n 1)/n (X)) = n (n)
d|n, d6=n
gr(
d1 (X m )) = gr(((X m )p1 ...pr 1)/p1 ...pr (X m )) = n(p1 . . . pr )m
d1 |p1 ...pr
d1 6=p1 ...pr
Por la frmula para el clculo de (n), ambos grados son iguales. Luego los dos polinomios enunciados son iguales.
Vamos ya con la demostracin de 3:
n (X) = Q
e1 1
er 1
Xn 1
(X m )p1 ...pr 1
=Q
= p1 ...pr (X p1 ...pr )
m
d|n, d6=n d (X)
d1 |p1 ...pr , d1 6=p1 ...pr d1 (X )
90
4. Clasificamos los divisores de 2n en dos conjuntos: S1 es el

conjunto de divisores impares (que son los divisores de n) y S2
es el conjunto de los divisores pares (que son de la forma 2d
para d divisor de n). El lema 8.2.4 nos dice que
X 2n 1 =
d (X)
dS1
d (X) = (X n 1)
dS2
d (X)
dS2
Q
Dividiendo obtenemos que X n + 1 = k|n 2k (X). Sustituimos
X por Y y cambiamos el signo de ambos miembros. De los
factores de la derecha, 2 (Y ) = 1 (Y ) y por induccin para
todo d < n, 2 d(Y ) = d (Y ). Sustituyendo obtenemos:
2n (Y )
Yn1=
(Y
)
d
d|n
d<n
Comparando con el lema 8.2.4 obtenemos que 2n (Y ) = n (Y )

que es el resultado buscado.
5. Definimos dos aplicaciones f, g : N Q[X] como Q
f (n) = X n 1
y g(n) = n (X). El lema 8.2.4 nos dice que f (n) = d|n g(d). Por
Q
el teorema 8.2.9 g(n) = d|n f (n/d) que es el resultado buscado.
8.3.
Extensiones ciclotmicas
Sea K un cuerpo y una raz n-sima primitiva de la unidad en
K (clausura algebraica de K).

Definicin 8.3.1. Llamamos n-sima extensin ciclotmica de K a
la extensin K()/K.
Sabemos que [K() : K] = gr(Irr(, K)). Especialmente importante
es el caso de Q:
Teorema 8.3.2.
[Q() : Q] = (n)
8.3. EXTENSIONES CICLOTMICAS
91
Demostracin. Sea f = Irr(, Q). Comenzamos viendo que si p es un

primo y p - n, entonces f ( p ) = 0. Supongamos que no fuese as.
Como es raz de X n 1 tenemos que
Xn 1 = f g
y como f ( p ) 6= 0, ha de ser g( p ) = 0. Luego f | h(X) = g(X p ).
Por el lema de Gauss, f, g Z[X]. Reducimos mdulo p la anterior
igualdad. Tenemos:
X n 1 = fg Zp [X]
y adems f | g(X p ) = (
g (X))p . Luego m.c.d.(f, g) 6= 1 y el polinomio del segundo miembro de la igualdad anterior tiene races
mltiples. Pero m.c.d.(X n 1, nX n1 ) = 1 y el primer miembro tiene
slo races simples. Contradiccin.
Veamos ahora que si a Z es primo relativo con n, entonces f ( a ) = 0. Para ello, descomponemos a en factores primos,
a = p1 . . . pt y razonamos por induccin sobre t. El caso t = 1 es
el que acabamos de demostrar. Supongamoslo cierto para t 1. Sea
1 = p1 . Por el caso t = 1, f (1 ) = 0 y f = Irr(1 , Q). Ahora a = 1b
siendo b = p2 . . . pt donde hay t 1 factores primos. Por la hiptesis
de induccin f (1b ) = 0.
Sabemos ahora que f tiene las (n) races a con (a, n) = 1. Luego
gr(f ) (n). Por otro lado, () = 0, luego f | y gr(f ) (n). En
resumen, gr(f ) = (n) = [Q() : Q].
Corolario 8.3.3. n es irreducible en Z[X] (y en Q[X])
Sobre otros cuerpos n no tiene que ser irreducible. Por ejemplo,
en Z11 12 = (X 2 5X + 1)(X 2 + 5X + 1) y en Z13 , 12 = (X 2)(X +
2)(X 6)(X +6). Vamos a determinar cuando n factoriza totalmente
en Zp :
Lema 8.3.4. Zp contiene una raz n-sima primitiva de la unidad si
y slo si p 1 (mod n)
p1
Demostracin. Todo elemento c Z
= 1, as que si c
p verifica c
tiene orden n, ha de ser n | (p 1). A la inversa, si n | (p 1), como
Z
p es cclico de orden p 1, se sigue que contiene un elemento de
orden n.
Es fcil deducir del lema anterior un caso particular del famoso

teorema de Dirichlet sobre primos en progresiones aritmticas:
92
Corolario 8.3.5. Para cualquier entero positivo n existen infinitos

primos congruentes a 1 mdulo n.
Demostracin. Supongamos que el conjunto de tales primos sea
finito (incluso vaco), sean p1 , . . . , pr . Sea a = np1 . . . pr y tomamos
t Z arbitrario. Entonces n (at) n (0) 1 (mod a), luego a =
np1 . . . pr | n (at) 1. Cuando t , n (at) , as que n (at) 6= 1
para t suficientemente grande. Luego n (at) es divisible por un primo p y como n | a y a | (n (at) 1), n es primo a p. Esto significa que
at es una raz n-sima primitiva en Zp , y por 8.3.4, p 1 (mod n).
Adems, p 6= pi ya que n (at) 0 (mod p) mientras que n (at) 1
(mod pi ), i = 1, . . . , r.
Los siguientes lemas exploran las relaciones que hay entre las
diversas extensiones ciclotmicas:
Lema 8.3.6. Sean n, m N tales que n | m. Entonces Q(n ) Q(m )
Demostracin. Consecuancia directa de 8.1.4
Lema 8.3.7. Sean n, m N y sea k = m.c.m.(n, m). Sean n , m , k
races n-,m-,k-simas primitivas de la unidad respectivamente. Entonces Q(n )Q(m ) = Q(k ).
Demostracin. Por el lema anterior, Q(n ), Q(m ) Q(k ). Por otra
parte, si m, n son primos relativos el elemento n m es una raz ksima primitiva de la unidad. El caso general se obtiene por induccin, descomponiendo m y n en potencias de primos.
Lema 8.3.8. Sean n, m N primos relativos. Entonces Q(n )Q(m ) =
Q.
Demostracin. Se deduce contando grados, teniendo en cuenta que
(mn) = (m)(n).
8.4.
Grupos de Galois
Lema 8.4.1. La extensin ciclotmica K()/K es una extensin de

Galois.
Demostracin. K() es el cuerpo de descomposicin del polinomio
X n 1 sobre K (tambin lo es del polinomio n ). Luego la extensin
es normal. Adems, como car(K) - n, todas las races n-simas de
la unidad son distintas y el polinomio X n 1 es separable. Luego la
extensin es separable.
8.4. GRUPOS DE GALOIS
93
Vamos a determinar Gal(K()/K):

Teorema 8.4.2. Gal(K()/K)
= H < Z
n
Demostracin. Todo Gal(K()/K) est determinado por su efecto sobre , cuya imagen tiene que ser raz de Irr(, K) que divide a
n . Definimos pues un homomorfismo:
: Gal(K()) Z
n
() = a, () = a
Sean () = a, ( ) = b. Tenemos que () = ( b ) = ab , as que

es un homomorfismo. Es claro que el ncleo es trivial, y el primer
teorema de isomorfa nos da el resultado apetecido.
Corolario 8.4.3. Gal(K()/K) es abeliano
Corolario 8.4.4. Gal(Q()/Q)
= Z
n
Demostracin. Basta considerar el orden de Gal(Q()/Q).

Notacin. Por el teorema 8.4.2, cada Gal(K()/K) est determinado por el a Z
n tal que () = a. Denotaremos = a .
Ejemplo 8.4.5. Sea una raz octava primitiva de la unidad. Entonces Gal(Q()/Q) = < 1 , 3 , 5 , 7 >
= Z2 Z2 . Existen tres subgrupos
de orden 2 que corresponden a tres subcuerpos cuadrticos:
< 3 > = Q( + 3 ) = Q(2)

< 5 > = Q( 2 )
= Q(1)
1
< 7 > = Q( + ) = Q( 2)
Ejemplo 8.4.6. Sea una raz quinta primitiva de la unidad. En este
caso
Gal(Q()/Q) =< 2 >

= Z
p = Z4
Por el teorema fundamental existe un nico subcuerpo no trivial, extensin cuadrtica de Q y es el cuerpo fijo bajo < 4 >. El
elemento = + 1 queda fijo bajo 4 y por tanto pertenece a dicho
cuerpo fijo. Ntese que
2 + 1 = ( 2 + 2 + 2 ) + ( + 1 ) 1 = 0
Resolviendo explcitamente, = (1 + 5)/2. Luego Q( + 1 ) =
Q( 5).
Mas adelante obtendremos el resultado general: Sea una raz
p-sima primitiva de 1, con p un primo impar. Entonces Q() con
tiene un nico cuerpo cuadrtico sobre Q, a saber, Q ( p).
94
Ejemplo 8.4.7. Sea p un primo impar y sea una raz p-sima primitiva de la unidad. Una base para Q() sobre Q viene dada por
, 2 , . . . , p1
(La razn para preferir esta base es que cualquier Gal(Q()/Q)
sencillamente permuta los elementos de esta base). Ntese que es
aqu donde hace falta que p sea primo: En general las races nsimas primitivas de la unidad no forman una base para la extensin ciclotmica correspondiente.
Sea H < Gal(Q()/Q) arbitrario, y sea
H =
()
la suma de los conjugados de por los elementos de H. Para cualquier H, () = , as que H , el cuerpo fijo bajo H. Sea
ahora 6 H. Entonces () es la suma de algunos de los elementos
de la base (recuerdese que cualquier elemento de Gal(Q()/Q) permuta los elementos de la base), uno de los cuales es (). Si fuese
() = , debe existir H tal que () = (). Pero cualquier automorfismo est totalmente determinado por su efecto sobre , as
que = H, contradiccin. Luego Q() < H. Por las propiedades
de la conexin de Galois, Q() > H , y combinando con el resultado
anterior, Q() = H .
El elemento construido y sus conjugados bajo Gal(Q()/Q) se
llaman perodos de y son tiles en el estudio de la aritmtica de
los cuerpos ciclotmicos. El estudio de sus propiedades combinatorias se llama ciclotoma.
Ejemplo 8.4.8. Vamos a determinar explcitamente los subcuerpos
de Q() siendo una raz decimotercera primitiva de la unidad,
que corresponden a los subgrupos de Z

13 = Z12 . Un generador para
este grupo cclico es = 2 que aplica en 2 . Los subgrupos no
triviales corresponden a los divisores no triviales de 12, luego el
retculo correspondiente es el siguiente (en cada inclusin se indica
el ndice):
95
<>
3
< 2 >
2
< 3 >
< 6 >
< 4 >
1
Los generadores para los correspondientes cuerpos fijos son:
=
+ 6 ()
4
=
+ () + 8 ()
=
+ 3 () + 6 () + 9 ()
2
4
= + () + () + 6 () + 8 () + 12 ()
=
=
=
=
+ 12
+ 3 + 9
+ 8 + 12 + 5
+ 4 + 3 + 12 + 9 + 10
Y el diagrama de subcuerpos es:

Q()
2
Q(4 )
Q(6 )
3
2
Q(3 )
Q(2 )
6
4
3
2
96
Ejemplo 8.4.9. Sea p un primo impar y sea una raz p-sima primitiva de la unidad. El grupo G = Gal(Q()/Q) es cclico y contiene un
nico subgrupo de ndice 2 que corresponde a una nica subextensin cuadrtica de Q. Segn el ejemplo 8.4.7, dicho cuerpo es
Q() siendo el perodo correspondiente al nico subgrupo H de
ndice 2. Como G =< | p1 = 1 >
= Z
p y p 1 es par, existe un
nico morfismo Zp {+1, 1} que aplica en -1. Este morfismo es

sobre y su ncleo es precisamente el nico subgrupo de ndice 2
de Z
p . La imagen de a Zp mediante dicho morfismo se representa
por

a
p
Esta expresin se llama smbolo cuadrtico y por ser un morfismo
verifica las propiedades siguientes:

b
= ap
1. ab
p
p
2.

a
p
= 1 a = b2
Sea 0 el conjugado de bajo G y sea = 0 . Para todo H,

() = . Y para todo 6 H, () = . Adems 6= porque
los a son linealmente independientes (son una base) sobre Q. Luego el cuerpo que buscamos es Q(). Vamos ahora a determinar el
polinomio mnimo de sobre Q. Utilizando el smbolo cuadrtico:
X
X
X a
=
()
() =
a
p
H
6H
aZp
Calculamos su cuadrado:
X a X b
X X ab
2
a
b
=
=
a+b
p
p
p
aZp
bZp
aZp bZp
Cambiamos el indice b por ab:

2
P
P
a b
2
=
a(1+b)
aZp
bZp
p

P
P
b
=
a(1+b)
aZp
bZp
p

P
P
P
b
1
1+b a
=
(
)
+
a(11)
aZp
bZp ,b6=1 p
aZp
p
En el ltimo miembro, todos los potencias de de la segunda
su
1
matoria valen 1. As que la segunda sumatoria vale p (p 1).
97
1+b
Respecto a la primera
es una raz primitiva ya
P asumatoria, 1 =
que p es primo, y a 1 = 1. Recapitulando,
2
X
bZ
p ,b6=1
Luego =

X b
1
1
1
b
(1)+
(p1) =
(1)+
p=
p
p
p
p
p
p
r
bZp
1
p
p. El signo vale exactamente
1
p
= (1)
p1
2
, pero
nosotros no lo demostraremos.
Teorema 8.4.10. Toda extensin cuadrtica de Q est contenida en
una extensin ciclotmica.
Demostracin. Sea K = Q( D) una extensin cuadrtica arbitraria de Q. Descomponemos en factores primos D = p1 . . . pt . Por el
ejemplo 8.4.9, para pi impar pi est

en Q(i ), la pi -sima extensin ciclotmica de Q. Para pi = 2, 2 Q() para
la raz octava
en la exde la unidad por el ejemplo 8.4.5. Tambin
1 est
tensin ciclotmica octava de Q.Luego D Q( 1, p1 , . . . , pt )

Q(i, 1 , . . . , t ) = Q() siendo = i1 . . . t una raz 4D-sima o D-sima
de la unidad.
El teorema anterior tiene una generalizacin muy fuerte, cuya
demostracin requiere un desarrollo mucho mas largo y profundo
del que nos podemos permitir:
Teorema 8.4.11 (Kroneker-Weber). Toda extensin abeliana de Q
est contenida en una extensin ciclotmica.
Otra cuestin interesante que se presenta en teora de Galois es
la realizacin de un grupo: Dado un grupo finito arbitrario G, existe una extensin de Galois K/Q tal que Gal(K/Q)
= G? La respuesta
general no es conocida, pero para tipos particulares importantes de
grupos se sabe que es afirmativa. Desde hace casi un siglo se sabe que la respuesta es s para G = Sn An , y en 1954 Shafarevic
demostr que la respuesta es afirmativa para todo grupo soluble
finito. Su demostracin utiliza profundos resultados aritmticos,
pero para grupos abelianos finitos podemos demostrarlo ya:
Teorema 8.4.12. Sea G un grupo abeliano finito arbitrario. Existe
una extensin K/Q tal que Gal(K/Q)
= G.
98
Demostracin. Sea G
= Zd1 Zdt la descomposicin cclica de
G. Para cada factor invariante di sea pi un primo tal que pi 1
(mod di ) y que los pi son todos distintos (tales primos existen por
el corolario 8.3.5). Sean i races pi -simas primitivas de la unidad.
Sabemos que para i = 1 . . . t, Q(i ) contiene un subcuerpo Ki tal
que Gal(Ki /Q) es cclico de orden di . Entonces K = K1 . . . Kt es la
extensin buscada.
Captulo 9
Construcciones con regla y
comps
99
100
9.1.
CAPTULO 9. CONSTRUCCIONES CON REGLA Y COMPS
Los Elementos de Euclides
El rigor matemtico nace en la Grecia clsica. El pensamiento

racional de la filosofa clsica conceda prioridad al conocimiento
obtenido por deduccin sobre el que se obtiene por observacin
directa. El mtodo deductivo fu evolucionando desde Tales hasta
Aristteles que es su mayor representante. Evidentemente la matemtica es la rama del conocimiento mas adecuada a este mtodo.
Durante dos mil aos la expresin mas perfecta de este mtodo
fueron los Elementos de Euclides ([10]). La idea es partir de unos
cuantos conceptos definidos en trminos sencillos y unos pocos
postulados y axiomas cuyo verdad es evidente y deducir a partir de ellos los teoremas que sern entonces tan vlidos como los
postulados de los que se han deducido.
El primer libro de los Elementos contiene 23 definiciones, 5 postulados, 5 axiomas o nociones comunes y 48 proposiciones. Algunas de las proposiciones son teoremas (es decir, expresan propiedades de figuras existentes) y otras son construcciones (es decir,
construyen puntos y figuras a partir de otras).
Euclides utiliz las construcciones en el sentido de los teoremas
de existencia (para demostrar que algunas entidades existen realmente). Por ejemplo, se puede definir una bisectriz de un ngulo
como la recta del plano del ngulo que pasa por el vrtice de este y
lo divide en dos ngulos iguales. Pero una definicin no establece
la existencia de lo que se est definiendo. Para demostrar que un
ngulo dado tiene una bisectriz, Euclides muestra que esta entidad
puede realmente construirse (Elementos I.9, [10] p. 213). En matemticas es bueno saber que el conjunto de objetos que satisfacen
una cierta condicin no est vaco.
Los cinco postulados de Euclides son ([10], pgina 197):
1. Postlese el trazar una lnea recta desde un punto cualquiera
hasta un punto cualquiera.
2. Y el prolongar continuamente una recta finita en lnea recta.
3. Y el describir un crculo con cualquier centro y distancia.
4. Y el ser todos los ngulos rectos iguales entre s.
5. Y que si una recta al incidir sobre dos rectas hace los ngulos
internos del mismo lado menores que dos rectos, las dos rectas
9.1. LOS ELEMENTOS DE EUCLIDES
101
prolongadas indefinidamente se encontrarn en el lado en el

que estn los (ngulos) menores que dos rectos.
Los tres primeros postulados enuncian las construcciones primitivas a partir de las cuales obtenemos todas las dems. Constituyen las reglas del juego de las construcciones eucldeas. Como
slo permiten rectas y crculos que son lneas que se trazan con regla y comps, dichas construcciones se llaman construcciones con
regla y comps.
Adems de la bisectriz de un ngulo antes citada, Euclides realiza muchas otras construcciones sencillas: La mediatriz de un segmento (Elementos I.10), el tringulo equiltero sobre un segmento
dado (Elementos I.1), el cuadrado sobre un segmento dado (Elementos I.46), el cuadrado, el pentgono, el hexgono y el pentadecgono
regulares inscritos en un crculo dado (Elementos IV.6, IV.11, IV.15
y IV.16 respectivamente), la perpendicular desde un punto a una
recta dada (Elementos I.12), la paralela desde un punto a una recta
dada (Elementos I.31) etctera.
A pesar de la limitacin de las herramientas que podemos utilizar, es sorprendente la complejidad de las construcciones posibles.
Por ejemplo, podemos construir todas las circunferencias que sean
tangentes a otras tres dadas (problema de Apolonio), trazar tres circunferencias en los ngulos de un tringulo tales que cada una sea
tangente a las otras dos y adems a los lado del ngulo (problema
de Malfatti) o inscribir en una circunferencia dada un tringulo
cuyos lados (prolongados si fuera necesario) pasen por tres puntos
dados (problema de Castillon-Cramer).
Pero existen construcciones que no pueden efectuarse con regla
y comps. Problemas imposibles famosos desde la Grecia clsica,
son:
1. La duplicacin del cubo, o sea construir la arista de un cubo
cuyo volumen sea el doble del de otro cubo dado.
2. La triseccin del ngulo, o sea dividir un ngulo arbitrario dado en tres partes iguales.
3. La cuadratura del crculo, o sea construir un cuadrado que
tenga un rea igual a la de un crculo dado.
4. Construir el heptgono regular y mas generalmente, el polgono
regular de n lados con n arbitrario.
102
Nuestro objetivo es obtener una interpretacin algebraica de la

construccin con regla y comps y encontrar condiciones necesarias (y otras suficientes) para que una construccin sea posible.
9.2.
Puntos construibles y nmeros construibles
Vamos a dar una interpretacin algebraica de la construccin

con regla y comps y en ella obtendremos condiciones necesarias
para que una construccin determinada sea posible. Empezamos
con una definicin rigurosa de puntos construibles.
Notacin. Dados dos puntos A 6= B llamamos AB a la nica recta
que pasa por ambos y A(B) a la circunferencia con centro A que
pasa por B.
Sean P0 , P1 , . . . , Pn puntos distintos del plano eucldeo E con
n 1. Definimos una sucesin creciente infinita de conjuntos de
puntos del plano
C0 C1 . . . Ci . . .
por recurrencia: Comenzamos con C0 = {P0 , . . . , Pn }. Supongamos
definido Ci . Entonces
Ci+1 = Ci Si Si0 Si00
donde
Si = {P E | P AB CD con A, B, C, D Ci , AB 6= CD }
Es decir, Si est formado por los puntos que se obtienen como
interseccin de rectas distintas definidas por pares de puntos de
Ci .
Si0 = {P E | P AB C(D) con A, B, C, D Ci }
O sea que los puntos de Si0 son los que se obtienen como interseccin de las rectas definidas por pares de puntos de Ci con circunferencias cuyos centros estn en Ci y que pasan por puntos de
Ci
Si00 = {P E | P A(B) C(D) con A, B, C, D Ci , A(B) 6= C(D) }
Finalmente, Si00 est constituido por los puntos de interseccin de
los pares de circunferencias distintas que tienen su centro en Ci y
pasan por puntos de Ci .
9.3. CARACTERIZACIN DE LOS NMEROS CONSTRUIBLES103

Definicin 9.2.1. El conjunto de puntos construibles (con regla y
comps) a partir de los puntos {P0 , . . . , Pn } es
C(P0 , . . . , Pn ) =
i=0 Ci
Elegimos ahora un sistema de coordenadas eucldeas tal que
P0 = (0, 0) (el origen de coordenadas) y P1 = (1, 0). Asociamos con
cada punto P = (a, b) del plano el nmero complejo z = a + ib. De
esta manera identificamos el plano eucldeo con el cuerpo C de los
nmeros complejos.
El conjunto dado {P0 , . . . , Pn } se identifica con un conjunto de
nmeros complejos {z0 , . . . , zn } donde z0 = 0 y z1 = 1.
Definicin 9.2.2. El conjunto de nmeros complejos construibles
(con regla y comps) a partir de los nmeros {z1 , . . . , zn } es el conjunto de nmeros complejos que corresponden a puntos de C(P0 , . . . , Pn ).
Se representa por C(z1 , . . . , zn )
9.3.
Caracterizacin de los nmeros construibles
Lema 9.3.1. 1. El nmero complejo z = a + bi con a, b Q pertenece a C(z1 , . . . , zn ) si y slo si a, b C(z1 , . . . , zn ).

2. El nmero complejo z = r(cos() + i sen()) con r real positivo
pertenece a C(z1 , . . . , zn ) si y slo si r, cos() + i sen() pertenecen
a C(z1 , . . . , zn ).
Ntese que C(z1 , . . . , zn ) contiene a todos los nmeros complejos
de la forma a + ib con a, b Q. y que este conjunto es denso en C.
Proposicin 9.3.2. C(z1 , . . . , zn ) es un subcuerpo de C que verifica
1. z1 , . . . , zn C(z1 , . . . , zn )
2. Para todo z C(z1 , . . . , zn ) el conjugado complejo z pertenece a
F.
3. Para todo z C(z1 , . . . , zn ) se verifica que z C.

Proposicin 9.3.3. Sea F un subcuerpo de C que verifica:
1. z1 , . . . , zn F
104
2. Para todo z F el conjugado complejo z est en F .

3. Para todo z F se verifica que tambin
z F.
Entonces C(z1 , . . . , zn ) F .
Corolario 9.3.4. Sea C el conjunto de todos los subcuerpos F de C
que verifican:
1. z1 , . . . , zn F
2. Para todo z F el conjugado complejo z est en F .
3. Para todo z F se verifica que tambin
z F.
Entonces C(z1 , . . . , zn ) = F C F .
Teorema 9.3.5. Sea K = Q(z1 , . . . , zn , z1 , . . . , zn ). Un nmero complejo
z pertenece a C(z1 , . . . , zn ) si y slo si z pertenece a un subcuerpo de
C de la forma K(u1 , . . . , un ) donde u21 K y para todo i = 2, . . . , n se
verifica u2i K(u1 , . . . , ui1 )
Corolario 9.3.6. Sea K = Q(z1 , . . . , zn , z1 , . . . , zn ). Entonces cualquier
z C(z1 , . . . , zn ) es algebraico sobre K de grado una potencia de 2.
Definicin 9.3.7. Para cualquier cuerpo K con car(K) 6= 2 una
torre de cuerpos de la forma
K(u1 , . . . , un ) K(u1 , . . . , un1 ) K(u1 ) K
donde u21 K y u2i K(u1 , . . . , ui1 ) para i = 2, . . . , n se llama torre de
races cuadradas sobre K.
El corolario 9.3.6 enuncia condiciones suficientes (pero no necesarias) para que z sea construible. Usando la teora de Galois se
obtienen condiciones necesarias y suficientes:
Teorema 9.3.8 ([19] p. 271). Un nmero complejo z es construible
con regla y comps si y slo si z es algebraico sobre Q y la clausura
normal K/Q de Q(z)/Q tiene grado [K : Q] = 2n , (n N)
9.4. APLICACIN A LOS PROBLEMAS CLSICOS
9.4.
105
Aplicacin a los problemas clsicos
En muchos problemas de construccin los datos son exactamente dos puntos (o un segmento, lo que es lo mismo). En este caso
en el corolario 9.3.6 se verifica que K = Q y el cuerpo C = C(0, 1) se
llama sencillamente cuerpo de los nmeros contructibles (eucldeos).
El corolario 9.3.6 muestra que tales nmeros son algebraicos sobre Q de grado una potencia de 2. Vamos a aplicar este resultado
para demostrar la imposibilidad de resolver los cuatro problemas
clsicos:
Ejemplo 9.4.1 (Triseccin del ngulo). No todo ngulo se puede trisecar con regla y comps. En particular el ngulo /3 no puede ser
trisecado, porque ello implicara que u = 2 cos(/3) sera construible. Pero u es raz de X 3 3X 1 que es irreducible sobre Q y por
tanto el grado de u sobre Q es 3. Por el corolario 9.3.6, u no es
construible.
Ejemplo 9.4.2 (Duplicacin del cubo). Tomando como unidad la
arista de un cubo dado,
el cubo de volumen doble tendra una
arista de longitud u = 3 2. Pero Irr(u, Q) = X 3 2 y por el corolario
9.3.6 u no es construible.
Ejemplo 9.4.3 (Cuadratura del crculo). El rea de un crculo
de
radio 1 vale . El lado de un cuadrado de la misma rea vale u =
que es un nmero trascendente sobre Q. Luego no es construible.
Ya que es trascendente sobre Q, tampoco se puede rectificar la
circunferencia, es decir, construir con regla y comps un segmento
de longitud igual a la de una circunferencia.
Ejemplo 9.4.4 (Construccin del p-gono regular, con p primo). Esta
construccin es equivalente a la del nmero complejo z = e2i/p
(la raz p-sima de la unidad). Sabemos que z p = 1 y como X p
1 = (X 1)(X p1 + + X + 1) y z 6= 1, tenemos que z es raz del
polinomio p (X) = X p1 + X p2 + + X + 1. Este polinomio p es
irreducible sobre Q (aplquese el criterio de Eisenstein al polinomio
f (X) = p (X + 1)). Luego una condicin necesaria para que el pgono regular sea construible con regla y comps es que p 1 = 2s
para algn entero positivo s. Como 6 = 7 1 no es una potencia de
2, el heptgono regular no se puede construir con regla y comps.
106
9.5.
Polgonos regulares
En la seccin anterior hemos visto que la condicin necesaria

para que el p-gono regular sea construible con p primo es que
p = 2s + 1. Mas adelante, cuando desarrollemos la teora de Galois, veremos que esta condicin tambin es suficiente. Pero ahora
vamos a analizar un poco mas esta construccin. Es curioso que
histricamente se demostr antes la suficiencia de esta condicin
(en [15]) que su necesidad (en [32])
Primos de Fermat
En primer lugar, supongamos que el exponente s es divisible por
un primo impar q, sea s = qt. Entonces
p = 2s + 1 = (2t )q + 1 = (2t + 1)(2t(q1) 2t(q2) + 2t + 1)
es una factorizacin no trivial de p que por lo tanto no es primo.
As pues s no es divisible por ningn primo impar, y s = 2t .
t
Los primos de la forma p = Ft = 22 + 1 se llaman primos de
Fermat porque este matemtico los estudi y conjetur que para
t
todo t 0, 22 + 1 es un primo. As ocurre para los primeros valores:
t: 0 1 2
3
4
2t
Ft = 2 + 1: 3 5 17 257 65537
5
Pero el siguiente nmero F5 = 22 + 1 = 4294967297 no es primo.
(La demostracin mas corta es la siguiente: El nmero 641 = 54 +
24 = 5 27 + 1 divide a los dos nmeros siguientes: a = 54 228 + 232 y
b = 54 228 1 y por tanto divide a su diferencia a b = 232 + 1 = F5 ).
Queda abierta la cuestin de si Ft es primo para algn valor de
t mayor que 5. Se ha demostrado que Ft es primo si y slo si Ft
divide a 3(Ft 1)/2 . Utilizando este criterio (y efectuando los clculos
por ordenador) se ha demostrado que Ft es compuesto para todo
5 t 22. Por ello la construccin de Hermes que citaremos despus es la ltima que se intentar nunca.
Polgonos regulares de n lados, con n compuesto
Hasta ahora hemos estudiado slo las construcciones de n-gonos
regulares cuando n es primo. El caso general se reduce a ste por
las observaciones siguientes:
Si n = mq y el n-gono regular es construible, sea ste P0 P1 Pn1 .
El m-gono regular est formado por los vrtices P0 Pq Pq(m1) , y
9.6. CONSTRUCCIONES EXPLCITAS
107
por tanto es construible. As por ejemplo, el polgono mas fcil de

construir es el hexgono regular, y el tringulo equiltero se obtiene uniendo los vrtices alternos del hexgono (Hay dos de tales
tringulos, formando una estrella de David).
Por otra parte, supongamos que m. c. d.(m, n) = 1 y que el m-gono
regular y el n-gono regular son construibles. Existen r, s N tales
que sn rm = 1 y diviendo por mn
s
r
1
=
mn
m n
as que para construir la mn-sima parte de la circunferencia, tomamos a partir de un punto de la circunferencia s lados del m-gono
y r lados del n-gono. Su diferencia es el lado del mn-gono. Euclides en Elementos IV.16 procede de manera ligeramente distinta:
1/15 = 1/2(1/3 1/5), as que a partir de un punto A de la circunferencia construye un vrtice del pentgono regular B y un vrtice
del tringulo equiltero, sea . Biseca el arco B, sea E el punto
medio y cada uno de los segmentos BE y B es un lado del pentadecgono regular.
Naturalmente, si el m-gono es construible, tambin lo es el 2mgono: Basta bisecar cada uno de los ngulos centrales del m-gono,
y la bisectriz de un ngulo es construible con regla y comps.
Esta tres observaciones demuestran la mitad del siguiente teorema:
Teorema 9.5.1 ([19], p. 274). Un n-gono regular es construible con
regla y comps si y slo si n = 2e p1 . . . ps donde s 0 y los pi son
primos de Fermat distintos.
La demostracin de la otra mitad (la suficiencia de la condicin
sobre n) requiere teora de Galois y la haremos en su momento.
9.6.
Construcciones explcitas
Construcciones algebraicas explcitas

Hasta finales del siglo XVIII no se conocan mas polgonos regulares constructibles que los expuestos en los Elementos. Pero el 30
de Marzo de 1796 el joven Gauss (tena 19 aos) escribe en su diario que haba hallado el principio sobre el que se basa la divisin
de la circunferencia y en particular la divisin de la misma en 17
108
partes. En otras palabras, haba demostrado que el 17-gono regular es construible. Posteriormente deca que este descubrimiento le
haba influido con fuerza para dedicar su vida a las matemticas.
Vamos a describir directamente la construccin del pentgono
y del heptadecgono regular. Como dice Jacob Steiner, haremos
nuestras construcciones simplemente por medio del lenguaje. Es
decir, no nos interesa realizar explcitamente las construcciones
geomtricas mas elegantes, sino asegurarnos de que esas construcciones son realmente posibles.
La construccin del pentgono regular equivale a la de la raz
quinta de la unidad = cos(2/5) + i sen(2/5). Sabemos que es
raz del polinomio 5 = X 4 + X 3 + X 2 + X + 1. Sea = + 1/ = + 4 .
Un poco de manipulacin muestra que es raz de X 2 +X 1 Q[X]
y es raz de X 2 X +1 Q()[X]. Tenemos la torre de extensiones
cuadrticas
Q() Q() Q
Por el teorema 9.3.5 es construible.
En [19] p. 222-223 se describe en detalle la construccin del
heptadecgono regular. Resumindola, definimos sucesivamente los
nmeros
=
=
=
=
cos(2/17) + i sen(2/17)
+ 1 = + 16
+ 1 + 4 + 4
+ 1 + 4 + 4 + 9 + 9 + 2 + 2
y formamos la torre
Q() Q() Q() Q() Q
donde cada paso es una extensin cuadrtica, ya que se verifican
las siguientes ecuaciones cuadrticas:
2 + 1 =
2 ( 3 6 + 3)/2 =
2 1 =
2 + 4 =
0
0
0
0
Recientemente en [18] se ha publicado una construccin algebraica explcita del polgono regular de 257 lados, donde los clculos se han realizado con ayuda del programa de ordenador MAPLE
V.
9.7. CONSTRUCCIONES CON CNICAS
109
Construcciones geomtricas explcitas

Cada una de las construcciones algebraicas anteriores se pueden trasladar paso a paso a una construccin geomtrica, pero
como ya hemos dicho, dicha construccin no ser ni la mas corta
ni la mas elegante de las posibles. Adems de las construcciones
expuestas en los Elementos, Ptolomeo y Richmond (1893) dieron
construcciones del pentgono regular mas sencillas que las de Euclides. Richmond (1909) tambin describe una construccin sencilla del heptadecgono regular. Esta construccin y la del pentgono
regular debida al mismo autor pueden verse en [8], seccin 2.1.
Richelot y Schwendenwein construyeron en 1832 el polgono regular de 257 lados y J. Hermes invirti diez aos sobre el de 65537
lados. Deposit su trabajo en una gran caja que an se encuentra
en la Universidad de Gottingen.
9.7.
Construcciones con cnicas
La imposibilidad de resolver con regla y comps los problemas

clsicos lleva naturalmente a ampliar la gama de herramientas admisibles para hacer una construccin. Desde la antigedad se saba duplicar un cubo (Menaechmus, 350 a. c.) y trisecar un ngulo
(Papus, 300 a. c.) utilizando parbolas e hiprbolas. Arqumedes
descubri una notable construccin del heptgono regular usando
parbolas que se puede ver en [31]. La definicin rigurosa de puntos construibles con cnicas y la caracterizacin de tales puntos
estn desarrolladas en [31] siguiendo unas lneas anlogas a las
expuestas en las secciones 9.2 y 9.3 anteriores. El teorema bsico
del citado artculo es
Teorema 9.7.1. Un nmero complejo z es construible con cnicas si
y slo si z es algebraico sobre Q y la clausura normal K/Q de Q(z)/Q
tiene grado [K : Q] = 2n 3m , (n, m N).
De este teorema podemos deducir cuales son los polgonos construibles con ayuda de cnicas:
Teorema 9.7.2. El n-gono regular es construible con cnicas si y
slo si n = 2s 3t p3 . . . pk donde s, t 0, pi 6= 2, 3 y cada pi es de la forma
pi = 2u 3v + 1.
Corolario 9.7.3. El heptgono regular es construible con cnicas.
110
El artculo [31] termina con dos preguntas: 1) Se puede demostrar que las elipses son superfluas en la construccin de nuevos
puntos, pero podemos limitarnos a rectas, crculos e hiprbolas?
2) Las cnicas son curvas de gnero cero. Cuales son los puntos
construibles con curvas de gnero uno (es decir, cbicas)?
Parte V
Teora de ecuaciones
111
Captulo 10
Extensiones cclicas y
radicales
113
114
CAPTULO 10. EXTENSIONES CCLICAS Y RADICALES
10.1.
Extensiones cclicas
Definicin 10.1.1. Una extensin E/K se llama cclica si es de

Galois y su grupo de Galois es cclico
Teorema 10.1.2 (Lagrange). Sea K un cuerpo, n > 0 un entero primo
con la caracterstica de K y supongamos que existe una raz n-sima
primitiva de la unidad en K.
1. Sea E/K una extensin cclica de grado n. Entonces existe
E tal que E = K() y Irr(, K) = X n a para algn a K.
2. A la inversa, sea a K. Sea una raz de X n a. Entonces
K()/K es cclica de grado d, d | n y d K.
Demostracin.
1. Sea G = Gal(E/K) = hi. y sea K una raz
n-sima primitiva de la unidad.
Sea E = K(u). Definimos la resolvente de Lagrange = (u, )
E como
= u + (u) + 2 2 (u) + + n1 n1 (u)
Por la independencia lineal de los homomorfismos { i } tenemos que 6= 0.
Aplicando el automorfismo obtenemos
() = (u) + 2 (u) + 2 3 (u) + + n1 n (u)
= 1 (u + (u) + 2 2 (u) + + n1 n1 (u))
= 1
Por induccin sobre i, i () = i . Luego los elementos i
son n conjugados distintos de , por lo que [K() : K] n.
Como K() < E, queda que E = K(). Adems, (n ) = ()n =
()n = n . Luego a = n es fijo bajo y todas sus potencias,
por lo que a K.
2. Sea una raz de X n a K[X]. El elemento i tambin es
raz del mismo polinomio y todas estas races son distintas.
Luego K() es el cuerpo de descomposicin sobre K del polinomio X n a, y por tanto es de Galois. Sea G = Gal(K()/K).
G, () tambin es raz de X n a. Luego () = , siendo una raz de la unidad (no necesariamente primitiva). La
10.2. EXTENSIONES SOLUBLES Y RADICALES
115
aplicacin 7 es obviamente un monomorfismo de G en

el grupo de las races n-simas de la unidad y como ste es
cclico de orden n, G es cclico de orden d divisor de n. Sea
G = hi. Entonces es una raz d-sima primitiva de la unidad, y (d ) = ( )d = d . Luego d K ya que es fijo bajo G
y el teorema est demostrado.
10.2.
Extensiones solubles y radicales
Definicin 10.2.1. Una extensin finita separable F/K se llama

soluble si existe una extensin de Galois finita E/K con grupo G =
Gal(E/K) soluble tal que K < F < E.
La anterior definicin es equivalente a decir que la clausura normal de F/K tiene grupo de Galois soluble.
Definicin 10.2.2. Una extensin finita F/K con m. c. d.([F : K], car(K)) =
1 se llama soluble por radicales si es separable y si existe una torre
de extensiones finitas
K = E0 < E1 < E2 < . . . < Em = E
tal que F < E y que cada paso Ei+1 /Ei es de uno de los tipos
siguientes:
1. Ei+1 = Ei () con raz de la unidad.
2. Ei+1 = Ei () con raz de un polinomio X n a Ei [X] y n
primo relativo con car(K).
Proposicin 10.2.3. 1. Sea F/K una extensin soluble por radicales, y sea L/K una extensin arbitraria. Entonces F L/L es
una extensin soluble por radicales.
2. Sea L > F > K una torre de extensiones finitas. Entonces L/K
es soluble por radicales si y slo si L/F y F/K son solubles por
radicales.
3. Sean F/K y L/K extensiones solubles por radicales. Entonces
F L/K es soluble por radicales.
116
Demostracin.
1. Sea
K = E0 < E1 < E2 < . . . < Em = E
la torre de extensiones del tipo 10.2.2 con F < E. Definimos

una nueva torre:
0
= E0
L = E00 < E10 < E20 < . . . < Em
0
= EL >
siendo Ei0 = Ei L. Es evidente que E00 = KL = L, que Em
0
0
F L y que si Ei+1 = Ei (), entonces Ei+1 = Ei () es del mismo
tipo. Luego la extensin F L/L es soluble por radicales.
2. Sea L/K soluble por radicales. El mismo cuerpo E que contiene a L tambin contiene a F . Luego F/K es soluble por
radicales. Por otra parte, aplicamos el punto anterior a las extensiones L/K (que es soluble por radicales por hiptesis) y
L/F . Nos queda que L = LF/F es soluble por radicales.
A la inversa, sean L/F y F/K solubles por radicales. Sea E
el cuerpo que contiene a F y que permite la torre 10.2.2. La
extensin LE/E es soluble por radicales por el punto anterior.
Sea
E = Em < Em+1 < Em+2 < . . . < En > LE
la torre que verifica las condiciones de 10.2.2. Pegamos ambas
torres y obtenemos la torre:
K = E0 < E1 < E2 < . . . < En > LE > L
donde cada paso es de uno de los tipos permitidos. Luego L/K
es radical.
3. Consecuencia inmediata de los dos puntos anteriores.
Corolario 10.2.4. Sea F/K una extensin separable finita. Entonces F/K es soluble por radicales si y slo si existe una torre
K = L0 < L1 < L2 < . . . < Lm = L > F
donde cada paso es de uno de los tipos descritos en 10.2.2, y adems la extensin L/K es de Galois.
10.2. EXTENSIONES SOLUBLES Y RADICALES
117
Demostracin. Slo hay que demostrar la ltima propiedad. Sea

F/K soluble por radicales, y sea
K = E0 < E1 < E2 < . . . < Em = E
( clausura algebraica
la torre que lo muestra. Para todo : E K
de K) que sea la identidad sobre K, la torre
K = E0 < (E1 ) < (E2 ) < . . . < (Em ) = (E)
tiene cada paso del mismo tipo, ya que (Ei+1
Q) = (Ei )(()). Luego (E)/K es soluble por radicales. Sea L = (E). Por el tercer
punto de la proposicin anterior, L posee una torre del tipo buscado. Adems, L/K es la clausura normal de E/K y por tanto es de
Galois.
Teorema 10.2.5 (Galois). Sea F/K una extensin separable finita.
Entonces F/K es soluble por radicales si y slo si es soluble.
Demostracin.
1. Sea F/K soluble. Sea E/K una extensin de
Galois con grupo soluble tal que E > F , y sea m el producto
de todos los primos que dividen al orden de Gal(E/K). Sea
una raz m-sima primitiva de la unidad. Llamamos L =
K(). La extensin EL/L es de Galois con grupo isomorfo a un
subgrupo de Gal(E/K), luego tambin soluble. Tomamos una
serie de composicin:
Gal(EL/L) = G0 B G1 B B Gn = 1
Cada cociente Gi /Gi+1 es cclico de orden primo divisor de
|G0 |. Por la correspondencia de Galois, obtenemos una torre
de cuerpos:
K < L = L0 < L1 < . . . < Ln = EL > F
donde cada eslabn es una extensin de Galois con grupo
cclico de orden primo Gal(Li+1 /Li )
= Gi /Gi+1 . El cuerpo Li > L
contiene todas las races de la unidad necesarias. Aplicando
el teoremas 10.1.2 vemos que cada extensin es de uno de los
tipos definidos en 10.2.2. Luego F/K es soluble por radicales.
2. Sea ahora F/K soluble por radicales. Por el corolario anterior,
existe una extensin de Galois E/K tal que F < E y que existe
una torre
K = E0 < E1 < E2 < . . . < Em = E
118

donde cada eslabn es de uno de los tipos descritos en 10.2.2.
Igual que antes, sea m el producto de todos los primos que
dividen a | Gal(E/K)| y sea una raz m-sima de la unidad.
Llamamos L = K(). L/K es de Galois con grupo abeliano y
EL/L tambin es de Galois. Llamamos Li = Ei L. Obtenemos
la torre
L = L0 < L1 < L2 < . . . < Lm = EL
donde cada paso es de uno de los tipos requeridos. Por la
correspondencia de Galois, le corresponde una serie de subgrupos:
Gal(EL/L) = G0 B G1 B G2 B . . . Gm = 1
donde cada cociente Gi /Gi+1
= Gal(Li+1 /Li) es abeliano para el primer tipo de 10.2.2 y cclico para cada uno de los
otros por el teorema 10.1.2. Luego Gal(EL/L) es soluble. Como Gal(L/K)
= Gal(EL/K)/ Gal(EL/L) es abeliano, el grupo
Gal(EL/K) es soluble y la extensin F/K es soluble ya que
F < EL.
Corolario 10.2.6. 1. Sea L > F > K una torre de extensiones

separables finitas. Entonces L/K es soluble si y slo si L/F y
F/K son solubles.
2. Sea F/K una extensin soluble, y sea L/K una extensin arbitraria. Entonces F L/L es una extensin soluble.
3. Sean F/K y L/K extensiones solubles. Entonces F L/K es soluble.
Captulo 11
Polinomios de grado 3 y 4
119
120
CAPTULO 11. POLINOMIOS DE GRADO 3 Y 4
La teora de Galois puede describirse como el estudio de las extensiones de cuerpos mediante grupos de automorfismos. Pero su
origen estuvo motivado por la solucin de ecuaciones polinmicas,
y vamos a describir esta conexin.
11.1.
El grupo de un polinomio
Empezamos fijando las notaciones:

Notacin. Sea f = an X n + + a0 K[X] un polinomio separable y
sea E un cuerpo de descomposicin de f sobre K. Sean 1 , . . . , n
las races de f en E. Entonces E = K(1 , . . . , n ). Llamamos G =
Gal(E/K).
Cualquier automorfismo de G est completamente determinado por su efecto sobre el conjunto de races S = {1 , . . . , n }.
Adems aplica cualquier raz de f en otra raz, y es inyectivo.
Luego la restriccin de a S es una aplicacin biyectiva, es decir
una permutacin del conjunto S. Definimos una aplicacin
: G Sn
de la siguiente forma: () = es la permutacin definida por
(i ) = (i) . Por las observaciones anteriores es inmediato que
es inyectiva, y es rutina comprobar que es un homomorfismo de
grupos.
Definicin 11.1.1. Llamamos grupo del polinomio f sobre K al grupo Gal(f /K) = Im()
Obsrvese que por el primer teorema de isomorfismo, Gal(E/K)
=
Gal(f /K). La diferencia estriba en que el primero es un grupo de
automorfismos y el segundo es un grupo de permutaciones.
Obsrvese tambin que Gal(f /K) no est determinado de manera nica por la extensin, sino que depende de la numeracin elegida para las races: Si cambiamos el orden de las races, cambiamos
Gal(f /K) por otro grupo, conjugado suyo dentro de Sn . A pesar de
ello, para simplificar la notacin normalmente identificamos con
() y pasamos libremente de Gal(E/K) a Gal(f /K) y viceversa. En
cada caso el contexto dejar claro si es un automorfismo o una
permutacin.
11.2. LOS TEOREMAS CLASIFICATORIOS
121
4
2
Ejemplo 11.1.2. Sea K =Q, f = X
+ 6 = (X 2 2)(X 2 3).
5X
Las races de f son 1 = 2, 2
= 2, 3 = 3, 4 = 3. El cuerpo
de descomposicin es E = Q( 2, 3) y el
grupoG = Gal(E/Q)
=
{1,
1 , 2 , 1
2 } donde 1 ( 2) = 2, 1 ( 3) = 3, 2 ( 2) = 2,
2 ( 3) = 3. Entonces Gal(f /Q) = {1, (1 2), (3 4), (1 2)(3 4)}. Si hubisemos escogido otra numeracin para las races, obtendramos
un grupo distinto, pero conjugado del anterior.
Ejemplo 11.1.3. Sea K = Q y sea f = X 3 2 Q[X]. Sea una
raz suya y sea una raz cbica primitiva de la unidad. El cuerpo
de descomposicin es E = Q(, ). Las races de f son , , 2 .
[E : Q] = 6 y cualquier permutacin de las races define un automorfismo. Luego Gal(f /K) = S3 . Sobre K = Q() el grupo es A3 :
Las races pueden permutarse cclicamente y no de otra manera
mientras que sobre Q(), Gal(f /K) es cclico de orden 2: debe
permanecer fija, y podemos intercambiar y 2 .
La teora de Galois de ecuaciones tiene dos problemas principales que estudiamos en las siguientes secciones:
1. Dados K y f , calcular Gal(f /K).

2. Conocido Gal(f /K) y siendo ste soluble, determinar una expresin explcita para las races de f por radicales sobre K.
11.2.
Los teoremas clasificatorios
Existen mtodos muy diversos para atacar el primer problema.

Recientemente se han desarrollado algoritmos para el caso K = Q
por Soicher-Kay [27] (usando resolventes lineales), Stauduhar [29]
(usando aproximaciones numricas de las races) y Zassenhaus
[33] (calculando estabilizadores de ideales minimales de lgebras
lineales). Tambin Girtsmair [17] ha desarrollado un mtodo muy
interesante, ya que es aplicable a cualquier cuerpo base K y est
mas en lnea con el que se expone a continuacin.
El mtodo que vamos a aplicar es bueno para determinar Gal(F/K)
cuando Sn tiene pocos subgrupos transitivos, por ejemplo cuando
n = 3, 4, 5. Se basa en los teoremas 11.2.1, 11.2.2 y 11.2.4.
Teorema 11.2.1. Sea f K[X] sin races mltiples. Sea f = f1 fr
la factorizacin en irreducibles sobre K. Dos ceros i , j de f son
races del mismo fk si y slo si i, j estn en la misma rbita bajo
Gal(f /K)
122
Demostracin. Supongamos que i, j estn en la misma rbita. Entonces existe G tal que (i ) = j . Luego i , j son conjugados
y por tanto son races del mismo polinomio irreducible.
Sean ahora i , j races del mismo polinomio irreducible. Entonces son conjugados. Luego existe G tal que (i ) = j y
j = ()(i) est en la misma rbita que i.
Corolario 11.2.2 (Criterio de irreducibilidad de Galois). El polinomio f es irreducible sobre K si y slo si Gal(f /K) es un subgrupo
transitivo de Sn .
Para todo grupo de permutaciones H < Sn podemos considerar
el subgrupo H + = H An formado por las permutaciones pares
de H. Su ndice vale [H : H + ] = 1 2. Tomamos H = Gal(f /K).
Mediante el isomorfismo 1 a H + le corresponde un subgrupo G+
de G = Gal(E/K). Sea F el cuerpo fijo bajo G+ .
Teorema 11.2.3. Supongamos que f no tiene races mltiples y que
car(K) 6= 2. Sea
Y
=
(i j )
i<j
Entonces F = K()
Demostracin. Para todo = (i j), () = . As que G+ ,
() = , luego K < K() < F . Si F = K ya hemos terminado. Sea
F K. Esto implica que G+ G, y [G : G+ ] = 2. Sea G, 6 G+ .
Como () es una permutacin impar, () = y como 6= 0,
6 K. Luego K() = F .
2
Obsrvese que (an1
n ) = Disc(f ).
Corolario 11.2.4. Gal(f /K) < An si y slo si
p
Disc(f ) K
El teorema anterior y su corolario dejan fuera el caso car(K) = 2.

El siguiente teorema rellena esta laguna.
Teorema 11.2.5. Sea f K un polinomio sin races mltiples con
K arbitrario. Sea
X
n2
0
0 =
n1
(1) (2) . . . (n)
An
Entonces F = K( 0 ).
11.3. POLINOMIOS DE GRADO PEQUEO
123
Demostracin. Llamamos
X
00 =
n2
0
n1
(1) (2) . . . (n)
6An
Es fcil verificar que 0 00 = 6= 0. Para todo An , ( 0 ) = 0

y si 6 An , ( 0 ) = 00 6= 0 . El razonamiento de la demostracin
del teorema anterior muestra que F = K( 0 ). Adems 0 es raz de
X 2 ( 0 + 00 )X + 0 00 K[X] cuyos coeficientes se pueden calcular
como polinomios simtricos de las races.
11.3.
Polinomios de grado pequeo
Vamos a aplicar los teoremas de la seccin anterior para determinar los grupos de Galois de polinomios de grado bajo. Suponemos siempre que car(K) 6= 2 y llamamos H = Gal(f /K).
11.3.1.
Polinomios de grado 2
Sea f = aX 2 + bX + c = a(X 1 )(X 2 ). El discriminante vale

Disc(f ) = b2 4ac. El grupo H es un subgrupo de S2 , as que slo
hay dos posibilidades:
p
H = S2 si y slo si Disc(f ) 6 K, en cuyo caso f es irreducible.
p
H = A2 = 1 si y slo si Disc(f ) K en cuyo caso f es el
producto de dos factores lineales.
p
En cualquier caso el cuerpo de descomposicin es E = K( Disc(f ))
11.3.2.
Por sencillez vamos a tomar f mnico:

f = x3 + b2 X 2 + b1 X + b0 = (X 1 )(X 2 )(X 3 ) K
Pueden ocurrir dos casos:
f es reducible f = f1 f2 con gr(f2 ) = 1. Entonces H = Gal(f1 )
que lo hemos discutido en el apartado anterior.
f es irreducible. En este caso H es un subgrupo transitivo de
S3 y otra vez tenemos dos posibilidades:
124

p
Disc(f ) 6 K
p
H = A3 si y slo si Disc(f ) K
H = S3 si y slo si
11.3.3.
Llamamos
f = X 4 + a3 X 3 + a2 X 2 + a1 X + a0 =
4
Y
(X i )
i=1
1. Curtica reducible:
f = f1 f2 con gr(f2 ) = 1. Entonces H = Gal(f1 ) que es una
cbica discutida en el apartado anterior.
f = f1 f2 con fi irreducibles de grado 2. Entonces H es un
subgrupo de h(1 2), (3 4)i sin puntos fijos. Dos posibilidades que se distinguen utilizando el discriminante:
p
H = h(1 2), (3 4)i si y slo si Disc(f1 )Disc(f2 ) 6 K.
p
H = h(1 2)(3 4)i si y slo si Disc(f1 )Disc(f2 ) K.
2. Curtica irreducible. El grupo H es un subgrupo transitivo de
S4 . Veamos el diagrama de todos los subgrupos transitivos de
S4 :
S4
A4
D4
C4
siendo C4 = h(1 2 3 4)i, D4 = h(1 2 3 4), (1 3)i, V = h(1 2)(3 4), (1 3)(2 4)i.
Los grupos D4 y C4 no son nicos, sino que cada uno tiene tres
conjugados. Pero H est determinado salvo conjugacin. Para
distinguir entre los casos buscamos un elemento que pertenezca al cuerpo fijo bajo H D4 . Sean:
1 = 2 3 + 1 4 ,
125
2 = 1 3 + 2 4 ,
3 = 1 2 + 3 4
Obsrvese que
Y
(k h ) =
Y
(i j )
i<j
k<h
y como las i son distintas, tambin lo son las k . Por otro

lado, (2 ) = 2 D4 . As que H < D4 si y slo si 2 K,
e igual ocurre con los otros dos grupos didricos (que son
los estabilizadores de 1 y 3 ). Para estudiar esta posibilidad,
formamos el polinomio cuyas races son los k :
g = (X 1 )(X 2 )(X 3 ) = X 3 + b2 X 2 + b1 X + b0
Terminologa. El polinomio g se llama resolvente cbica de la
curtica f .
Sus coeficientes son polinomios simtricos en los i , y sabemos expresarlos como polinomios en los simtricos elementales que son los coeficientes de f :
b2 = a2
b1 = a1 a3 4a0
b0 = a23 a0 a21 + 4a2 a0
Q
Q
Adems Disc(g) = k<h (k h )2 = i<j (i j )2 = Disc(f ).
p
Combinando la existencia en K de un k y Disc(f ) obtenemos el siguiente cuadro:
p
Disc(g)
6 K
K
K
6 K
6 K
6 K
K
K
Gal(g/K) Gal(f /K)

S3
A3
1
S2
S4
A4
V
D4 , C4
Para distinguir entre los dos ltimos casos, obsrvese que D4

A4 = V es transitivo, mientras que C4 A4 = h(1 3)(2 4)i no lo
es.p
As que Gal(f /K) = D4 si y slo si f es irreducible sobre
K( Disc(f )). Podemos deducir de aqu un criterio elemental:
126

Proposicin 11.3.1. Supongamos f irreducible y Gal(g/K) =
S2 , y sea = 1 3 + 2 4 la nica raz de g que hay en K.
Entonces son equivalentes:
a) Gal(f /K) = C4 .
p
b) 1 + 3 , 1 3 , 2 + 4 , 2 4 K( Disc(f ))
c) El polinomio h = (X 2 +p
a3 X + (a2 )(X 2 X + a0 )) tiene
todas sus races en K( Disc(f )).
p
p
p
d) a23 4(a2 2 ), 22 4a0 K( Disc(f )).
Demostracin. Formamos el polinomio
(X (1 + 3 ))(X (2 + 4 ))(X 1 3 )(X 2 4 )
Obsrvese que para cualquier cuerpo K 0 > K, Gal(f /K 0 )
h(1 3)(2 4)i si y slo si las cuatro races de este polinomio estn en K 0 . Calculando los coeficientes de los productos de los
dos primeros factores y los dos ltimos, nos queda que es precisamente el polinomio h del enunciado. Finalmente, los dos
factores cuadrticos formados tienen sus coeficientes en K y
descompondrn en factores lineales en K 0 si y slo si las races
cuadradas de sus discriminantes pertenecen a K 0 .
Ejemplo 11.3.2. Vamos a calcular el grupo de Galois de polinomios

bicuadrticos: Sea
f = X 4 + aX 2 + b K[X]
irreducible sobre K. Su resolvente cbica es:
g = X 3 aX 2 4bX + 4ab = (X a)(X 2 4b)
p
y K( Disc(f )) = K( b). Entonces Gal(f /K) = V si y slo si b K.

En otro caso, Gal(g/K) = S2 y aplicamos la proposicin 11.3.1: Los
dos elementos del ltimo apartado son:
p
0 4(a a) = 0,
a2 4b
El primer elemento siempre pertenece a K, y el segundo nunca
p otro caso f sera reducible. Luego
pertenece a K porque en
2
a 4b K( b) si y slo si b(a2 4b) K. En resumen:

Si
Si
Si
127
b K, Gal(f /K) = V .
b 6 K y
p
b(a2 4b) K, Gal(f /K) = C4 .
p
b, b(a2 4b) 6 K, Gal(f /K) = D4 .
Ejemplo 11.3.3. Calculamos el grupo de Galois de los polinomios

recprocos: Sea
f = X 4 + aX 3 + bX 2 + aX + 1 K[X]
irreducible sobre K. La resolvente cbica es:
g = X 3 bX 2 + (a2 4)X + (2a2 + 4b) = (X 2)(X 2 + (2 b)X + (a2 2b)
El discriminante del segundo factor es:
(2 b)2 4(a2 2b) = (2 + b)2 4a2 = (2 + b + 2a)(2 + b 2a)
y los discriminantes cuadrticos de la proposicin 11.3.1 son
a2 4(b 2) = a2 4b + 8,
22 4 = 0
Anlogamente al ejemplo anterior, el segundo elemento siempre

pertenece a K y el primero nunca pertenece a K porque en otro
caso f ser reducible:
p
p
a2 4(b 2)
a a2 4(b 2)
2
X + 1)(X +
X + 1)
f = (X +
2
2
p
p
p
Luego a2 4(b 2) K( (2 + b)2 4a2 ) (a2 4(b 2))((2 + b)2 4a2 )
K. Los distintos caso son pues:
2
Si
a+
p
(2 + b)2 4a2 K, Gal(f /K) = V
p
p
Si (2 + b)2 4a2 6 K y (a2 4(b 2))((2 + b)2 4a2 ) K, Gal(f /K) =
C4 .
p
p
Si (2 + b)2 4a2 6 K y (a2 4(b 2))((2 + b)2 4a2 ) 6 K, Gal(f /K) =
D4 .
128
11.4.
Cmo resolver una ecuacin soluble
Vamos a atacar el segundo problema citado en la seccin segunda. En realidad no hay nueva teora, sino slo aplicacin de los
teoremas de Lagrange y Galois. Esta seccin es, pues, solamente
un catlogo de ejemplos. En [12] puede consultarse una exposicin
mas detallada y ejemplos adicionales. Tomamos siempre Q como
cuerpo base, y agrupamos los ejemplos en los siguientes apartados.
11.4.1.
Polinomios cbicos
Ejemplo 11.4.1. Sea el polinomio a resolver:

f = X 3 + X 2 + 3X + 1 = (X 1 )(X 2 )(X 3 )
y sea E = Q(1 , 2 , 3 ) su cuerpo de descomposicin. El discriminante vale:
= (1)
3(31)
2
1
0
3
0
0
1
1
2
3
0
3
3
3
2
3
1
1
0
3
2
0
1
0 = 76 = 22 (19)
0
3
y = 2 19 6 Q, as que G = Gal(f /Q) = S3 . Una serie de composicin para este grupo es:
S3 . A3 . 1
y los cuerpos fijos bajo los grupos de esta serie forman la torre:
Q Q( 19) E
El primer eslabn es una extensin cuadrtica. Para aplicar el
teorema deLagrange, extendemos todos los cuerpos adjuntando
= (1 + 3)/2 que es una raz cbica de la unidad. Las racesi pertenecen a E 0 = E() que es cclica de grado tres sobre
Q( 19, ), con grupo generado por = (1 2 3). Formamos las resolventes de Lagrange:
1 = 1 + (1 ) + 2 2 (1 ) = 1 + 2 + 2 3
2 = 1 + 2 (1 ) + 2 (1 ) = 1 + 2 2 + 3
11.4. CMO RESOLVER UNA ECUACIN SOLUBLE
129
Sus cubos deben pertenecer a Q( 19, ). Teniendo en cuenta que

los polinomios simtricos elementales de los i son los coeficientes
de f salvo el signo, calculamos:
13 = 13 + 23 + 33 + 61 2 3 + 3(12 2 + 22 3 + 32 1 ) + 3 2 (1 22 + 2 32 + 3 12 )
= (1 + 2 + 3 )3 + 3( 1)A + 3( 2 1)B
(11.4.1)
donde hemos llamado:
B = 1 22 + 2 32 + 3 12
Obsrvese
que
AB
=
(
)(
)(
)
=
y que A+B =
1
2
1
3
2
3
P
P
( i )( i j )31 2 3 . Sustituyendo los polinomios simtricos por
los coeficientes de f y el discriminante por su valor, nos queda:
A =
A B = 2 19
19
A+B =
0
B = 19
Simplifiquemos ahora 11.4.1 (Ntese que 2 = 3):
13 = 1 + 3( 1) 19 + 3( 2 1)( 19) = 1 + 3 57
A = 12 2 + 22 3 + 32 1 ,
Anlogamente obtenemos:
23 = 1 + 3( 2 1) 19 + 3( 1)( 19) = 1 3 57
Con todo ello establecemos el sistema:
1 + 2 + 3
= 1
p
3
2
1 + 2 + 3 = 1 = p1 + 3 57
3
1 + 2 2 + 3 = 2 = 1 3 57
cuyas soluciones son las races de f :

p
p

3
3
1 = 31 1 + 1 + 3 57 + 1 3 57
2 =
1
3
1 + 2
3 =
1
3
1 +
p
p

3
3
1 + 3 57 + 1 3 57
p
3

3
1 + 3 57 + 2 1 3 57
Ejemplo 11.4.2. El anterior ejemplo puede generalizarse a una cbica mnica general. Sea el polinomio a resolver:
f = X 3 + a2 X 2 + a1 X + a0 = (X 1 )(X 2 )(X 3 )
130
y sea E = Q(1 , 2 , 3 ) su cuerpo de descomposicin. El discriminante vale:
= (1)
3(31)
2
1 a2 a1 a0 0
0 1
a2 a1 a0
3 2a2 a1
0 0 Q(a2 , a1 , a0 ) = K
0 3 2a2 a1 0
0 0
3 2a2 a1
y G = Gal(f /Q) = S3 . Una serie de composicin para este grupo es:

S3 . A3 . 1
y los cuerpos fijos bajo los grupos de esta serie forman la torre:
K K( ) E
El primer eslabn es una extensin cuadrtica. Para aplicar el
teorema de
Lagrange, extendemos todos los cuerpos adjuntando
= (1 + 3)/2 que es una raz cbica de la unidad. Las races
i
pertenecen a E 0 = E() que es cclica de grado tres sobre K( , ),

con grupo generado por = (1 2 3). Formamos las resolventes de
Lagrange:
1 = 1 + (1 ) + 2 2 (1 ) = 1 + 2 + 2 3
2 = 1 + 2 (1 ) + 2 (1 ) = 1 + 2 2 + 3
Sus cubos deben pertenecer a K( , ). Teniendo en cuenta que

los polinomios simtricos elementales de los i son los coeficientes
de f salvo el signo, calculamos:
13 = 13 + 23 + 33 + 61 2 3 + 3(12 2 + 22 3 + 32 1 ) + 3 2 (1 22 + 2 32 + 3 12 )
= (1 + 2 + 3 )3 + 3( 1)A + 3( 2 1)B
(11.4.2)
donde hemos llamado:
B = 1 22 + 2 32 + 3 12
Obsrvese
que
AB
=
(
)(
)(
)
=
y que A+B =
1
2
1
3
2
3
P
P
( i )( i j )31 2 3 . Sustituyendo los polinomios simtricos por
los coeficientes de f nos queda:

1
A = 2 a2 a1 + 3a0 +
AB =

A + B = a2 a1 + 3a0
B = 21 a2 a1 + 3a0
A = 12 2 + 22 3 + 32 1 ,

Simplifiquemos ahora 11.4.2 (Ntese que 2 =
131
3):
9
3
2a32 + 9a2 a1 27a0 3
13 = a32 (A + B) + ( 2 )(A B) =
+
3
2
2
2
2
Anlogamente obtenemos:
3
2a32 + 9a2 a1 27a0 3
9
13 = a32 (A + B) + ( 2 )(A B) =
3
2
2
2
2
Con todo ello establecemos el sistema:
1 + 2 + 3
= a2
1 + 2 + 2 3 = 1
1 + 2 2 + 3 = 2
2a32 +9a2 a1 27a0

2
q
+9a
3 2a3
2 a1 27a0
2
2
3
32 3
+
3
2
cuyas soluciones son las races de f :

q
q
3 2a3
3 2a3
3
3
1
2 +9a2 a1 27a0
2 +9a2 a1 27a0
+ 2 3 +
2 3
1 = 3 a2 +
2
2

q
q
3
3 2a3
3
3
2 3 2a2 +9a2 a1 27a0
2 +9a2 a1 27a0
2 =
+ 2 3 +
2 3
a2 +
2
2
1
3

q
q
3
3 2a3
3
3
2 3 2a2 +9a2 a1 27a0
2 +9a2 a1 27a0
3 =
1 +
+ 2 3 +
2 3
2
2
1
3
En el caso particular en que f = X 3 + aX + b, es decir cuando

a2 = 0, a1 = a, a0 = b, las anteriores expresiones se reducen a las
frmulas de Cardano.
11.4.2.
Polinomios curticos
Ejemplo 11.4.3. Vamos a resolver el polinomio:

f = X 4 + 4X 1 = (X 1 )(X 2 )(X 3 )(X 4 )
Sea E=Q(1 , 2 , 3 , 4 ) su cuerpo de descomposicin. La resolvente
cbica es
g = X 3 + 4X 16 = (X 2)(X 2 + 2X + 8)
Las races de g son:
1 = 1 4 + 2 3 = 1 + 7
2 = 1 3 + 2 4 = 2
3 = 1 2 + 3 4 = 1 7
132
Calculamos el discriminante: = disc(f ) = disc(g) = 82 (7) y 6

Q. Luego G = Gal(f /Q) = D4 . Una de las siete series de composicin
para este grupo es:
G . V . h(1 3)(2 4)i . 1
que corresponde a una torre de extensiones cuadrticas:
Q Q( 7) F E
Al ser todas las extensiones de grado 2, el cuerpo Q contiene ya todas las races de la unidad necesarias. Aplicamos el teorema de Lagrange formando las resolventes sucesivas que hagan falta a partir
de 1 que es el elemento que buscamos:
Gal(E/F ) = h(1 3)(2 4)i. Sea 1 = (1 3)(2 4):
1 + 1 (1 )
= 1 + 3
= F
2
2
(1 1 (1 )) = (1 3 ) = F
Gal(F/Q( 7)) = h(1 2)(3 4)i ya que es el cociente de V por

Gal(E/F ). Llamamos 2 = (1 2)(3 4). Calculamos:
+ 2 ()
( 2 ())2
+ 2 ()
( 2 ())2
=
=
=
=
=
=
=
=
=
1 + 2 + 3 + 4
(1 2 + 3 4 )2
(1 + 2 + 3 + 4 )2 4(1 + 3 )
(1 3 )2 + (2 4 )2 P
(1 + 2 + 3 + 4 )2 2 i j 22
((1 3 )2 (2 4 )2 )2
2
(P
3 2 + 4 )2
1 3 + 2 4 ) (1 P
2
(( i ) 4(1 +
2 ))(( i )2 4(2 + 3 ))
16(1 + 7)(1 7)
Resolvemos hacia arriba los tres sistemas lineales:

1.
+ 2 () =
4
2 () = 8 2
2.
+ 2 () =
0
2 () = 2 2
= 2 + 42
2 () = 2 4 2
= 2
2 () =
2
= 0
= 8
= 4
= 128
133
3.
1 + 3
1 3
= p
2
2 + 4 2
=

p

2 + 2 + 4 2

p

= 12 2 2 + 4 2
1 =
3
1
2
Las otras dos races son las conjugadas:

q
q
1
1
2 + 2 4 2
4 =
2 2 4 2
2 =
2
2
La eleccin del signo para es debido a que
(
2 ())
2 3 4 )(1 2 + 3 4 )(1 2 3 + 4 ) =
P 2 ())(P
P = (1 + P
( i )3 4( i )( i j ) + 8 i j k = 8(4) = 32
Este es un punto a tener muy en cuenta: Un radical m-simo no est unvocamente determinado, sino que posee m valores distintos.
Cuando al resolver por radicales aparece el mismo radical varias
veces, lo normal es que no sean posibles todas las combinaciones
de valores (en este caso, la expresin para 1 permite 8 valores al
considerar los posibles signos, pero slo la mitad son admisibles
porque debe verificarse la relacin anterior).
Ejemplo 11.4.4. Resolvamos ahora el polinomio curtico mnico general. Sea
f := X 4 + a3 X 3 + a2 X 2 + a1 X + a0 = (X 1 )(X 2 )(X 3 )(X 4 )
y sea
g = X 3 + b2 X 2 + b1 X + b0 = (X 1 )(X 2 )(X 3 )
la resolvente cbica. Sabemos que una serie de composicin para
el grupo de Galois de f sobre Q(a3 , a2 , a1 , a0 ) es
G = S4 . A4 . V . h(1 3)(2 4)i . 1
Sabemos que el cuerpo fijo bajo V es Q(1 , 2 , 3 ), y las races de g
pueden construirse por radicales segn el mtodo expuesto en el
prrafo anterior. Nos concentramos pues en la extensin Q(1 , 2 , 3 , 4 )/Q(1 , 2 , 3 ).
El grupo de esta extensin es V , y para construir las races i seguimos un proceso que trata simtricamente a los tres subgrupos
de orden 2. Consideramos los elementos:
P
(1 + 2 3 4 )2 = (P i )2 4(1 + 2 ) = a23 4a2 + 43
(1 2 + 3 4 )2 = (P i )2 4(1 + 3 ) = a23 4a2 + 42
(1 2 3 + 4 )2 = ( i )2 4(2 + 3 ) = a23 4a2 + 41
134
Con ellos formamos el sistema:

1 + 2 + 3 + 4
1 + 2 3 4
1 2 + 3 4
1 2 3 + 4
=
=
=
=
a3
p
2
pa3 4a2 + 43
2
pa3 4a2 + 42
a23 4a2 + 41
cuya solucin nos da las races de f :

p
p
p
1
2
2
2
1 = 4 a3 + a3 4a2 + 43 + a3 4a2 + 42 + a3 4a2 + 41
2 =
1
4

p
p
p
2
2
2
a3 + a3 4a2 + 43 a3 4a2 + 42 a3 4a2 + 41
3 =
1
4

p
p
p
2
2
2
a3 a3 4a2 + 43 + a3 4a2 + 42 a3 4a2 + 41
4 =
1
4

p
p
p
2
2
2
a3 a3 4a2 + 43 a3 4a2 + 42 + a3 4a2 + 41
Obsrvese que, como antes, no son posibles todas las combinaciones de signos. En el caso particular en que a3 = 0, este es esencialmente el mtodo de Euler.
11.4.3.
Polinomios ciclotmicos
Los ejemplos de los prrafos anteriores podan resolverse de manera mas elemental por los mtodos de Cardano, Ferrari o Euler.
Lo interesante de la estrategia general que proveen los teoremas
de Galois y Lagrange es que tambin es vlida para polinomios de
grados superiores que tengan el grupo de Galois soluble. La nica
pega es que el clculo de los polinomios simtricos que aparecen es
bastante mas largo. Sin embargo, para los polinomios ciclotmicos
estos clculos se abrevian muchsimo por las relaciones sencillas
que verifican las races, lo que permite exponer estos clculos en
un espacio razonable.
Ejemplo 11.4.5. Para abrir boca empezamos con un ejemplo muy
corto que puede ir en el apartado anterior: Sea
4
Y
f = 5 = X + X + X + X + 1 =
(X i )
4
i=1
el quinto polinomio ciclotmico. Numeramos las races como i = i .

El cuerpo de descomposicin es E = Q(), el discriminante vale
135
= 53 y el grupo G = Gal(f /Q) es cclico de orden cuatro generado

por = (1 2 4 3). La nica serie de composicin de G es:
G . h(1 4)(2 3)i . 1
La torre de cuerpos que le corresponde es:
Q Q( 5) E
y como ambas extensiones intermedias son de grado 2, ya estn
en Q todas las races de la unidad necesarias. Formamos las resolventes de Galois:
1 = + (1) 2 () = 4
2 = 2 + (1) 2 ( 2 ) = 2 3
Calculamos:
12 = 2 + 3 2,
22 = 4 + 2
que son races del polinomio

(X 12 )(X 22 ) = X 2 + 5X + 5
Por otro lado, + 4 y 2 + 3 son races del siguiente polinomio:
(X ( + 4 ))(X ( 2 + 3 )) = X 2 + X 1
Resolviendo ambos polinomios formamos el sistema:
+ 4 =

1+ 5
2
5+ 5
2
con lo que llegamos a la expresin final:
1 1 + 5
5 + 5
=
+
2
2
2
Ejemplo 11.4.6. Sea
f = X6 + X5 + X4 + X3 + X2 + X + 1 =
6
Y
(X i )
i=1
el sptimo polinomio ciclotmico. Su discriminante vale = 75 y

el grupo G = Gal(f /Q) = h(1 3 2 6 4 5)i donde llamamos i = i . G tiene dos series de composicin y podemos resolverlo por cualquiera
de ellas:
136
1. Tomamos en primer lugar la serie

G . h(1 2 4)(3 6 5)i . 1
El grupo intermedio es
precisamente G A6 por lo que su
cuerpo fijo es F = Q( 7). Nos queda la ltima extensin.
Empezamos
adjuntando la raz cbica de la unidad = (1 +
3)/2. Las resolventes de Lagrange que necesitamos son:

+ 2 + 4
= 0
2
2 4
+ + = 1
+ 2 2 + 4 = 2
2
El
primero es raz del polinomio X + X + 2, luego 0 = (1 +
7)/2. Calculando las potencias cbicas, obtenemos:
13 + 23 = 14
(13 23 )2 = 224 + 84
Estableciendo y resolviendo el sistema lineal correspondiente

nos queda:

q
q
1 1 + 7
3
3
+ 7 + 56 + 21 + 7 56 + 21
=
3
2
Esta expresin
se puede simplificar
(o complicar?) observan
do que 56 + 21 = (1 + 3) 7.
2. La otra serie de composicin es la siguiente:
G . h(1 6)(2 5)(3 4)i . 1
En este caso el cuerpo fijo bajo el grupo intermedio es Q R =
Q( + 6 ). Adjuntando la raz cbica , procedemos en dos
pasos: En primer lugar, formamos el sistema
+ 6
= 1
( 6 )2 = 1
El grupo cociente acta sobre 1 y 1 dndonos tres conjugados. En cada caso formamos las resolventes de Lagrange
correspondientes:
0 = ( + 6 ) + ( 3 + 4 ) + ( 2 + 5 )
1 = ( + 6 ) + ( 3 + 4 ) + 2 ( 2 + 5 )
2 = ( + 6 ) + 2 ( 3 + 4 ) + ( 2 + 5 )
0 = ( 6 )2 + ( 3 4 )2 + ( 2 5 )2
1 = ( 6 )2 + ( 3 4 )2 + 2 ( 2 5 )2
0 = ( 6 )2 + 2 ( 3 4 )2 + ( 2 5 )2
137
y calculamos:
0 = 1
13 = 7 21
23 = 7 21 2
0 = 7
13 = 7 21
23 = 7 21 2
Resolviendo los sucesivos sistemas lineales:
1
1 + 3 7 21 + 3 7 21 2
+ 6 = q
3
1
7 + 3 7 21 + 3 7 21 2
6 =
3
1
=
2
1
3
1 + 3 7 21 + 7 21 2 +
3
!
r

1
3
7 + 3 7 21 + 7 21 2
3
Ejemplo 11.4.7. Vamos a resolver el undcimo polinomio ciclotmico. Sea

10
Y
f = 11 =
(X i )
i=1
siendo una raz undcima primitiva de la unidad. Sea E = Q() su

cuerpo de descomposicin. Numeramos a las races como i = i .
El discriminante vale = 119 y G = Gal(E/Q) = h | () = 2 i es
cclico de orden 10. Tiene dos series de composicin. Vamos a usar
la siguiente:
G . h 2 i . 1
El grupo intermedio es cclico de orden 5. La torre de cuerpos que
le corresponde es:
Q Q( 11) E
El primer eslabn es una extensin cuadrtica que ya est expresada explcitamente, as que nos concentramos en el segundo que
es una extensin cclica de orden 5. Adjuntamos una raz quinta
primitiva de la unidad para poder aplicar el teorema de Lagrange.
Formamos las resolventes de Galois siguientes:
1 = + 2 () + 2 4 () + 3 6 () + 4 8 ()
= + 4 + 2 5 + 3 9 + 4 3
3
2 5
3 7
4 9
2 = () + () + () + () + () = 2 + 8 + 2 10 + 3 7 + 4 6
Los elementos 15 , 25 son conjugados y pertenecen a Q( 11, ). Para encontrar su expresin explcita calculamos el polinomio
h = (X15 )(X25 ) = X 2 (110 2 +220+264)X+(3135 3 165 2 +2035+1738)
138
y lo resolvemos por radicales. Nos queda:
15 = (55 2 + 110 + 132) + (10 3 + 40 2 + 20 7)11

25 = (55 2 + 110 + 132) (10 3 + 40 2 + 20 7) 11
Para encontrar la expresin explcita para resolvemos el sistema:

1
1
+
+ 4 + 5 + 9 + 3
= q
11
2
4
2 5
3 9
4 3
+ + + + = 5 (55 2 + 110 + 132) + (10 3 + 40 2 + 20 7) 11
q
2 4
4 5
9
3 3
+ + + + = 5 (55 4 + 110 2 + 132) + (10 + 40 4 + 20 2 7) 11
q
3 4
5
4 9
2 3
+ + + + = 5 (55 + 110 3 + 132) + (10 4 + 40 + 20 3 7) 11
q
4 4
3 5
2 9
3
+ + + + = 5 (55 3 + 110 4 + 132) + (10 2 + 40 3 + 20 4 7) 11
y la suma de todas las ecuaciones dividida por cinco proporciona la expresin buscada. Este es el primer ejemplo de resolucin
por races qunticas que encontramos, y siendo el ms sencillo de
todos, implica clculos bastante pesados. Personalmente me considero totalmente incapaz para encontrar a mano las expresiones
para i5 (los coeficientes del polinomio h y sus soluciones explcitas por radicales), as que tuve que obtenerlas por el orculo de
silicio.
Para acortar la presentacin de los clculos, cuando tengamos
una extensin cuadrtica, cbica u otra que hayamos tratado con
anterioridad, calcularemos un polinomio cuyas races generen dicha extensin, pero no hallaremos expresiones explcitas para ellas.
Ejemplo 11.4.8. Sea
f = 13
n
Y
=
(X i )
i=1
siendo una raz decimotercera primitiva de la unidad. El discriminante vale = 1311 . Como antes, numeramos las races como i =
i . Sea E = Q() el cuerpo de descomposicin y sea G = Gal(E/Q).
Sabemos que G = hi, donde () = 2 . Este grupo tiene tres series
de composicin, de las que escogemos la siguiente:
G . h 2 i . h 6 i . 1
Los ndices de esta serie son 2, 3, 2. Como permutacin de las
races, es un ciclo de longitud 12, luego es impar, mientras que
139
2 es par. Por tanto el segundo grupo de la serie anterior es la

interseccin de G con A13 . Al tercer grupo le corresponde el cuerpo
E R. En resumen a la serie de composicin anterior le corresponde
la torre de cuerpos siguiente:
Q Q( 13) Q( + 1 ) E
El elemento se obtiene a partir de = + 1 como raz del polinomio (X )(X 1 ) = X 2 X + 1. Resolviendo:
+ 2 4
(11.4.3)
=
2
La primera extensin ya est expresada por un radicalcuadrtico,
as que slo nos falta la intermedia. Sea = (1 + 3)/2 una
raz cbica primitiva de la unidad. La adjuntamos y formamos la
resolvente de Galois:
= + 2 () + 2 4 () = ( + 1 ) + ( 4 + 4 ) + 2 ( 3 + 3 )
El elemento 3 pertenece a Q( 13, ). Elevando al cubo y reduciendo los coeficientes nos queda
p
3 = 13 + 13(7 + 15) = 13 + (4 + 3) 13
Por otra parte, calculamos los coeficientes del polinomio:
(X ( + 2 () + 4 ())(X (() + 3 () + 5 ()) = X 2 + X 3
de donde obtenemos la expresin explcita de sus races. Finalmente establecemos el sistema lineal:
1
(1 + 13)
+ 2 () + 4 ()
= q
2
+ 2 () + 2 4 () = 3 13 + (4 + 3) 13
q
2 2
4
+ () + () = 3 13 + (4 + 3 2 ) 13
Sumando las ecuaciones de este sistema y dividiendo por tres, obtenemos la expresin explcita para que sustituida en (11.4.3)
proporciona la expresin por radicales para .
Ejemplo 11.4.9. Sea el decimosptimo polinomio ciclotmico:
f = 16 =
16
Y
(X i )
i=1
140
y sea E = Q() su cuerpo de descomposicin. El grupo G = Gal(E/Q)

es cclico de orden 16 generado por tal que () = 3 . La nica
serie de composicin es:
G . h 2 i . h 4 i . h 8 i . 1
Todos los factores de composicin son cclicos de orden 2, as que
las races de la unidad necesarias son 1 y -1. La torre de cuerpos
correspondiente es:
Q Q() Q() Q() E
siendo:
= + 8 () = + 16
= + 4 () = + 4 + 13 + 16
= + 2 () = + 2 + 4 + 8 + 9 + 13 + 15 + 16
Obsrvese que Q() debe ser Q( 17) y que Q() = E R. Cada uno
de los elementos anteriores es raz del polinomio correspondiente
siguiente:
(X )(X 8 ())
= X 2 X + 1
(X )(X 4 ()) = X 2 X + 21 ( 3 + 6 3)
(X )(X 2 ()) = X 2 X 1
(X )(X ())
= X2 + X 4
Resolviendo hacia arriba por las frmulas de Baskhara:

=
1+ 17
2
2 +4
2
2 3 + 2 +126
2
+ 2 4
2
Realizando todas las operaciones obtenemos explcitamente:

r
!
q
q
q
1
=
1 + 17 + 2(17 17) + 2 17 + 3 17 2(17 17) 2(17 + 17)
8
141
y a partir de esta expresin podemos obtener una expresin explcita para . Obsrvese la eleccin de signo de los radicales, que no
son todos los posibles como ya se explica antes.
142
Captulo 12
143
144
12.1.
CAPTULO 12. POLINOMIOS DE GRADO 5
Clculo del grupo de Galois
Sea f un polinomio de grado 5 de K[X].

1. Quntica reducible:
f = f1 f2 con gr(f2 ) = 1. Tenemos que Gal(f ) = Gal(f1 ) que
es una curtica ya discutida.
f = f1 f2 con fi irreducible, gr(f1 ) = 3, gr(f2 ) = 2. Entonces
H es un subgrupo de H1 = h(1 2 3), (1 2), (4 5)i que acta
transitivamente sobre {1, 2, 3} por un lado y sobre {4, 5}
por otro. As que 6 | |H|. Como H1
= S3 S2
= D6 , el
grupo H1 contiene exactamente tres subgrupos de orden
6 y un grupo de orden 12 (l mismo). De todos ellos, S3 =
h(1 2 3), (1 2)i no es transitivo sobre {4, 5}, as que nos
quedan tres posibilidades que podemos distinguir por los
discriminantes de f1 y f2 :
p
H = H1 A5
= S3 si Disc(f1 )Disc(f2 ) K.
p
p
H = H1
= S3 S2 si Disc(f1 ), Disc(f1 )Disc(f2 ) 6 K.
p
H = h(1 2 3), (1 2)(4 5)i
= A3 S2 si Disc(f1 ) K.
Los dos ltimos casos se pueden
resumir diciendo que
p
H = Gal(f1 /K) Gal(f2 /K) si Disc(f1 )Disc(f2 ) 6 K.
2. Quntica irreducible: El grupo H es un subgrupo transitivo de
S5 . Los subgrupos transitivos de S5 son:
S5
A5
F5
D5
C5
12.2. RESOLVIENDO QUNTICAS SOLUBLES
145
siendo C5 = h(1 2 3 4 5)i, D5 = h(1 2 3 4 5), (1 4)(2 3)i y F5 =

h(1 2 3 4 5), (1 2 4 3)i = NS5 (C5 ). Como antes, estos grupos
no son nicos sino que cada uno tiene seis conjugados. Para
distinguir en este caso buscamos un elemento primitivo para
el cuerpo fijo bajo H F5 . Para ello formamos los elementos:
1
= 1 2 + 2 3 + 3 4 + 4 5 + 5 1
10 = (1 2 4 3)1 = 2 4 + 4 1 + 1 3 + 3 5 + 5 2
1 = 41 (1 10 )2
Es rutina comprobar que 1 es fijo bajo F5 . Consideramos sus
conjugados bajo S5 :
1 ,
2 = (1 2)(3 4)1 , 3 = (1 2 4 3 5)1 ,
4 = (1 5 2 4 3)1 , 5 = (1 2 4 5 3)1 , 6 = (1 2 5 4 3)1 .
Q
y formamos el polinomio g = 6i=1 (X i ). A este polinomio g se
le llama resolvente sxtica de la quntica f . El grupo H ser un
subgrupo de F5 si y slo si g tiene una raz en K. Resumiendo
los casos obtenemos la tabla:
p
Disc(f ) i Gal(f /K)
6 K
K
6 K
K
6 K
6 K
K
K
S5
A5
F5
D5 , C5
Los coeficientes de g son polinomios simtricos en i y por

tanto se pueden calcular como polinomios en los coeficientes
de f . En general este clculo es largo y tedioso y la expresin obtenido bastante grande. Slo voy a citarla en un caso
sencillo. Sea
f = X 5 + aX + b
Entonces d = Disc(f ) = 44 a5 + 55 b4 y la resolvente sxtica es:
g = (X 3 5aX 2 + 15a2 X + 5a3 )2 dX
12.2.
Resolviendo qunticas solubles
Para resolver por radicales cualquier polinomio con grupo de

Galois G = Gal(f /Q) soluble, determinamos una serie de composicin de G, sea
G = G0 B G1 B B G0 = 1
146
construimos el cuerpo ciclotmico K = Q() que contenga a todas las races de la unidad necesarias y consideramos la serie ascendente de cuerpos
K = G0 () G1 () G0 ()
Cada paso F = Gi1 () G1 () = E es una extensin cclica y
por tanto radical. Cada elemento i tal que E = F (i ) se obtiene
mediante una resolvente de Lagrange. Al final obtenemos una expresin para las races de f mediante radicales.
Este es el camino mostrado al resolver ecuaciones de grado 3
y 4. Para las ecuaciones de grado mayor o igual que 5 hacer los
clculos a mano resulta prcticamente imposible. Pero con ordenador podemos resolver explcitamente polinomios solubles de grado
superior.
En el siguiente ejemplo vemos cmo realizar dichos clculos en
MATHEMATICA. El ejemplo se ejecut en un ordenador con procesador Core i7 con 8 gigas de Ram y con sistema operativo MS
Windows 7. En algunos clculos figura el tiempo (en segundos) que
tardaron en ejecutarse
Resolucin de qunticas
Vamos a exponer cmo resolver por radicales ecuacones qunticas irreducibles, utilizando MATHEMATICA
para realizar los clculos.
Clculo del grupo de Galois

En primer lugar introducimos el polinomio y comprobamos que es irreducible sobre Q, porque el mtodo slo
es aplicable a polinomios irreducibles.
In[23]:=
Out[23]=
In[24]:=
f = x ^ 5 + 15 x + 12
12 + 15 x + x5
Factor@fD
Out[24]=
12 + 15 x + x5
In[25]:=
12 + 15 x + x5
Out[25]=
12 + 15 x + x5
Luego f es irreducible sobre Q y por tanto su grupo de Galois es un subgrupo transitivo de S5 .

A continuacin calculamos y factorizamos su discriminante.
In[26]:=
Out[26]=
In[27]:=
Out[27]=
d = Discriminant@f, xD
259 200 000
FactorInteger@dD
882, 10<, 83, 4<, 85, 5<<
As que el discriminante no es un cuadrado en Q. De hecho Q( d ) = Q( 5 ).

Consultando la tabla de los subgrupos transitivos de S5 , vemos que el grupo de Galois de f es S5 o F20 (el
grupo de Frobenius). Para decidir cul de ellos es vamos a construir la resolvente sextica.
Para ello formamos una lista con las races de f
In[28]:=
Out[28]=
In[29]:=
Out[29]=
sol = Solve@f 0, xD
99x RootA12 + 15 1 + 15 &, 1E=,
9x RootA12 + 15 1 + 15 &, 2E=, 9x RootA12 + 15 1 + 15 &, 3E=,

9x RootA12 + 15 1 + 15 &, 4E=, 9x RootA12 + 15 1 + 15 &, 5E==
= x . sol
9RootA12 + 15 1 + 15 &, 1E, RootA12 + 15 1 + 15 &, 2E,
RootA12 + 15 1 + 15 &, 3E, RootA12 + 15 1 + 15 &, 4E, RootA12 + 15 1 + 15 &, 5E=
Ahora construimos la raz de la resolvente sxtica dad en los apuntes

In[30]:=
1 = H@@1DD @@2DD + @@2DD @@3DD + @@3DD @@4DD + @@4DD @@5DD + @@5DD @@1DDL ^ 2;
y finalmente calculamos su valor

In[31]:=
Out[31]=
Timing@RootReduce@1DD
91.966, RootA- 6 328 125 + 3 088 125 1 - 128 250 12 + 7650 13 - 105 14 + 15 &, 5E=
Como vemos el polinomio mnimo de la raz construida tiene grado 5. Como la resolvente sxtica tiene grado
6, debe factorizar como el producto del polinomio mnimo de 1 y otro polinomio de grado 1. Es decir, que
una de las races de la resolvente sxtica pertenece a Q. Esto nos dice que Gal HF QL = F20 .
Si el polinomio mnimo de 1 fuese de grado 6, entonces Gal H f QL = S5 y las races no seran expresables por
radicales.
soluquinta3.nb
Como vemos el polinomio mnimo de la raz construida tiene grado 5. Como la resolvente sxtica tiene grado
6, debe factorizar como el producto del polinomio mnimo de 1 y otro polinomio de grado 1. Es decir, que
una de las races de la resolvente sxtica pertenece a Q. Esto nos dice que Gal HF QL = F20 .
Si el polinomio mnimo de 1 fuese de grado 6, entonces Gal H f QL = S5 y las races no seran expresables por
radicales.
Resolucin por radicales

Como el grupo de Galois Gal(f/Q) es soluble, pasamos al siguiente punto: Obtener una expresin explicita
por radcales de sus races. Si nos hubiera quedado Gal H f QL = S5 no soluble, tal expresin no existira y
paramos el trabajo aqu.
Para construir las resolventes de Lagrange explcitas, debemos escoger la ordenacin buena de las races de f.
En total hay 5! = 120 ordenacioones posibles, pero podemos empezar siempre por la raz 1, con lo que slo
quedan 4!=24 ordenaciones. Adems, podemos colocar en segundo lugar cualquier de las cuatro races
restantes. En resumen, hay que probar 3! = 6 ordenaciones.
Mediante unn proceso de prueba y error, construimos cada uno de los conjugados formales de 1 y comprobamos si pertenece a Q (En el peor delos casos, hay que hacer 5 pruebas):
In[32]:=
In[33]:=
Out[33]=
2 = H@@1DD @@2DD + @@2DD @@5DD + @@5DD @@4DD + @@4DD @@3DD + @@3DD @@1DDL ^ 2;
80.499, 45<
As que 2 = 45. Obtenemos que la permuatcin buena de las races es (1 2 5 4 3)

Formamos ahora una lista con las races quintas primitivas de la unidad :
In[34]:=
Out[34]=
In[35]:=
Out[35]=
sol1 = Solve@Cyclotomic@5, xD 0, xD
99x - H- 1L15 =, 9x H- 1L25 =, 9x - H- 1L35 =, 9x H- 1L45 ==
= x . sol1
9- H- 1L15 , H- 1L25 , - H- 1L35 , H- 1L45 =
y construimos la quinta potencia de la resolvente de Lagrange:

In[36]:=
Out[36]=
= H@@1DD + @@1DD @@2DD + @@2DD @@5DD + @@3DD @@4DD + @@4DD @@3DDL ^ 5

IRootA12 + 15 1 + 15 &, 1E -
H- 1L15 RootA12 + 15 1 + 15 &, 2E + H- 1L45 RootA12 + 15 1 + 15 &, 3E H- 1L35 RootA12 + 15 1 + 15 &, 4E + H- 1L25 RootA12 + 15 1 + 15 &, 5EM
Calculamos su expresin por radicales:

In[37]:=
Out[37]=
Timing@RootReduce@DD
:295.622, 5625 - 1800
Luego Q = 5625 - 1800

5625 + 1800
10 >
10 . Otra de las resolventes de Lagrange ( la correspondiente a 4 ) es Q4 =
10 .
Las dos resolventes de lagrange restantes corresponden a las races 2 y 3 . Calculamos sus potncias quintas:
In[38]:=
Out[38]=
1 = H@@1DD + @@2DD @@2DD + @@4DD @@5DD + @@1DD @@4DD + @@3DD @@3DDL ^ 5

IRootA12 + 15 1 + 15 &, 1E +
H- 1L25 RootA12 + 15 1 + 15 &, 2E - H- 1L35 RootA12 + 15 1 + 15 &, 3E H- 1L15 RootA12 + 15 1 + 15 &, 4E + H- 1L45 RootA12 + 15 1 + 15 &, 5EM
soluquinta3.nb
In[39]:=
Out[39]=
:275.014, - 1875 + 525
10 >
De donde Q2 = - 1875 + 525
10 y Q3 = - 187 - 525
La solucin de la quntica original se obtiene como

x=
Q1 +
Q2 +
Q3 + Q4
10
150
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] G.Butler and J. McKay, The transitive Groups of Degree Up to
Eleven , Comm.in Alg. 11 (1983), 863-911.
[4] L. Childs, A Concrete Introduction to Higher Algebra, Springer
1979
[5] H. Cohn, A Classical Invitation to Algebraic Numbers and Class
Fields, Springer 1978
[6] P. M. Cohn, Classic Algebra, Wiley and sons 2000
[7] Cohn, P. M., Algebra, vol. 2, Wiley 2nd Edition (1989)
[8] H. S. M. Coxeter, Fundamentos de geometra, Limusa-Wiley.
[9] Dummit, D. S. and Foote, R. M., Abstract Algebra 3rd ed.,
Prentice-Hall (2004)
[10] Euclides, Elementos, Biblioteca clsica Gredos I-IV 155
(1991), V-IX 191 (1994), X-XIII 228 (1996)
[11] H. Eves, Estudio de las geometras, 2 vols. UTEHA (1969)
[12] L.Gaal, Classical Galois Theory, Chelsea (1971).
[13] E. Galois, Sur la Thorie des nombres, Bull. des Sci. math. de
Frussac, XIII, 218 (1830)
[14] J. A. Gallian, Contemporary Abstract Algebra 5th edition,
Houghton Mifflin 2002
151
152
BIBLIOGRAFA
[15] C. F. Gauss, Disquisitiones Arithmeticae, Yale U. P. (1966)

[16] K.Girstmair, On the Computation of Resolvents and Galois
Groups, Manuscripta Math. 43 (1983), 289-307.
[17] K.Girstmair, On Invariant Polynomials and Their Application in
Field Theory, Math.Comp. 48 (1987), 781-797.
[18] C. Gottlieb, The Simple and Straightforward Construction of
the Regular 257-gon, Mathematical Intelligencer 21 1, 31-37
(1999)
[19] N. Jacobson, Basic Algebra I, Freeman (1985)
[20] D. E. Knuth, The Art of Computer Programming, vol. 2: Seminumerical Algorithms 3rd edition, Addison-Wesley 1998
[21] J.C.Lagarias and A.M.Odlyzko, Effective versions of the Chebotarev density theorem, (en Frhlich, Algebraic Number Fields,
Academic Press (1977)).
[22] Lang, S., Algebra, Addison-Wesley 3rd Edition (1993)
[23] R. Lidl and H. Niederreiter, Finite Fields, Encycl. of Math. 20,
Addison-Wesley (1983)
[24] I. Niven, H. S. Zuckerman and H. L. Montgomery, An Introduction to the Theory Of Numbers, Wiley 1991
[25] M.Pohst and H.Zassenhaus, Algorithmic Algebraic Number
Theory, Cambridge U.P. (1989), 135-157.
[26] L.Soicher, The Computation of Galois Groups, Master Thesis
(1981), Un.Laval (Quebec).
[27] L.Soicher, An Algorithm for Computing Galois Groups, Computational Group Theory (1984), 291-296.
[28] L.Soicher and J.C.McKay, Computing Galois Groups over the
Rationals, Journal of Number Theory 20 (1985), 273-281.
[29] R.Stauduhar, The determination of Galois groups, Math.Comp.
27 (1973), 981-996.
[30] B.L. van der Waerden, Modern Algebra, Ungar (1953).
BIBLIOGRAFA
153
[31] C. R. Videla, On Points Constructible from Conics, Mathematical Intelligencer 19 2, 53-57 (1997)
[32] P. L. Wantzel, Recherches sur les moyens de reconnatre si
un Problme de Gomtrie peut se rsoudre avex la rgle et le
compas, J. Math (1837), 366-372.
[33] H.Zassenhaus, On the Group of an Equation, Computational
Group Theory (1984), 69-88.

Algebraiii

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Algebraiii

Uploaded by

Copyright:

Available Formats

Apuntes de Algebra III

Eugenio Miranda Palacios

1. Polinomios simtricos, resultante y discriminante

2. Series de grupos y grupos solubles

5. Extensiones normales y separables

Teora de Galois finita

6. Teora de Galois finita

9. Construcciones con regla y comps

10.Extensiones cclicas y radicales

10CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

Sea A un anillo conmutativo y sean X1 , . . . , Xn indeterminadas.

1.1. POLINOMIOS SIMTRICOS

Sea ahora n > 1 y supongamos el teorema cierto para n 1

12CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

1.1. POLINOMIOS SIMTRICOS

Para escribir los polinomios

14CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

1.2. POLINOMIOS ALTERNADOS

Otro tipo de polinomios interesantes son los definidos a continuacin:

Cada par ordenado de ndices i < j aparece exactamente una vez,

16CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

determinar si tienen una raz comn en una extensin de F

Sea K un cuerpo de descomposicin para f g, as que en K[X]

1. R(f, g) = 0 i, j tales que i = j (i.e., sii f y g tienen una

i=1 (f (i )q(i )+r(i ))

8. R(X k f, g) = bk0 R(f, g); R(f, X k g) = (1)nk ak0 R(f, g)

9. R(f, g) es un polinomio simtrico de grado m en las i

El caso particular ms importante de la resultante es cuando

Llamamos discriminante de f a D(f ) = an2n2

18CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

1. f1 , f2 F [X] D(f1 f2 ) = D(f1 )D(f2 )R(f1 , f2 )2

Las propiedades halladas para la resultante permiten calcular

En particular si q es impar, f = X q 1, D(f ) = (1)

1.5. MTODOS DE CLCULO

Pero f 0 (i ) = 3i2 + a = ii i = 2aii 3b

y por tanto D(f ) = (4a3 + 27b2 )

f = 5X + 4aX = X (5X + 4a)

20CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

(nn bn1 + (1)n1 (n 1)n1 an )

f 0 (i ) = in2 (ni + (n 1)a)

Sea i = ni + (n 1)a i = i (n1)a

1.5. MTODOS DE CLCULO

Diviendo f entre g obtenemos:

y sean p, qi , r, sj tales que

Pero por (1.5.1)

D(f ) = R(f, f 0 ) = (1)5(1+2)

22CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

Por el algoritmo de Euclides

Dividiendo g por f obtenemos g = f q + r con gr(r) < gr(f ). Por las

Multiplicando f sucesivamente por 1, X, . . . , X m1 y g por 1, X, X n1

1.5. MTODOS DE CLCULO

ciones en las (n + m) incgnitas 1, X, X 2 , . . . , X n+m1 :

Por el teorema de Rouch, este sistema tendr solucin si y slo

Vamos a ver que C(f, g) = R(f, g): Como C(f, g) = C(an , . . . , a0 , bm , . . . , b0 )

24CAPTULO 1. POLINOMIOS SIMTRICOS, RESULTANTE Y DISCRIMINANTE

La resultante de Cayley proporciona una expresin sencilla y

Si cij 6= 0, del sistema:

luego hi , hj tienen un cero en comn si y slo si f y g tienen un

1.5. MTODOS DE CLCULO

Formemos ahora los polinomios:

gn1 = xgn2 + h1 = (bn X n1 + . . . + b1 )f (an X n1 + . . . + a1 )g

Los gi tienen un cero en comn los hi tienen un cero en comn

Para k = 0 es trivial. Supongamoslo cierto para k 1. Entonces