IA DE GALOIS
Joseph C. V arilly
Escuela de Matem atica, Universidad de Costa Rica
II Ciclo Lectivo del 2006
Introducci on
Un tema central del algebra es la resoluci on de ecuaciones polinomiales. Los documentos
escritos m as antiguos, desde hace casi cuatro milenios, incluyen procedimientos para obtener
soluciones de ecuaciones cuadr aticas. En la epoca cl asica de Grecia, el problema de la du-
plicaci on del cubo fue objeto de intenso estudio; modernamente, lo enfocamos como la res-
oluci on de la ecuaci on de tercer grado X
3
= 2. En el siglo XVI se logr o obtener f ormulas
para la resoluci on de la ecuaci on general de tercer o cuarto grado. A principios del siglo XIX,
fue descubierto que no hay, ni puede haber, f ormulas algebraicas an alogas para la ecuaci on
general de quinto grado.
A partir de los estudios de Galois, se lleg o a comprender que la solubilidad de una
ecuaci on polinomial por radicales estaba ligado a la naturaleza del grupo de permutaciones
de las races de la ecuaci on. Esto, por un lado, dio un gran impulso al estudio de los grupos
como objetos abstractos. Alrededor de 1940, Artin y otros cambiaron el enfoque al estu-
dio de las extensiones de cuerpos: al cuerpo base que incluye los coecientes del polinomio
p(X), como por ejemplo el cuerpo Q de los n umeros racionales, se le adjunta las races
de la ecuaci on p(X) = 0. El teorema principal que une los dos conceptos, el de grupo de
permutaciones y el de extensi on de cuerpo, establece (en condiciones favorables) una corres-
pondencia de Galois entre los subgrupos del grupo y los cuerpos intermedios de la extensi on.
Por ende, la teora de Galois es un puente entre el algebra cl asica el estudio de ecua-
ciones polinomiales y el algebra moderna que enfatiza aspectos mas estructurales como
cuerpos, anillos, grupos, etc. Hoy en da, se hacen investigaciones activas cuya meta es am-
pliar la correspondencia de Galois a un ambito m as general, usando nuevas herramientas
algebraicas.
El curso empieza con un estudio sobre las propiedades de los polinomios con coecientes
enteros (o racionales). Luego se consideran cuerpos m as grandes, al extender Q mediante la
adjunci on de n umeros algebraicos, hasta llegar al concepto de una extensi on normal de un
cuerpo. En seguida se introducen los grupos de automorsmos de un cuerpo num erico y su
relaci on con la resoluci on de las ecuaciones. Despu es se pasa al caso importante de un cuerpo
con un n umero nito de elementos, clasicando sus extensiones con la ayuda de la teora de
grupos. Finalmente, se considera una variante moderna de las extensiones galoisianas, en
donde el grupo de automorsmos se ampla a su algebra de grupo, cuya estructura permite
dar una nueva mirada a las simetras de cuerpos num ericos.
MA660: Teora de Galois 2
Indce de materias
Introducci on 1
1 Polinomios y Resoluci on de Ecuaciones 3
1.1 Ecuaciones de tercer o cuarto grado . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Polinomios sim etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Ejercicios sobre polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2 Extensiones de Cuerpos 24
2.1 Cuerpos y subcuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2 Cuerpos de escisi on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 F-morsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4 N umeros constructibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.5 Ejercicios sobre extensiones de cuerpos . . . . . . . . . . . . . . . . . . . . 41
3 Grupos de Galois 43
3.1 La correspondencia de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2 Grupo de Galois de un polinomio . . . . . . . . . . . . . . . . . . . . . . . . 50
3.3 Extensiones ciclot omicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.4 Extensiones cclicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.5 Resoluci on de ecuaciones por radicales . . . . . . . . . . . . . . . . . . . . 63
3.6 Ejercicios sobre grupos de Galois y extensiones ciclot omicas y radicales . . . 71
4 Cuerpos Finitos 78
4.1 Cuerpos de caracterstica prima . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.2 Extensiones separables y de Galois . . . . . . . . . . . . . . . . . . . . . . . 81
4.3 Ejercicios sobre cuerpos nitos . . . . . . . . . . . . . . . . . . . . . . . . . 84
5 Extensiones de HopfGalois 86
5.1 Endomorsmos de una extensi on . . . . . . . . . . . . . . . . . . . . . . . . 86
5.2 Algebras de Hopf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.3 Acciones y coacciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.4 La aplicaci on can onica en la teora de Galois . . . . . . . . . . . . . . . . . 100
5.5 Ap endice: el papel de la antpoda . . . . . . . . . . . . . . . . . . . . . . . . 106
5.6 Ejercicios sobre algebras de Hopf . . . . . . . . . . . . . . . . . . . . . . . 109
Nota bibliogr aca 111
Indce alfab etico 113
MA660: Teora de Galois 3
1 Polinomios y Resoluci on de Ecuaciones
1.1 Ecuaciones de tercer o cuarto grado
Un problema muy antiguo es la resoluci on de ecuaciones de segundo grado:
aX
2
+bX +c = 0, con a ,= 0.
Hoy en da, la soluci on general viene de la f ormula cuadr atica,
X =
b
b
2
4ac
2a
. (1.1)
En la antig uedad, no se dispona de estas notaciones, pero se conocan procedimientos sis-
tem aticos que son equivalentes a la aplicaci on de esta f ormula. Los m as antiguos documentos
matem aticos que conocemos vienen de la epoca babilonio, en los dos siglos 1800 a 1600 a.C.,
cuando la regi on de Mesopotamia fue unicada bajo la dinasta de Hammurabi. La adminis-
traci on contable de este reino grab o sus archivos en l apidas de arcilla; algunas l apidas que se
conservan tienen contenido matem atico, como tablas num ericas de cuadrados o de recprocos,
o bien exposiciones de problemas computacionales.
1
Un ejemplo es el siguiente:
2
El igibum excede el igum por 7, cu ales son el igibum y el igum?
Seg un Neugebauer y Sachs, las palabras sumerianas igum e igibum denotan cantidades rec-
procas, cuyo producto es 1 (o bien 60, o 3600, etc., en el sistema sexagesimal). En notaci on
moderna, se trata de la ecuaci on
X
60
X
= 7,
equivalente a la ecuaci on cuadr atica X
2
7X 60 =0. El problema se resuelve como sigue:
3
La mitad del exceso 7 es 3;30. Multiplquese 3;30 por 3;30, esto da 12;15. Al
12;15 se le suma el producto [1,0], resultando 1,12;15. La raz de 1,12;15 es
8;30. Col oquese 8;30 y 8;30. Restar 3;30 de uno y agregar 3;30 al otro. Ahora
uno es 12, el otro es 5. El 12 es el igibum, el 5 es el igum.
Por la f ormula cuadr atica (1.1), la ecuaci on X
2
7X 60 = 0 tiene dos soluciones X = 12 y
X =5. Los babilonios no tenan el concepto de n umero negativo, as que obtuvieron X =12
solamente. En el texto, 3;30 = 3
30
60
= 3
1
2
, cuyo cuadrado es 12;15 = 12
15
60
= 12
1
4
, el n umero
siguiente es 1, 12;15 = 60 +12 +
15
60
= 72
1
4
, que aparece en las tablas de cuadrados como el
cuadrado de 8;30 = 8
1
2
. El procedimiento es entonces equivalente a la f ormula
X y
1
X
=
_
_
7
2
_
2
+60
7
2
= 12 y 5.
1
V ease: Otto Neugebauer, The Exact Sciences in Antiquity, Brown Univ. Press, Providence, RI, 1957.
2
Tomado de una l apida que aparece con una traducci on en: Otto Neugebauer y Abraham Sachs, Mathemat-
ical Cuneiform Texts, American Oriental Society, New Haven, CT, 1945.
3
Tomado de una historia popular del algebra: John Derbyshire, Unknown Quantity, Joseph Henry Press,
Washington, DC, 2006; pp. 2627, siguiendo a Neugebauer y Sachs.
MA660: Teora de Galois 4
Muchos siglos despu es, alrededor de 820 d.C., estos y otros procedimientos fueron recopila-
dos por Muhammad ibn Musa al-Khwarizmi (en Baghdad, unos 100 km al norte de la antigua
Babilonia, en el otro ro), en un famoso tratado sobre compleci on y reducci on (al-jabr wal-
muqabala, de ah la palabra algebra) para la resoluci on de ecuaciones.
En notaci on moderna, la ecuaci on general de segundo grado,
aX
2
+bX +c = 0, con a ,= 0,
puede expresarse como polinomio m onico al dividir por a:
X
2
+ pX +q = 0, con p =
b
a
, q =
c
a
.
La sustituci on Y = X +
1
2
p simplica la ecuaci on:
(X +
1
2
p)
2
1
4
p
2
+q = 0,
Y
2
+q =
1
4
p
2
al-jabr : sumar
1
4
p
2
a cada lado,
Y
2
=
1
4
p
2
q al-muqabala : restar q de cada lado.
Ahora Y =
_
1
4
p
2
q, as que
X =
p
2
_
p
2
4
q =
b
2a
_
b
2
4ac
4a
2
.
Luego, el paso de Y
2
a Y (hay dos races cuadrados) conduce a la f ormula cuadr atica (1.1).
Par la resoluci on de las ecuaciones de tercer grado, podemos comenzar de una vez con un
polinomio m onico:
Z
3
+aZ
2
+bZ +c = 0.
Ahora la sustituci on X = Z +
1
3
a simplica la ecuaci on en
Z
3
+aZ
2
+bZ +c =
_
Z
3
+aZ
2
+
a
2
3
Z +
a
3
27
_
+
_
b
a
2
3
_
Z +
_
c
a
3
27
_
= X
3
+
_
b
a
2
3
_
X +
_
c
ab
3
+
a
3
27
_
=: X
3
+ pX +q,
al poner
p := b
a
2
3
, q := c
ab
3
+
a
3
27
.
Ahora se trata de buscar la soluci on general de
X
3
+ pX +q = 0. (1.2)
MA660: Teora de Galois 5
Esta ecuaci on fue resulta por los italianos en el siglo XVI, en buena parte debido a la
disponibilidad de la prensa escrita. Recordemos que Gutenberg estren o su prensa tipogr aca
en Mainz alrededor de 1450. Para 1490, Teobaldo Manucci (latinizado a Aldus Manutius)
tena una prensa en Venecia que produca libros con letra it alica, f aciles de leer. Scipione
del Ferro, profesor de matem aticas en Bologna, supuestamente resolvi o las ecuaciones de tipo
aX
3
+cX = d antes de su muerte en 1526, pero no public o la soluci on.
4
Nicolo Tartaglia, de
Venecia, logr o resolver ecuaciones
5
de tipo aX
3
+bX
2
= d y para 1535 obtuvo una soluci on
del caso anterior tambi en. Discuti o sus soluciones con Girolamo Cardano de Milano en 1539;
este, junto con su asistente Lodovico Ferrari, logr o sistematizar el procedimiento y adem as
resolver la ecuaci on general de cuarto grado. Cardano public o su soluci on en 1545, donde
estren o las f ormulas de Cardano, que son notables por la inclusi on de n umeros imaginarios.
6
Consid erese la ecuaci on (1.2). Cardano sugiri o poner X =: U +V, donde U,V son dos
cantidades por determinar. Entonces,
U
3
+3U
2
V +3UV
2
+V
3
+ pU + pV +q = 0
o bien
(U
3
+V
3
) +(U +V)(3UV + p) +q = 0.
Si ahora elegimos U,V de modo que 3UV + p = 0, tendremos
U
3
+V
3
=q y a la vez U
3
+V
3
=
p
3
27
.
De ah, U
3
y V
3
son soluciones de la ecuaci on cuadr atica:
T
2
+qT
p
3
27
= 0. (1.3)
El discriminante de esta ecuaci on cuadr atica es D = 4d, donde
d =
q
2
4
+
p
3
27
.
En consecuencia, T =
1
2
q
d, lo cual da
U
3
=
q
2
+
_
q
2
4
+
p
3
27
, V
3
=
q
2
_
q
2
4
+
p
3
27
.
4
Los coecientes a, c, d son n umeros positivos; aun no se aceptaban operaciones con n umeros negativos.
Adem as, tampoco se escriba la letra X: para los italianos de ese siglo, la cantidad inc ognita era cosa, su
cuadrado era censo (que signica propiedad o potencia) y su cubo era cubo. El caso resuelto por del Ferro se
llamaba il cubo e le cose.
5
Con a, b, d positivos: el caso de il cubo ed i censi.
6
Girolamo Cardano, Artis magnae sive de regulis algebraicis liber unus, N urnberg, 1545. El libro, cuyo
ttulo se traduce como Del gran arte, o bien el primer libro de las reglas del algebra se conoce com unmente
como Ars Magna.
MA660: Teora de Galois 6
2
Figura 1: Las tres races c ubicas de 1
Sean ahora u, v races c ubicas de las expresiones al lado derecho, elegidos de modo que
3uv = p. Hay que recordar que un n umero no cero (real o complejo) tiene tres races
c ubicas: las races c ubicas de 1 son 1, ,
2
, donde
:=
1+i
3
2
,
2
=
1i
3
2
,
que cumplen (
2
)
2
= y 1 + +
2
= 0 (v ease la Figura 1). Las tres races c ubicas de
(
1
2
q +
d) tienen la forma de u, u,
2
u para alg un n umero complejo u; las tres races
c ubicas de (
1
2
q+
d) tiene la forma v, v,
2
v para alg un v. Dependiendo de c omo elegi-
mos estas races, la cantidad 3uv cuyo cubo es p
3
, puede ser p, p o
2
p pero nada
m as. En todo caso, podemos elegir un candidato de cada lista de modo que tres veces su
producto es p, en efecto. Entonces las tres soluciones de (1.2) tienen la forma
X = u+v, X = u+
2
v, X =
2
u+v. (1.4)
A veces se escribe estas f ormulas de Cardano en la forma
X =
3
q
2
+
_
q
2
4
+
p
3
27
+
3
q
2
_
q
2
4
+
p
3
27
en donde el smbolo 3
y p
_
X
q
2(y p)
_
, o bien X
2
=
y
2
y p
_
X
q
2(y p)
_
. (1.7)
Dos aplicaciones de la f ormula cuadr atica proporcionan las cuatro expresiones deseadas
para X. En ellas, el par ametro y debe sustituirse por una de las f ormulas de Cardano que
resuelven esta ecuaci on auxiliar de tercer grado:
Y
3
pY
2
4rY +(4pr q
2
) = 0. (1.8)
Las races X =
1
,
2
,
3
,
4
, obtenidas por la f ormula cuadr atica a partir de las dos
ecuaciones (1.7), obviamente dependen de la elecci on de y entre las tres races de (1.8).
Volviendo a las f ormulas de Cardano (1.4), sean u, v las expresiones tales que y sea una de
(u+v), (u+
2
v), (
2
u+v). Una elecci on diferente de y entre estas tres expresiones no
puede producir nuevas races de la ecuaci on original (1.5), aunque s puede alterar el orden
en el que
1
,
2
,
3
,
4
se presentan.
Recordemos que
(X
1
)(X
2
) = X
2
(
1
+
2
)X +
1
2
,
(X
3
)(X
4
) = X
2
(
3
+
4
)X +
3
4
,
de donde sigue que
2
=
y
2
+
q
2
y p
,
3
4
=
y
2
q
2
y p
.
Resulta entonces que
y =
1
2
+
3
4
. (1.9)
Ahora puede observarse que una permutaci on de las races
1
,
2
,
3
,
4
puede alterar la
funci on
1
2
+
3
4
, pero esta funci on toma a lo sumo tres valores distintos. En detalle: las
tres combinaciones
1
2
+
3
4
,
1
3
+
2
4
,
1
4
+
2
3
pueden ser distintas. Esto con-
cuerda con la ambig uedad ternaria del par ametro y como soluci on de la ecuaci on c ubica (1.8).
MA660: Teora de Galois 8
Hubo varios intentos posteriores de obtener procedimientos an alogas para la soluci on de
ecuaciones de grado 5 o superior; en vano. Una teora general
7
fue propuesta por Lagrange
en 1771. Su idea fue convertir la ecuaci on general de grado n, f (X) =0, en una ecuaci on m as
sencilla para una variable auxiliar t, llamado resolvente de Lagrange, que podra expresarse
como polinomio en las races de la ecuaci on f (X) = 0. Como ejemplo, la y de Ferrari es el
polinomio cuadr atico (1.9).
Para ilustrar la teora de Lagrange, consideremos la ecuaci on (1.2) de tercer grado. Sean
1
,
2
,
3
las races de esta ecuaci on, dadas por la factorizaci on:
X
3
+ pX +q = (X
1
)(X
2
)(X
3
).
Sea r una combinaci on lineal cualquiera de las races:
r = c
1
1
+c
2
2
+c
3
3
,
con ciertos coecientes complejos c
1
, c
2
, c
3
. Al permutar las races, obtenemos 6 combina-
ciones:
r
0
= c
1
1
+c
2
2
+c
3
3
, r
2
= c
1
2
+c
2
3
+c
3
1
, r
4
= c
1
3
+c
2
1
+c
3
2
,
r
1
= c
1
1
+c
2
3
+c
3
2
, r
3
= c
1
3
+c
2
2
+c
3
1
, r
5
= c
1
2
+c
2
1
+c
3
3
.
Estas 6 expresiones cumplen una ecuaci on de sexto grado:
(Rr
0
)(Rr
1
)(Rr
2
)(Rr
3
)(Rr
4
)(Rr
5
) = 0. (1.10)
Una elecci on astuta de los coecientes puede simplicar esta ultima ecuaci on. Tomemos
c
1
:= 1, c
2
:= , c
3
:=
2
. El resolvente de Lagrange para la ecuaci on cubica (1.2) es
r :=
1
+
2
+
2
3
. (1.11)
Entonces r
2
=
2
+
3
+
2
1
=
2
(
2
+
2
3
+
1
) =
2
r
0
; tambi en r
4
= r
0
, r
3
=
2
r
1
y r
5
= r
1
: las seis permutaciones de r son r
0
, r
0
,
2
r
0
, r
1
, r
1
,
2
r
1
. Al notar que
(Rr
0
)(Rr
0
)(R
2
r
0
) = R
3
r
3
0
, la ecuaci on (1.10) se convierte en
(R
3
r
3
0
)(R
3
r
3
1
) = R
6
(r
3
0
+r
3
1
)R
3
+r
3
0
r
3
1
= 0.
Hay que resolver esta ecuaci on cuadr atica para R
3
. Ahora bien: sus coecientes pueden
expresarse explcitamente en t erminos de los coecientes p, q de la ecuaci on original. En
efecto,
r
0
r
1
= (
1
+
2
+
2
3
)(
1
+
2
2
+
3
)
=
2
1
+
2
2
+
2
3
1
= (
1
+
2
+
3
)
2
3(
1
2
+
2
3
+
3
1
) =3p,
r
3
0
+r
3
1
= 2(
3
1
+
3
2
+
3
3
) 3(
2
1
2
+
2
2
3
+
2
3
1
+
1
2
2
+
2
2
3
+
3
2
1
) +12
1
3
= 2(
1
+
2
+
3
)
3
9(
1
+
2
+
3
)(
1
2
+
2
3
+
3
1
) +27
1
3
=27q,
7
Joseph-Louis Lagrange, R eexions sur la r esolution alg ebrique des equations, M em. Acad. Royale des
Sciences et Belles-lettres de Berlin, 1771. Lagrange, nacido Guiseppe Lodovico Lagrangia en Torino, 1736,
escribi o todas sus obras en franc es.
MA660: Teora de Galois 9
as que R
6
+27qR
3
27p
3
= 0. Al poner T = (R,3)
3
, se recupera la ecuaci on cuadr atica
(1.3); por ende, las soluciones son R = 3u, R = 3v, donde u, v son los ingredientes de la
soluci on de Cardano. Para obtener la raz
1
, por ejemplo, se usa
1
=
1
3
(3
1
) =
1
3
(2
2
3
) =
1
3
(r
0
+r
1
) = u+v,
y de igual manera
2
=
2
u+v,
3
= u+
2
v.
En resumen: el m etodo de Lagrange conduce de modo sistem atico a la soluci on por las
f ormulas de Cardano e indica que la sustituci on X = U +V puede obtenerse de una teora
general. La clave de esa teora general es la elecci on de una funci on de las races, en este
caso r
3
= (
1
+
2
+
2
3
)
3
, que toma mucho menos que n! valores bajo permutaciones
de estas races.
Lagrange trat o de encontrar un resolvente adecuado para la ecuaci on general de quinto
grado, pero sin exito. La imposibilidad de encontrar dicho resolvente fue demostrado por
Galois (1831) mediante un an alisis novedoso de las propiedades de las permutaciones de las
races.
8
De este nuevo m etodo surgi o el concepto de grupo (de permutaciones, inicialmente)
y sus implicaciones algebraicas se conoce hoy en da como la teora de Galois.
1.2 Anillos de polinomios
Para abordar la teora de Galois en una forma sistem atica, debemos comenzar con ciertos
propiedades elementales de polinomios.
Notaci on. Por lo general, A denotar a un anillo conmutativo. Supondremos siempre
9
que A
contiene una identidad multiplicativa 1. La letra F denotar a un cuerpo,
10
es decir, un anillo
conmutativo en donde cada elemento a ,= 0 posee un inverso multiplicativo a
1
= 1,a F.
Los cuerpos m as familiares son Q, de n umeros racionales; R, de n umeros reales; C,
de n umeros complejos; y el cuerpo nito F
p
:= Z,pZ = 0, 1, 2, . . . , p1, de residuos de
enteros bajo divisi on por un n umero primo p.
A veces se escribe Z
p
en vez de F
p
como sin onimo de Z,pZ. Sin embargo, en la teora
algebraica de n umeros, la notaci on Z
p
est a reservado para el anillo de enteros p- adicos. En
este curso, usaremos la notaci on F
p
para este cuerpo nito de p elementos.
Los siguientes anillos conmutativos no son cuerpos: (a) Z, los n umeros enteros; (b) el
anillo de enteros gaussianos Z[i] := m+ni : m, n Z; y (c) el anillo de residuos Z,nZ
si n N no es primo.
Este ultimo anillo Z,nZ contiene divisores de cero: si n = rs es una factorizaci on de
n en N, entonces r s = 0 en Z,nZ. Para excluir este fen omeno, introducimos el concepto de
anillo entero.
8
Galois muri o el a no siguiente al perder un duelo con pistolas, a la edad de 20 a nos. Su artculo haba
sido rechazado por la Academia Francesa, pero fue publicado posteriormente por Liouville, en su Journal de
Math ematiques Pures et Applique es, en 1846.
9
Al demandar que 1 A, seguimos la usanza de Bourbaki.
10
El nombre viene del alem an K orper, un t ermino introducido por Richard Dedekind en 1871; se llama corps
en franc es, cuerpo en espa nol, corp en rumano, etc., pero en ingl es se llama eld. En espa nol, no debe usarse la
traducci on secundaria campo, reservada para campos vectoriales, campos magn eticos, etc.
MA660: Teora de Galois 10
Denici on 1.1. Se dice que un anillo conmutativo A con identidad es un anillo entero si
ab = 0 en A = a = 0 o bien b = 0; es decir, A no contiene divisores de cero.
11
Por supuesto, Z es un anillo entero. Cualquier cuerpo es evidentemente un anillo entero.
Resulta que Z[i] tambi en es entero.
Denici on 1.2. Si A es un anillo entero, se puede denir su cuerpo de fracciones F, como
sigue. Decl arese una relaci on de equivalencia entre pares (a, b) A con b ,= 0 por (a
1
, b
1
)
(a
2
, b
2
) si y s olo si a
1
b
2
= a
2
b
1
; den otese la clase de equivalencia por a,b. Entonces
F :=a,b : a, b A, b ,= 0,
con las operaciones a
1
,b
1
+ a
2
,b
2
:= (a
1
b
2
+a
2
b
1
),b
1
b
2
y (a
1
,b
1
)(a
2
,b
2
) := a
1
a
2
,b
1
b
2
.
F incluye una copia de A al identicar a A con a,1 F. Fjese que a,b ,=0 en F si y s olo si
a ,= 0 en A, en cuyo caso (a,b)
1
= b,a.
Es evidente que el cuerpo de fracciones de Z es el cuerpo Q.
Denici on 1.3. Si A es un anillo conmutativo, se denota por A[X] el anillo (tambi en conmu-
tativo) de polinomios en una indeterminada X, cuyos elementos tienen la forma
f (X) = a
0
+a
1
X +a
2
X
2
+ +a
n
X
n
para alg un n N;
12
si f (X) ,= 0, el mayor exponente n tal que el coeciente a
n
de X
n
no es
cero se llama el grado del polinomio: n = gr f (X). No se dene el grado del polinomio cero.
Cuando a
n
= 1, se dice que f (X) es un polinomio m onico.
Formalmente, un polinomio es una sucesi on (a
n
)
nN
con valores en A donde solamente
un n umero nito de entradas no son ceros; es cuesti on de denir la suma y producto de tales
sucesiones apropiadamente. De este punto de vista, la X no es m as que una notaci on c omoda
para escribir estas sucesiones, de modo que el producto se ve en forma transparente:
_
n
i=0
a
i
X
i
__
m
j=0
b
j
X
j
_
:=
n+m
k=0
_
i+j=k
a
i
b
j
_
X
k
. (1.12)
Por inducci on, se denen polinomios con m as indeterminados: A[X
1
, X
2
] := (A[X
1
])[X
2
] y en
general A[X
1
, . . . , X
n
] := (A[X
1
, . . . , X
n1
])[X
n
].
Lema 1.4. Si A es un anillo entero, entonces A[X] es un anillo entero. En particular, F[X] es
un anillo entero cuando F es un cuerpo.
Demostraci on. Si f (X) = a
0
+a
1
X + +a
n
X
n
y g(X) = b
0
+b
1
X + +b
m
X
m
son dos
polinomios no nulos, con a
n
,= 0 y b
m
,= 0, entonces a
n
b
m
,= 0 porque A es entero. Pero a
n
b
m
es el coeciente de X
m+n
en el producto f (X)g(X), as que f (X)g(X) ,= 0 en A[X].
11
En franc es, anneau entier; pero en ingl es, integral domain. Serge Lang, Algebra, 3a edici on (Springer,
New York, 2002) usa el t ermino entire ring. Un dominio de Dedekind es una clase de anillos m as amplio que
los anillos enteros. Es de notar que Kronecker (1881) llam o dominio de racionalidad a lo que ahora se llama
cuerpo. Huyan de los textos en espa nol que hablan de dominio ntegro o dominio de integridad.
12
Es oportuno aclarar que usamos el convenio de que N incluye 0, es decir, N =0, 1, 2, 3, . . . .
MA660: Teora de Galois 11
Denici on 1.5. Si F es un cuerpo, se denota por F(X) el cuerpo de fracciones del anillo
entero F[X]. Sus elementos se llaman funciones racionales sobre F. Cada funci on racional
es un cociente de dos polinomios f (X),g(X), con g(X) ,= 0.
Proposici on 1.6. Sean A y S dos anillos conmutativos y sea : A S un homomorsmo de
anillos, es decir, una aplicaci on que cumple
(a+b) = (a) +(b), (ab) = (a)(b) si a, b A; y (1
A
) = 1
S
.
Para todo s S, hay un unico homomorsmo
s
: A[X] S tal que
s
(a) = (a) cuando
a A y adem as
s
(X) = s.
Demostraci on. Tomando en cuenta la inclusi on A A[X] que identica elementos de A con
polinomios de grado 0, se dice que
s
extiende a A[X] toda vez que
s
(a) =(a) cuando
a A. La extensi on buscada, que adem as debe cumplir
s
(X) = s, necesariamente obedece
s
(a
0
+a
1
X +a
2
X
2
+ +a
n
X
n
) := (a
0
) +(a
1
)s +(a
2
)s
2
+ +(a
n
)s
n
.
Se verica f acilmente que esta receta es un homomorsmo de A[X] en S.
Esta extensi on se puede representar mediante el siguiente diagrama, en donde la echa
quebrada (cuya existencia se propone) muestra la propiedad universal del anillo de poli-
nomios:
A[X]
s
B
B
B
B
A
S
en donde : A A[X] denota la inclusi on.
Corolario 1.7. Si : AS es un homomorsmo y s
1
, . . . , s
n
S, hay un unico homomorsmo
s
1
,...,s
n
: A[X
1
, . . . , X
n
] S que extiende tal que
s
1
,...,s
n
(X
j
) = s
j
para j = 1, . . . , n.
Repasemos las propiedades de divisibilidad en el anillo Z. Si m, n Z, se dice que m
divide n, escrito m n, si hay q Z tal que n = qm.
13
Las propiedades esenciales para que
k Z sea un m aximo com un divisor de m y n son:
1. k m, k n;
2. si t m y t n, entonces t k.
Si adem as se exige k 0, entonces k es unico y se llama el m aximo com un divisor de m y n;
se escribe k = mcd(m, n).
Para calcular mcd(m, n) para dos enteros dados, se usa el algoritmo euclidiano.
14
13
Esta notaci on se preere sobre la m as usual m[ n, por recomendaci on de Graham, Knuth y Patashnik,
Concrete Mathematics, Addison-Wesley, Reading, MA, 1989.
14
El procedimiento se encuentra en el libro VII de los Elementos de Euclides.
MA660: Teora de Galois 12
Lema 1.8. Si m, n Z con m 0, n 0, entonces hay enteros unicos q, r tales que
n = qm+r, con 0 r < m. (1.13)
Demostraci on. Si mn, t omese q :=0, r :=n. En cambio, si mn, consid erese la sucesi on
de enteros n, n m, n 2m, . . . . Por la propiedad arquimediano de los enteros, hay q N
( unico) tal que nqm 0 pero n(q+1)m < 0; t omese r := nqm.
Proposici on 1.9 (Algoritmo euclidiano en Z). Si m, n Z con m 0, n 0, su m aximo
com un divisor se encuentra como sigue. Defnase dos sucesiones de enteros (q
j
), (r
j
) as:
n = q
1
m+r
1
con 0 < r
1
< m,
m = q
2
r
1
+r
2
con 0 < r
2
< r
1
,
r
1
= q
3
r
2
+r
3
con 0 < r
3
< r
2
,
.
.
. =
.
.
.
r
k2
= q
k
r
k1
+r
k
con 0 < r
k
< r
k1
,
r
k1
= q
k+1
r
k
+0.
Entonces mcd(m, n) = r
k
, el ultimo residuo no cero en estas divisiones. Adem as, se verica
la siguiente relaci on:
mcd(m, n) = am+bn para algunos a, b Z. (1.14)
Demostraci on. Para ver que r
k
n, obs ervese que
n = q
1
m+r
1
= q
1
(q
2
r
1
+r
2
) +r
1
= (q
1
q
2
+1)r
1
+q
1
r
2
.
Sustituyendo m, r
1
, r
2
, . . . , r
k2
uno por uno por los lados derechos que aparecen en el enun-
ciado de la Proposici on, se llega a n = cr
k1
+ dr
k
para algunos c, d Z, as que n =
(cq
k+1
+d)r
k
y por tanto r
k
n. El mismo proceso muestra que r
k
m.
Ahora, si t N es tal que t m y t n, entonces t divide n q
1
m = r
1
. En seguida,
t (mq
2
r
1
) = r
2
y as sucesivamente hasta ver que t (r
k2
q
k
r
k1
) = r
k
. Se concluye
que r
k
= mcd(m, n).
Para comprobar (1.14), fjese que r
1
= nq
1
m; que r
2
= mq
2
r
1
= mq
2
(nq
1
m) =
(q
1
q
2
+1)mq
2
n; por sustituci on repetida, se encuentran a
j
, b
j
Z con r
j
=a
j
m+b
j
n, para
j = 1, 2, . . . , k.
Corolario 1.10. Dos enteros m, n N son relativamente primos, es decir, mcd(m, n) = 1, si
y solo si existen a, b Z tales que am+bn = 1.
Sea F un cuerpo cualquiera. El anillo entero tiene propiedades de divisibilidad an alogas
a las de Z. Un polinomio g(X) divide un polinomio f (X) si hay un polinomio q(X) tal
que f (X) = q(X)g(X). El m aximo com un divisor k(X) = mcd( f (X), g(X)) es el ( unico)
polinomio m onico tal que: (i) k(X) f (X), k(X) g(X); y (ii) si h(X) f (X) y h(X) g(X),
entonces h(X) k(X).
La existencia y tambi en el c alculo explcito del m aximo com un divisor est a garantizado
por el algoritmo euclidiano, una vez que se comprueba la siguiente propiedad de divisibilidad.
MA660: Teora de Galois 13
Lema 1.11. Si f (X) y g(X) son dos polinomios en F[X] con g(X) ,=0, entonces hay un unico
par de polinomios q(X), r(X) tales que
f (X) = q(X)g(X) +r(X), con
_
gr r(X) < gr g(X),
o bien r(X) = 0.
(1.15)
Demostraci on. Escrbase f (X) = a
0
+a
1
X + +a
n
X
n
y g(X) = b
0
+b
1
X + +b
m
X
m
. Si
m n, t omese q(X) := 0, r(X) := f (X).
En cambio, si m n, entonces
f (X)
a
n
b
m
X
nm
g(X) =: f
1
(X)
es un polinomio con gr f
1
(X) < n. Invoquemos inducci on sobre n, para poder suponer que
f
1
(X) = q
1
(X)g(X) +r
1
(X), con gr r(X) < m o bien r(X) = 0. Entonces
f (X) =
_
a
n
b
m
X
nm
+q
1
(X)
_
g(X) +r(X),
y el resultado (1.15) sigue por la inducci on sobre n.
Para la unicidad de q(X) y r(X), obs ervese que si q(X)g(X) +r(X) = q(X)g(X) + r(X),
entonces
_
q(X) q(X)
_
g(X) = r(X) r(X). Si los lados de esta ecuaci on no se anulan,
entonces al lado izquierdo el grado sera m, mientras al lado derecho el grado sera < m, lo
cual es imposible. Por tanto r(X) = r(X) y
_
q(X) q(X)
_
g(X) = 0. Como F[X] es un anillo
entero y g(X) ,= 0, se concluye que q(X) = q(X).
Ejemplo 1.12. Hay que notar que el resultado r
k
(X) de aplicar el algoritmo euclidiano a dos
polinomios f (X), g(X) no es necesario m onico, pero siempre ser a un m aximo com un divisor
de los dos polinomios originales. Por ejemplo, si f (X) = X
12
1 y g(X) = (X
2
X +1)
4
, el
resultado de aplicar el algoritmo usando Mathematica es el siguiente:
r
1
(X) = 2(730X +72X
2
110X
3
+120X
4
90X
5
+45X
6
12X
7
),
r
2
(X) =
1
48
(41134X +288X
2
370X
3
+352X
4
198X
5
+75X
6
),
r
3
(X) =
32
625
(11+14X 23X
2
+70X
3
67X
4
+58X
5
),
r
4
(X) =
625
161472
(107500X +1215X
2
1108X
3
+715X
4
),
r
5
(X) =
861184
319515625
(274+405X 405X
2
+131X
3
),
r
6
(X) =
8626921875
923673664
(1X +X
2
).
Adem as, r
7
(X) = 0, as que r
6
(X) es un m aximo com un divisor de f (X) y g(X). Al reem-
plazar r
6
(X) por el polinomio m onico asociado, se llega al resultado deseado:
mcd
_
X
12
1, (X
2
X +1)
4
_
= X
2
X +1.
MA660: Teora de Galois 14
Un polinomio f (X) F[X] se llama irreducible si no posee factores propios, es decir,
si no es posible expresar f (X) = h(X)k(X) con gr h(X) < gr f (X) y gr k(X) < gr f (X). La
reducibilidad de un polinomio depende del cuerpo F de coecientes. El resultado b asico
en esta materia es la siguiente proposici on (no demostrada): con coecientes complejos,
cualquier polinomio es completamente reducible.
Proposici on 1.13 (Teorema Fundamental del
Algebra). Cada polinomio irreducible en C[X]
es de primer grado. Si f (X) C[X], entonces
f (X) = a
n
(X
1
)(X
2
). . . (X
n
), (1.16)
para algunos
1
, . . . ,
n
C. Los
j
se llaman races del polinomio f (X), o bien de la
ecuaci on f (X) = 0.
Cuando se considera coecientes reales, los polinomios irreducibles en R[X] son de
primer o segundo grado. Por ejemplo, X
2
+1 es irreducible en R[X] pero no en C[X]: de
hecho, X
2
+1 = (X i)(X +i). Si f (X) tiene coecientes reales a
0
, a
1
, . . . , a
n
R, entonces
f (X) es invariante bajo conjugaci on compleja:
a
n
(X
1
)(X
2
). . . (X
n
) = a
n
(X
1
)(X
2
). . . (X
n
).
Entonces, tras una permutaci on adecuada, los
j
o bien son reales o se agrupan en pares
conjugadas: se puede suponer que para alg un r con 0 2r n, vale
2 j
=
2 j1
para j =
1, . . . , r; y
k
R para k 2r. En tal caso,
(X
2 j1
)(X
2 j
) = (X
2 j
)(X
2 j
) = X
2
(2
2 j
)X +[
2 j
[
2
es un polinomio cuadr atico real irreducible.
Ejemplo 1.14. Cada polinomio de cuarto grado en R[X] es reducible. Por ejemplo,
X
4
+1 = (X
4
+2X
2
+1) 2X
2
= (X
2
+
2X +1)(X
2
2X +1).
El caso de la factorizaci on de polinomios con coecientes racionales es mucho m as in-
trincado. Si f (X) = a
0
+a
1
X + +a
n
X
n
Q[X], sea c N el mnimo com un denomi-
nador de a
0
, a
1
, . . . , a
n
. Entonces c f (X) Z[X], con coecientes enteros. Por otro lado, si
d = mcd(ca
0
, ca
1
, . . . , ca
n
), entonces (c,d) f (X) Z[X] es un polinomio primitivo, es decir,
sus coecientes no tienen factor com un.
Lema 1.15. El producto de dos polinomios primitivos en Z[X] es primitivo.
Demostraci on. Si f (X) = a
0
+a
1
X + +a
n
X
n
y g(X) = b
0
+b
1
X + +b
m
X
m
son prim-
itivos en Z[X], sup ongase que hay un n umero primo p que divide cada coeciente c
k
:=
i+j=k
a
i
b
j
de su producto (1.12). Sean a
r
, b
s
los primeros coecientes de f (X), g(X) re-
spectivamente que no son divisibles por p. Entonces
c
r+s
= (a
0
b
r+s
+ +a
r1
b
s+1
) +a
r
b
s
+(a
r+1
b
s1
+ +a
r+s
b
0
),
en donde pa
i
para i = 0, . . . , r 1, pb
j
para j = 0, . . . , s 1 y pc
r+s
. Por tanto, pa
r
b
s
,
y en consecuencia pa
r
o bien pb
s
, contrario a hip otesis. Se concluye que c
0
, c
1
, . . . , c
n+m
no pueden tener factor com un.
MA660: Teora de Galois 15
Proposici on 1.16 (Lema de Gauss). Sea f (X) Z[X] un polinomio con coecientes enteros.
Entonces f (X) se factoriza en Q[X] si y s olo si se factoriza en Z[X].
15
Demostraci on. Se puede suponer que f (X) es primitivo. Sea f (X) = h(X)k(X) una fac-
torizaci on en Q[X] con gr h(X) 1, gr k(X) 1. Al sacar denominadores comunes, hay
a, b, c, d Z tales que h(X) = (a,b)
k(X), donde
h(X) y
k(X) son poli-
nomios primitivos en Z[X]. Ahora se verica
bd f (X) = ac
h(X)
k(X) en Z[X].
El m aximo com un divisor de los coecientes de bd f (X) es bd. Como
h(X)
k(X) es primitivo,
por el lema anterior, el m aximo factor com un al lado derecho es ac. Luego bd = ac, as que
f (X) = (ac,bd)
h(X)
k(X) =
h(X)
,
a
0
, resulta entonces que p divide uno y s olo uno de b
0
y c
0
: digamos
que pb
0
pero p
,
c
0
.
Como p no puede dividir todos los b
j
, porque entonces sera un factor escalar de g(X) y
por ende de f (X), sea b
r
el primer coeciente de g(X) tal que p
,
b
r
. Entonces
a
r
= b
0
c
r
+ +b
r1
c
1
+b
r
c
0
,
en donde p b
j
para j = 0, . . . , r 1 y p a
r
. Por tanto, p b
r
c
0
, lo cual contradice p
,
b
r
y
p
,
c
0
. Se concluye que no hay tal factorizaci on de f (X).
Ejemplo 1.18. Si p N es primo, entonces X
n
p es irreducible en Z[X] para todo n =
1, 2, 3, . . . ; en efecto, este polinomio cumple el criterio de Eisenstein para el mismo n umero
primo p.
15
Este es el inciso 42 en: Carl Friedrich Gau, Disquisitiones Arithmeticae, Leipzig, 1801. Hay una tra-
ducci on al espa nol, editado por Hugo Barrantes, Michael Josephy y
Angel Ruiz (Academia Colombiana de
Ciencias, Santaf e de Bogot a, 1995).
MA660: Teora de Galois 16
Ejemplo 1.19. Si p N es un n umero primo, consid erese el polinomio
h(X) = 1+X +X
2
+X
3
+ +X
p1
. (1.17)
Fjese que h(X) = (X
p
1),(X 1). No puede aplicarse el criterio de Eisenstein en forma
directa a h(X). Pero obs ervese que
g(X) := h(X +1) =
(X +1)
p
1
(X +1) 1
= X
p1
+
_
p
1
_
X
p2
+
_
p
2
_
X
p3
+ +
_
p
p2
_
X +
_
p
p1
_
.
Se sabe que p divide
_
p
k
_
para k = 1, 2, . . . , p1 y que
_
p
p1
_
=
_
p
p1
_
= p. Ahora el criterio
de Eisenstein permite concluir que g(X) es irreducible. Esto conlleva la irreducibilidad de
h(X), porque una factorizaci on h(X) = k(X)l(X) implicara g(X) = k(X +1)l(X +1). Por
lo tanto, el polinomio (1.17) es tambi en irreducible.
1.3 Polinomios sim etricos
Denici on 1.20. Una permutaci on del conjunto 1, 2, . . . , n es una biyecci on de este con-
junto en s mismo. Las permutaciones forman un grupo (no conmutativo) bajo composici on
de funciones. Este grupo se denota S
n
y contiene n! elementos.
Denici on 1.21. Si S
n
, se puede denir un automorsmo
( f (X
1
, . . . , X
n
)) := f (X
(1)
, . . . , X
(n)
). (1.18)
Obs ervese que
(X
j
) := X
( j)
. Su existencia sigue del Corolario 1.7, con S = A[X
1
, . . . , X
n
].
Es evidente que
1.
Un polinomio f = f (X
1
, . . . , X
n
) se llama polinomio sim etrico si
( f ) = f para toda
permutaci on S
n
.
Ejemplo 1.22. Los siguientes polinomios de grado 3 en tres variables son sim etricos:
X
3
1
+X
3
2
+X
3
3
, X
2
1
X
2
+X
2
1
X
3
+X
1
X
2
2
+X
1
X
2
3
+X
2
2
X
3
+X
2
X
2
3
, X
1
X
2
X
3
.
Por otro lado, X
2
1
X
2
+X
2
2
X
3
+X
2
3
X
1
no es sim etrico.
Denici on 1.23. Para cada n jo, y para cada k =1, 2, . . . , n, se dene el polinomio sim etrico
elemental s
k
de grado k en n variables por
s
k
(X
1
, . . . , X
n
) :=
J1,2,...,n
[J[=k
_
jJ
X
j
_
.
MA660: Teora de Galois 17
Para n = 3, los polinomios sim etricos elementales son:
s
1
:= X
1
+X
2
+X
3
, s
2
:= X
1
X
2
+X
1
X
3
+X
2
X
3
, s
3
:= X
1
X
2
X
3
.
El polinomio s
k
(X
1
, . . . , X
n
) es entonces la suma de todos los posibles productos de k de las
indeterminadas, sin repetici on.
Si Z es otra indeterminada, en el anillo Z[X
1
, . . . , X
n
, Z] se verica
(Z X
1
)(Z X
2
). . . (Z X
n
) = Z
n
s
1
Z
n1
+s
2
Z
n2
+ +(1)
n
s
n
, (1.19)
la cual sirve como denici on alternativa de los s
k
= s
k
(X
1
, . . . , X
n
).
Proposici on 1.24. Si p(X) =a
0
+a
1
X +. . . +a
n1
X
n1
+X
n
F[X] es un polinomio m onico
con races
1
, . . . ,
n
F, entonces sus coecientes cumplen
a
nk
= (1)
k
s
k
(
1
, . . . ,
n
). (1.20)
Demostraci on. Hay un homomorsmo est andar : ZF[X] determinado por (1) :=1
F
F[X]. Por el Corolario 1.7, este se extiende a un homomorsmo : Z[X
1
, . . . , X
n
, Z] F[X],
de manera unica, al poner (X
j
) :=
j
para cada j y (Z) := X. Al aplicar a ambos lados
de la ecuaci on (1.19), se obtiene
p(X) = X
n
s
1
(
1
, . . . ,
n
)X
n1
+s
2
(
1
, . . . ,
n
)X
n2
+ +(1)
n
s
n
(
1
, . . . ,
n
), (1.21)
de donde las identidades (1.20) son evidentes.
En particular, en la factorizaci on X
3
+aX
2
+bX +c = (X
1
)(X
2
)(X
3
) se
obtiene
a =
1
+
2
+
3
, b =
1
2
+
1
3
+
2
3
, c =
1
3
.
Cualquier polinomio sim etrico puede expresarse en funci on de los polinomios sim etricos
elementales. Por ejemplo,
X
2
1
+ +X
2
n
= (X
1
+ +X
n
)
2
2(X
1
X
2
+ +X
n1
X
n
) = s
2
1
2s
2
.
Para n = 3, otro ejemplo es
X
3
1
+X
3
2
+X
3
3
= (X
1
+X
2
+X
3
)
3
3(X
1
+X
2
+X
3
)(X
1
X
2
+X
1
X
3
+X
2
X
3
) +3X
1
X
2
X
3
= s
3
1
3s
1
s
2
+3s
3
.
En F[X
1
, . . . , X
n
], el producto s
k
1
1
s
k
2
2
. . . s
k
n
n
es una suma sim etrica de monomios cuyo primer
t ermino es X
k
1
+k
2
++k
n
1
X
k
2
++k
n
2
. . . X
k
n1
+k
n
n1
X
k
n
n
. Su grado, como elemento de F[X
1
, . . . , X
n
],
es k
1
+2k
2
+ +nk
n
: esta cantidad puede llamarse el peso del monomio s
k
1
1
s
k
2
2
. . . s
k
n
n
.
Los polinomios sim etricos generan una sub algebra de F[X
1
, . . . , X
n
]. El siguiente resul-
tado dice que los polinomios sim etricos elementales generan esta sub algebra.
16
16
Un algebra sobre un cuerpo F es un anillo que es a su vez un espacio vectorial sobre F.
MA660: Teora de Galois 18
Proposici on 1.25. Si f (X
1
, . . . , X
n
) es un polinomio sim etrico en F[X
1
, . . . , X
n
] de grado r,
entonces hay un unico polinomio p de n variables, de peso r, tal que f (X
1
, . . . , X
n
) =
p(s
1
, . . . , s
n
).
Demostraci on. Si se pone X
n
= 0 en la relaci on (1.19), se obtiene
(Z X
1
). . . (Z X
n1
)Z = Z
n
s
1
Z
n1
+ +(1)
n
s
n1
Z,
donde los s
k
(X
1
, . . . , X
n1
) = s
k
(X
1
, . . . , X
n1
, 0) son los polinomios sim etricos elementales
en (n1) variables.
Ahora se puede hacer una doble inducci on sobre n (el caso n = 1 es trivial) y sobre el
grado r (el caso r = 0 es trivial). Sup ongase, entonces, que el enunciado sea v alido para
polinomios de menos de n variables, y para polinomios de n variables de grado < r. Luego,
hay un polinomio g de n1 variables, de peso r, tal que
f (X
1
, . . . , X
n1
, 0) = g( s
1
, . . . , s
n1
).
En ese caso, el polinomio
f
1
(X
1
, . . . , X
n
) := f (X
1
, . . . , X
n
) g(s
1
, . . . , s
n1
) F[X
1
, . . . , X
n
]
tiene grado r, es sim etrico en X
1
, . . . , X
n
y satisface f
1
(X
1
, . . . , X
n1
, 0) = 0. Por tanto, este
polinomio es divisible por X
n
. Por su simetra, tambi en es divisible por X
1
, . . . , X
n1
, y en
consecuencia es divisible por s
n
= X
1
. . . X
n
. Resulta, entonces, que
f
1
(X
1
, . . . , X
n
) = s
n
h(X
1
, . . . , X
n
)
para alg un polinomio h con gr h(X
1
, . . . , X
n
) r n. la hip otesis inductiva asegura que hay
un polinomio g
1
de n variables con h(X
1
, . . . , X
n
) = g
1
(s
1
, . . . , s
n
). Entonces
f (X
1
, . . . , X
n
) = g(s
1
, . . . , s
n1
) +s
n
g
1
(s
1
, . . . , s
n
),
en donde cada monomio al lado derecho tiene peso r.
Para la unicidad, basta mostrar que no puede haber un polinomio q de grado 1 tal que
q(s
1
, . . . , s
n
) = 0. En el caso contrario, t omese q del menor grado posible. Al desarrollar q
con respecto a la variable X
n
, se obtiene
q(X
1
, . . . , X
n
) = q
0
(X
1
, . . . , X
n1
) +q
1
(X
1
, . . . , X
n1
)X
n
+ +q
k
(X
1
, . . . , X
n1
)X
k
n
,
en donde q
0
(X
1
, . . . , X
n1
) ,= 0. (Porque si no, sera q(X
1
, . . . , X
n
) = X
n
k(X
1
, . . . , X
n
) y por
ende s
n
k(s
1
, . . . , s
n
) = 0, lo cual implicara k(s
1
, . . . , s
n
) = 0 con gr k < gr q.) Entonces
q
0
(s
1
, . . . , s
n1
) + +q
k
(s
1
, . . . , s
n1
)s
k
n
= 0,
y la sustituci on X
n
0, que conlleva s
n
0, produce la relaci on q
0
( s
1
, . . . , s
n1
) = 0. Se
ve que este es una relaci on no trivial entre los polinomios sim etricos elementales en (n1)
variables. La ausencia de tales relaciones sigue por inducci on sobre n.
Al no haber una relaci on polinomial no trivial entre s
1
, . . . , s
n
, se dice que estos son alge-
braicamente independientes. La conclusi on es que la sub algebra de polinomios sim etricos en
F[X
1
, . . . , X
n
] es tambi en un algebra polinomial: se identica con F[s
1
, . . . , s
n
].
MA660: Teora de Galois 19
Corolario 1.26. Si F C, sean
1
,
2
, . . . ,
n
C las races del polinomio f (X) F[X]. Si
h es cualquier polinomio sim etrico de n variables, entonces h(
1
, . . . ,
n
) F.
Demostraci on. Por la Proposici on 1.25, basta tomar h =s
k
, uno de los polinomios sim etricos
elementales. Si f (X) = a
0
+a
1
X +. . . +a
n
X
n
, la Proposici on 1.24 dice que h(
1
, . . . ,
n
) =
(1)
k
a
nk
,a
n
F.
A veces es importante saber si dos polinomios tienen una raz com un, antes de calcular las
races explcitamente. Hay una cantidad escalar que depende solamente de los coecientes
de los dos polinomios y que detecta la presencia de una raz com un.
Denici on 1.27. Sean f (X) = a
0
+a
1
X + +a
n
X
n
, g(X) = b
0
+b
1
X + +b
m
X
m
dos
polinomios en F[X], donde F C. Sean
f (X) = a
n
(X
1
). . . (X
n
), g(X) = b
m
(X
1
). . . (X
m
)
sus factorizaciones en C[X]. El resultante de estos dos polinomios es
Res( f , g) := a
m
n
b
n
m
n
i=1
m
j=1
(
i
j
). (1.22)
Si f (X) = 0 o g(X) = 0, se dene Res( f , g) := 0.
Obs ervese que Res(g, f ) = (1)
mn
Res( f , g). Adem as, es claro que
Res( f , g) := a
m
n
n
i=1
g(
i
) = (1)
mn
b
n
m
m
j=1
f (
j
). (1.23)
Para el caso de polinomios constantes (n = 0 o m = 0), estas f ormulas son consistentes can
Res(a
0
, g) := a
m
0
, Res( f , b
0
) := b
n
0
.
Lema 1.28. El resultante se anula, Res( f , g) = 0, si y s olo si f (X) y g(X) tienen una raz
com un (en C), si y s olo si el m aximo com un divisor de f (X) y g(X) tiene grado al menos 1.
Demostraci on. Est a claro que la cantidad (1.22) es cero si y s olo si una de las
i
coincide
con una de las
j
. Por otra parte, si h(X) := mcd( f (X), g(X)) en F[X] es de grado mayor
que cero, hay alg un C con h() = 0 y por ende f () = 0 y g() = 0: este es una
raz com un de f (X) y g(X). En cambio, si f () = g() = 0 para alg un C, la relaci on
h(X) = a(X) f (X) +b(X)g(X) muestra que h() = 0 tambi en, as que (X ) es un factor
de h(X) en C[X]: se concluye que gr h(X) 1.
Lema 1.29. Si f (X) = q(X)g(X) +r(X) en f [X], en donde k = gr r(X) < gr g(X) o bien
r(X) = 0, entonces
Res( f , g) = (1)
mn
b
nk
m
Res(g, r). (1.24)
En consecuencia, se puede calcular Res( f , g) con el algoritmo euclidiano.
MA660: Teora de Galois 20
Demostraci on. Al aplicar las dos f ormulas en (1.23), se ve que
Res( f , g) = Res(qg+r, g) = (1)
mn
b
n
m
m
j=1
q(
j
)g(
j
) +r(
j
)
= (1)
mn
b
n
m
m
j=1
r(
j
) = (1)
mn
b
nk
m
b
k
m
m
j=1
r(
j
)
= (1)
mn
b
nk
m
Res(g, r).
Ejemplo 1.30. Los polinomios 3X
5
+X +2, 2X
3
1 no tienen raz com un, porque
Res(2+X +3X
5
, 1+2X
3
) = (1)
15
2
52
Res(1+2X
3
, 2+X +
3
2
X
2
)
=8(1)
6
(
3
2
)
31
Res(2+X +
3
2
X
2
,
7
9
16
9
X)
=18(1)
2
(
16
9
)
20
Res(
7
9
16
9
X,
1395
512
)
=
512
9
(
1395
512
)
1
=155.
Hay una f ormula para el resultante
17
en t erminos de los coecientes de los polinomios:
Res( f , g) =
a
n
a
n1
. . . a
0
a
n
a
n1
. . . a
0
.
.
.
.
.
.
.
.
.
.
.
.
a
n
a
n1
. . . a
0
b
m
b
m1
. . . b
0
b
m
b
m1
. . . b
0
.
.
.
.
.
.
.
.
.
.
.
.
b
m
b
m1
. . . b
0
(1.25)
En este determinante, las primeras m las contienen los coecientes de f (X), las ultimas n
las contienen los coecientes de g(X), y hay m+n columnas; las entradas no indicadas son
ceros. Por ejemplo,
Res(3X
5
+X +2, 2X
3
1) =
3 0 0 0 1 2 0 0
0 3 0 0 0 1 2 0
0 0 3 0 0 0 1 2
2 0 0 1 0 0 0 0
0 2 0 0 1 0 0 0
0 0 2 0 0 1 0 0
0 0 0 2 0 0 1 0
0 0 0 0 2 0 0 1
=155.
Para averiguar si un polinomio tenga una raz doble, se toma el resultante de ese polinomio
con su derivada.
17
Para una demostraci on de la igualdad de esta f ormula con (1.22), v ease, por ejemplo: A. G. Kurosh, Curso
de
Algebra Superior, Mir, Mosc u, 1977; art. 54.
MA660: Teora de Galois 21
Denici on 1.31. Si f (X) = a
0
+a
1
X + +a
n
X
n
es un polinomio en F[X], su derivada es
el polinomio
f
/
(X) := a
1
+2a
2
X +3a
3
X
2
+ +na
n
X
n1
.
Para el caso f (X) = a
0
, se dene f
/
(X) := 0. Es f acil comprobar que la correspondencia
f (X) f
/
(X) es una derivaci on del algebra F[X], es decir, una aplicaci on lineal que cumple
la regla de Leibniz: la derivada de f (X)g(X) es f
/
(X)g(X) + f (X)g
/
(X).
El discriminante de f (X) es el escalar
D( f (X)) :=
(1)
n(n1),2
a
n
Res( f , f
/
) F. (1.26)
Lema 1.32. Sea f (X) F[X], con F C. El discriminante D( f (X)) se anula si y s olo si
f (X) tiene una raz doble.
Demostraci on. Sea f (X) = a
n
(X
1
). . . (X
n
) en C[X]. La f ormula (1.23) muestra la
identidad Res( f , f
/
) = a
n1
n
n
i=1
f
/
(
i
).
La regla de Leibniz muestra que
f
/
(X) = a
n
n
i=1
(X
1
). . . (X
i1
)(X
i+1
). . . (X
n
),
as que
f
/
(
i
) = a
n
(
i
1
). . . (
i
i1
)(
i
i+1
). . . (
i
n
) = a
n
j,=i
(
i
j
).
Por tanto, Res( f , f
/
) = a
2n1
n
i,=j
(
i
j
) vale 0 si y s olo si dos de los
i
son iguales.
La demostraci on del lema pone en evidencia la f ormula
D( f (X)) = (1)
n(n1),2
a
2n2
n
i,=j
(
i
j
).
El signo se puede suprimir al cambiar el t ermino (
r
s
) a (
s
r
) toda vez que r s;
de esta forma, se obtiene
D( f (X)) = a
2n2
n
1i<jn
(
i
j
)
2
. (1.27)
Cualquier permutaci on de los
i
s olo puede cambiar el signo de estos productos. Por tanto,
si D( f (X))
2
es un polinomio sim etrico en las races de f (X).
Ejemplo 1.33. El discriminante del polinomio aX
2
+bX +c es
D(aX
2
+bX +c) =
1
a
Res(aX
2
+bX +c, 2aX +b)
=
1
a
(2a)
2
Res
_
2aX +b, c
b
2
4a
_
=4a
_
c
b
2
4a
_
= b
2
4ac.
MA660: Teora de Galois 22
De igual manera, el discriminante del polinomio X
3
+ pX +q es
D(X
3
+ pX +q) =Res(X
3
+ pX +q, 3X
2
+ p) =3
2
Res(3X
2
+ p,
2
3
pX +q)
=9
_
2p
3
_
2
Res
_
2p
3
X +q, p+
27q
2
4p
2
_
=4p
2
_
p+
27q
2
4p
2
_
=4p
3
27q
2
.
1.4 Ejercicios sobre polinomios
Ejercicio 1.1. Resolver la ecuaci on X
3
6X +9 = 0 por el m etodo de Cardano.
Ejercicio 1.2. Resolver la ecuaci on X
3
15X
2
33X +847 = 0 por el m etodo de Cardano;
las races son n umeros enteros.
Ejercicio 1.3. Encontrar, por inspecci on, tres races enteros de la ecuaci on
X
3
7X +6 = 0.
En seguida, explicar en detalle c omo obtener estas races enteras por el m etodo de Cardano.
Ejercicio 1.4. Resolver, por el m etodo de Ferrari, la ecuaci on
X
4
+X
2
+4X 3 = 0.
[[ Indicaci on: Tratar de encontrar una raz de la ecuaci on c ubica auxiliar por inspecci on. ]]
Ejercicio 1.5. Hallar el m aximo com un divisor h(X) de los polinomios
f (X) = X
4
+3X
3
X
2
4X 3, g(X) = 3X
3
+10X
2
+2X 3.
En seguida, encontrar a(X), b(X) en Q[X] tales que a(X) f (X) +b(X)g(X) = h(X).
Ejercicio 1.6. Sea F un cuerpo cualquiera. Demostrar el teorema del residuo: si F, el
residuo de la divisi on de un polinomio f (X) F[X] por (X ) es igual a f ().
(Una consecuencia inmediata es el teorema del factor: f (X) tiene (X ) como factor
de primer grado si y s olo si f () = 0.)
Siguen v alidos estos teoremas si reemplazamos F por Z?
Ejercicio 1.7. Dos polinomios f (X) y g(X) en F[X] se llaman asociados si hay un escalar
no cero c F tal que f (X) = cg(X). (Debe de ser evidente que esta es una relaci on de
equivalencia entre polinomios.) Explicar c omo se podra modicar el algoritmo euclidiano
para polinomios en Z[X], de manera que todos los cocientes y residuos intermedios q
j
(X) y
r
j
(X) tengan coecientes en Z. Con esta modicaci on, hallar mcd(X
12
1, (X
2
X +1)
4
)
mediante un c alculo ejecutado en Z[X].
MA660: Teora de Galois 23
Ejercicio 1.8. Sean f (X), g(X) dos polinomios en F[X] y sea h(X) = mcd( f (X), g(X)).
Mostrar, con todo detalle, que existen polinomios a(X), b(X) F[X] tales que
a(X) f (X) +b(X)g(X) = h(X).
[[ Indicaci on: Adaptar la demostraci on del resultado an alogo en Z, con base en la propiedad
de divisibilidad con residuo. ]]
Ejercicio 1.9. Sea F un cuerpo. Se sabe que F[X] es un anillo principal, es decir, un anillo
entero en donde cada ideal es generado por un s olo elemento. Si A es un anillo conmutativo y
c
1
, . . . , c
n
A, se denota por (c
1
, . . . , c
n
) :=a
1
c
1
+a
2
c
2
+ +a
n
c
n
: a
1
, . . . , a
n
A el ideal
que estos elementos generan. Mostrar que ( f (X), g(X)) = (h(X)) como ideales de F[X] si y
s olo si h(X) es un asociado del m aximo com un divisor mcd( f (X), g(X)).
Ejercicio 1.10 (Lema de Euclides). Dos polinomios f (X) y g(X) en F[X] se llaman relati-
vamente primos si mcd( f (X), g(X)) = 1. En tal caso, mostrar que si k(X) F[X] y si f (X)
divide g(X)k(X), entonces f (X) divide k(X).
Ejercicio 1.11. El polinomio 2X
4
+21X
3
6X
2
+9X 3 es irreducible en Z[X]. Vericar la
irreducibilidad con el criterio de Eisenstein.
Ejercicio 1.12. El Lema de Gauss muestra que los factores de un polinomio primitivo en
Z[X] quedan tambi en en Z[X]. Para el polinomio X
4
+X +1, mostrar que las posibles factor-
izaciones
X
4
+X +1 = (X 1)(X
3
+ax
2
+bX 1) = (X
2
+cX 1)(x
2
+dX 1)
no pueden realizarse con a, b, c, d Z, as que X
4
+X +1 es irreducible en Z[X].
Del mismo modo, comprobar que X
5
+5X
2
+4X +7 es irreducible en Z[X].
Ejercicio 1.13. Se sabe que el polinomio X
4
+X
3
+X
2
+X +1 es irreducible en Q[X], pero
reducible en R[X]. Encontrar su factorizaci on en R[X].
[[ Indicaci on: Recordar la f ormula de de Moivre: (cos +i sen)
n
= cosn +i senn. ]]
Ejercicio 1.14. Si f (X) = a
0
+a
1
X + +a
n
X
n
Z[X] tiene una raz racional = r,s Q,
donde r, s Z con s ,= 0 y mcd(r, s) = 1, comprobar que r a
0
y s a
n
.
Usar este criterio para factorizar 2X
3
8X
2
9X +5 en Z[X].
MA660: Teora de Galois 24
2 Extensiones de Cuerpos
2.1 Cuerpos y subcuerpos
Denici on 2.1. Sean F, K dos cuerpos tales que F K como subanillo. Entonces se dice
que F es un subcuerpo de K y que K es una extensi on de F. Se escribe K[ F para indicar que
K es una extensi on de F.
1
En particular, K es un espacio vectorial sobre F. De hecho, si a F, entonces la corres-
pondencia b ab entre elementos de K es una multiplicaci on escalar por ese elemento
de F. La dimensi on de K como espacio vectorial sobre F se denota [K: F] y se llama el
grado de la extensi on.
Ejemplo 2.2. El grado de una extensi on puede ser nita o innita; si [K: F] es nita, se dice
que K es una extensi on nita de F.
1. La extensi on C[ R es nita, con [C: R] = 2. En efecto, como cada elemento de C es
de la forma a+bi con a, b R, es evidente que 1, i es una base de C como espacio
vectorial sobre R.
2. Las extensiones R[ Q y C[ Q son innitas. De hecho, como Q es enumerable pero R
no lo es, cualquier base de R como espacio vectorial sobre Q es no enumerable: por
lo tanto, no se puede exhibir una sola de esas bases de Hamel, aunque se sabe que
existen.
2
3. Si F es un cuerpo cualquiera, sea F(X) el cuerpo de funciones racionales en una varia-
ble. Est a claro que [F(X): F] =.
4. Sea Q(
2) := a +b
2)
1
= (ab
2),(a
2
2b
2
)
queda en Q(
2 es una base de Q(
2) sobre Q.
Por tanto, [Q(
2): Q] = 2.
Proposici on 2.3. Si F K L es una torre de dos extensiones, entonces
[L: F] = [L: K] [K: F]. (2.1)
Demostraci on. Sean y
1
, . . . , y
s
L linealmente independientes sobre K; y sean x
1
, . . . , x
r
K
linealmente independientes sobre F. Entonces los elementos x
i
y
j
: i =1, . . . , r; j =1, . . . , s
de L son linealmente independientes sobre F. En efecto, si hay coecientes c
i j
F con
i, j
c
i j
x
i
y
j
= 0, entonces
s
j=1
_
r
i=1
c
i j
x
i
_
y
j
= 0 en L,
1
En la mayora de los textos, se usa K,F en vez de K[ F para indicar una extensi on; pero esta notaci on
no es muy compatible con la designaci on de cocientes (de cuerpos, anillos o grupos). Aqu reservamos la raya
vertical para extensiones.
2
La existencia de una base en cualquier espacio vectorial fue se nalada por Georg Hamel en 1905, como una
de las primeras consecuencias de la axioma de elecci on formulado por Ernst Zermelo en 1904.
MA660: Teora de Galois 25
lo cual implica que
r
i=1
c
i j
x
i
= 0 en K para cada j = 1, . . . , s; lo cual a su vez implica
que c
i j
= 0 en F para cada i, j. Se concluye que [L: F] rs. En consecuencia, se ve que
[L: F] [L: K] [K: F].
Si [L: K] = o [K: F] =, entonces [L: F] = y la relaci on (2.1) vale como igualdad
entre dos innitudes.
Si L[ K y K[ F son extensiones nitas, entonces puede tomarse r = [K: F] y s = [L: K], en
cuyo caso x
1
, . . . , x
r
es una base para K sobre F y y
1
, . . . , y
s
es una base para L sobre K.
Si z L, entonces z =
s
j=1
b
j
y
j
para algunos b
j
K y adem as b
j
=
r
i=1
a
i j
x
i
para algunos
a
i j
F. Por tanto, z =
i, j
a
i j
x
i
y
j
. La conclusi on es que x
i
y
j
: i = 1, . . . , r; j = 1, . . . , s
genera L como espacio vectorial sobre F; por ende, este conjunto es una base de L sobre F.
Luego [L: F] = rs = [L: K] [K: F].
Notaci on. Sea K [ F una extensi on de cuerpos y sean
1
, . . . ,
n
K. El subanillo de K
generado por F
1
, . . . ,
n
se llama F[
1
, . . . ,
n
].
3
Este subanillo es la imagen del
homomorsmo
1
,...,
n
: F[X
1
, . . . , X
n
] K que extiende la inclusi on F K y obedece
1
,...,
n
(X
j
) =
j
para j = 1, . . . , n. Informalmente, F[
1
, . . . ,
n
] consta de polinomios en
1
, . . . ,
n
con coecientes en F.
El subcuerpo de K generado por F
1
, . . . ,
n
se denota por F(
1
, . . . ,
n
). Es evi-
dente que F(
1
, . . . ,
n
) =a,b : a, b F[
1
, . . . ,
n
], b ,= 0.
Si n = 1, se dice que
F() :=
_
f ()
g()
: f (X), g(X) F[X], g() ,= 0
_
(2.2)
es una extensi on simple de F.
Denici on 2.4. Sea K[ F una extensi on de cuerpos y sea K. Se dice que es un elemento
trascendente sobre F si f () ,= 0 para todo f (X) F[X]. En este caso, el homomorsmo
(a) = a para a F y
( f (X),g(X)) := f (),g().
Denici on 2.5. Sea K[ F una extensi on de cuerpos y sea K. Se dice que es un elemento
algebraico sobre F si existe un polinomio no constante f (X) F[X] tal que f () = 0. En
este caso,
ker
= f (X) F[X] : f () = 0
es un ideal de F[X]. Como todo ideal de F[X] es principal, hay un polinomio m onico p(X)
tal que ker
, aunque
ninguna de estos dos polinomios es divisible por p(X). Este polinomio m onico irreducible
p(X) se llama el polinomio mnimo
4
del elemento algebraico .
3
Este es, por denici on, la intersecci on de todos los subanillos de K que incluyen F
1
, . . . ,
n
: su
existencia es autom atica.
4
La unicidad de p(X) se verica f acilmente.
MA660: Teora de Galois 26
Lema 2.6. Sea K[ F una extensi on de cuerpos y sea K algebraico sobre F con polinomio
mnimo p(X). Sea K cualquier otro raz de p(X). Entonces es algebraico sobre F y
su polinomio mnimo es p(X) tambi en.
Demostraci on. Como p() = 0 por hip otesis, es algebraico sobre F. Sea q(X) el poli-
nomio mnimo de , el cual es m onico e irreducible. La igualdad p() = 0 implica que
q(X) p(X); pero p(X) es irreducible, as que q(X) = c p(X) para alg un c F, c ,= 0. Ahora,
tanto p(X) como q(X) es m onico, por ende c = 1 y q(X) = p(X).
Lema 2.7. Si K[ F es una extensi on de cuerpos y si K es un elemento algebraico sobre F,
entonces F() = F[].
Demostraci on. Sea p(X) el polinomio mnimo de en F[X]. Si h(X) F[X] es un polinomio
con h() ,= 0, entonces p(X) no divide h(X). Como p(X) es irreducible, se concluye que
mcd(p(X), h(X)) = 1. El resultado del Corolario 1.10 es v alido tanto en Z como en el anillo
de polinomios F[X] (se lo demuestra por el mismo algoritmo euclidiano en ambos casos) y
de ah pueden encontrarse dos polinomios a(X), b(X) tales que
a(X) p(X) +b(X)h(X) = 1. (2.3)
Al evaluar estos polinomios
5
en , se obtiene b()h() =1 en F[X]. Luego se puede escribir
g(),h() = g()b() F[] para todo g() F[].
Lema 2.8. Si K es un elemento algebraico sobre el subcuerpo F de K, entonces la
extensi on F() [ F es nita.
Demostraci on. Sea n el grado del polinomio mnimo p(X) de . Si f (X) F[X], hay poli-
nomios q(X), r(X) en F[X] tales que f (X) = q(X) p(X) +r(X), con gr r(X) < n o bien
r(X) = 0. Al evaluar estos polinomios en , se obtiene
f () = q() p() +r() = r(),
y en consecuencia,
F() = F[] =0r() K : gr r(X) < n.
Entonces, 1, ,
2
, . . . ,
n1
generan F() como espacio vectorial sobre F. Estos elemen-
tos de K tambi en son linealmente independientes sobre F, porque si no, una combinaci on
lineal de entre ellos producira un polinomio h(X) de grado < n tal que h() = 0, contrario a
la minimalidad de p(X). Luego 1, ,
2
, . . . ,
n1
es una base de F() sobre F, de donde
[F(): F] = n.
En vista de este resultado, se dice que un elemento algebraico es de grado n sobre F
si n es el grado de su polinomio mnimo p(X), que coincide con el grado [F(): F] de la
extensi on F() [ F.
5
Dicha evaluaci on consiste en la aplicaci on del homomorsmo
: F[X] F[].
MA660: Teora de Galois 27
Denici on 2.9. Una extensi on de cuerpos K[ F es una extensi on algebraica si cada elemento
de K es algebraico sobre F.
Ejemplo 2.10. La extensi on C[ Res algebraica, porque cada elemento a+bi Ccon a, b R
es una raz del polinomio X
2
2aX +a
2
+b
2
. Este es su polinomio mnimo si b ,= 0.
Lema 2.11. Cada extensi on nita K[ F es una extensi on algebraica.
Demostraci on. Sea n = [K: F]. Si K F, entonces el conjunto 1, ,
2
, . . . ,
n
no es
linealmente independiente sobre F: si sus elementos son distintos, hay (n+1) de ellos; y si
no son distintos, hay una relaci on lineal
k
1 = 0 para alg un k 2, . . . , n. Luego, hay un
polinomio no constante f (X) F[X] con gr f (X) = n tal que f () = 0. Esto dice que es
algebraica sobre F, de grado n.
Ejemplo 2.12. No toda extensi on algebraica es una extensi on nita. Por el teorema funda-
mental del algebra, cada polinomio en Q[X] tiene todos sus races en C. Defnase Q como
la uni on de todas las races en C de todos los polinomios en Q[X]. Resulta que Q es un
cuerpo (por qu e?) y que hay elementos de C que no pertenecen a Q, los llamados n umeros
trascendentes.
6
Por construcci on, Q es una extensi on algebraica de Q. Pero se sabe (v ease
el Ejemplo 1.19) que hay polinomios irreducibles en Q[X] de cualquier grado primo p, cuyas
races son n umeros algebraicos de grado p sobre Q. Por tanto, no puede haber cota nita para
el grado [Q: Q].
Lema 2.13. Si K [ F es una extensi on de cuerpos y si , K son algebraicos sobre F,
entonces , y , (si ,= 0) son algebraicos sobre F.
Demostraci on. Sea E := F(), de modo que F(, ) = E(). Sean p(X), q(X) F[X] los
respectivos polinomios mnimos de y sobre F. Escrbase n = [F(): F] = gr p(X),
m = [F(): F] = gr q(X). Ahora q(X) E[X] porque F E, con q() = 0 en K: eso dice
que es algebraico sobre E y que [E(): E] m. (Obs ervese que q(X), aunque irreducible
en F[X], podra ser reducible en E[X], en cuyo caso el polinomio mnimo de sobre E sera
un factor propio de q(X), de grado < m.) Entonces
[F(, ): F] = [F(, ): F()] [F(): F] = [E(): E] [F(): F] mn.
Por lo tanto F(, ) es una extensi on nita de F y como tal es una extensi on algebraica, por
el Lema 2.11. En particular, , y , (si ,= 0) son elementos de F(, ) y luego
son algebraicos sobre F.
Llamemos cuerpo intermedio de una extensi on K[ F un cuerpo E tal que F E K.
Corolario 2.14. Si K[ F es una extensi on de cuerpos cualquiera, los elementos de K que son
algebraicos sobre F forman un cuerpo intermedio de esta extensi on.
6
Los n umeros trascendentes existen, porque Qes enumerable mientras C no lo es. Es menos f acil exhibir un
n umero trascendente, aunque ya se sabe que , e son trascendentes. Liouville, en 1844, produjo una familia (no
enumerable) de n umeros trascendentes, entre ellos
k=1
10
k!
= 0.11000100000000000000000100. . . . Para su
construcci on, v ease el Captulo 2 de: John C. Oxtoby, Measure and Category, Springer, New York, 1971.
MA660: Teora de Galois 28
Ejemplo 2.15. Consid erese la extensi on Q(
2,
2),
que cumple [Q(
2, entonces sera
3 = p
2
+2q
2
+2pq
2: como 1,
2,
3) [ Q(
2). Por
tanto, es [Q(
2,
3): Q(
2,
3): Q] = 4.
Ahora
6 =
3 Q(
2,
2,
3,
6 es una base de Q(
2,
3)
como espacio vectorial sobre Q. Si no fuera as, habra a, b, c, d Q, no todos cero, tales que
a+b
2+c
3+d
6 = 0.
Despu es de multiplicar por un denominador com un y dividir por alg un entero, se puede
suponer que a, b, c, d Z y que no tienen factor com un. Ahora a +b
2 = c
3 d
6,
as que a
2
+2b
2
+2ab
2 = 3c
2
+6d
2
+6cd
2 y por ende,
a
2
+2b
2
= 3(c
2
+2d
2
), ab = 3cd.
Al tomar residuos m odulo 3, se obtiene a
2
+2b
2
0 mod 3, ab 0 mod 3. Esto s olo es
posible si a b 0 mod 3, de modo que a = 3m, b = 3n con m, n Z. Pero esto implicara
que c
2
+2d
2
=3(m
2
+2n
2
) y cd =3mn. El mismo proceso lleva a c d 0 mod 3, contrario
a la suposici on de que mcd(a, b, c, d) = 1.
Sea :=
2 +
3 Q(
2,
3). Entonces
2
= 5 +2
6 y luego no hay p, q, r Q,
no todos cero, tales que p
2
+q +r = 0. El polinomio mnimo de sobre Q tiene grado
mayor que 2, as que ese grado debe ser 4. Ahora
4
= (5+2
6)
2
=49+20
6 =10
2
1,
se ve que ese polinomio mnimo es p(X) := X
4
10X
2
+1.
El criterio de Eisenstein no es util para vericar que X
4
10X
2
+1 es irreducible sobre Q.
Pero podemos ensayar una factorizaci on directa. La f ormula cuadr atica muestra que
X
4
10X
2
+1 = 0 = X
2
= 52
6 = (
3)
2
,
de donde se obtiene la factorizaci on completa en Q(
2,
3):
X
4
10X
2
+1 = (X
3)(X
2+
3)(X +
3)(X +
2+
3).
Se concluye que Q(
2,
3) =Q(
2+
3).
2.2 Cuerpos de escisi on
Lema 2.16. Sea p(X) un polinomio irreducible en F[X], y sea J := (p(X)) el ideal principal
de F[X] generado por p(X). Entonces el anillo cociente F[X],J = f (X)+J : f (X) F[X]
es un cuerpo.
MA660: Teora de Galois 29
Demostraci on. Los elementos del anillo cociente son coclases de la forma f (X) +J. Por
divisi on, como en la demostraci on del Lema 2.8, se puede escribir f (X) = q(X) p(X) +r(X),
con gr r(X) < gr p(X) o bien r(X) = 0. Entonces f (X) +J = r(X) +J: cada coclase se
representa por el residuo bajo divisi on por p(X).
Si r(X) ,= 0, entonces mcd(p(X), r(X)) = 1, as que hay polinomios a(X), b(X) F[X]
tales que
a(X) p(X) +b(X)r(X) = 1.
Es claro que b(X) ,= 0, porque q(X) p(X) = 1 es imposible por conteo de grados. Puede
suponerse que gr b(X) < gr p(X), porque de lo contrario habra q
1
(X), b
1
(X) con gr b
1
(X) <
gr p(X) tales que b(X) = q
1
(X) p(X) +b
1
(X); y entonces
(a(X) +q
1
(X)r(X)) p(X) +b
1
(X)r(X) = 1.
Pasando al anillo cociente, se obtiene
(b(X) +J)(r(X) +J) = 1a(X) p(X) +J = 1+J.
Ahora 1 +J es la identidad en el anillo conmutativo F[X],J; el cero de este anillo es la
coclase J. Se concluye que cada coclase no nula r(X) +J tiene un inverso multiplicativo
b(X) +J; en otras palabras, F[X],J es un cuerpo.
Teorema 2.17 (Kronecker). Sea F un cuerpo cualquiera y sea f (X) F[X] un polinomio no
constante. Entonces hay una extensi on E [ F tal que f (X) posee una raz en E.
Demostraci on. Sea p(X) un factor irreducible de f (X), y sea J = (p(X)) el ideal principal
de F[X] generado por p(X). Por el lema anterior, sabemos que L := F[X],J es un cuerpo.
La aplicaci on : F L dado por (a) := a+J es un homomorsmo inyectivo, porque
si a ,= 0 en F, entonces a , J as que a +J ,= J en L. Entonces el ( unico) homomorsmo
: F[X] L que extiende y cumple (X) := X +J es la aplicaci on cociente, denido
como : F[X] F[X],J : h(X) h(X) +J.
Ahora, si p(X) = a
0
+a
1
X + +a
n
X
n
, entonces
p(X +J) = a
0
+a
1
X + +a
n
X
n
+J = p(X) +J = J,
as que X +J es una raz de p(X) en L = F[X],J.
Por la demostraci on del Lema 2.16, se sabe que L =r(X)+J : r(X) =0 o gr r(X) <n.
Sea S un conjunto de la misma cardinalidad que r(X) : 1 gr r(X) < n y defnase E :=
F S (uni on disjunta); entonces la inyecci on : F L puede extenderse a una biyecci on
: E L. La estructura de cuerpo de L se transere a E mediante esta biyecci on:
+ :=
1
(() +()), :=
1
(()()).
Entonces E [ F es una extensi on (nita) de cuerpos. Sea :=
1
(X +J) E. Entonces
(p()) = p(X +J) = J en L implica que p() = 0 en E. Luego E es una raz de p(X)
y tambi en de f (X).
MA660: Teora de Galois 30
Corolario 2.18. Sea F un cuerpo cualquiera y sea f (X) F[X] un polinomio de grado n 1.
Entonces hay una extensi on K [ F tal que f (X) posee n races (no necesariamente distintas)
en K.
Demostraci on. Por inducci on sobre n = gr f (X). No hace falta extender F si n = 1.
Por el teorema anterior, hay una extensi on E [ F y un elemento
1
E tal que f (
1
) = 0
en E. Entonces f (X) = (X
1
) f
1
(X) con f
1
(X) E[X], de grado (n1). Por la hip otesis
inductiva, hay una extensi on K [ E y hay elementos
2
, . . . ,
n
tales que f (
j
) = 0 para j =
2, . . . , n. Luego f
1
(X) =a
n
(X
2
). . . (X
n
) para alg un a
n
,=0 en E. Por tanto, K extiende
F, es a
n
F y vale
f (X) = a
n
(X
1
)(X
2
). . . (X
n
).
Es decir, f (X) posee una factorizaci on completa en K[X].
Denici on 2.19. Sea F un cuerpo cualquiera y sea f (X) F[X] un polinomio de grado n 1.
Un cuerpo K se llama un cuerpo de escisi on para f (X) sobre F si:
(a) K es una extensi on de F y f (X) escinde en K[X], es decir, hay n races
1
, . . . ,
n
K
tales que
f (X) = a
n
(X
1
)(X
2
). . . (X
n
) en K[X]. (2.4)
(b) K = F(
1
, . . . ,
n
); esto es, las races generan la extensi on K[ F.
Denici on 2.20. Un homomorsmo
7
biyectivo : F F
/
entre dos cuerpos se llama un
isomorsmo entre F y F
/
; si hay al menos un isomorsmo entre ellos, se escribe F F
/
y se
dice que F y F
/
son isomorfos. El homomorsmo inverso
1
: F
/
F establece que F
/
F;
y si hay un isomorsmo : F
/
F
//
, entonces : F F
//
es tambi en un isomorsmo.
De esta forma, se ve que el isomorsmo entre cuerpos es una relaci on de equivalencia.
Ejemplo 2.21. Si F es un cuerpo cualquiera y si p(X) F[X] es irreducible, el Teorema 2.17
muestra que hay una extensi on E [ F y un elemento E tales que p() = 0 en E. Si
J = (p(X)), el homomorsmo
(X) = da
lugar a un homomorsmo
(h(X) +J) :=
(h(X)) = h().
Claramente,
(X) := (a
0
) +(a
1
)X + +(a
n
)X
n
F
/
[X]. Sean
K [ F y K
/
[ F
/
dos extensiones que contienen K con p() = 0 y K
/
con p
() = 0.
Entonces hay un ( unico) isomorsmo : F() F
/
() que extiende tal que () = .
Demostraci on. El polinomio p
(X) es irreducible en F
/
[X], porque cualquier factorizaci on
en F
/
[X] es de la forma p
(X) =h
(X)k
: F[X],(p(X)) F() y
: F
/
[X],(p
(X)) F
/
() tales que
: X +(p(X)) y
/
: X +(p
(X)) .
Sean : F[X] F[X],(p(X)) y
/
: F
/
[X] F
/
[X],(p
(X) h
F
/
[X]
F[X],(p(X))
_ _ _
F
/
[X],(p
(X))
y en particular, : X +(p(X)) X +(p
F
/
[X],(p
(X))
F()
_ _ _ _ _ _ _
F
/
()
que es evidentemente :=
/
(X) F
/
[X], entonces
hay un isomorsmo : K K
/
que extiende .
Demostraci on. Por inducci on sobre el grado [K: F]. El caso [K: F] = 1 ocurre cuando
f (X) ya escinde en F, es decir, la factorizaci on (2.4) puede realizarse con
1
, . . . ,
n
F.
Ahora K
/
= F(
1
, . . . ,
n
) donde
1
, . . . ,
n
K son races de f
(X) en K
/
[X]: por tanto,
1
, . . . ,
n
(
1
, . . . , (
n
) y por conteo estos dos juegos de races son iguales. Luego
K
/
= F
/
(
1
, . . . ,
n
) = F
/
, es [K
/
: F
/
] = 1 y se puede tomar := .
MA660: Teora de Galois 32
Sup ongase ahora que la Proposici on vale para extensiones de grado menor que [K: F].
Sea p(X) un factor irreducible de f (X); entonces p
(X) en
F
/
[X]. Sea
1
K F,
1
K
/
F
/
dos elementos tales que p(
1
) = 0 en K y p
(
1
) = 0
en K
/
. Por la Proposici on 2.22 hay un isomorsmo
1
: F(
1
) F
/
(
1
) que extiende , tal
que
1
(
1
) =
1
.
Ahora K = F(
1
, . . . ,
n
) = F(
1
)(
2
, . . . ,
n
) y de igual manera K
/
= F(
1
, . . . ,
n
) =
F(
1
)(
2
, . . . ,
n
), as que K es un cuerpo de escisi on para f (X) en F(
1
)[X] y K
/
es un
cuerpo de escisi on para f
(X) en F(
1
)[X]. Como
[K: F(
1
)] =
[K: F]
[F(
1
): F]
< [K: F],
la hip otesis inductiva produce un isomorsmo : K K
/
que extiende
1
.
Corolario 2.25. Si K y K
/
son dos cuerpos de escisi on para un polinomio f (X) F[X],
entonces hay un isomorsmo : K K
/
que deja jo F.
Obs ervese que en la Proposici on y el Corolario anteriores, el isomorsmo no es unico:
su construcci on depende de la elecci on de una biyecci on entre las races de los polinomios
que se escinden; en el caso del Corolario, este es una permutaci on de las races del poli-
nomio f (X). Para contar las posibilidades, hay que tomar en cuenta la posibilidad de races
m ultiples.
Denici on 2.26. Sea f (X) F[X] un polinomio que posee una factorizaci on completa (2.4)
en K[X], para alguna extensi on K [ F. La multiplicidad de una raz
1
, . . . ,
n
es el
n umero de factores (X
j
) en (2.4) que coinciden con (X ).
En otros t erminos: sean
1
, . . . ,
r
los elementos distintos de entre
1
, . . . ,
n
, as que
(X
1
)(X
2
). . . (X
n
) = (X
1
)
k
1
(X
2
)
k
2
. . . (X
r
)
k
r
con k
1
+ +k
r
= n; en donde k
j
es la multiplicidad de la raz
j
.
Denici on 2.27. Sea F un subcuerpo
8
de Cy sea Calgebraico sobre F. Sea p(X) F[X]
el polinomio mnimo de sobre F. Cualquier raz de p(X) se llama un conjugado de
sobre F.
Ejemplo 2.28. (a) Si a +bi bC con a, b R, b ,= 0, entonces a bi es un conjugado de
a +bi sobre R. En efecto, estos dos n umeros complejos son las dos races del polinomio
X
2
2aX +a
2
+b
2
, que es irreducible en R[X]. De este modo, el conjugado complejo es
un conjugado en el sentido de la Denici on 2.27, asociado con la extensi on C[ R.
(b) Si :=
1
2
(1 +i
3) = e
2i,3
, una raz c ubica de 1, entonces los conjugados de
3
2 sobre Q son
3
2,
3
2,
2
3
2+
2) [ Q no es normal, porque Q(
3
2) R pero el polinomio
mnimo X
3
2 de
3
2)(X
3
2)(X
2
3
2) = (X
3
2)(X
2
+
3
2X +
3
4)
donde el lado derecho es la factorizaci on de X
3
2 en el cuerpo Q(
3
2,
3
4 es una base de Q(
3
2+c
3
(X) = f (X) porque f (X) tiene coecientes en F y los deja jos. Por lo tanto,
cada (
i
) L es una raz de f (X) y en consecuencia (
i
) =
j
para alg un j. Como es
inyectivo, lo que hace es permutar las races de f (X). En particular,
(K) = F((
1
), . . . , (
n
)) = F(
1
, . . . ,
n
) = K.
Proposici on 2.32. Si K es un cuerpo de escisi on de un polinomio en F[X], entonces la ex-
tensi on K[ F es una extensi on normal.
Demostraci on. Sea K = F(
1
, . . . ,
n
) donde
1
, . . . ,
n
son todas las races de f (X) F[X].
Sea g(X) F[X] alg un polinomio irreducible que contenga una raz en K. Hay un cuerpo
de escisi on L para g(X) sobre K; sea
/
L otra raz de g(X). Para garantizar que K [ F es
normal, debemos comprobar que
/
K.
Por la Proposici on 2.22, hay un homomorsmo : F() F(
/
) que deja jo F tal
que () =
/
. Ahora, el cuerpo de escisi on de f (X) sobre F() es F(,
1
, . . . ,
n
) =
F(
1
, . . . ,
n
) = K en vista de que K. Por otra parte, el cuerpo de escisi on de f (X) =
f
(X) sobre F(
/
) es F(
/
,
1
, . . . ,
n
) = K(
/
).
La Proposici on 2.24 ahora garantiza que hay un isomorsmo : K K(
/
) que ex-
tiende ; entre otras cosas, deja jo F. El Lema anterior muestra que (K) = K, as que
K(
/
) = K, lo que dice que
/
K.
2.3 F-morsmos
Denici on 2.33. Sean K[ F y L[ F dos extensiones del mismo cuerpo F. Un F-morsmo de
K en L es un homomorsmo : K L que deja F jo, es decir, (a) = a para todo a F.
La totalidad de F-morsmos de K en L se denota por Hom
F
(K, L).
MA660: Teora de Galois 34
Estos F-morsmos tienen las siguientes propiedades:
1. Cada F-morsmo es inyectivo, porque (1) = 1 ya que 1 F y el ideal ker de K
es necesariamente nulo. Por tanto, es un isomorsmo entre K y L si y s olo si es
sobreyectivo. Si L = K y si (K) = K, se dice que es un F-automorsmo de K.
2. De todos modos, la imagen (K) es un subcuerpo de L que es isomorfo a K.
3. Cada Hom
F
(K, L) es en particular una transformaci on F-lineal entre los espacios
F-vectoriales K y L.
4. Si [K: F] es nito, cada Hom
F
(K, K) es F-lineal e inyectivo y por tanto es tambi en
sobreyectivo, as que es un F-automorsmo de K.
5. Si K = F(
1
, . . . ,
n
), entonces cada Hom
F
(K, L) queda determinado por sus va-
lores (
1
), . . . , (
n
) L.
Lema 2.34. Si F K C y si Hom
F
(K, C), entonces () es un conjugado de
sobre F, para cada K. Inversamente, si , K son conjugados sobre F, entonces hay
un unico F-morsmo : F() C tal que () = .
Demostraci on. Sea p(X) = a
0
+a
1
X + +a
n1
X
n1
+X
n
el polinomio mnimo en F[X]
de K. Entonces
p(()) = a
0
+a
1
() + +a
n1
()
n1
+()
n
= (a
0
+a
1
+ +a
n1
n1
+
n
)
= (p()) = (0) = 0. (2.5)
Luego () es una raz (en C) de p(X), es decir, es un conjugado de sobre F.
Para la parte inversa, dadas dos races , C de un polinomio irreducible p(X) F[X],
el Corolario 2.23 proporciona un F-isomorsmo : F() F(), el cual es tambi en un F-
morsmo de F() en C, que cumple () = . Este Hom
F
(F(), C) es unico porque
queda determinado por el valor ().
Ejemplo 2.35. (a) Si a +bi C con a, b R, sus unicos conjugados sobre R son a +bi
mismo y su conjugado complejo a bi (v ease el Ejemplo 2.28); estos coinciden si y s olo
si b = 0. Entonces s olo hay dos R-automorsmos de C: la aplicaci on identidad id
C
y la
conjugaci on compleja a+bi abi.
(b) Como X
3
2 es irreducible sobre Q[X] y tiene tres races distintas en C, hay exacta-
mente 3 Q-morsmos
0
,
1
,
2
de Q(
3
2) en C. Aqu
0
es la inclusi on Q(
3
2) C y
los otros son dados explcitamente por
1
(a+b
3
2+c
3
4) = a+b
3
2+c
2
3
4, (2.6a)
2
(a+b
3
2+c
3
4) = a+b
2
3
2+c
3
4, (2.6b)
para a, b, c Q; recu erdese que 1,
3
2,
3
2) sobre Q.
MA660: Teora de Galois 35
Proposici on 2.36. Si F K C con [K: F] = n nito y si Hom
F
(K, C), entonces hay
exactamente n homomorsmos : K C que extienden .
Demostraci on. Por inducci on sobre n. En el caso n = 1, es K = F y entonces := es la
unica posibilidad.
Sea n 1 y sup ongase que el teorema es v alido para extensiones de grado menor que n.
T omese KF. Por ser K[ F una extensi on nita, se sabe que es algebraica sobre F y
que F F() K. Sea p(X) F[X] el polinomio mnimo de sobre F, de grado m con
1 < m n.
Sea E := (F), un subcuerpo de C. El isomorsmo de cuerpos : F E determina un
isomorsmo de anillos F[X] E[X] que lleva p(X) en p
(X). Luego p
(X) es irreducible
en E(X), de grado m; como tal, tiene m races distintas en C.
En el caso de que m = n, entonces [F(): F] = n = [K: F], as que K = F(). Para
extender , es necesario y suciente encontrar el elemento () C. Una leve modicaci on
del c alculo (2.5) muestra que
p
(()) = (a
0
) +(a
1
)() + +(a
m1
)()
m1
+()
m
= (a
0
+a
1
+ +a
m1
m1
+
m
)
= (p()) = (0) = 0,
por tanto () es una raz de p
j
es una aplicaci on F-lineal no nula de K en C; su n ucleo
H
i j
:= ker(
i
j
) es un subespacio propio de K.
Por ser F C, tenemos 0, 1 F, de donde ZF e inclusive QF. Entre otras cosas,
esto dice que F tiene innitos elementos. Ahora el Lema 2.38 garantiza que la uni on de los
subespacios H
i j
no es todo K. Por ende, hay un elemento K tal que , ker(
i
j
)
cada vez que i < j en 1, 2, . . . , n. En otras palabras,
i
() ,=
j
() para i < j. Dicho de
modo m as sencillo, los elementos
1
(), . . . ,
n
() C son distintos.
Ahora
1
() = y el Lema 2.34 dice que cada
j
() es un conjugado de . Por lo tanto,
el elemento K tiene n conjugados distintos, as que el grado de su polinomio mnimo es
al menos n. Por otro lado, como [K: F] = n, este grado no puede exceder n, y se concluye
que F F() K con [F(): F] = n. En consecuencia, es F() = K.
2.4 N umeros constructibles
Una de las consecuencias m as llamativas de la teora de extensiones de cuerpos es la imposi-
bilidad de resolver, en forma positiva, los tres problemas m as famosas de la epoca griega
antigua: la duplicaci on del cubo, la trisecci on del angulo y la cuadratura del crculo, con el
uso de la regla y el comp as.
9
Este es el Schubfachsprinzip, formulado por Dirichlet: al meter (n+1) palomas en n palomares, debe haber
al menos un palomar que contenga al menos dos palomas.
MA660: Teora de Galois 37
Los primeros dos problemas fueron parcialmente resueltos, usando otros instrumentos
que exceden el ambito de la regla y el comp as, por diversos sabios, desde Eudoxos hasta
Apolonio, entre 350 y 200 a.C.
10
La cuadratura del crculo (construir un cuadrado que tenga
la misma area que un crculo dado) resisti o a sus esfuerzos. Su imposibilidad fue nalmente
comprobado en 1881, cuando Ferdinand Lindemann demostr o que es trascendente sobre Q.
Los otros dos problemas involucran la construcci on, en el sentido explicado m as adelante,
de ciertos n umeros algebraicos. La duplicaci on del cubo (hallar el lado de un cubo cuyo
volumen es el doble de un cubo dado) pide la construcci on de
3
2, mientras la trisecci on de
un angulo de 60
y sen20
.
Cualquier cuerpo tiene al menos dos elementos, 0 y 1. Consideremos el plano R
2
, identi-
cado con el cuerpo C, junto con las posiciones marcados de 0 y 1. La distancia entre estos
dos puntos proporciona una unidad de medici on que puede compararse con otras distancias
en el plano. La regla es un instrumento que permite trazar la recta que une dos puntos dis-
tintos en el plano. El comp as es un instrumento que permite trazar el crculo cuyo centro es
un punto dado y que pasa por otro punto dado. Las primeras proposiciones del Libro I de
Euclides
11
muestran que, con instrumentos de esta naturaleza, puede trazarse un crculo con
centro dado, cuyo radio es la distancia entre cualquier par de puntos conocidos: es decir, que
se puede asumir que el comp as es rgido, de modo que puede trazarse un crculo con centro
dado y radio dado. Finalmente, se agregan los puntos de intersecci on de las curvas trazadas
con estos instrumentos al cat alogo de puntos ya construidos, partiendo de 0, 1, para as
formar el conjunto de todos los puntos constructibles del plano euclidiano.
0
Figura 2: Construcci on de 2 a partir de 0, 1 con comp as solamente
Algunas construcciones pueden efectuarse con s olo el comp as. Por ejemplo, a partir de 0
y 1, mediante la ubicaci on intermedia de los dos puntos
1
2
(1+
3i) y
1
2
(3+
3i), se puede
encontar 2 como una intersecci on de dos crculos: V ease la Figura 2. Es evidente que al
repetir esta construcci on, se puede ubicar los puntos 3, 4, 5, . . . y tambi en 1, 2, 3, . . . , de
10
Para una descripci on detallada de estas y otras investigaciones en el tercer siglo a.C., v ease: Wilbur R.
Knorr, The Ancient Tradition of Geometric Problems, Dover, New York, 1986.
11
El tratado de Euclides, titulado o (que signica Elementos) se divide en 13 libros sobre temas
anes, desde la geometra de tri angulos (Libro I), pasando por la teora de proporciones (Libro V), la teora de
n umeros (Libro VII), construcciones de irracionales (Libro X), hasta la contrucci on de los cinco poliedros regu-
lares convexos (Libro XIII). Entre las traducciones modernos, se recomienda: Thomas L. Heath, The Thirteen
Books of Euclids Elements, en 3 tomos, Dover, New York, 1956.
MA660: Teora de Galois 38
modo que todo n Z es constructible con comp as solamente.
12
0
1
3i
i
Figura 3: Construcci on de i a partir de 0, 1 con regla y comp as
Una construcci on de i exige cinco crculos y una recta, con la ubicaci on de tres puntos
intermedios
2
=
1
2
(1+
3i), ,
): F] = 2.
Si fuera a =0, entonces y =c,b y se obtiene una ecuaci on cuadr atica para x, susceptible
al mismo an alisis.
Corolario 2.42. Si z C es un n umero constructible en una cadena nita de pasos a partir
de 0 y 1, entonces z es algebraico sobre Q con [Q(z): Q] = 2
m
para alg un m N.
Demostraci on. Cada elemento de Q o bien de Q(i) es constructible en un n umero nito
de pasos. Si z , Q, su construcci on pasa por una torre nita de extensiones
Q= F
0
F
1
F
k
,
con F
k
= Q(z), donde [F
i
: F
i1
] = 1 o 2 para i = 1, 2, . . . , k. Al multiplicar estos grados, se
obtiene [Q(z): Q] = 2
m
para alg un m 0, 1, . . . , k.
Corolario 2.43. Si z C es tal que [Q(z): Q] es divisible por un n umero primo impar,
entonces z no es constructible por regla y comp as.
Corolario 2.44. La duplicaci on del cubo por regla y comp as es imposible.
Demostraci on. Para duplicar el cubo cuyo lado es el segmento [0, 1], hay que obtener un
segmento de la misma longitud que el segmento [0,
3
2 sobre Q es X
3
2, as que [Q(
3
2): Q] = 3. El
Corolario anterior muestra que
3
no es constructible.
Hay que recordar la f ormula para el coseno del angulo triple:
cos3 = cos2 cos sen2 sen
= (2cos
2
1)cos 2sen
2
cos
= 2cos
3
cos 2(1cos
2
)cos
= 4cos
3
3cos.
15
Para una discusi on de su construcci on por otros instrumentos, v ease el libro de Knorr antes citado.
16
Este resultado no ha percolado todava a la cultura popular, que ya ha tomado conciencia de que la
cuadratura del crculo es imposible. Un recuento de las actividades de los trisectores y la psicologa de
sus labores se encuentra en: Underwood Dudley, A Budget of Trisections, Springer, New York, 1987.
MA660: Teora de Galois 41
Ahora cos60
=
1
2
, por lo tanto cos20
_
(X 1)(8X
2
+aX 1) = a8 = 0, a1 =6;
(2X 1)(4X
2
+bX 1) = 2b4 = 0, b2 =6;
(4X 1)(2X
2
+cX 1) = 4c 2 = 0, c 4 =6;
(8X 1)(X
2
+dX 1) = 8d 1 = 0, d 8 =6.
Las ecuaciones a la derecha corresponden a los coecientes de X
2
y X en el producto de
los posibles factores. Se ve que no hay soluci on alguna con a, b, c, d Z. Por tanto, este
polinomio c ubico es irreducible en Z[X]. En consecuencia, [Q(cos20
): Q] = 3, lo cual
conlleva que cos20
no es constructible.
2.5 Ejercicios sobre extensiones de cuerpos
Ejercicio 2.1. Determinar los grados de las extensiones K[ Q para los casos
(a) K =Q(); (b) K =Q(i); (c) K =Q(
3
2);
donde = e
2i,3
es una raz c ubica compleja de 1. En cada caso, exhibir una base para K
como espacio vectorial sobre Q.
Ejercicio 2.2. Determinar el grado [Q(
3, i). Ser a posible encontrar otro cuerpo intermedio, distinto de estos tres?
Ejercicio 2.3. (a) Demostrar que X
n
2 es irreducible en Z[X], para n = 1, 2, 3, . . . . Sea
F
n
:=Q(2
1,n
) para n N0; mostrar que [F
n
: Q] = n.
(b) Si m N0 con mn, mostrar que F
m
F
n
y calcular el grado [F
n
: F
m
].
(c) En cambio, si mcd(m, n) = 1, mostrar que F
mn
=Q(2
1,m
, 2
1,n
).
Ejercicio 2.4. Calcular el grado de extensi on [Q(
2,
3,
5): Q].
Ejercicio 2.5. Factorizar X
6
1 en Z[X]. Usar esta factorizaci on para encontrar el cuerpo
de escisi on de X
6
1 sobre Q como una extensi on simple Q(), para un n umero C
apropiado.
Ejercicio 2.6. Sea p(X) un polinomio irreducible en Q[X] y sea K C el cuerpo de escisi on
para p(X) sobre Q. Mostrar que todas las races de p(X) en K son distintas.
[[ Indicaci on: Qu e pasara si p(X) tuviera una raz doble en K? ]]
Ejercicio 2.7. Encontrar un elemento Q(
3, i) tal que Q(
3, i) = Q(). Calcular el
polinomio mnimo de este elemento sobre Q. Exhibir todos los elementos conjugados de
sobre Q.
MA660: Teora de Galois 42
Ejercicio 2.8. Hallar un cuerpo de escisi on K para (X
2
2)(X
2
+X +1) sobre Qy encontrar
K tal que Q() = K.
Ejercicio 2.9. (a) Si hay un homomorsmo : K L entre dos extensiones K [ Q y L[ Q,
mostrar que (a) = a para todo a Q.
(b) Explicar por qu e los cuerpos Q(
2) y Q(
3) no son isomorfos.
Ejercicio 2.10. Si K [ F es una extensi on cuadr atica es decir, [K: F] = 2 mostrar que
esta extensi on es normal.
Ejercicio 2.11. Si p N es primo y si K es el cuerpo de escisi on de f (X) := X
p
1 sobre Q,
mostrar que [K: Q] = p 1. Adem as, encontrar elementos
1
, . . . ,
p1
C tales que K =
Q(
1
, . . . ,
p1
).
Ejercicio 2.12. (a) Demostrar que un polinomio f (X) Z[X] cuyo discriminante se anula
es decir, D( f (X)) = 0 debe ser reducible.
(b) En el caso f (X) = X
4
4X
3
4X
2
+16X +16, vericar que D( f (X)) = 0.
(c) Concluir que este polinomio o bien tiene un factor de la forma (X a)
2
con a Z, o
bien f (X) = (X
2
+bX +c)
2
con b, c Z.
(d) Decidir entre las dos alternativas en (c), para obtener la factorizaci on completa de
X
4
4X
3
4X
2
+16X +16 en Z[X].
Ejercicio 2.13. (a) Factorizar el polinomio h(X) = 16X
4
+16X
3
4X
2
4X +1 en Z[X].
(b) Vericar la identidad trigonom etrica:
cos5 = 16cos
5
20cos
3
+5cos.
(c) Concluir que h(cos
2
5
) = 0 y obtener el polinomio mnimo de cos
2
5
sobre Q.
(d) Deducir que [Q(cos
2
5
): Q] = 2.
Ejercicio 2.14. (a) Sea
5
:= e
2i,5
= cos
2
5
+i sen
2
5
. Encontrar el polinomio mnimo de
5
sobre Q y concluir que [Q(
5
): Q] = 4.
(b) Mostrar que cos
2
5
Q(
5
). Deducir que [Q(
5
): Q(cos
2
5
)] = 2.
(c) Encontrar el polinomio mnimo de
5
sobre Q(cos
2
5
).
MA660: Teora de Galois 43
3 Grupos de Galois
El tema central de la teora de Galois es la relaci on entre extensiones de cuerpos y ciertos
grupos de automorsmos de cuerpos. A cada extensi on K[ F se puede asociar el grupo de au-
tomorsmos de K que deja jo el subcuerpo F; en cambio, a cada grupo G de automorsmos
de un cuerpo K se puede asociar el subcuerpo de elementos jos de K bajo la acci on de los
automorsmos en G. En este captulo exploramos hasta donde estas aplicaciones denen una
correspondencia recproca y las consecuencias que tiene dicha reciprocidad para la estructura
de los cuerpos.
3.1 La correspondencia de Galois
Denici on 3.1. Sea K [ F una extensi on de cuerpos. La totalidad de F-automorsmos de K
(es decir, los automorsmos : K K tales que (a) = a para todo a F) es un grupo
Gal(K[ F), llamado el grupo de Galois de la extensi on.
La identidad de este grupo es la aplicaci on identidad id: K K y la operaci on del grupo
es la composici on funcional de los automorsmos.
Notaci on. Si G es un grupo nito, [G[ denota el n umero de elementos en G.
Proposici on 3.2. Sea F K C con [K: F] nito. Entonces
Gal(K[ F)
Gal(K[ F)
2) es de
la forma = p+q
3
2+r
3
4 con p, q, r Q. Si es un automorsmo de Q(
3
2), entonces
(p+q
3
2+r
3
4) = p+q(
3
2) +r (
3
2)
2
porque deja jo cada elemento de Q. De este modo, se ve que queda determinado por
(
3
2)
3
= ((
3
2)
3
) = (2) = 2, as que
(
3
2,
3
2,
2
3
2 de este
polinomio, s olo la primera pertenece a Q(
3
2) =
3
2, as que = id: el
unico automorsmo de Q(
3
2) es la identidad.
Ejemplo 3.8. Sea
5
:= e
2i,5
, una raz quinta de 1. Se sabe que [Q(
5
): Q] = 4 porque el
polinomio mnimo de
5
sobre Q es p(X) = X
4
+X
3
+X
2
+X +1. Cada automorsmo
de Q(
5
) deja jo Q y por tanto queda determinado por (
5
). Ahora, (
k
5
)
5
=
5k
5
= 1
k
= 1
para k = 0, 1, 2, 3, 4, as que
X
5
1 = (X 1)(X
5
)(X
2
5
)(X
3
5
)(X
4
5
).
Entonces el polinomio p(X) escinde en Q(
5
):
X
4
+X
3
+X
2
+X +1 =
X
5
1
X 1
= (X
5
)(X
2
5
)(X
3
5
)(X
4
5
).
Como Q(
5
) =Q(
5
,
2
5
,
3
5
,
4
5
) de manera trivial, se ve que Q(
5
) es el cuerpo de escisi on
de p(X) sobre Q y por ende la extensi on Q(
5
) [ Q es normal.
Sea
k
el automorsmo de Q(
5
) determinado por
k
(
5
) :=
k
5
, para k = 1, 2, 3, 4. En-
tonces
1
= id y G =
1
,
2
,
3
,
4
es un grupo de orden 4. De hecho,
2
2
(
5
) =
2
(
2
(
5
)) =
2
(
2
5
) =
4
5
,
3
2
(
5
) =
2
(
4
5
) =
8
5
=
3
5
,
4
2
(
5
) =
2
(
3
5
) =
6
5
=
5
.
Se concluye que
2
2
=
4
,
3
2
=
3
,
4
2
= id. Por lo tanto, G es un grupo cclico, generado
por
2
.
Fjese que
4
5
= e
8i,5
= e
2i,5
=
5
y
3
5
= e
6i,5
= e
4i,5
=
2
5
. Luego
4
coincide
con la conjugaci on compleja sobre Q(
5
).
Un elemento = p +q
5
+r
2
5
+s
3
5
+t
4
5
en Q(
5
) queda en el cuerpo jo Q(
5
)
G
si y s olo si
2
() = . Pero
2
() = p +s
5
+q
2
5
+t
3
5
+r
4
5
y 1,
5
,
2
5
,
3
5
,
4
5
es
una base de Q(
5
) sobre Q, luego
2
() = si y s olo si q = s = t = r, si y s olo si =
p+q(
5
+
2
5
+
3
5
+
4
5
) = pq Q. Por lo tanto, Q(
5
)
G
=Q.
MA660: Teora de Galois 46
Los siguientes dos teoremas forman el coraz on de la teora de Galois. En sus enunciados
se mantiene la condici on de que todos los cuerpos en discusi on son subcuerpos de C. M as
adelante, se ampliar a el ambito de estos teoremas al reemplazar esta hip otesis por la condici on
de separabilidad.
Teorema 3.9 (Artin). Sea K C y sea H un grupo nito de automorsmos de H. Entonces
la extensi on K[ K
H
es normal y Gal(K[ K
H
) = H.
Demostraci on. Sea K y sea n :=[H[. Entonces S :=() : H es un parta nita
de K y su cardinalidad m cumple m n. Sean
1
, . . . ,
m
H unos automorsmos, con
1
= id, tales que
1
(), . . . ,
m
() sean distintos, en cuyo caso S =
1
(), . . . ,
m
(). Si
H, entonces S =
1
(), . . . ,
m
() tambi en, porque
i
() =
j
() =
1
(
i
()) =
1
(
j
()) =
i
() =
j
() = i = j.
Defnase un polinomio q(X) K[X], de grado m, por
q(X) := (X
1
()). . . (X
m
()) =
m
i=1
(X
i
()).
Entonces q
(X) =
m
i=1
(X
i
()) =q(X) para cada H, as que los coecientes de q(X)
quedan jos bajo cada , es decir, q(X) K
H
[X]. Como
1
= id, se ve que (X ) q(X),
de modo que q() = 0. Se concluye que es algebraico sobre el subcuerpo K
H
, de grado
no mayor que n. En n, la extensi on K[ K
H
es algebraica.
Sea E un cuerpo con K
H
E K y [E : K
H
] nito. Entonces E = K
H
() para alg un
K, por el Teorema 2.39. Luego [E : K
H
], que es el grado de sobre K
H
, cumple
[E : K
H
] n. Entre todos estos cuerpos intermedios E, eljase una tal que [E : K
H
] tenga
el mayor valor posible. Si K, entonces E() = K
H
(, ) es una extensi on nita de
K
H
, porque [E(): K
H
] = [E(): E] [E : K
H
] y es algebraica sobre K
H
y por ende so-
bre E. La maximalidad de [E : K
H
] implica que [E(): K
H
] = [E : K
H
] y en consecuencia
[E(): E] = 1, es decir, E() = E o m as simplemente, E. Se concluye que E = K y por
ende [K: K
H
] es nito.
Se puede entonces suponer que es un elemento primitivo de la extensi on K [ K
H
, con
K = K
H
(). Los distintos automorsmos H est an determinados por sus valores (),
que deben ser distintos. En este caso, pues, m = n y las n races de q(X) son los conjugados
de sobre K
H
. Por tanto, q(X) es el polinomio mnimo de sobre K
H
y K es el cuerpo de
escisi on de q(X) K
H
(X), con [K: K
H
] = n. Por la Proposici on 3.3, la extensi on K [ K
H
es
normal.
El Corolario 3.4 entonces muestra que [ Gal(K [ K
H
)[ = [K: K
H
] = n = [H[. Pero cada
elemento de H es un K
H
-automorsmo de K, as que H es un subgrupo de Gal(K [ K
H
). El
conteo de los ordenes de los grupos muestra que Gal(K[ K
H
) = H.
Corolario 3.10. Si F K C con [K: F] nito, y si G = Gal(K [ F), entonces la extensi on
K[ F es normal si y s olo si K
G
= F.
MA660: Teora de Galois 47
Demostraci on. Del Corolario 3.4 se obtiene [G[ [K: F] con igualdad si y s olo si K [ F es
normal. Del Teorema anterior, es [G[ = [K: K
G
] y K[ K
G
es normal. Cada G deja F jo,
as que F K
G
y por ende [K: K
G
] [K: F], con igualdad si y s olo si [G[ = [K: F], si y
s olo si K[ F es normal.
Lema 3.11. Si F E K C y si K [ F es una extensi on normal y nita, entonces la
extensi on K[ E es tambi en normal y nita.
Demostraci on. El grado [K: E] es nito porque [K: E] [E : F] = [K: F] es nito.
Como K [ F es normal, hay un polinomio f (X) F[X] con races
1
, . . . ,
n
K tal
que K = F(
1
, . . . ,
n
). Pero f (X) es tambi en un polinomio en E[X] porque F E y K =
E(
1
, . . . ,
n
) tambi en. Luego K es el cuerpo de escisi on de un polinomio en E[X], as que
K[ E es normal.
Hay que recordar algunos conceptos b asicos de la teora de grupos. Si G es un grupo y si
H es un subgrupo de G, se escribe H G. El menor subgrupo posible es 1 = 1 G, que
consta de la identidad 1 G y nada m as; el mayor subgrupo es G mismo. Dado un subgrupo
H G se puede formar coclases de H a la izquierda o bien a la derecha:
gH :=gh : h G, Hg :=hg : h G,
para cada g G. Consid erese el conjunto G,H := gH : g G de coclases a la izquierda.
Este es el cociente del conjunto G bajo la relaci on de equivalencia R = (g, g
/
) GG :
g
1
g
/
H porque las coclases gH son las clases de equivalencia para R y por eso son
disjuntos. El n umero de estas coclases se llama el ndice [G: H]. Si G es un grupo nito, es
evidente que [G: H] =[G[,[H[.
Denici on 3.12. Un subgrupo H G es un subgrupo normal de G, escrito H G, si vale
gH = Hg para cada g G, o equivalentemente, si g
1
Hg = H para todo g G.
Aqu g
1
Hg := g
1
hg : h H es un subgrupo de G, llamado subgrupo conjugado
de H. Entonces H G si y s olo si el unico subgrupo conjugado de H es H mismo. Fjese
que gH = Hg si y s olo si cada producto hg con h H es de la forma gh
/
para alg un h
/
H.
Evidentemente,
hg = gh
/
h
/
= g
1
hg,
as que gH = Hg si y s olo si g
1
Hg = H.
Si G es un grupo abeliano (es decir, conmutativo), cualquier subgrupo de G es normal.
Si H G, entonces el conjunto G,H tiene una estructura de grupo, llamado el grupo
cociente de G por H, al denir el producto (g
1
H)(g
2
H) := g
1
g
2
H. Para que este producto
est e bien denido, se requiere que para cada h
1
, h
2
H haya un elemento h
3
H tal que
(g
1
h
1
)(g
2
h
2
) = g
1
(h
1
g
2
)h
2
= g
1
(g
2
h
3
)h
2
= g
1
g
2
(h
3
h
2
) g
1
g
2
H,
dado necesariamente por h
3
= g
1
2
h
1
g
2
g
1
2
Hg
2
. El orden del grupo cociente es el ndice
del subgrupo, es decir, [G,H[ = [G: H].
Con estos preparativos, podemos abordar el resultado central del curso.
MA660: Teora de Galois 48
Teorema 3.13 (Teorema Principal de la Teora de Galois). Sea K[ F una extensi on normal y
nita (con K C, por ahora). Entonces hay una biyecci on
K[F
entre los cuerpos interme-
dios E con F E K y los subgrupos H Gal(K [ F), dado por
K[F
: E Gal(K [ E) y
en el sentido inverso por
1
K[F
=
K[F
: H K
H
, con las siguientes propiedades:
(a) E = K
Gal(K[E)
;
(b) H = Gal(K[ K
H
);
(c) [K : E] =
Gal(K[ E)
;
(d) [E : F] = [Gal(K[ F) : Gal(K[ E)];
(e) E [ F es normal si y s olo si Gal(K[ E) Gal(K[ F);
(f) Gal(E [ F) Gal(K[ F)
_
Gal(K[ E) si E [ F es normal.
Demostraci on. Primero, debe notarse que (a) es equivalente a la relaci on
K[F
K[F
= id
sobre la familia de cuerpos intermedios de la extensi on K [ F; y que (b) es equivalente a la
relaci on
K[F
K[F
= id sobre la familia de subgrupos de Gal(K[ F). Por lo tanto, la com-
probaci on de (a) y (b) establecer a que
K[F
y
K[F
son biyecciones mutuamente inversos.
Esta correspondencia entre cuerpos intermedios y subgrupos puede ilustrarse con el si-
guiente esquema, en donde G := Gal(K[ F).
K 1
~
~
~
~
~
~
~
~
E
?
?
?
?
?
?
?
@
@
@
@
@
@
@
G
(3.3)
Ad(a): Fjese que Gal(K[ E) es un subgrupo de Gal(K[ F), porque consta de automors-
mos de K que dejan E jo y luego dejan F jo tambi en. Como K[ F es normal, el Lema 3.11
muestra que K[ E es normal, y entonces el Corolario 3.10 asegura que K
Gal(K[E)
= E.
Ad(b): Este es el Teorema 3.9.
Obs ervese que
K[F
es sobreyectivo, porque si H G, entonces F K
H
K y la parte (b)
muestra que
K[F
(K
H
) = Gal(K[ K
H
) = H.
Tambi en,
K[F
es inyectivo, porque si E y E
/
son cuerpos intermedios de K[ F, la parte (a)
muestra que
K[F
(E) =
K[F
(E
/
) = Gal(K[ E) =Gal(K[ E
/
) = K
Gal(K[E)
=K
Gal(K[E
/
)
= E =E
/
.
Ad(c): Sigue del Corolario 3.4 porque K[ E es normal, por el Lema 3.11.
MA660: Teora de Galois 49
Ad(d): De la Proposici on 2.3 y la parte (c) se obtiene
[E : F] =
[K : F]
[K : E]
=
[ Gal(K[ F)[
[ Gal(K[ E)[
= [Gal(K[ F) : Gal(K[ E)].
Ad(e): La extensi on E [ F es nita, porque [E : F] [K : F]. Si es tambi en normal,
entonces hay un elemento E tal que E = F() y todos los conjugados de (sobre F)
est an en E.
Sea Gal(K[ F). Entonces la restricci on [
E
es un homomorsmo de E en K que deja
F jo, es decir, [
E
Hom
F
(E, K). Adem as, queda determinado por (), que es un
conjugado de . Por tanto, [
E
lleva E en E.
Ahora, si Gal(K[ E), entonces
1
: K K es un F-automorsmo de K tal que
1
() =
1
((())) =
1
(()) =
ya que deja E jo y () E. Entonces
1
deja jo a todo F() = E y por ende
1
Gal(K[ E). La implicaci on
Gal(K[ E) =
1
Gal(K[ E) para todo Gal(K[ F)
dice precisamente que Gal(K[ E) Gal(K[ F).
Ad(f): Si la extensi on E [ F es normal, la aplicaci on de restricci on () := [
E
es un
homomorsmo de grupos : Gal(K[ F) Gal(E [ F). Ahora,
ker [
E
= id
E
deja E jo Gal(K[ E).
Hay un isomorsmo
2
de grupos Gal(K [ F)
_
ker im. Por conteo de ordenes de grupos
y grados de extensiones, se obtiene
[ im[ =
[ Gal(K[ F)[
[ ker [
=
[ Gal(K[ F)[
[ Gal(K[ E)[
=
[K : F]
[K : E]
= [E : F] =[ Gal(E [ F)[,
donde la ultima igualdad sigue de la normalidad de E [ F. Por lo tanto, es sobreyectivo y el
isomorsmo can onico produce Gal(K[ F)
_
Gal(K[ E) Gal(E [ F).
Corolario 3.14. Sea K [ F una extensi on normal y nita, con K C. Entonces la cantidad
de cuerpos intermedios distintos es nita.
Demostraci on. Por el Teorema anterior, basta observar que la cantidad de subgrupos del
grupo nito Gal(K[ F) es nita.
Lema 3.15. Sea K [ F una extensi on normal y nita, con K C. Las correspondencias de
Galois
K[F
y
K[F
son decrecientes: si F E E
/
K, entonces Gal(K[ E
/
) Gal(K[ E);
y si H H
/
Gal(K[ F), entonces K
H
/
K
H
.
2
Si : G G
/
es un homomorsmo de grupos, hay un isomorsmo can onico im G,ker . Este es el
llamado primer teorema de isomorsmo de grupos.
MA660: Teora de Galois 50
3.2 Grupo de Galois de un polinomio
Denici on 3.16. Sea f (X) F[X], donde F es un subcuerpo de C, tal que f (X) tenga races
distintas en C. Sea K
f
el cuerpo de escisi on de f (X) sobre F. Entonces Gal(K
f
[ F) se llama
el grupo de Galois del polinomio f (X) sobre F.
Lema 3.17. Si G = Gal(K
f
[ F) y si gr f (X) = m, entonces [G[ m!.
Demostraci on. Sea f (X) = a
m
(X
1
)(X
2
). . . (X
m
) la descomposici on en K
f
[X]
de f (X) en factores de primer grado. Entonces
1
, . . . ,
m
K
f
son distintas y es K
f
=
F(
1
, . . . ,
m
). Cada elemento G queda determinado por los valores (
1
), . . . , (
m
).
Se sabe que cada (
j
) es un conjugado de
j
sobre F, as que (
j
)
1
, . . . ,
m
para
cada j = 1, . . . , m.
Den otese por S
m
el grupo de permutaciones de m cosas distintas: concretamente, se puede
identicar S
m
con las biyecciones del conjunto de m elementos
1
, . . . ,
m
en s mismo.
Defnase una aplicaci on : G S
m
por
() :=
1
,...,
m
.
La operaci on de restricci on preserva la composici on de funciones: en particular, () =
()() para , G. Por tanto, : GS
m
es un homomorsmo de grupos. Como es
determinado por (
1
), . . . , (
m
), se ve que es inyectivo. Por ende, es un isomorsmo
del grupo G en el subgrupo (G) de S
m
. Se concluye que
[G[ =[(G)[ [S
m
[ = m! .
Ejemplo 3.18. Cu al es el grupo de Galois de f (X) = X
3
2 sobre Q?
Ya se sabe que K
f
=Q(
3
2, ) donde =
1
2
(1+
3i) = e
2i,3
es una raz c ubica de 1.
El Lema anterior dice que [G[ 3! = 6; por otro lado, sabemos que
[G[ = [Q(
3
2, ): Q] = [Q(
3
2, ): Q(
3
2)] [Q(
3
2): Q] = 2 3 = 6.
(Si E =Q(
3
2 y
= , se obtiene:
(
3
2)
3
2,
3
2,
2
3
2, () ,
2
.
Hay exactamente 6 maneras de elegir (
3
2,
2
=
3
2,
3
=
2
3
2 de X
3
2. Por ejemplo,
4
(
3
2) =
2
3
2,
4
(
3
2) =
4
()
4
(
3
2) =
2
3
2 =
3
2,
4
(
2
3
2) =
4
(
2
)
4
(
3
2) =
2
2
3
2 =
3
2,
MA660: Teora de Galois 51
Tabla 1: Grupo de Galois de X
3
2
G
0
1
2
3
4
5
(
3
2)
3
2
3
2
3
2
3
2
2
3
2
2
3
2
()
2
2
2
() S
3
id (23) (123) (12) (132) (13)
o bien
4
(
1
) =
3
,
4
(
3
) =
2
,
4
(
2
) =
1
. Es decir, la permutaci on (
4
) es el ciclo
(132). Las dem as entradas de la ultima la de la Tabla 1 se calculan de manera similar.
Antes de seguir, es oportuno hacer un peque no cat alogo de los grupos nitos nitos m as
conocidos. Cualquier grupo nito tiene una presentaci on por generadores y relaciones, en la
forma
G =x
1
, . . . , x
m
: R
1
, . . . , R
p
),
donde los generadores x
1
, . . . , x
m
son elementos de G y cada R
j
es una relaci on entre estos
generadores.
Denici on 3.19. Si n es un n umero entero positivo, el grupo cclico de n elementos, con
generador g, es
C
n
=1, g, g
2
, . . . , g
n1
=g : g
n
= 1).
En este caso, s olo se requiere un generador y una relaci on g
n
= 1. Fjese que si mcd(k, n) = 1
con k 1, . . . , n1, entonces las n potencias de g
k
son distintas, y se puede escribir C
n
=
1, g
k
, g
2k
, . . . , g
(n1)k
tambi en: luego, g
k
es otro generador de C
n
.
Un ejemplo concreto de este grupo abstracto es el grupo de las n races n- esimas de 1,
que tambi en
3
se denota por C
n
:
C
n
=1,
n
,
2
n
, . . . ,
n1
n
=e
2ki,n
: k = 0, 1, . . . , n1. (3.4)
Otra instancia de este grupo abstracto es el grupo aditivo Z,nZ = 0, 1, . . . , n1 de los
residuos de divisi on por n.
Denici on 3.20. El grupo de permutaciones S
n
del conjunto 1, 2, . . . , n cumple [S
n
[ = n!
por denici on del factorial.
Una transposici on es una permutaci on que cambia dos objetos entre s, dejando jos a los
dem as: la transposici on j k se denota ( jk). Cualquier permutaci on en S
n
es un producto
de transposiciones (de varias maneras). Una permutaci on se llama par si es el producto de
3
Este es un tpico abuso de notaci on, en donde la etiqueta C
n
se usa para denotar un objeto abstracto y
tambi en una de sus manifestaciones concretas.
MA660: Teora de Galois 52
un n umero par de transposiciones. Para ver que el concepto de paridad est a bien denido,
consid erese el polinomio
h(X
1
, . . . , X
n
) :=
1i<jn
(X
i
X
j
).
Si S
n
, entonces, al aplicar
de (1.18):
(h(X
1
, . . . , X
n
)) = h(X
(1)
, . . . , X
(n)
) =
i<j
(X
(i)
X
( j)
)
=
r<s
(X
r
X
s
) =h(X
1
, . . . , X
n
),
en donde el signo es + si y s olo si la permutaci on es par; den otese este signo por
(1)
. Como
de
S
n
en el grupo +1, 1 = C
2
. El n ucleo de este homomorsmo es el subgrupo A
n
de las
permutaciones pares, llamado el grupo alternante de n objetos. En cuanto n ucleo de un
homomorsmo, es un subgrupo normal: A
n
S
n
.
Como S
n
,A
n
C
2
por el isomorsmo can onico, se ve que [A
n
[ =
1
2
[S
n
[ =
1
2
n!.
A
B C
A B
C D
A
B
C
D
E
Figura 5: Ejes de reexi on de polgonos regulares
Denici on 3.21. El grupo di edrico D
n
es el grupo de isometras de un polgono regular de
n v ertices. El centro del polgono es un punto jo de cualquier isometra. Las isometras son
de dos tipos: rotaciones y reexiones. Si los v ertices son A, B,C, . . . , K en un orden contrario
a reloj alrededor del centro, sea r la rotaci on por un angulo 2,n que lleva A a B, B a C,
etc. Sea s la reexi on que deja ja el v ertice A (v ease la Figura 3.21). Entonces rsr
1
es una
reexi on que deja jo el v ertice B. Se puede ver que el grupo D
n
es generado por los dos
elementos r y s y que no es abeliano.
Las reexiones en D
n
son los elementos s, rs, r
2
s, . . . , r
n1
s. Para ver que esta lista es
completa, fjese que el elemento srs es la rotaci on que lleva B en A, porque srs(B) = sr(K) =
s(A) = A y srs(A) = sr(A) = s(B) = K; por ende, srs = r
1
= r
n1
. Luego, sr = (srs)s
1
=
(srs)s = r
n1
s. En resumen,
D
n
=r, s : r
n
= 1, s
2
= 1, sr = r
n1
s). (3.5)
MA660: Teora de Galois 53
En consecuencia, D
n
=1, r, r
2
, . . . , r
n1
, s, rs, r
2
s, . . . , r
n1
s, porque la tercera relaci on per-
mite escribir cualquier producto de los generadores en la forma r
k
s
l
y las otras relaciones
obligan k < n y l < 2. En n, [D
n
[ = 2n.
Denici on 3.22. Si G y H son dos grupos, el producto directo GH es el producto carte-
siano de los conjuntos G y H, con la operaci on de grupo (g
1
, h
1
) (g
2
, h
2
) := (g
1
g
2
, h
1
h
2
).
Denici on 3.23. Hay 5 grupos no isomorfos de orden 8. Uno de ellos es C
8
y el grupo
di edrico D
4
es otro. Los productos directos C
2
C
4
y C
2
C
2
C
2
son otros dos grupos,
ambos abelianos, de orden 8. Para completar la lista, se introduce el grupo de cuaterniones
Q :=1, 1, i, i, j, j, k, k, con i
2
= j
2
= k
2
= i jk =1.
De estas igualdades se obtiene i j = k = ji, jk = i = k j, ki = j = ik. Este Q es un
grupo no abeliano, que no es isomorfo a D
4
porque Q posee seis elementos de orden 4 y uno
de orden 2, mientras D
4
posee dos elementos de orden 4 y cinco de orden 2. Una posible
presentaci on de Q es
Q =i, j : i
4
= 1, j
4
= 1, ji = i
3
j).
Continuamos con otro ejemplo de la identicaci on de un grupo de Galois de un polinomio.
Ejemplo 3.24. Cu al es el grupo de Galois de f (X) = X
4
+2 sobre Q?
Sea :=
8
= e
i,4
, una raz octava de 1, Obs ervese que
2
= i y que = (1 +i),
2,
por la trigonometra del crculo de radio 1. La factorizaci on de X
4
+2 en C[X] es
X
4
+2 = (X
2
i
2)(X
2
+i
2) = (X
4
2)(X +
4
2)(X i
4
2)(X +i
4
2). (3.6)
Fjese que Q(
4
2, ) = Q(
4
2, i) porque i = (
4
2)
2
1 mientras =
1
2
(1 +i)(
4
2)
2
. Es
evidente que K
f
Q(
4
2, ). No es difcil expresar
4
2, i).
Cada G = Gal(K
f
[ Q) queda determinado por sus valores en los generadores, (
4
2)
y (i). Los polinomios mnimos de los generadores sobre Q son X
4
2 y X
2
+1, respecti-
vamente. De ah se obtiene sus conjugados, para concluir que
(
4
2)
4
2, i
4
2,
4
2, i
4
2, (i) i, i.
Hay exactamente 8 maneras de elegir (
4
2) := i
4
2, (i) := i,
(
4
2) :=
4
2, (i) :=i.
Es evidente que
4
= id y que
2
= id, mientras
2
,= id: el elemento es de orden 4 en G
y es de orden 2. Adem as,
(
4
2) =i
4
2, (i) =i,
3
(
4
2) = i
3
4
2,
3
(i) =i.
MA660: Teora de Galois 54
Luego =
3
en G.
Por lo tanto, los elementos y cumplen las relaciones (3.5) que denen el grupo D
4
. En
consecuencia, hay un homomorsmo : D
4
G determinado por (r) := , (s) := . Es
evidente que G =id, ,
2
,
3
, , ,
2
,
3
, as que es sobreyectivo. La inyectividad
de sigue del isomorsmo can onico D
4
,ker im = G, porque [D
4
[ = 8 =[G[ conlleva
[ ker [ =1. Por tanto, es un isomorsmo de grupos y G es una copia del grupo di edrico D
4
.
3.3 Extensiones ciclot omicas
Denici on 3.25. Sea n N con n 2. Un residuo k Z,nZ es una unidad si posee un
inverso multiplicativo l tal que kl = 1. Si k N, es evidente que k es una unidad en Z,nZ si
y s olo si mcd(k, n) = 1. Las unidades forman un grupo bajo multiplicaci on:
U
n
:=k Z,nZ : mcd(k, n) = 1. (3.7)
Obs ervese que U
n
es un grupo abeliano, ya que Z,nZ es un anillo conmutativo.
La llamada funci on tociente de Euler
4
es la funci on : N
denido
5
por (1) :=1
y (n) :=[U
n
[ si n 2.
Lema 3.26. La funci on tociente tiene las siguientes propiedades:
(a) Si p es primo y si r N
, entonces (p
r
) = p
r
p
r1
.
(b) Si m, n N
j=1
p
r
j
1
j
(p
j
1) = n
k
j=1
_
1
1
p
j
_
.
4
La palabra tociente (m as bien, totient en ingl es) fue inventada por James Joseph Sylvester en 1883 para
designar la funci on de Euler.
5
Aqu se sigue el convenio franc es para los n umeros naturales: N=0, 1, 2, . . . y N
=1, 2, . . . =N0.
MA660: Teora de Galois 55
Denici on 3.27. Sea n N
n
(X) :=
n
=1
primitiva
(X ) =
kU
n
(X
k
n
).
Es evidente que gr
n
= (n).
Ejemplo 3.29. Como
1
= 1,
2
=1,
3
= ,
4
= i y
6
=
1
2
(1+
3i), se obtiene
1
(X) = X 1,
2
(X) = X +1,
3
(X) = (X )(X
2
) = X
2
+X +1,
4
(X) = (X i)(X +i) = X
2
+1,
5
(X) = (X
5
)(X
2
5
)(X
3
5
)(X
4
5
) = X
4
+X
3
+X
2
+X +1,
6
(X) = (X
6
)(X
5
6
) = X
2
2(
6
)X +1 = X
2
X +1.
Lema 3.30. Sea n N
dn
d
(X). (3.8)
Demostraci on. Si k 0, 1, . . . , n 1, el orden de
k
n
como elemento del grupo C
n
es d si
dk
n
= 1 pero
ck
n
,= 1 para c = 1, . . . , d 1. Se escribe o(
k
n
) = d para denotar este hecho:
es evidente que d es un divisor de n, por el teorema de Lagrange. De igual manera pero con
la notaci on aditiva, se escribe o(k) = d para k Z,nZ si dk 0 mod n pero ck , 0 mod n
cuando c = 1, . . . , d 1.
Ahora se puede descomponer el polinomio X
n
1 as:
X
n
1 =
n1
k=0
(X
k
n
) =
dn
_
o(k)=d
(X
k
n
)
_
. (3.9)
Si o(k) = d, entonces (
k
n
)
d
= 1, as que
k
n
es una potencia de
d
. Hay una igualdad de
conjuntos
1,
k
n
,
2k
n
, . . . ,
(d1)k
n
=1,
d
,
2
d
, . . . ,
d1
d
y los elementos de orden exactamente d del lado izquierdo son los elementos primitivos del
lado derecho. Luego, el t ermino entre par entesis en (3.9) es igual a
d
(X).
6
La palabra ciclot omico viene del verbo griego o o, que signica cortar el crculo: guarda
relaci on, como luego se ver a, con el proceso de dividir la circunferencia del crculo en n arcos iguales.
MA660: Teora de Galois 56
Corolario 3.31. Para todo n N
, el polinomio
n
(X) pertenece a Z[X].
Demostraci on. La f ormula (3.8) permite un c alculo recursivo de
n
(X), porque
n
(X) = (X
n
1)
_
dn, d<n
d
(X)
y el destino de la recursi on es
1
(X) = X 1 Z[X].
De esta ultima f ormula, se ve por inducci on sobre n que
n
(X) Q[X]: el lado dere-
cho es (por la hip otesis inductiva) un cociente de polinomios en Q[X], que coincide con un
polinomio
n
(X). Denotando el denominador a la derecha por g(X), se obtiene X
n
1 =
n
(X)g(X). Esta es una divisi on en el anillo Q[X], sin residuo: el divisor es g(X), el co-
ciente es
n
(X).
Ahora, tanto el dividendo X
n
1 como el divisor g(X) son polinomios m onicos en Z[X]
la hip otesis inductiva permite armar que g(X) Z[X] as que el cociente
n
(X) tambi en
tiene coecientes enteros.
Como ejemplos de esta recursi on, se puede calcular ahora:
2
(X) =
X
2
1
X 1
= X +1,
3
(X) =
X
3
1
X 1
= X
2
+X +1,
4
(X) =
X
4
1
1
(X)
2
(X)
=
X
4
1
(X 1)(X +1)
= X
2
+1,
5
(X) =
X
5
1
X 1
= X
4
+X
3
+X
2
+X +1,
6
(X) =
X
6
1
1
(X)
2
(X)
3
(X)
=
X
6
1
(X 1)(X +1)(X
2
+X +1)
= X
2
X +1.
Proposici on 3.32. El polinomio
n
(X) es irreducible en Z[X], para todo n.
Demostraci on. Sea C una raz n- esima primitiva de 1. Entonces
n
() = 0 porque
(X ) es un factor de
n
(X), por denici on.
Sea p un primo tal que p
,
n. Entonces
p
es otra raz n- esima de 1, la cual tambi en es
primitiva, porque mcd(k, n) = 1 implica mcd(pk, n) = 1. Por tanto,
n
(
p
) = 0.
Sea q(X) el polinomio mnimo de sobre Q, as que q(X)
n
(X). Si q(
p
) ,= 0, en-
tonces q(X) es un factor propio de
n
(X), y por eso hay un polinomio h(X) Z[X] (por ser
cociente de dos polinomios m onicos) con gr h(X) 1, tal que
n
(X) = h(X)q(X).
Puesto que q(
p
) ,= 0, se obtiene h(
p
) = 0, de modo que es una raz del polinomio
X h(X
p
). En consecuencia, hay k(X) Z[X] tal que h(X
p
) = k(X)q(X).
El siguiente paso es la reducci on de los coecientes de estos polinomios a sus residuos
m odulo p. Sea : Z F
p
=Z,pZ el homomorsmo cociente (de anillos): concretamente,
(k) = k F
p
. A cada polinomio f (X) Z[X] le corresponde un polinomio f
(X) F
p
[X],
MA660: Teora de Galois 57
y la correspondencia f (X) f
(X
p
) = k
(X)q
(X) en el anillo F
p
[X]. Si h(X) = a
0
+a
1
X + +a
m
X
m
,
entonces
h(X)
p
(a
0
+a
1
X +a
2
X
2
+ +a
m
X
m
)
p
a
p
0
+a
p
1
X
p
+a
p
2
X
2p
+ +a
p
m
X
mp
a
0
+a
1
X
p
+a
2
X
2p
+ +a
m
X
mp
h(X
p
) mod p,
donde el segundo rengl on sigue porque
_
p
k
_
0 mod p para k = 1, . . . , p 1, mientras el
tercer rengl on es consecuencia de la conocida
7
relaci on: a
p
a mod p para a Z. En otras
palabras, vale h
(X)
p
= h
(X
p
) en F
p
[X].
Ahora, la relaci on h
(X)
p
= k
(X)q
(X), q
(X)) ,= 1 en el anillo
entero F
p
[X]. Si g
(X) y q
(X) con gr g
(X) 1, entonces
g
(X)
2
n
(X) (X
n
1) en F
p
[X].
Por tanto, g
(X) no es constante.
Esta contradicci on muestra que q(
p
) = 0 toda vez que p es primo con p
,
n. Cada k con
mcd(k, n) = 1 es un producto k = p
1
p
2
. . . p
s
, donde p
j
,
n para j = 1, . . . , s. El argumento
anterior muestra que q(
p
1
) = 0. Al reemplazar por
p
1
, tambi en primitivo, y
p
1
por
su potencia
p
1
p
2
, se obtiene q(
p
1
p
2
) = 0. Repitiendo este proceso s veces, se llega a que
q(
k
) = 0. En n, cada raz primitiva n- esima de 1 es una raz de q(X). Se concluye que
q(X) =
n
(X) y, en particular, que
n
(X) es irreducible.
Corolario 3.33. Si es una raz n- esima primitiva de 1, entonces
n
(X) es el polinomio
mnimo de sobre Q.
Corolario 3.34. Si es una raz n- esima primitiva de 1, entonces Q() es el cuerpo de
escisi on de
n
(X) sobre Q. La extensi on Q() [ Q es normal, con [Q(): Q] = (n).
Denici on 3.35. Si es una raz n- esima primitiva de 1, la extensi on Q() [ Q se llama una
extensi on ciclot omica de Q.
Proposici on 3.36. Si es una raz n- esima primitiva de 1, entonces Gal(Q() [ Q) U
n
.
Demostraci on. Sea G=Gal(Q()[ Q); obs ervese que queda determinado por el valor
(). Este valor es un conjugado de sobre Q y como tal, es tambi en un generador del
grupo C
n
de races n- esimas de 1. Por tanto, () =
k
donde k N con mcd(k, n) = 1.
Defnase un homomorsmo de grupos : GU
n
por () :=k. En efecto, si G con
() = l, entonces () = (
l
) =
kl
, as que () = kl = kl = ()().
Ahora, si ker , entonces k = 1, as que
k
= y por tanto = id. Luego, es
inyectivo. Como [G[ = [Q(): Q] =(n) =[U
n
[, la aplicaci on es adem as biyectivo. Luego
es el isomorsmo deseado entre G y U
n
.
7
La relaci on a
p
a mod p fue observado por Fermat. En su forma equivalente: a
p1
1 mod p si
mcd(a, p) = 1, es una consecuencia del Teorema de Lagrange porque el grupo U
p
cumple [U
p
[ = p1.
MA660: Teora de Galois 58
Proposici on 3.37. Sea C una raz n- esima primitiva de 1. Entonces es constructible
(por regla y comp as) s olo si n = 2
m
p
1
p
2
. . . p
k
donde los p
j
son primos impares distintos, de
la forma p = 2
2
l
+1: por ejemplo, p = 3, 5, 17, 257 o 65537.
Demostraci on. Por el Corolario 2.42, la condici on necesaria para constructibilidad de es
que [Q(): Q] =2
s
para alg un s N. El Corolario 3.34 transforma este criterio en la ecuaci on
num erica (n) = 2
s
.
Ahora, sea n = 2
m
p
r
1
1
p
r
2
2
. . . p
r
k
k
la factorizaci on prima de n, donde p
1
, . . . , p
k
son los pri-
mos impares distintos que dividen n. Del Lema 3.26 se obtiene
(n) = (2
m
)(p
r
1
1
). . . (p
r
k
k
) = 2
m1
p
r
1
1
1
(p
1
1). . . p
r
k
1
k
(p
k
1).
Se requiere que este producto no contenga factores impares. Para eso, es necesario y su-
ciente que cada r
j
= 1 (cada factor primo impar de n aparece una sola vez) y que cada p
j
sea
de la forma 2
t
+1.
Ahora, si t = uv donde u ,= 1 es impar, 2
t
+1 no es primo, porque
2
t
+1 = (2
v
)
u
+1 = (2
v
+1)(2
v(u1)
2
v(u2)
+ +2
2v
2
v
+1),
en donde los u t erminos del segundo factor a la derecha tienen signos alternantes. Luego
2
t
+1 puede ser primo s olo si t mismo es de la forma t = 2
l
para alg un l N. Los casos
l = 0, 1, 2, 3, 4 dan 2
2
l
+1 = 3, 5, 17, 257, 65537, los cuales son n umeros primos.
Fermat especul o que 2
2
5
+1 = 2
32
+1 = 4294967297 sera primo, pero no pudo de-
mostrarlo. Euler logr o demostrar lo contrario: este n umero es divisible por 641 = 10 2
6
+1;
de hecho, 2
32
+1 = 641 6700417 es un producto de dos primos.
8
Se sabe que 2
2
l
+1 no es
primo para l = 5, 6, . . . , 32; en cada caso, tiene un factor de la forma k2
l+1
+1.
El inverso de la Proposici on 3.37 tambi en es cierto: dado n de la forma permitida, hay una
construcci on por regla y comp as de un n-gono regular. En primer lugar, es f acil bisecar un
arco de crculo dado, lo cual permite fabricar un 2n-gono regular a partir de un n-gono regular;
por tanto, basta examinar el caso en donde n es impar. En segundo lugar, si mcd(m, n) = 1
y si am+bn = 1, entonces 2,mn = a(2,n) +b(2,m); de ah, los v ertices del m-gono y
del n-gono regulares determinan los v ertices del mn-gono regular. Basta, entonces, examinar
el caso n = 2
2
l
+1 sea un primo de Fermat. En este caso, como G = Gal(Q(
p
) [ Q) U
2
2
l ,
hay una cadena de subgrupos G = G
0
G
1
G
r
= 1 donde cada [G
i
: G
i1
] = 2. Por
tanto, hay una torre de subcuerpos Q= E
0
E
1
E
r
=Q(
n
) tal que cada E
i
[ E
i1
es
una extensi on de grado 2: se puede construir elementos de E
i
a partir de elementos de E
i1
por regla y comp as.
Las construcciones para los casos n = 3 y n = 5 (tri angulo y pent agono regulares) apare-
cen en los Elementos de Euclides (Proposiciones I.1 y IV.11, respectivamente.) El caso n =17
fue resuelto por Gauss (Disquisitiones Arithmeticae, arts. 354 y 363).
9
8
Los n umeros 3, 5, 17, 257, 65537 se llaman primos de Fermat; fueron mencionados en una carta de Pierre de
Fermat a Marin Mersenne, escrito el 25 de diciembre de 1640. No se sabe a un (en el 2006) si 2
2
33
+1 es primo o
compuesto. Para el estado actual de la cuesti on, v ease el sitio http://www.prothsearch.net/fermat.html.
9
V ease tambi en: Felix Klein, Famous Problems of Elementary Geometry (1895); Dover, New York, 1956.
MA660: Teora de Galois 59
3.4 Extensiones cclicas
Denici on 3.38. Sea K[ F una extensi on normal y nita con K C. Se dice que K[ F es una
extensi on abeliana si Gal(K [ F) es un grupo abeliano. Se dice que K [ F es una extensi on
cclica si Gal(K[ F) es un grupo cclico.
Cada extensi on ciclot omica Q() [ Q es abeliana. De hecho, si es una raz n- esima
primitiva de 1, el grupo Gal(Q() [ Q) U
n
es abeliano. Adem as, si E [ Q es normal, con
QE Q(), el grupo Gal(E[ Q) Gal(Q()[ Q)
_
Gal(Q()[ E) es abeliano. Un famoso
teorema de Kronecker y Weber, que no se demuestra aqu, dice que toda extensi on abeliana
de Q es un cuerpo intermedio de alguna extensi on ciclot omica.
El grupo U
n
es cclico para algunos n, pero no para todos. Por ejemplo, si n = 2
k
con
k 2, se sabe que U
n
C
2
k1 C
2
,C
2
k . Para n primo, el grupo U
n
s es cclico, en vista de
la Proposici on siguiente.
Lema 3.39. Si mcd(m, n) = 1, entonces C
m
C
n
C
mn
.
Demostraci on. Sea h un generador de C
m
y sea k un generador de C
n
. Entonces h
r
= 1 en C
m
si y s olo si mr; tambi en, k
s
= 1 en C
n
si y s olo si ns.
En el producto directo C
m
C
n
, la potencia (h, k)
t
= (h
t
, k
t
) es igual a la identidad (1, 1)
si y s olo si h
t
= 1 y k
t
= 1, si y s olo si mt y nt. Esta condici on es equivalente a que mnt,
porque mcd(m, n) = 1. Entonces C
m
C
n
es un grupo abeliano de orden mn que posee un
elemento (h, k) de orden mn. Por tanto, este grupo es cclico, con generador (h, k).
Por otro lado, en el grupo cclico C
mn
, sea z un generador y consid erese los subgrupos
H :=x C
mn
: x
m
= 1 =1, z
n
, z
2n
, . . . , z
(m1)n
C
m
,
K :=y C
mn
: y
n
= 1 =1, z
m
, z
2m
, . . . , z
m(n1)
C
n
.
Al escribir 1 = am+bn con a, b Z, se ve que z
k
= z
kbn
z
kam
para todo k = 0, 1, . . . , mn1.
Es f acil comprobar que la aplicaci on z
k
(z
kbn
, z
kam
) es un isomorsmo de grupos que lleva
C
mn
en HK C
m
C
n
.
Proposici on 3.40. Sea F un cuerpo nito y sea F
es un grupo cclico.
Demostraci on. El grupo multiplicativo F
[ = p
r
1
1
p
r
2
2
. . . p
r
k
k
, sea H
j
:=a F : a
p
r
j
j
= 1 para j = 1, . . . , k. Entonces cada H
j
es
un subgrupo de F
H
1
H
2
H
k
.
Ahora sea H un subgrupo de F
de orden p
r
, para alg un primo p que divide [F
[. El
orden de cada elemento de H es un divisor de p
r
: sea b H de orden m aximo p
s
, con s r.
Entonces a
p
s
= 1 para todo a H. Esto dice que el polinomio X
p
s
1 F[X] tiene al menos
p
r
races, las cuales son todos los elementos de H. Por tanto s = r, y el grupo H es cclico
con generador b.
Se concluye que cada H
j
es un subgrupo cclico de F
H
1
H
2
H
k
tambi en es cclico.
MA660: Teora de Galois 60
Corolario 3.41. Si p es primo, entonces U
p
=F
p
C
p1
.
Proposici on 3.42. Sea una raz n- esima primitiva de 1. Sea F Cun cuerpo tal que F
y sea a F. Si C es una raz del polinomio X
n
a, entonces F() [ F es una extensi on
cclica. Si d = [F(): F], entonces
d
F.
Demostraci on. Por denici on, es una raz n- esima de a. Todas las races n- esimas de a son
k
: k = 0, 1, . . . , n1 F(). Por lo tanto, F() = F(, , . . . ,
n1
) es el cuerpo
de escisi on de X
n
a sobre F. Por la Proposici on 3.3, la extensi on F() [ F es normal.
Si G = Gal(F() [ F), cada G queda determinado por () y adem as () =
k
k
=
k+l
,
as que () = ()(): entonces es un homomorsmo de grupos. Fjese que en este
c alculo (
l
) =
l
porque
l
F.
Ahora es inyectivo, porque
ker = () = 1 = () = = = id.
Luego G (G) C
n
. Como subgrupo de un grupo cclico, G tambi en es un grupo cclico
y por ende la extensi on F() [ F es cclica.
Si es un generador de G, sea d el orden de , de modo que
dk
= 1 pero
ck
,= 1 para
c = 1, . . . , d 1. Obs ervese que d n ya que dk n. Ahora,
(
d
) = ()
d
= (
k
)
d
=
dk
d
=
d
,
por ende
r
(
d
) =
d
para todo
r
G. Esto dice que
d
F()
G
= F.
Corolario 3.43. Si el polinomio X
n
a es irreducible en F[X], entonces Gal(F() [ F) C
n
.
Demostraci on. En este caso, X
n
a es el polinomio mnimo de sobre F, as que [G[ = n y
el homomorsmo : G C
n
es biyectivo.
La Proposici on 3.42 dice que si Q() F, entonces una extensi on de F por una raz
n- esima de a F es una extensi on cclica. En seguida mostraremos un resultado inverso, que
una extensi on cclica de F es generado por una raz n- esima de alg un a F, en el caso de que
n sea un n umero primo.
Proposici on 3.44. Sean p N un n umero primo, una raz p- esima de 1, y F C un cuerpo
tal que F. Si K [ F es una extensi on cclica con [K: F] = p, entonces K = F() donde
p
F.
Demostraci on. Sea K con , F. Si f (X) F[X] es el polinomio mnimo de sobre
F, entonces gr f (X) 1 y gr f (X) p, as que gr f (X) = p y por ende F() = K.
Sea un generador de Gal(K[ F) C
p
. Para j = 1, . . . , p, defnase
j
=
j1
(). Fjese
que (
j
) =
j+1
para j = 1, . . . , p1 y que (
p
) = =
1
.
MA660: Teora de Galois 61
Para cada k = 0, 1, . . . , p1, consid erese el resolvente de Lagrange:
k
:=
1
+
k
2
+
2k
3
+ +
(p1)k
p
. (3.10)
Al aplicar a este elemento de K, se obtiene
(
k
) = (
1
) +
k
(
2
) +
2k
(
2
) + +
(p1)k
(
p
)
=
2
+
k
3
+
2k
4
+ +
(p1)k
1
=
k
k
,
y en consecuencia, (
p
k
) =
kp
p
k
=
p
k
, lo cual implica que
p
k
K
G
= F.
Las f ormulas (3.10), para k = 0, 1, . . . , p 1, denen un sistema de ecuaciones lineales
para las inc ognitas
1
, . . . ,
p
. Al enumerar las races p- esimas de 1 como
1
,
2
, . . . ,
p
:=
1, ,
2
, . . . ,
p1
, este sistema tiene la siguiente forma:
1
+
1
2
+
2
1
3
+ +
p1
1
p
=
0
,
1
+
2
2
+
2
2
3
+ +
p1
2
p
=
1
,
1
+
3
2
+
2
3
3
+ +
p1
3
p
=
2
,
.
.
.
.
.
.
1
+
p
2
+
2
p
3
+ +
p1
p
p
=
p1
.
El determinante de la matriz de coecientes es un determinante de Vandermonde:
10
1
1
2
1
. . .
p1
1
1
2
2
2
. . .
p1
2
1
3
2
3
. . .
p1
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
p
2
p
. . .
p1
p
i<j
(
j
i
). (3.11)
Para el c alculo de este determinante, obs ervese que:
(a) se puede reemplazar la la j por la diferencia (la j la i) sin afectar el valor del
determinante;
(b) (
j
i
) es un factor de esta nueva la y por ende es un factor del determinante;
(c) entonces el producto al lado derecho es un divisor del determinante;
(d) por la expansi on en la la j, el determinante es un polinomio de grado p 1 en cada
variable
j
, as que es un m ultiplo constante del lado derecho;
(e) el coeciente del t ermino diagonal
2
2
3
. . .
p1
p
en la expansi on del lado derecho
es +1, as que dicha constante tambi en es +1.
10
Este determinante fue usado por Alexandre Vandermonde en 1770, precisamente para invertir las expre-
siones (3.10) que Lagrange en su monografa de 1771 llam o resolventes.
MA660: Teora de Galois 62
Como
1
, . . . ,
n
son distintos, se ve que
i<j
(
j
i
) ,=0. Por tanto, el sistema de ecuaciones
(3.10) tiene soluci on unica, de la forma
j
= c
j0
0
+c
j1
1
+ +c
j,p1
p1
con cada c
jk
F.
Ahora,
1
= , F, as que al menos un ndice k con
k
, F; col oquese :=
k
. Entonces
F() = K, por el argumento al inicio de esta demostraci on, y tambi en
p
=
p
k
F.
Podemos aplicar esta teora de extensiones cclicas a la soluci on de la ecuaci on c ubica
X
3
+ pX +q = 0, con p, q F C. Sup ongase que este polinomio es irreducible en F[X], lo
cual implica que sus races
1
,
2
,
3
C son distintas. Obs ervese que
1
+
2
+
3
= 0. El
discriminante de este polinomio m onico es
D = (
1
2
)
2
(
2
3
)
2
(
3
1
)
2
=4p
3
27q
2
F,
por la f ormula (1.27) y el Ejemplo 1.33.
Lema 3.45. Si X
3
+ pX +q es irreducible en F[X], con races
1
,
2
,
3
C, y si
:= (
1
2
)(
2
3
)(
3
1
),
entonces el cuerpo de escisi on de X
3
+ pX +q sobre F es F(
1
, ), con [F(
1
, ): F] = 3 si
F, mientras [F(
1
, ): F] = 6 si , F.
Demostraci on. El cuerpo de escisi on de X
3
+ pX +q sobre F es K = F(
1
,
2
,
3
). Fjese
que
2
= D. Adem as,
1
, F porque X
3
+ pX +q es irreducible en F[X]; en particular, es
1
,= 0. Ahora bien,
(
1
2
)(
3
1
) =
1
(
2
+
3
)
2
1
3
=2
2
1
+
q
1
F(
1
),
luego
2
3
= ,(
1
2
)(
3
1
) F(
1
, ). Tambi en,
2
+
3
=
1
F(
1
): se
concluye que
2
,
3
F(
1
, ) y por ende K = F(
1
, ).
Como X
3
+ pX +q es el polinomio mnimo de
1
, se ve que [F(
1
): F] = 3. Si
F, entonces K = F(
1
) es de grado 3 sobre F. Si , F, entonces [F(): F] = 2 porque
2
= D F. Luego [K: F] es divisible por 2, , F(
1
) y [K: F(
1
)] = 2 tambi en, por ende
[K: F] = 6.
Como
2
= D, de modo que =
1
+
2
+
3
=0, de modo que debe tomarse :=
1
=
1
+
2
+
2
3
(alternativamente,
se puede tomar
/
=
2
=
1
+
2
2
+
3
).
Para calcular
3
E, se usa la tecnologa de los polinomios sim etricos. En efecto, usando
la relaci on =
1
2
2
+
2
2
3
+
3
2
1
2
1
2
2
2
3
1
se obtiene
3
= (
1
+
2
+
2
3
)
3
=
3
1
+
3
2
+
3
3
+3(
2
1
2
+
2
2
3
+
2
3
1
) +3
2
(
1
2
2
+
2
2
3
+
3
2
1
) +6
1
3
=
3
1
+
3
2
+
3
3
3
2
(
2
1
2
+
2
2
3
+
2
3
1
+
1
2
2
+
2
2
3
+
3
2
1
)
3
3i
2
+6
1
3
=
27
2
q
3
2
(
2
) E.
La alternativa
/
=
2
conduce a
/3
=
27
2
q+
3
2
(
2
).
Las races c ubicas de
3
son , y
2
. Al tomar
1
=
1
2
(
1
+
2
), etc., se obtienen
1
,
2
,
3
en t erminos de q y . Finalmente, como i =
D =
_
4p
3
+27q
2
, se recu-
peran las f ormulas de Cardano para
1
,
2
,
3
.
3.5 Resoluci on de ecuaciones por radicales
El trabajo principal de
Evariste Galois, escrito entre los a nos 1829 y 1831 y publicado
p ostumamente en 1846, contiene un criterio para decidir si una ecuaci on polinomial es o
no es resoluble por radicales. Brevemente, una resoluci on por radicales quiere decir la
exhibici on de una f ormula para las races, similar a la f ormula cuadr atica y las f ormulas de
Cardano y Ferrari, en t erminos de los coecientes del polinomio, mediante las cuatro ope-
raciones aritm eticas b asicas y la extracci on de un n umero nito de races. Desde Ferrari a
Galois, se buscaba una f ormula para resolver la ecuaci on general de quinto grado, hasta que
los trabajos de Paolo Rufni (1799) y Niels Henrik Abel (1824) se nalaron que esa f ormula
general no exista. Galois logr o conrmar sus resultados, pero a la vez se nal o un m etodo para
obtener resoluciones de algunas clases particulares de ecuaciones de alto grado.
Galois us o un resolvente m as general de los resolventes de Lagrange. En lenguaje mo-
derno, su resolvente es una funci on racional (eventualmente, un polinomio) =g(
1
, . . . ,
n
)
de las races
j
de la ecuaci on, que es un elemento primitivo del cuerpo de escisi on, es de-
cir, que F() = F(
1
, . . . ,
n
). Para hallar un resolvente de este tipo, el estudio el efecto de
someter a un juego de permutaciones o sustituciones de las races que el llamaba grupo
de sustituciones. Reconoci o que, dependiendo de la ecuaci on polinomial dada, no hace falta
usar todas las sustituciones posibles, siempre que sea posible combinar e invertir las sustitu-
ciones del grupo elegido. En breve, identic o lo que hoy en da se llama el grupo de Galois
del polinomio dado. En seguida, la estructura de este grupo fue la clave para descifrar la
ecuaci on.
MA660: Teora de Galois 64
Antes de seguir, conviene repasar algunos conceptos de la teora de grupos nitos.
Denici on 3.46. Un grupo G es un grupo resoluble si hay una cadena decreciente nita de
subgrupos
G = G
0
G
1
G
2
G
r
= 1, (3.12)
tal que G
i
G
i1
para i = 1, 2, . . . , r, y cada grupo cociente G
i1
,G
i
es un grupo abeliano.
Ejemplo 3.47. (a) Cualquier grupo abeliano es resoluble. La cadena trivial G1 sirve para
el caso abeliano.
(b) El grupo S
3
es resoluble, con cadena S
3
A
3
1, ya que los cocientes S
3
,A
3
C
2
y
A
3
,1 = A
3
C
3
son abelianos.
(c) El grupo S
4
es resoluble, con cadena S
4
A
4
V 1, donde el tercer subgrupo es
V = id, (12)(34), (13)(24), (14)(23). Los cocientes son S
4
,A
4
C
2
, A
4
,V C
3
y V
C
2
C
2
.
(d) El grupo di edrico D
n
es resoluble, con cadena D
n
C
n
1. Los cocientes abelianos
son D
n
,C
n
C
2
y C
n
.
Si H G, entonces G,H es abeliano si y s olo si (gH)(hH) = (hH)(gH) o bien ghH =
hgH para todo g, h G, si y s olo si ghg
1
h
1
H =H o bien ghg
1
h
1
H para todo g, h G.
Denici on 3.48. Para cualquier grupo G, el subgrupo derivado G
/
es el subgrupo generado
por todos los elementos de la forma ghg
1
h
1
, para g, h G. Obs ervese que G
/
= 1 si y s olo
si G es abeliano; y que
k(ghg
1
h
1
)k
1
= kgk
1
khk
1
kg
1
k
1
kh
1
k
1
= (kgk
1
)(khk
1
)(kgk
1
)
1
(khk
1
)
1
,
para todo k G, as que G
/
G. Se escribe G
(2)
= G
//
:= (G
/
)
/
, G
(3)
= G
///
:= (G
//
)
/
y en
general G
(r+1)
:= (G
(r)
)
/
.
Fjese que el grupo G,G
/
es abeliano, por la observaci on anterior. Adem as, si H G con
cociente abeliano G,H, entonces G
/
H.
Por otro lado, si G
/
H G, entonces G
/
H y G,H (G,G
/
)
_
(H,G
/
) por un isomor-
smo can onico, as que G,H es abeliano, por ser isomorfo a un cociente del grupo abeliano
G,G
/
. En resumen, G
/
es el menor subgrupo normal de G con cociente abeliano.
Proposici on 3.49. Un grupo G es resoluble si y s olo si hay s N
tal que G
(s)
= 1.
Demostraci on. Si G
(s)
= 1, hay una cadena decreciente nita con inclusiones normales y
cocientes abelianos:
G G
/
G
//
G
(s)
= 1,
lo que muestra que G es resoluble.
Por otro lado, si G es resoluble, entonces en la cadena (3.12) es G
/
G
1
por ser G,G
1
abeliano. Armaci on: G
(i)
G
i
para todo i; esto puede comprobarse por inducci on sobre i.
En efecto, si G
(i1)
G
i1
, entonces por ser G
i1
,G
i
abeliano, se obtiene
G
(i)
= (G
(i1)
)
/
(G
i1
)
/
G
i
.
En particular, G
(r)
G
r
= 1, como era requerido.
MA660: Teora de Galois 65
Si : GK es un homomorsmo de grupos, es (ghg
1
h
1
) =(g)(h)(g)
1
(h)
1
para todo g, h G. Luego (G
/
) K
/
, con igualdad si es sobreyectivo.
Proposici on 3.50. Sea G un grupo y H G. Si G es resoluble, entonces H tambi en es
resoluble. Si H G, entonces G es resoluble si y s olo si H y G,H son resolubles.
Demostraci on. Si G es resoluble con G
(s)
= 1, entonces H
(i)
G
(i)
para todo i, as que
H
(s)
= 1 tambi en, lo que muestra que H es resoluble.
En el caso de que H G, sea : GG,H el homomorsmo cociente; entonces (G
/
) =
(G,H)
/
. Por inducci on, se ve que (G
(i)
) = (G,H)
(i)
para todo i. Si G es resoluble con
G
(s)
= 1, entonces (G,H)
(s)
=(1) = H, el subgrupo trivial de G,H. Se concluye que G,H
es resoluble.
Por otro lado, si H G y si H y G,H son resolubles, entonces hay r, s N
con H
(s)
= 1
y (G
(r)
) = (G,H)
(r)
= H. Por tanto, G
(r)
H y en consecuencia G
(r+s)
= 1. Se concluye
que G tambi en es resoluble.
Si H G, y si MG,H, defnase K :=
1
(M), de modo que H K G. Si MG,H,
entonces K G, porque (gkg
1
) = (g)(k)(g)
1
M para k K, g G. Si adem as
G,H es abeliano, entonces G,K y K,H son tambi en abelianos.
Un grupo es simple si no tiene subgrupo normal propio. Los unicos grupos nitos que
sean simples y abelianos son los grupos cclicos C
p
de orden primo. Si un grupo nito simple
G no es abeliano, entonces G
/
= G (porque G
/
G y G
/
,= 1). Por tanto, G
(i)
= G para todo
i N
. (3.13)
Denici on 3.52. Sea F C. Sea K
f
el cuerpo de escisi on de un polinomio f (X) F[X]. Se
dice que f (X) es resoluble por radicales si hay una extensi on radical L[ F tal que K
f
L.
Fjese que una extensi on radical es nita pero no es necesariamente normal, as que el
teorema fundamental no es directamente aplicable a este caso. En seguida se ver a que esta
situaci on puede remendarse, porque siempre ser a posible reemplazar L[ F para una extensi on
radical mayor que s es normal.
Lema 3.53. Si L [ F es una extensi on radical y si n es el mnimo com un m ultiplo de los
exponentes n
1
, . . . , n
r
de (3.13), sea una raz n- esima primitiva de 1. Si , F, entonces
L() [ F es tambi en una extensi on radical de F, en donde cada extensi on intermedia es una
extensi on abeliana.
Demostraci on. Por la denici on de mnimo com un m ultiplo, se sabe que n
i
n para todo i
y que cualquier m N
tal que n
i
m para todo i cumple n m. En particular, n = k
i
n
i
para
algunos k
1
, . . . , k
r
N
. En cada caso,
k
i
es una raz primitiva n
i
- esima de 1.
Consid erese la torre de cuerpos
F F() F
1
() F
r
() = L().
Para i = 1, . . . , r, es F
i
() = F
i1
(
i
, ) = F
i1
()(
i
). Sea c
i1
:=
n
i
i
F
i1
. Entonces la
extensi on F
i
() [ F
i1
(), generada por una raz del polinomio X
n
i
c
i1
, es una extensi on
cclica por la Proposici on 3.42, ya que
k
i
F
i1
(). En particular, esta extensi on es abeliana.
El primer piso de esta torre es excepcional: la extensi on F() [ F no es necesariamente
cclica. Pero s es una extensi on ciclot omica, por ende es normal y nita con grupo de Galois
Gal(F() [ F) U
n
, que es un grupo abeliano.
Lema 3.54. Si L[ F es una extensi on radical, entonces hay una extensi on K [ L tal que K [ F
sea una extensi on radical normal, en donde cada extensi on intermedia es abeliana.
Demostraci on. En la notaci on del lema anterior, sea una raz n- esima primitiva de 1 y
sean
1
, . . . ,
r
los elementos que generan la torre de extensiones intermedias de L[ F, como
en (3.13). Para i = 1, . . . , r, sea
i1
,
i2
, . . . ,
im
i
el juego de conjugados de
i
sobre F, con
i1
=
i
. Defnase
E
i
:= F(,
11
, . . . ,
1m
1
,
21
, . . . ,
2m
2
, . . . ,
i1
, . . . ,
im
i
).
Sea p
i
(X) el polinomio mnimo de
i
sobre F. La extensi on E
i
[ F es normal y nita, por ser
el cuerpo de escisi on del polinomio (X
n
1)p
1
(X)p
2
(X). . . p
i
(X). Est a claro que F
i
() E
i
para cada i. Sea K := E
r
; entonces L() K y la extensi on K[ F es normal y nita.
MA660: Teora de Galois 67
Para ver que K [ F es una extensi on radical, es suciente mostrar que
n
i
i j
E
i1
en cada
caso. Por el Lema 2.34, hay un F-morsmo
i j
: F(
i
) C con
i j
(
i
) =
i j
. Como
[E
i
: F(
i
)] es nita, este se puede extender a un F-morsmo
i j
: E
i
C.
Ahora
n
i
i j
=
i j
(
n
i
i
) =
i j
(c
i1
) es un conjugado de c
i1
, por el Lema 2.34 de nuevo.
Pero E
i1
es normal sobre F y por tanto contiene todos los conjugados de c
i1
. Luego, es
n
i
i j
E
i1
.
Sea
F
0
:= F,
F
1
:= F(),
F
k
:= E
i1
(
i1
, . . . ,
i j
) para k = 1 +m
1
+ +m
i1
+ j. En-
tonces
F
k
=
F
k1
(
i j
) y
n
i
i j
F
k1
, por ende la torre
F =
F
0
F
1
F
k
K
muestra que K [ F es una extensi on radical. El primer piso de esta torre es una extensi on
ciclot omica y los dem as pisos son extensiones cclicas, por la demostraci on del lema anterior.
Por tanto, todas las extensiones intermedias son abelianas.
Teorema 3.55. Sea F C. Sea f (X) F[X] y sea K su cuerpo de escisi on sobre F. Si f (X)
es resoluble por radicales, entonces Gal(K[ F) es un grupo resoluble.
Demostraci on. Por hip otesis, hay una extensi on radical L [ F tal que K L, con una torre
de cuerpos intermedios que cumplen relaciones de tipo (3.13). En vista del Lema 3.54, se
puede suponer, sin perder generalidad, que la extensi on L[ F es normal y que las extensiones
intermedias son abelianas.
Sea H := Gal(L[ F) y sea H
i
:= Gal(L[ F
i
) para i = 0, 1, . . . , r. En vista del Teorema 3.13,
la torre de cuerpos intermedios de L[ F induce una cadena de subgrupos de H, as:
F = F
0
F
1
F
r
= L
_
_
_
H = H
0
H
1
H
r
= 1 (3.14)
En particular, H
i
H
i1
porque F
i
[ F
i1
es una extensi on normal, para i = 1, . . . , r. El Teo-
rema 3.13(f) permite concluir que
Gal(F
i
[ F
i1
) Gal(L[ F
i1
)
_
Gal(L[ F
i
) = H
i1
,H
i
,
y el cociente H
i1
,H
i
es un grupo abeliano porque la extensi on F
i
[ F
i1
es abeliana. La
cadena de subgrupos (3.14) entonces muestra que H es resoluble.
Ahora F K L y la extensi on K [ F es normal porque K es un cuerpo de escisi on
sobre F. Si G = Gal(K[ F), el Teorema 3.13(e,f) implica que Gal(L[ K) Gal(L[ F) = H y
que GH
_
Gal(L[ K). La Proposici on 3.50 muestra que G es resoluble, por ser cociente del
grupo resoluble H.
Teorema 3.56. Sea f (X) F[X] y sea K su cuerpo de escisi on sobre F, con F C. Si
Gal(K [ F) es un grupo resoluble, entonces el polinomio f (X) es resoluble por radicales
sobre F.
MA660: Teora de Galois 68
Demostraci on. Escrbase G = Gal(K [ F). Entonces hay una cadena de subgrupos (3.12) en
donde cada cociente G
i1
,G
i
es un grupo cclico de orden primo p
i
.
Sup ongase primero que F contiene , una raz n- esima primitiva de 1, donde n = [K: F].
Sea F
i
:=K
G
i
. Por el Teorema 3.13, esta cadena de subgrupos induce una torre de cuerpos
intermedios de K[ F, as:
G = G
0
G
1
G
r
= 1
_
_
_
F = F
0
F
1
F
r
= K
Para cada i = 1, . . . , r, es Gal(K [ F
i
) = G
i
G
i1
= Gal(K [ F
i1
), y por ende la extensi on
F
i
[ F
i1
es normal.
Adem as, Gal(F
i
[ F
i1
) C
p
i
. Fjese que
p
1
p
2
. . . p
r
= [F
1
: F] [F
2
: F
1
] . . . [K: F
r1
] = [K: F] = n,
as que p
i
n para cada i. El cuerpo F
i1
contiene una raz p
i
- esima de 1, de la forma
k
i
con
k
i
= p
1
p
2
. . . p
i1
. Ahora la Proposici on 3.44 muestra que F
i
= F
i1
(
i
) para alg un
i
F
i
que cumple
p
i
i
F
i1
. Se concluye que K[ F es una extensi on radical.
En el caso contrario, de que , F, la extensi on K() [ F es normal porque K() es el
cuerpo de escisi on de (X
n
1) f (X) sobre F. Ahora Gal(K() [ K) es abeliano, en particular
es resoluble, y Gal(K[ F) es resoluble. En vista de que
Gal(K[ F) Gal(K() [ F)
_
Gal(K() [ K),
se concluye de la Proposici on 3.50 que Gal(K() [ F) es tambi en un grupo resoluble.
El caso anterior muestra que la extensi on K() [ F es radical, y K K() obviamente.
Por tanto, f (X) es resoluble por radicales sobre F tambi en en este caso.
Los dos teoremas anteriores se pueden combinar en el Teorema de Galois: un polinomio
f (X) es resoluble por radicales si y s olo si el grupo de Galois de su cuerpo de escisi on es un
grupo resoluble.
Para explicar la imposibilidad de resolver por radicales la ecuaci on general de quinto
grado, Galois demostr o adem as que el grupo correspondiente, que es S
5
, no es resoluble. En
efecto, la serie de composici on de S
5
es S
5
A
5
1, en donde el segundo cociente no es
abeliano: eso es una consecuencia inmediata del teorema siguiente.
Teorema 3.57. El grupo alternante A
n
es simple, para n 5.
Demostraci on. T omese n N con n 5. Sea H A
n
un subgrupo normal, con H ,= 1. Hay
que mostrar que H = A
n
.
Eljase un elemento H que, como permutaci on de 1, 2, . . . , n, desplaza la menor
cantidad posible de cifras. Se puede escribir =
1
2
. . .
r
como producto de ciclos disjuntos.
MA660: Teora de Galois 69
Caso 1 Sup ongase que dos de estos ciclos, digamos
1
y
2
, son transposiciones (hay
que notar que dos ciclos disjuntos conmutan). Se puede asumir, sin perder generalidad, que
1
= (12) y
2
= (34). Sea =
3
. . .
r
, de modo que = (12)(34).
El 3-ciclo (123) queda en A
n
. Entonces H contiene
(123)(123)
1
= (123)(12)(34)(132) = (123)(12)(34)(132) = (14)(23),
y luego
_
(14)(23)
_
1
= (12)(34)
1
(23)(14) = (13)(24) H.
Ahora (13)(24) desplaza cuatro cifras solamente. Luego = id y H (12)(34).
Como n 5, es (125) A
n
. Luego
(125)(12)(34)(125)
1
= (125)(12)(34)(152) = (25)(34) H,
as que (12)(34)(25)(34) = (125) H. Se concluye que H contiene un 3-ciclo.
Caso 2 Si en el producto =
1
2
. . .
r
aparece exactamente una transposici on
j
, en-
tonces r 1 porque
j
es una permutaci on impar:
j
, A
n
. Debe haber otro ciclo impar de
longitud al menos 4. Sin perder generalidad, puede asumirse que
1
= (1234. . . k) con k 4.
Ahora H (123)(123)
1
= (2314. . . k)
2
. . .
r
y por ende
H
_
(2314. . . k)
2
. . .
r
_
1
= (1234. . . k)(k. . . 4132) = (142). (3.15)
Tambi en en este caso, H contiene un 3-ciclo.
Caso 3 Si en el producto =
1
2
. . .
r
no aparecen transposiciones, sea k la longitud
del ciclo m as largo
j
. Si k 4, entonces el c alculo (3.15) muestra que hay un 3-ciclo en H.
Si k = 3 y r 2, se puede suponer que = (123)(456)
3
. . .
r
; por tanto, H contiene el
elemento (124)(124)
1
= (156)(243)
3
. . .
r
y por ende
H
_
(156)(243)
3
. . .
r
_
1
= (123)(456)(234)(165) = (14352),
lo cual contradice k = 3. Finalmente, si k = 3 y r = 1, entonces ya es un 3-ciclo.
En todos los casos, hay un 3-ciclo en H. Al reenumerar si fuera necesario, se puede
asumir que (123) H. Entonces
a , 1, 2, 3 = (12a)(123)(12a)
1
= (2a3) H,
c , 2, 3, a = (2ac)(2a3)(2ac)
1
= (3ac) H,
b , 3, a, c = (3ab)(3ac)(3ab)
1
= (abc) H.
Se concluye que H contiene todos los 3-ciclos en A
n
.
Cada elemento de A
n
es un producto de pares de transposiciones (ab)(cd). Si a =c, b =d,
o bien si a = d, b = c, entonces (ab)(cd) = id H. Si a = c, b ,= d, entonces (ab)(cd) =
MA660: Teora de Galois 70
(ab)(ad) = (adb) H. Si a ,= c, b = d, entonces (ab)(cd) = (ab)(bc) = (abc) H. Final-
mente, si a,b, c, d son distintos, entonces
(ab)(cd) = (ab)(ac)(ac)(cd) = (acb)(acd) H.
En resumen, (ab)(cd) H en todos los casos. Por tanto, A
n
= H.
Corolario 3.58. El grupo de permutaciones S
n
no es resoluble, para n 5.
Demostraci on. Como S
n
,A
n
C
2
es abeliano, la Proposici on 3.50 muestra que S
n
es re-
soluble si y s olo si A
n
es resoluble. Del teorema anterior, A
n
es resoluble si y s olo si
n = 1, 2, 3, 4.
Lema 3.59. Si p es primo, p 3, el grupo S
p
es generado por una transposici on y un ciclo
de longitud p.
Demostraci on. Consid erese S
p
como el grupo de permutaciones del conjunto 1, 2, . . . , p.
Se puede suponer que la transposici on es (12). Si es el p-ciclo, entonces alguna potencia
k
cumple
k
(1) =2; basta entonces comprobar el lema para el caso en donde (1) =2. Sin
perder generalidad, se puede suponer que = (123. . . p).
Ahora, en el subgrupo H generado por (12) y , se encuentran
(12)
1
= (123. . . p)(12)(p. . . 321) = (23),
(23)
1
= (23. . . p1)(23)(1p. . . 32) = (34), etc.
Al repetir este c alculo, se obtiene
k1
(12)
1k
= (k, k +1) H para k = 1, . . . , p1. Por
tanto, H contiene las transposiciones (12), (23),. . . , (p1, p). Pero toda transposici on es un
producto de estas; por ejemplo, es (25) = (34)(23)(34)(23)(45)(34)(23). Como cualquier
permutaci on es un producto de transposiciones, se concluye que H = S
p
.
Ejemplo 3.60. El polinomio f (X) = X
5
80X +5 no es resoluble por radicales sobre Q.
En efecto, f (X) es irreducible en Z[X] y por ende en Q[X], por el criterio de Eisenstein
con p = 5. Su derivada es f
/
(X) = 5(X
4
16) = 5(X
2
+4)(X 2)(X +2) que tiene exacta-
mente dos races reales, 2 y 2. De la tabla de valores:
a 4 2 2 4
f (a) 699 133 123 709
se ve que f (X) tiene tres races reales
1
,
2
,
3
, con 4 <
1
<2 <
2
< 2 <
3
< 4. Por
el teorema de Rolle, no puede haber m as races reales: las otras dos races forman un par de
conjugados complejos,
5
=
4
.
Si K = Q(
1
,
2
,
3
,
4
,
5
) es el cuerpo de escisi on de f (X) sobre Q, entonces la con-
jugaci on compleja dene un elemento de G = Gal(K [ Q), de orden 2, que transpone
4
con
5
y deja jas las races reales. Al considerar G como subgrupo del grupo S
5
de per-
mutaciones de las races, se obtiene [
K
= (45) G. Por otro lado, como Q(
1
) K, con
[Q(
1
): Q] = 5 por la irreducibilidad de f (X), se ve que 5[G[ = [K: Q]. Por tanto, G con-
tiene un elemento de orden 5, que es necesariamente un 5-ciclo en S
5
. El Lema 3.59 entonces
muestra que G = S
5
, que es un grupo no resoluble.
MA660: Teora de Galois 71
Ejemplo 3.61. Sean
1
, . . . ,
n
C n umeros complejos algebraicamente independientes:
es decir,
1
es trascendente sobre Q y
j
es trascendente sobre Q(
1
, . . . ,
j1
) para j =
2, . . . , n. Si h(X) := (X
1
)(X
2
). . . (X
n
), la ecuaci on h(X) =0 se llama la ecuaci on
general de n- esimo grado sobre Q. Por la Proposici on 1.24, si a
nk
:= (1)
k
s
k
(
1
, . . . ,
n
)
son los polinomios sim etricos en estas races (con un ajuste de signos), se obtiene de la
f ormula (1.19):
h(X) = X
n
+a
n1
X
n1
+a
n2
X
n2
+ +a
1
X +a
0
, (3.16)
el polinomio m onico general con coecientes en C.
Decir que los
1
, . . . ,
n
son algebraicamente independientes es armar que no cumplen
relaci on polinomial alguna, o bien que el homomorsmo f f (
1
, . . . ,
n
) de Q[X
1
, . . . , X
n
]
en Q[
1
, . . . ,
n
] es inyectivo. Pasando a los cuerpos de fracciones, se obtiene un homomor-
smo inyectivo de : Q(X
1
, . . . , X
n
) Q(
1
, . . . ,
n
).
El cuerpo K := Q(
1
, . . . ,
n
) es el cuerpo de escisi on de h(X) sobre Q. Sea F :=
Q(a
1
, . . . , a
n
) el cuerpo generado por los coecientes de (3.16). Entonces f (X) F[X] y la
extensi on K[ F es normal y nita. Sea G := Gal(K[ F). Cada permutaci on de
1
, . . . ,
n
2), K = Q(
4
3) y K = Q(
3 +
4
3) = e
2i,3
.
Ejercicio 3.10. Un retculo es un conjunto parcialmente ordenado L, en donde cada par de
elementos x, y posee un nmo x y y un supremo x y, y adem as L posee un elemento
mnimo 0 y un elemento m aximo 1. Si K [ F es una extensi on normal y nita con K C,
sea E
K[F
:= E : F E K el conjunto de cuerpos intermedios de esta extensi on; y si
G = Gal(K[ F), sea H
K[F
:=H : H G el conjunto de subgrupos de G.
(a) Comprobar que E
K[F
y H
K[F
son retculos, describiendo sus operaciones y .
(b) Si : E
K[F
H
K[F
es la correspondencia de Galois, y si E, E
/
E
K[F
, demostrar en
detalle que (E E
/
) =(E) (E
/
) y (E E
/
) =(E) (E
/
).
Ejercicio 3.11 (Artin). (a) Si F(t) es el cuerpo de funciones racionales sobre F, sean , las
aplicaciones de F(t) en F(t) denidas por
12
( f (t)) := f
_
1
1t
_
, ( f (t)) := f
_
1
t
_
.
Mostrar que y son F-automorsmos de F(t) y que generan un grupo H de 6 elementos,
isomorfo a S
3
.
12
Este ejercicio est a tomado del libro de Artin, pp. 3839.
MA660: Teora de Galois 73
(b) Vericar que s :=
(t
2
t +1)
3
t
2
(t 1)
2
F(t) queda jo bajo los automorsmos en H.
(c) Demostrar que el cuerpo jo F(t)
H
es precisamente F(s).
Ejercicio 3.12. Un teorema de Kaplansky dice que si f (X) = X
4
+aX
2
+b Z[X] es irre-
ducible, entonces el grupo Gal(K
f
[ Q) es uno de los siguientes tres grupos: el Vierergruppe
V =C
2
C
2
, el grupo cclico C
4
, o bien el grupo di edrico D
4
(de 8 elementos). Hallar este
grupo de Galois en los tres casos:
(a) f (X) = X
4
+1, (b) f (X) = X
4
+4X
2
+2, (c) f (X) = X
4
+2X
2
+2,
para comprobar que los tres grupos admisibles se realizan.
13
Ejercicio 3.13. (a) Sean E = Q(
2,
3) y K = E
_
_
(2+
2)(3+
3)
_
. Vericar que
[K: E] = 2.
(b) Demostrar que E [ Q es normal y que Gal(E [ Q) C
2
C
2
.
(c) Demostrar que K[ Q es normal y que Gal(K[ Q) Q, donde
Q :=1, 1, i, i, j, j, k, k con i
2
= j
2
= k
2
= i jk =1
es el grupo de cuaterniones de 8 elementos.
14
Ejercicio 3.14. Sea
n
(X) el polinomio ciclot omico tal que
n
(e
2i,n
) = 0.
(a) Si p es un n umero primo tal que p
,
n, mostrar que
pn
(X) =
n
(X
p
),
n
(X). [[ Indi-
caci on: inducci on sobre n. ]]
(b) Si p es un n umero primo tal que pn, mostrar que
pn
(X) =
n
(X
p
).
Ejercicio 3.15. Si n N es impar con n 1, demostrar que
2n
(X) =
n
(X).
Ejercicio 3.16. Calcular los polinomios ciclot omicos
8
(X),
12
(X),
24
(X),
30
(X) y
81
(X).
Ejercicio 3.17. (a) Sea n = 2
k
con k 2. Mostrar que 5
2
r
1+2
r+2
mod 2
r+3
para r N.
[[ Indicaci on: El teorema binomial. ]] Concluir que el orden del elemento 5 U
n
es 2
k2
.
(b) Demostrar que 5
m
, 1 mod 2
k
para todo m N. Concluir que U
n
es isomorfo al
grupo C
2
k2 C
2
.
Ejercicio 3.18. Sean :=e
2i,17
, K :=Q() y G:=Gal(K[ Q). Se sabe que GU
17
C
16
.
Sea
k
G el automorsmo de Q() que corresponde a k U
17
.
(a) Mostrar que 2
8
1 mod 17 y que 3
8
, 1 mod 17 (as que
3
es un generador del
grupo cclico G pero
2
no es un generador). Escribir la lista de las potencias de 3 en U
17
.
13
Ejercicio tomado de los apuntes de Baker: ver la bibliografa.
14
Ejercicio tomado de los apuntes de Milne: ver la bibliografa.
MA660: Teora de Galois 74
(b) Vericar que el retculo H
K[Q
es una cadena, isomorfa a C
16
C
8
C
4
C
2
1.
Comprobar que el retculo E
K[Q
viene dado por
Q= K
3
)
K
9
)
K
13
)
K
16
)
K =Q().
(c) Sea := +
2
+
4
+
8
+
9
+
13
+
15
+
16
. Encontrar G tal que () ,=
pero (()) = . Mostrar que [Q(): Q] = 2 y obtener el polinomio mnimo de sobre
Q. Concluir que , () =
1
2
(1
17).
(d) Vericar que cos(2,17) cos(4,17)
n
(X).
Ejercicio 3.19 (Gian-Carlo Rota, 1964). Sea N un conjunto parcialmente ordenado con un
elemento mnimo t, tal que cada intervalo z N : x z y sea nito. Sea A un grupo
abeliano con una operaci on aditiva, y sea F el conjunto de funciones F : NN A tales que
f (x, y) = 0 cuando x ,y. La convoluci on F G de F, G F se dene por
F G(x, y) :=
xzy
F(x, z)G(z, y).
(a) Vericar que (F, +, ) es un anillo con identidad D, donde D(x, x) := 1, D(x, y) := 0 si
x ,= y.
(b) Defnase la funci on zeta en F por Z(x, y) := 1 toda vez que x y. Defnase otro
elemento M F por inducci on, as: M(x, x) := 1; y si M(x, z) est a denida para x z < y,
entonces
M(x, y) :=
xz<y
M(x, z).
Vericar esta funci on de M obius
16
M invierte Z, es decir, que MZ = D = Z M.
(c) Si f , g: N A son dos funciones, mostrar que
g(x) =
twx
f (w) si y s olo si f (y) =
txy
g(x)M(x, y).
15
Ejercicio tomado del libro de Escoer, que incluye esos c alculos tediosos.
16
Esta generalizaci on de la funci on de M obius para N es una pieza clave de la teora general de la combi-
natoria, esbozada en el artculo de Gian-Carlo Rota, On the foundations of combinatorial theory I. Theory of
M obius functions, Zeitschrift f ur Wahrscheinlichkeitstheorie 2 (1964), 340368.
MA660: Teora de Galois 75
Ejercicio 3.20. T omese N :=N
km
f (k)g(m,k).
(b) Sea (n) :=M(1, n) la funci on de M obius para N. Comprobar la f ormula de inversi on:
g(n) =
mn
f (m) si y s olo si f (m) =
km
g(k) (m,k).
Nota: si se reemplaza el grupo aditivo A por un grupo multiplicativo en la denici on de F y
F
/
, esta f ormula debe ser reemplazado por su versi on multiplicativa:
g(n) =
mn
f (m) si y s olo si f (m) =
km
g(k)
(m,k)
.
(c) Vericar la siguiente f ormula para la funci on de M obius . Sea n = p
r
1
1
p
r
2
2
. . . p
r
k
k
la
factorizaci on prima de n, donde p
1
, . . . , p
k
son primos distintos. Entonces
(n) =
_
(1)
k
, si cada r
i
= 1,
0, si alg un r
i
1.
[[ Indicaci on: Considerar la expansi on binomial de (11)
k
= 0. ]]
Ejercicio 3.21. Sea A el grupo multiplicativo C(X)0 de funciones racionales no nulos con
coecientes complejos. Usar la f ormula de inversi on de M obius para comprobar la f ormula
n
(X) =
dn
(X
d
1)
(n,d)
.
Usar esta f ormula para calcular los polinomios ciclot omicos
8
(X),
12
(X),
24
(X),
30
(X)
y
81
(X).
Ejercicio 3.22. Sea una raz n- esima primitiva de 1 y sea F un subcuerpo de C.
(a) Mostrar que F() es una extensi on normal de F.
(b) Sea G = Gal(F() [ F) su grupo de Galois. Si U
n
= Gal(Q() [ Q), mostrar que la
restricci on () :=
Q()
dene un homomorsmo inyectivo : G U
n
.
(c) Concluir que la extensi on F() [ F es abeliana.
Ejercicio 3.23. Mostrar que la extensi on Q
_
2,
_
3
3+
3
5
_
[ Q es una extensi on radical,
al exhibir una torre de extensi ones intermedias cuyos grupos de Galois son cclicos de orden
primo.
MA660: Teora de Galois 76
Ejercicio 3.24. Sea f (X) Z[X] un polinomio y sea D = D( f (X)) su discriminante. Si
n = gr f (X), consid erese Gal(K
f
[ Q) como subgrupo del grupo S
n
de permutaciones de las
races (en K
f
). Mostrar que Gal(K
f
[ Q) A
n
si y s olo si D es un cuadrado en Q.
Ejercicio 3.25. Mostrar que el polinomio X
3
3X +1 es irreducible en Z[X] y que su grupo
de Galois sobre Q es isomorfo a C
3
.
Ejercicio 3.26. (a) Mostrar que el polinomio f (X) = X
3
5 es irreducible en Z[X] y que su
grupo de Galois sobre Q es isomorfo a S
3
.
(b) Encontrar un cuerpo intermedio E con QE K
f
tal que Gal(E [ Q) C
3
.
Ejercicio 3.27. Comprobar que el discriminante del polinomio X
3
+aX
2
+bX +c es
D = a
2
b
2
+18abc 4b
3
4a
3
c 27c
2
.
Concluir que el grupo de Galois (sobre Q) del polinomio X
3
+10X
2
24X 256 es isomorfo
a C
3
.
Ejercicio 3.28. (a) Mostrar que f (X) = X
4
10X
2
4X +6 es irreducible en Z[X].
17
(b) Si sus races son
1
,
2
,
3
,
4
C, sean
1
:=
1
2
+
3
4
,
2
:=
1
3
+
2
4
,
3
:=
1
4
+
2
3
.
Usar el m etodo de Ferrari para obtener el polinomio mnimo de
1
. En seguida, vericar que
Gal(Q(
1
) [ Q) C
3
.
(c) Comprobar que el grupo de Galois G = Gal(K
f
[ Q) permuta
1
,
2
,
3
cclicamente y
por ende no contiene transposiciones. Concluir que G A
4
.
Ejercicio 3.29. (a) Vericar que el grupo A
4
no incluye un subgrupo de orden 6.
(b) Usar el resultado del Ejercicio anterior para mostrar que las races del polinomio
f (X) = X
4
10X
2
4X +6 no son n umeros constructibles con regla y comp as.
Ejercicio 3.30. Un teorema de la teora de grupos nitos asegura que cualquier grupo nito
G de orden p
r
, con p primo, tiene un subgrupo normal H G tal que [G: H] = p.
Si K [ Q es una extensi on normal nita de grado p
r
, mostrar que K [ Q es una extensi on
radical, con una torre de extensiones Q = F
0
F
1
F
r
= K tal que cada extensi on
intermedia F
i
[ F
i1
es cclica de orden p.
Ejercicio 3.31. Sea f (X) Z[X] un polinomio de grado 4, que tenga exactamente 2 races
reales. Mostrar que su grupo de Galois sobre Q es S
4
o D
4
.
Ejercicio 3.32. (a) Mostrar que el polinomio f (X) = X
5
5X +1 es irreducible en Z[X].
(b) Vericar que f (X) tiene exactamente tres races reales. Concluir que su grupo de
Galois sobre Q es S
5
.
17
Ejercicio tomado de los apuntes de Chamizo: ver la bibliografa.
MA660: Teora de Galois 77
Ejercicio 3.33. La notaci on F
20
denota el grupo de Frobenius de orden 20. Este es el grupo
abstracto
F
20
:=a, b : a
5
= 1, b
4
= 1, ba = a
2
b).
(a) Vericar que los ciclos a = (12345), b = (2354) realizan F
20
como subgrupo de S
5
y
mostrar que F
20
es un grupo resoluble.
(b) Encontrar el cuerpo de escisi on K
f
para el polinomio f (X) = X
5
2 sobre Q.
(c) Mostrar que Gal(K
f
[ Q) F
20
.
(d) Expresar la extensi on K
f
[ Q como extensi on radical, al exhibir una torre de exten-
siones cclicas intermedias.
18
18
Ejercicio tomado de los apuntes de Milne.
MA660: Teora de Galois 78
4 Cuerpos Finitos
Hasta ahora, se ha estudiado la teora de Galois mayormente para cuerpos incluidos en C.
Buena parte de los resultados ya vistos son v alidos en otros cuerpos, como por ejemplo el
cuerpo de funciones racionales Q(X). En este captulo se considera el caso general, con
atenci on a los cuerpos con un n umero nito de elementos. Aparece un fen omeno nuevo, de
inseparabilidad: la existencia de polinomios irreducibles con races repetidas.
4.1 Cuerpos de caracterstica prima
Sea F un cuerpo cualquiera. Si a F y n Z con n 0, escrbase n a := a +a + +a
(n sumandos). Tambi en sean (n) a := n (a) y 0 a := 0 F. Entonces la expresi on
(n) := n 1 dene un homomorsmo de anillos : Z F.
Sup ongase que : Z F es inyectivo. Este es el caso cuando n 1 ,= 0 en F para n ,= 0
en Z. Entonces se extiende a un homomorsmo inyectivo : QF por
_
m
n
_
:=
m 1
n 1
F,
cuando m, n Z con n ,= 0. Es inmediata que Q (Q) F.
Ahora consid erese el caso contrario, cuando : Z F no es inyectivo. En este caso, hay
n 0 con n 1 = 0 en F. Si n = rs con r 1, s 1 en N, entonces
0 = n 1 = 1+ +1
. .
n veces
= (1+ +1
. .
r veces
)(1+ +1
. .
s veces
) = (r 1)(s 1),
as que r 1 =0 o bien s 1 =0 en F. Sea p el menor entero positivo tal que p 1 =0; entonces
p es un n umero primo. Luego F
p
(Z) F.
Denici on 4.1. El cuerpo F es de caracterstica 0 si : Z F es inyectivo. El subcuerpo
primo de F es el subcuerpo generado por 1, que es (Q) Q.
Sea p un n umero primo. Un cuerpo F es de caracterstica p si : Z F no es inyectivo
y si p es el menor entero positivo tal que p 1 = 0. El subcuerpo primo de F es el subcuerpo
generado por 1, que es (Z) F
p
.
Lema 4.2. Si F es un cuerpo nito con q elementos, entonces q = p
r
para alg un n umero
primo p y alg un r N
.
Demostraci on. Por ser F nito, no puede incluir un subcuerpo innito y por tanto no puede
tener caracterstica 0. Si su caracterstica es p, su cuerpo primo es (isomorfo a) F
p
.
Sea r := [F : F
p
]. Sea x
1
, . . . , x
r
una base de F como espacio vectorial sobre F
p
. Los
distintos elementos de F son combinaciones lineales c
1
x
1
+ +c
r
x
r
con c
1
, . . . , c
r
F
p
.
Hay exactamente p
r
formas de elegir estos coecientes, por lo tanto q = p
r
.
Proposici on 4.3. Si F es un cuerpo nito con p
r
elementos, entonces F es un cuerpo de
escisi on del polinomio X
p
r
X sobre su cuerpo primo.
MA660: Teora de Galois 79
Demostraci on. Sea F
:= F 0. Entonces F
aF
(X a). (4.1)
Es evidente y trivial que F es generado, sobre su cuerpo primo, por el conjunto de races
a : a F , as que F es un cuerpo de escisi on de X
p
r
X.
Teorema 4.4. Si q = p
r
es una potencia de un primo, existe un cuerpo nito, unico hasta
isomorsmo, con q elementos.
Demostraci on. Consid erese el polinomio f (X) := X
p
r
X F
p
[X]. Por el Corolario 2.18 al
teorema de Kronecker, hay una extensi on K[ F
p
tal que f (X) escinde en K. Se puede suponer,
sin perder generalidad, que K est a generado sobre F
p
por las races de f (X), de modo que K
es un cuerpo de escisi on para f (X) sobre F
p
. El Corolario 2.25 dice que K es unico, hasta un
F
p
-isomorsmo.
La derivada de f (X) es f
/
(X) = p
r
X
p
r
1
1 = 1 en F
p
[X]. El discriminante de f (X)
es entonces D( f (X)) = (1)
p
r
1
Res( f (X), 1) = 1 ,= 0. Por el Lema 1.32, las races de
f (X) son distintas.
(Fjese que ese Lema, y las propiedades de resultantes que lo demuestran, fueron enun-
ciados para subcuerpos de C, pero son igualmente v alidos en un cuerpo como F
p
que admite
una extensi on que contenga todas las races de f (X) y de f
/
(X).)
Sea E K el conjunto de las p
r
races (distintas) de f (X). Si , E, entonces ()
p
r
=
p
r
p
r
=, as que E; tambi en, ()
p
r
=
p
r
=, as que E. (Obs ervese
que = + si p = 2.) Adem as, por el teorema binomial, es
(+)
p
r
=
p
r
+
_
p
r
1
_
p
r
1
+ +
_
p
r
p
r
1
_
p
r
1
+
p
r
=
p
r
+
p
r
=+, (4.2)
porque p
_
p
r
k
_
si k = 1, . . . , p
r
1. Por tanto, + E tambi en. Se concluye que E es un
subcuerpo de K con p
r
elementos. La Proposici on 4.3 implica que E = K.
Denici on 4.5. Si q = p
r
es una potencia de un primo, sea F
q
el cuerpo nito ( unico) con
q elementos.
Si q = p es primo, este F
p
es el cuerpo Z,pZ de antes. Si es un automorsmo de F
p
,
entonces (1) = 1 necesariamente, luego (k) = k para k = 0, 1, . . . , p1 por la aditividad
de . Se concluye que el unico automorsmo de F
p
es = id.
MA660: Teora de Galois 80
Denici on 4.6. Sea F un cuerpo de caracterstica p ,= 0. El endomorsmo de Frobenius
1
: F F es la aplicaci on denida por (a) := a
p
.
La f ormula (4.2), para r = 1, muestra que es aditivo; es obviamente multiplicativo y
por ende es un homomorsmo, necesariamente inyectivo, que deja jo el cuerpo primo F
p
.
Si F es un cuerpo nito de caracterstica p, entonces es biyectivo. En tal caso, se
llama el automorsmo de Frobenius de F.
Proposici on 4.7. Si q = p
r
es una potencia de un primo, el grupo de automorsmos Aut(F
q
)
del cuerpo F
q
es un grupo cclico de orden r, generado por el automorsmo de Frobenius.
Demostraci on. Sea el automorsmo de Frobenius de F
q
. Entonces
r
(a) = a
p
r
= a para
todo a F
q
, lo cual dice que
r
= id en Aut(F
q
). Si fuera de orden s con s < r, entonces
a
p
s
=a para todo a F
q
, de modo que F
q
contendra p
r
races distintas del polinomio X
p
s
X,
lo cual es imposible. Por lo tanto, el subgrupo cclico de Aut(F
q
) generado por tiene r
elementos.
Ahora el grupo multiplicativo F
q
es cclico, por la Proposici on 3.40. Si F
q
es un
generador de este grupo, entonces las potencias
p
k
: k = 0, 1, . . . , r 1 son distintas. Sea
g(X) F
p
[X] el polinomio mnimo de , cuyo grado divide [F
q
: F
p
] = r. Entonces para
k = 0, 1, . . . , r 1, es
g(
p
k
) = g(
k
()) =
k
(g()) =
k
(0) = 0,
de modo que los
p
k
son r races distintas de g(X). Luego gr g(X) =r y adem as F
q
=F
p
().
Cada Aut(F
q
) deja jo el cuerpo primo F
p
, as que Aut(F
q
) = Gal(F
q
[ F
p
). En
particular, queda determinado por (). Pero g(()) = (g()) = (0) = 0, as que
() es una raz de g(X). Luego () =
p
k
=
k
() para alg un k. Se concluye que el
grupo cclico generado por es todo Aut(F
q
).
Corolario 4.8. Si q = p
r
es una potencia de un primo, la extensi on F
q
[ F
p
es cclica y posee
un elemento primitivo.
Demostraci on. La extensi on F
q
[ F
p
es obviamente nita, de grado r, y la Proposici on anterior
muestra que Gal(F
q
[ F
p
) C
r
. Cualquier generador del grupo cclico F
q
es un elemento
primitivo de la extensi on, pues F
q
=F
p
().
Para ver que la extensi on es normal, es cuesti on de notar que F
q
es el cuerpo de es-
cisi on sobre F
p
del polinomio mnimo de , cuyas races son ,
p
,
p
2
, . . . ,
p
r1
. La
Proposici on 2.32 garantiza la normalidad de F
q
[ F
p
.
Corolario 4.9. Si K[ F
q
es una extensi on nita del cuerpo nito F
q
, entonces K[ F
q
es cclica
y posee un elemento primitivo.
Demostraci on. Si [K: F
q
] = s, entonces K F
q
s y las demostraciones de la Proposici on 4.7
y el Corolario 4.8 ofrecen el resultado, al cambiar q q
s
, p q y
q
donde
q
(a) :=a
q
para a K.
1
Un endomorsmo de un anillo A es un homomorsmo de A en s mismo. No es necesariamente inyectivo
(cuando A no es un cuerpo) ni sobreyectivo.
MA660: Teora de Galois 81
4.2 Extensiones separables y de Galois
En cuerpos de caracterstica prima, se presenta un fen omeno curioso, de la existencia de
polinomios irreducibles con races repetidas.
Ejemplo 4.10. Sea K := F
p
(t) el cuerpo de funciones racionales en una variable t con co-
ecientes en F
p
. En este caso, por ser t trascendente sobre F
p
, el cuerpo K es innito y su
endomorsmo de Frobenius :
p
no es sobreyectivo. Sea F :=(K) la imagen de este
endomorsmo, que es un subcuerpo de K. Si h(t) F
p
(t), es f acil ver que (h(t)) = h(t
p
),
porque deja jo el cuerpo primo F
p
.
Sea := (t) = t
p
F. Entonces t K es un elemento algebraico sobre F, porque
es una raz del polinomio X
p
F[X]. Luego K es una extensi on algebraica de F. Si
: K[X] F[X] : f (X) f
. Entonces K = 0
k
: k = 1, . . . , q
s
1, as
que K =F
p
() = F().
En la Proposici on 3.2, la desigualdad
Gal(K[ F)
Gal(K[ F)
K[F
: H K
H
entre cuerpos intermedios de K[ F y subgrupos de Gal(K[ F) son biyecciones
inversas que cumplen las propiedades (a) (f) del Teorema 3.13.
4.3 Ejercicios sobre cuerpos nitos
En los problemas que siguen, p es un n umero primo. Si q = p
r
con r N
, F
q
denotar a el
cuerpo nito con q elementos.
Ejercicio 4.1. (a) Mostrar que F
p
r es isomorfo a un subcuerpo de F
p
s si y s olo si r s.
(b) Exhibir el retculo de cuerpos intermedios de la extensi on F
p
24 [ F
p
.
(c) Cu al es el grupo de Galois Gal(F
p
24 [ F
p
)? cu ales son todos sus subgrupos?
Ejercicio 4.2. (a) Si p 3 mod 4, mostrar que X
2
+1 es irreducible en F
p
[X].
(b) Si p 1 mod 4, mostrar que X
2
+1 escinde en F
p
[X].
4
Ejercicio 4.3. Si q = p
r
con r 1, y si s 1, mostrar que Gal(F
q
s [ F
q
) es un grupo cclico.
Ejercicio 4.4. (a) Si F es un cuerpo nito de caracterstica p, sea f (X) :=X
p
X 1 F[X].
Si F es una raz de este f (X), comprobar que ( +k) es una raz de f (X) para todo k en
el cuerpo primo F
p
.
(b) Concluir que f (X) es irreducible en F[X], o bien f (X) escinde en F[X].
(c) Mostrar que el polinomio X
p
X 1 es irreducible en F
p
[X].
Ejercicio 4.5. (a) Si f (X) es un polinomio m onico en Z[X], sea f (X) F
p
[X] su reducci on
m odulo p, obtenida al reemplazar cada coeciente a
k
de f (X) por su residuo a
k
F
p
. Si f [X]
es irreducible en F
p
[X], mostrar que f (X) es irreducible en Z[X].
(b) Concluir que X
p
X 1 es irreducible en Z[X] para todo primo p.
(c) Sea h(X) := X
5
5X
4
6X 1. Es h(X) reducible o irreducible en Z[X]?
4
Ejercicio tomado de los apuntes de Baker.
MA660: Teora de Galois 85
Ejercicio 4.6. (a) Si h(X) F
p
[X] es un factor irreducible de X
p
r
X con gr h(X) = m,
mostrar que mr.
[[ Indicaci on: Considerar el cuerpo de escisi on de h(X) sobre F
p
. ]]
(b) Factorizar X
9
X en F
3
[X].
Ejercicio 4.7. Mostrar que el polinomio f (X) = X
4
10X
2
+1 es irreducible en Z[X], pero
es reducible en F
p
[X] para todo primo p.
Para la reducci on en F
p
[X], consid erese las siguientes factorizaciones en R[X]:
5
X
4
10X
2
+1 = (X
2
2
2X 1)(X
2
+2
2X 1)
= (X
2
2
3X +1)(X
2
+2
3X +1)
= (X
2
(5+2
6))(X
2
(52
6)).
Mostrar que si k y l no son cuadrados en F
p
, entonces su producto kl s es un cuadrado en F
p
.
[[ Indicaci on: El grupo F
p
es cclico. ]] Concluir que al menos uno de entre 2, 3, 6 es un
cuadrado en F
p
para todo primo p.
5
Ejercicio tomado de los apuntes de Milne.
MA660: Teora de Galois 86
5 Extensiones de HopfGalois
El teorema principal de la teora de Galois establece una correspondencia entre los cuerpos
intermedios de una extensi on K [ F y los subgrupos de su grupo de Galois Gal(K [ F). Su
validez depende fuertemente de que esta extensi on sea de Galois, es decir, separable y nor-
mal. Si la extensi on no es normal, el grupo de Galois suele ser demasiado peque no: no hay
sucientes F-automorsmos de K para obtener la correspondencia. Sin embargo, en algunos
casos se puede emplear automorsmos generalizados de K [ F que son aditivos pero no
multiplicativos. Estos casos sugieren que sera provechosa reemplazar el grupo de Galois por
una estructura algebraica m as exible.
Otra motivaci on para ampliar el concepto de extensi on de Galois es la de clasicar exten-
siones de algebras o anillos que no necesariamente son cuerpos. La teora general de estas
extensiones para algebras conmutativas fue desarrollada a partir de 1965.
1
Hoy en da hay
una intensa actividad de investigaci on en la clasicaci on de extensiones de algebras y anillos
no necesariamente conmutativos.
5.1 Endomorsmos de una extensi on
Denici on 5.1. Sea K[ F una extensi on de cuerpos. Si una aplicaci on : K K cumple
_
( +) = () +()
(c) = c()
_
si , K, c F,
(es decir, es F-lineal) se dice que es un F-endomorsmo de K. La totalidad End
F
(K)
de tales F-endomorsmos es un algebra sobre F, de dimensi on [K: F]
2
.
Es importante se nalar que un F-endomorsmo no es necesariamente multiplicativo, es
decir, que () ,=()() en general.
2
Para cada K, el operador de multiplicaci on
() : es evidentemente F-lineal. Esto dene una inyecci on : K End
F
(K).
Ejemplo 5.2. La extensi on Q(
3
2
,
s(1) := 0, s() := +
1
2
, s(
2
) :=
1
2
2
.
1
Las fuentes primarias son el artculo de Stephen U. Chase, David K. Harrison y Alex Rosenberg, Galois
theory and Galois cohomology of commutative rings, Memoirs of the AMS 52 (1965), 1533; y la monografa
de Stephen U. Chase y Moss E. Sweedler, Hopf Algebras and Galois Theory, Lecture Notes in Mathematics 97,
Springer, New York, 1969.
2
Anteriormente, se llam o F-morsmo a una aplicaci on entre dos extensiones de F que fuera F-lineal y
tambi en multiplicativa. Esta usanza es inconsistente con el actual uso de la palabra endomorsmo, por lo
que se ruega disculpas del lector. En la literatura del algebra superior, esta palabra se usa en ambos sentidos, a
menudo sin previo aviso. Caveat lector.
MA660: Teora de Galois 87
Obs ervese que para K, es Q si y s olo si c() = y s() = 0.
Sea H :=Q(c, s) End
Q
(K). Fjese que
cs = sc, c
2
+3s
2
= id, (2c +id)s = 0, (2c +id)(c id) = 0.
Luego H Q[X,Y]
__
X
2
+3Y
2
1, (2X +1)Y, (2X +1)(X 1)
_
es una sub algebra conmuta-
tiva de End
Q
(K), de dimensi on 3. En efecto, como cs, c
2
, s
2
pueden expresarse como combi-
naciones lineales de id, c, s y estos son linealmente independientes entre s, es dim
Q
H = 3.
Es f acil comprobar que (K)H = End
Q
(K) como espacio Q-vectorial.
3
Es evidente que las aplicaciones lineales c y s no son automorsmos de Q(
3
2); la s ni
siquiera es sobreyectiva. Sin embargo, como pareja cumplen las siguientes f ormulas, pareci-
das a las reglas de adici on para las funciones trigonom etricas coseno y seno:
c() = c()c() 3s()s(),
s() = s()c() +c()s(). (5.1)
Estas igualdades son evidentes si = 1 o bien = 1, y es f acil comprobarlos para ,
,
2
. Por ejemplo, para el caso = = es inmediato que
c()
2
3s()
2
=
1
4
3
4
2
=
1
2
2
= c(
2
), 2s()c() =
1
2
2
= s(
2
).
Por linealidad, (5.1) se verica para todo , Q(). En la pr oxima subsecci on, se intro-
duce un formalismo que permite deducir estas relaciones a partir de un coproducto en H,
de modo que (5.1) se presenta as:
(c) = c c 3s s, (s) = s c +c s. (5.2)
En ese formalismo, un automorsmo , que obedece () =()(), cumple la relaci on
() = . Los endomorsmos id, c y s generan una co algebra que reemplaza el grupo
de Galois.
5.2 Algebras de Hopf
Denici on 5.3. Sean U y V dos espacios vectoriales sobre un cuerpo F. Sea B(U,V) la
totalidad de aplicaciones bilineales s: UV F. Si u U, v V, entonces uv : s s(u, v)
es F-lineal, as que pertenece al espacio dual B(U,V)
. El subespacio de B(U,V)
generado
por estos elementos se denota U V y se llama el producto tensorial de U y V sobre F.
Cualquier elemento de U V es una suma nita
j
u
j
v
j
de estos tensores simples, que
cumplen las siguientes propiedades de combinaci on:
(u
1
+u
2
) v = u
1
v +u
2
v,
u(v
1
+v
2
) = uv
1
+uv
2
,
a(uv) = auv = uav,
si u, u
1
, u
2
U, v, v
1
, v
2
V y a F.
3
Este ejemplo est a tomado del artculo: Cornelius Greither y Bodo Pareigis, Hopf Galois theory for separa-
ble eld extensions, J. Algebra 106 (1987), 239258. Este trabajo es una pieza clave de la teora aqu esbozado.
MA660: Teora de Galois 88
La expresi on
r
j=1
u
j
v
j
para un elemento de U V no es unica, pero se puede suponer
que los u
1
, . . . , u
r
son linealmente independientes en U y que los v
1
, . . . , v
r
son linealmente
independientes en V. En consecuencia, se ve que dim
F
(U V) = (dim
F
U)(dim
F
V) cuando
estas dimensiones son nitas.
El producto tensorial posee una propiedad universal: si W es otro espacio vectorial so-
bre F, entonces cualquier aplicaci on bilineal s: U V W determina una unica aplicaci on
lineal s: U V W por s(uv) := s(u, v). En un diagrama:
U V
s
P
P
P
W
U V
n
n
n
n
n
n
(5.3)
Dados tres espacios vectoriales U,V,W sobre F, es f acil comprobar que hay un isomor-
smo F-lineal unico de (U V) W en U (V W) tal que (u v) w u (v w)
para u U, v V, w W. Por lo tanto, se escribe U V W sin par entesis, con elementos
uv w. De igual modo, hay un isomorsmo F-lineal unico
: U V V U dado por (uv) := v u. (5.4)
Tambi en se identica, F U U U F, porque dim
F
F = 1, mediante las isomorsmos
naturales 1u u u1.
Denici on 5.4. Sea F un cuerpo. Un algebra sobre F es un anillo A (con identidad 1
A
) que
es a la vez un espacio vectorial sobre F, tal que el producto asociativo AA A sea bilineal.
En vista de (5.3), el producto puede considerarse alternativamente como una aplicaci on lineal
m: AA A. La presencia de 1
A
A determina una inclusi on : F A por (c) := c1
A
,
que es trivialmente lineal. De este modo, un algebra sobre F puede denirse como un triplete
(A, m, ), en donde A es un espacio F-vectorial, m y son aplicaciones F-lineales, y se
exigen las siguientes dos propiedades:
1. Asociatividad: m(mid) = m(idm) : AAA A;
2. Unidad: m( id) = m(id) = id : A A.
Estas propiedades pueden ilustrarse mediante dos diagramas conmutativas:
AAA
mid
idm
AA
m
AA
m
A
AA
m
F A
id
n
n
n
n
n
n
P
P
P
P
P
P
P
P
AF
id
P
P
P
P
P
P
=
n
n
n
n
n
n
n
n
A
(5.5)
El concepto dual de un algebra, en el sentido categ orico, es una co algebra, obtenido
formalmente por reversi on de las echas en los diagramas (5.5).
MA660: Teora de Galois 89
Denici on 5.5. Una co algebra sobre un cuerpo F es triplete (C, , ), en donde C es un
espacio F-vectorial y : C CC y : C F son aplicaciones F-lineales que cumplen las
siguientes dos propiedades:
1. Coasociatividad: (id) = (id) : C CCC;
2. Counidad: ( id) = (id) = id : C C.
Se dice que es un coproducto sobre C y que es una counidad para C. Fjese que
es necesariamente inyectivo porque posee un inverso a la izquierda. Estas propiedades se
exhiben en dos diagramas conmutativas:
CCC CC
id
CC
id
CC
id
n
n
n
n
n
n id
P
P
P
P
P
P
F C
P
P
P
P
P
P
P
P
CF
=
n
n
n
n
n
n
n
n
C
(5.6)
Ejemplo 5.6. Un producto agrega dos objetos en un uno; un coproducto reparte un objeto
en dos. Para comprender su signicado, consid erese el algebra de polinomios F[X]. Posee
un producto bilineal, que s olo necesita denirse sobre la base vectorial de los monomios:
m(X
k
X
l
) := X
k+l
, como ya se sabe. Pero resulta que F[X] tambi en es una co algebra, bajo
el coproducto denido por
(X
n
) :=
n
k=0
_
n
k
_
X
k
X
nk
. (5.7)
La counidad es (X
n
) := 0, (1) := 1, extendido por linealidad. Esta estructura se llama la
co algebra binomial, con diversas aplicaciones combinatoriales.
4
Obs ervese que las dos estructuras de F[X] son compatibles, porque tanto como re-
spetan el producto, es decir, son homomorsmos sobre el algebra F[X]. En efecto,
(X
m
)(X
n
) =
m
j=0
n
k=0
_
m
j
__
n
k
_
X
j
X
k
X
mj
X
nk
=
m+n
r=0
j+k=r
_
m
j
__
n
k
_
X
j+k
X
m+njk
=
m+n
r=0
_
m+n
r
_
X
r
X
m+nr
=(X
m+n
),
al usar la identidad de Vandermonde. En otras palabras, F[X] es una bi algebra.
4
La reformulaci on de problemas combinatoriales en el lenguaje de las co algebras fue uno de los grandes
temas del trabajo de Gian-Carlo Rota. V ease: Saj-Nicole Joni y Gian-Carlo Rota, Coalgebras and bialgebras
in combinatorics, en el libro Umbral Calculus and Hopf Algebras, AMS, Providence, RI, 1979, pp. 147.
MA660: Teora de Galois 90
Denici on 5.7. Una bi algebra sobre F es un quinteto (A, m, , , ), tal que (A, m, ) es un
algebra, (A, , ) es una co algebra, y tanto : AAA como : AF son homomorsmos
de algebras.
La manera de denotar un producto es conocido: se escribe ab := m(a b), por yuxta-
posici on. Hay una notaci on generalmente aceptada, introducido por Sweedler, para denotar
un coproducto. Se escribe
(a) =: a
(1)
a
(2)
. (5.8)
El smbolo toma cuenta de que el lado derecho generalmente no es un tensor simple, sino
una suma nita de tensores simples; v ease (5.7), por ejemplo. Sin embargo, se suele omitir
el ndice de esta sumatoria. La coasociatividad de se expresa por la relaci on
a
(1)(1)
a
(1)(2)
a
(2)
=a
(1)
a
(2)(1)
a
(2)(2)
,
la cual puede reescribirse, sin ambig uedad, como
(id)((a)) = (id)((a)) =: a
(1)
a
(2)
a
(3)
. (5.9)
La propiedad de counidad se expresa en notaci on de Sweedler mediante
(a
(1)
)a
(2)
=a
(1)
(a
(2)
) = a A. (5.10)
Ejemplo 5.8. Sea G un grupo nito, F un cuerpo. El algebra de grupo F[G] es la totalidad
de sumas
gG
a
g
g con cada a
g
F. En otras palabras, F[G] es un espacio vectorial sobre
F, de dimensi on [G[, con una base etiquetada por los elementos de G. El producto en F[G]
se dene as:
_
gG
a
g
g
__
hG
b
h
h
_
:=
g,hG
a
g
b
h
gh =
kG
_
gh=k
a
g
b
h
_
k.
En otras palabras, se extiende bilinealmente la multiplicaci on del grupo G; sera equivalente
denir m(gh) := gh sobre los elementos de la base vectorial de F[G] F[G].
El coproducto y la counidad sobre F[G] se denen sobre los elementos de la base por
(g) := gg, (g) := 1, para todo g G. (5.11)
Como (gh) = gh gh = (g g)(h h) = (g)(h) y (gh) = 1 = (g)(h), es evidente
que F[G] es una bi algebra.
Si G es un grupo no abeliano, entonces el algebra F[G] no es conmutativa. Abstracta-
mente, un algebra (A, m, ) es conmutativa si ab = ba o bien m(ab) = m(ba) para todo
a, b A. En t erminos de la aplicaci on de trueque de (5.4), la conmutatividad se expresa por
la relaci on m = m.
Dualmente, se dice que una co algebra C es coconmutativo si = : C CC. En
notaci on de Sweedler, esta condici on es
a
(1)
a
(2)
=a
(2)
a
(1)
para todo a C.
Es evidente de (5.11) que F[G] es coconmutativo.
MA660: Teora de Galois 91
Ejemplo 5.9. Sea G un grupo nito, F un cuerpo. La bi algebra de funciones O(G), a veces
denotado por F
G
, es la totalidad de funciones f : G F con la suma y producto usuales, es
decir,
( f +l)(g) := f (g) +l(g), ( f l)(g) := f (g)l(g).
Es un espacio vectorial sobre F, de dimensi on [G[, con una base e
g
: g G donde e
g
(h) :=
g,h
con la delta de Kronecker. El producto obedece m(e
g
e
h
) =
g,h
e
g
.
Si g G, la evaluaci on f f (g) F es una funci on lineal sobre O(G). Si f , l O(G), la
Denici on 5.3 permite identicar f l con la funci on de dos variables (g, h) f (g)l(h). Esta
identicaci on lleva el producto tensorial O(G) O(G) en el algebra de funciones O(GG)
sobre el producto directo GG de dos copias de G.
El coproducto : O(G) O(GG) se dene por transponer la multiplicaci on en G, as:
( f )(g, h) := f (gh), para todo g, h G. (5.12)
La coasociatividad de O(G) es consecuencia de la asociatividad de G:
(id)(( f ))(g, h, k) =( f )(gh, k) = f ((gh)k) = f (g(hk))
=( f )(g, hk) = (id)(( f ))(g, h, k).
La counidad en O(G) es dado por ( f ) := f (1
G
). Luego O(G) es una bi algebra. Si G es un
grupo no abeliano, esta bi algebra es conmutativa pero no es coconmutativa.
Ejemplo 5.10. Sea H el algebra tridimensional sobre Q generado por id, c, s, introducida
en el Ejemplo 5.2. Defnase : H H H por (id) := idid y (c), (s) dados por la
f ormula (5.2), extendiendo por linealidad sobre Q. Defnase (id) = (c) := 1 y (s) := 0.
Es f acil vericar que H es una bi algebra con estas operaciones.
Denici on 5.11. Sea (A, m, ) un algebra y (C, , ) una co algebra sobre F. Den otese por
Hom(C, A) el espacio F-vectorial de aplicaciones lineales f : C A. La convoluci on de dos
elementos f , h de este espacio es el elemento f h Hom(C, A) dado por
f g := m( f g) : C A. (5.13)
En la notaci on de Sweedler, esta f ormula es
( f g)(c) := f (c
(1)
)h(c
(2)
) A, para todo c C.
La convoluci on es una operaci on asociativa:
(( f h) k)(c) =( f h)(c
(1)
)k(c
(2)
) = f (c
(1)
)h(c
(2)
)k(c
(3)
)
= f (c
(1)
)(hk)(c
(2)
) = ( f (hk))(c),
donde la coasociatividad de C ha sido usado, mediante (5.9), en la enumeraci on de las patas
de c; y la asociatividad de A ha sido usado de una forma igualmente implcita.
La convoluci on hace de Hom(C, A) un algebra sobre F. Su elemento identidad es la
aplicaci on : C F A. En efecto, se ve que para todo c C,
( f )(c) = f (c
(1)
)(c
(2)
) = f
_
c
(1)
(c
(2)
)
_
= f (c),
( f )(c) =(c
(1)
) f (c
(2)
) = f
_
(c
(1)
)c
(2)
_
= f (c).
MA660: Teora de Galois 92
Si A es una bi algebra, entonces los endomorsmos (lineales, no necesariamente multi-
plicativas) forman un algebra End(A) = Hom(A, A) bajo convoluci on. En este caso, la apli-
caci on identidad id: A A pertenece a End(A) pero no es la identidad de este algebra (la
composici on de aplicaciones lineales y la convoluci on son operaciones diferentes). Se plantea
la inversibilidad de id bajo convoluci on.
Denici on 5.12. Un algebra de Hopf es una bi algebra (H, m, , , ) sobre un cuerpo F tal
que End(H) contiene un elemento S, necesariamente unico, que es un inverso de convoluci on
para el elemento id:
idS = m(idS) = , Sid = m(Sid) = . (5.14)
Esta aplicaci on lineal S: H H se llama el antpoda de H. En la notaci on de Sweedler, sus
propiedades son:
a
(1)
S(a
(2)
) =S(a
(1)
)a
(2)
= (a)1
H
para todo a H. (5.15)
Ejemplo 5.13. En el algebra de grupo F[G], el antpoda se dene por
S(g) := g
1
para todo g G,
extendido por linealidad. La f ormula (5.15) se reduce a gg
1
= g
1
g = 1 en el grupo G.
Ejemplo 5.14. En la bi algebra de funciones O(G), el antpoda transpone la inversi on en el
grupo:
S( f )(g) := f (g
1
), para todo g G, f O(G).
La f ormula (5.14) se reduce a la relaci on f (gg
1
) = f (g
1
g) = f (1) en O(G).
Ejemplo 5.15. Para el ejemplo H = linid, c, s), se comprueba que la aplicaci on S: H H
determinado por S(id) := id, S(c) := c, S(s) :=s, cumple (5.15) y por ende es una antpoda
para H.
Los Ejemplos 5.13 y 5.14 ponen en evidencia un concepto importante, el de la dualidad
entre algebras de Hopf. Ya se sabe que cada espacio vectorial V sobre F de dimensi on nita
posee un espacio dual V
= dim
F
V, as que los espacios V y V
:= Hom(V
, F) es isomorfo a V de
modo can onico: si v V, la evaluaci on v( f ) := f (v) es un elemento v V
, cuya denici on
no requiere una elecci on de bases, y (por conteo de dimensiones)
6
la correspondencia v v
es un isomorsmo lineal entre V y V
.
Cuando H es una bi algebra nitodimensional sobre F, el espacio dual H
tambi en es una
bi algebra, mediante la siguiente denici on.
5
Los elementos de V
:=Hom(V, F)
su espacio dual. Conviene usar la notaci on
u, v) := u(v) F, para todo u V
, v V. (5.16)
Si W es otro espacio F-vectorial de dimensi on nita, cada aplicaci on lineal R: V W posee
una transpuesta R
t
: W
dada por
R
t
(x), v) :=x, R(v)), para x W
, v V.
Los espacios vectoriales V
y (V V)
.
Denici on 5.17. Sea (H, m, , , ) una bi algebra sobre F de dimensi on nita. Entonces
m
/
:=
t
: H
es asociativa y
/
:=
t
: F H
, m
/
,
/
) es un algebra dual a la co algebra (H, , ). Tambi en,
/
:= m
t
: H
es coasociativa
8
y
/
:=
t
: H
,
/
,
/
) es
una co algebra dual al algebra (H, m, ).
En la notaci on de Sweedler, todas estas relaciones se resumen as:
uv, a) =uv, a
(1)
a
(2)
), (a) =1
H
, a),
u, ab) =u
(1)
u
(2)
, ab),
/
(u) =u, 1
H
). (5.17)
Si H es un algebra de Hopf con antpoda S, entonces H
, as:
S
/
(u), a) :=u, S(a)) para todo a H, u H
. (5.18)
Proposici on 5.18. Sea F un cuerpo, G un grupo nito. Entonces las algebras de Hopf F[G]
y O(G) son mutuamente duales.
Demostraci on. Si [G[ = n, tanto F[G] como O(G) son espacios vectoriales n-dimensionales
sobre F. Sus bases respectivas, g : g G para F[G] y e
k
: k G para O(G), son bases
duales, ya que
e
k
, g) := e
k
(g) =
k,g
para todo g, k G.
7
En el caso innitodimensional, la dualidad dene una inyecci on de V
en el espacio (V V)
, la cual
no es sobreyectiva.
8
En el caso innitodimensional, dado que H
(HH)
) no es parte
de H
en general: el dual de una co algebra es un algebra, pero el dual de un algebra no siempre es una
co algebra. Para recuperar la simetra entre ambas situaciones, es necesario reemplazar H
por el subespacio
H
:= u H
: m
t
(u) H
sobre V.
Demostraci on. El dual de la co algebra (C, , ) es el algebra (C
,
t
,
t
), donde C
es el
espacio F-vectorial dual de C y sus operaciones son las aplicaciones transpuestas de ,
respectivamente.
La acci on : C
, entonces
t
( f h) = ( f h) es la convoluci on f h fjese que C
=
Hom(C, F) donde se puede considerar F como un algebra unidimensional. Ahora
( f h) >v =v
(0)
( f h)(v
(1)
) =v
(0)
f (v
(1)(1)
)h(v
(1)(2)
)
=v
(0)(0)
f (v
(0)(1)
)h(v
(1)
) = f >v
(0)
h(v
(1)
) = f >(h>v),
y adem as 1
C
> v = v
(0)
(v
(1)
) = v para v V. Por tanto v f > v es una acci on a la
izquierda del algebra C
.
Lema 5.28. Si : AV V es una acci on a la izquierda de un algebra nitodimensional
A sobre un espacio vectorial V con dim
F
V nita, entonces hay una coacci on a la derecha de
la co algebra dual A
sobre V.
MA660: Teora de Galois 98
Demostraci on. Sea h
1
, . . . , h
n
una base de A como espacio F-vectorial y sea f
1
, . . . , f
n
la
base dual de A
k=1
f
k
, g)h
k
.
Defnase una aplicaci on lineal : V V A
por
(v) :=
n
j=1
(h
j
>v) f
j
. (5.25)
Obs ervese que esta denici on es independiente de la base de A: si h
/
1
, . . . , h
/
n
es otra base
de A, con base dual correspondiente f
/
1
, . . . , f
/
n
de A
j=1
(h
j
>v)( f
j
) =
_
n
j=1
f
j
, 1)h
j
_
>v = 1>v = v.
Adem as,
(id)((v)) =
n
k=1
(h
k
>v) ( f
k
) =
n
i, j,k=1
(h
k
>v) f
i
f
j
( f
k
), h
i
h
j
)
=
n
i, j,k=1
f
k
, h
i
h
j
)(h
k
>v) f
i
f
j
=
n
i, j=1
(h
i
h
j
>v) f
i
f
j
=
n
j=1
_
n
i=1
(h
i
>(h
j
>v)) f
i
_
f
j
=
n
j=1
(h
j
>v) f
j
= ( id)
n
j=1
(h
j
>v) f
j
= ( id)((v)).
En vista de la Denici on 5.26, es una coacci on de A
sobre V.
Proposici on 5.29. Si : HA A es una acci on de una bi algebra H sobre A y si : A
AH
es la coacci on dual dada por (5.25), entonces es una acci on de Hopf si y s olo si
es un homomorsmo de algebras.
Demostraci on. Si la acci on cumple la propiedad (5.22) de acciones de Hopf, entonces la
coacci on dual obedece
(1
A
) =
n
k=1
(h
k
>1
A
) f
k
=
n
k=1
(h
k
)1
A
f
k
=
n
k=1
1
A
1
H
, h
k
) f
k
= 1
A
1
H
.
MA660: Teora de Galois 99
Tambi en, para todo a, b A, se verica
(ab) =
n
k=1
(h
k
>ab) f
k
=
n
k=1
(h
k(1)
>a)(h
k(2)
>b) f
k
=
n
i, j,k=1
( f
i
, h
k(1)
)h
i
>a)( f
j
, h
k(2)
)h
j
>b) f
k
=
n
i, j,k=1
f
i
f
j
, h
k(1)
h
k(2)
)(h
i
>a)(h
j
>b) f
k
=
n
i, j,k=1
(h
i
>a)(h
j
>b) f
k
f
i
f
j
, h
k
) =
n
i, j=1
(h
i
>a)(h
j
>b) f
i
f
j
=
_
n
i,=1
(h
i
>a) f
i
__
n
j=1
(h
j
>b) f
j
_
= (a)(b).
Luego, es un homomorsmo de algebras.
Inversamente, si es un homomorsmo, entonces la acci on dual cumple h > 1
A
=
1
A
1
H
, h) = (h)1
A
porque (1
A
) = 1
A
1
H
. Adem as, para a, b A se verica
h>ab =(ab)
(0)
(ab)
(1)
, h) =a
(0)
b
(0)
a
(1)
b
(1)
, h)
=a
(0)
b
(0)
a
(1)
, h
(1)
)b
(1)
, h
(2)
) =
_
a
(0)
a
(1)
, h
(1)
)
__
b
(0)
b
(1)
, h
(2)
)
_
=(h
(1)
>a)(h
(2)
>b).
Aqu las identidades (ab)
(0)
= a
(0)
b
(0)
y (ab)
(1)
= a
(1)
b
(1)
expresan la propiedad multiplica-
tiva de la coacci on, (ab) = (a)(b).
Para una acci on de Hopf : HA A, el subespacio vectorial
A
H
:=a A : h>a = (h)a, para todo h H
es una sub algebra, porque h > ab = (h
(1)
)(h
(2)
)ab =
_
h
(1)
(h
(2)
)
_
ab = (h)ab para
a, b A
H
. Esta A
H
se llama la sub algebra invariante de A bajo la acci on de H. En el caso
H = F[G], en donde (g) = 1 para todo g G, A
F[G]
=: A
G
consta de los a A que son jos
bajo la acci on del grupo G. En particular, si K es una extensi on del cuerpo F y el grupo
G act ua por automorsmos de K, entonces K
G
es precisamente el cuerpo jo de K bajo la
acci on de G.
Hay una noci on dual de sub algebra coinvariante bajo una coacci on, cuya denici on es, de
hecho, m as sencilla que la de sub algebra invariante.
Denici on 5.30. Sea : A AH una coacci on de algebras, es decir, una coacci on de una
bi algebra H sobre un algebra A que es a la vez un homomorsmo de algebras. La sub algebra
coinvariante de A bajo es
11
A
coH
:=a A : (a) = a1
H
.
11
La notaci on A
coH
es inelegante, pero universalmente aceptado.
MA660: Teora de Galois 100
Denici on 5.31. Sea A un algebra sobre un cuerpo F y sea B una sub algebra de A, Sea J
el ideal de AA generado por los elementos ab a
/
a ba
/
, para a, a
/
A y b B. Sea
A
B
A el algebra cociente (AA),J. La notaci on a
B
a
/
denota la coclase de aa
/
en este
cociente. Es evidente que ab
B
a
/
= a
B
ba
/
si b B.
Denici on 5.32. Sea : A AH una coacci on de F- algebras, de una bi algebra H sobre
un algebra A. Sea B =A
coH
la sub algebra coinvariante. La aplicaci on can onica asociada a
es la aplicaci on F-lineal
: A
B
A AH : c
B
a ca
(0)
a
(1)
. (5.26)
Alternativamente, se puede denir := (m
A
id
H
)(id
A
).
Esta aplicaci on est a bien denida, porque si b B, entonces b
(0)
b
(1)
= (b) = b1
y por ende
c(ba)
(0)
(ba)
(1)
=cb
(0)
a
(0)
b
(1)
a
(1)
=cba
(0)
a
(1)
,
de modo que la aplicaci on
: c a ca
(0)
a
(1)
, denida inicialmente sobre A A,
cumple
(c ba) =
(cb a) si b B. Esto dice que
se anula sobre el ideal J y luego
determina una aplicaci on , denida en A
B
A.
5.4 La aplicaci on can onica en la teora de Galois
El formalismo desarrollado en la subsecci on anterior fue concebido hist oricamente para poder
extender la correspondencia de Galois m as all a del ambito de las extensiones de cuerpos. En
esta ultima subsecci on, se estudia la aplicaci on del formalismo al contexto original, para
poder entender el por qu e de dicha generalizaci on.
Ejemplo 5.33. Sea K [ F una extensi on nita de cuerpos, no necesariamente normal. Sea G
un grupo nito isomorfo a Gal(K [ F), para poder escribir Gal(K [ F) =
g
: g G. Para
K, sea g> :=
g
(). De este modo, se obtiene una acci on de grupo (a la izquierda) de
G sobre K. Si h =
gG
a
g
g F[G], defnase
h> :=
gG
a
g
(g>) =
gG
a
g
g
() K.
Esta es una acci on del algebra de Hopf F[G] sobre K, obtenida como extensi on F-lineal
de la acci on de G. Como (g) = g g para g G, esta es una acci on de Hopf, porque
g> =
g
() =
g
()
g
() = (g>)(g>) para , K.
La coacci on dual es un homomorsmo : K KO(G), dado por
() =
gG
g
() e
g
,
en vista de (5.25). La sub algebra coinvariante en este caso es un subcuerpo de K. En efecto,
es K
coO(G)
si y s olo si
gG
g
() e
g
= 1; pero la funci on constante 1 es igual a
MA660: Teora de Galois 101
la suma
gG
e
g
, de modo que 1 =
gG
e
g
. Como los e
g
son linealmente indepen-
dientes en O(G), se concluye que K
coO(G)
si y s olo si
g
() = para todo g G. En
otras palabras, K
coO(G)
= K
G
es el cuerpo jo de K bajo la acci on de G.
Sea E := K
G
. Entonces K
E
K puede identicarse con el producto tensorial de dos
copias de K como espacio vectorial sobre E, al poner c(
E
) := c
E
=
E
c
para c E, , K. Sin embargo, al considerarlo como espacio vectorial sobre el cuerpo F,
su dimensi on es
dim
F
(K
E
K) = [E : F] dim
E
(K
E
K) = [E : F] [K: E]
2
= [K: F] [K: E]. (5.27a)
Por otro lado, el teorema de Artin garantiza que [G[ = [K: K
G
] = [K: E], y por tanto
dim
F
(KO(G)) = dim
F
(K)dim
F
(O(G)) = [K: F] [G[ = [K: F] [K: E]. (5.27b)
En este caso, la aplicaci on can onica
: K
E
K KO(G) :
E
gG
g
() e
g
(5.28)
es una aplicaci on F-lineal entre dos espacios vectoriales de la misma dimensi on.
Para una acci on de un grupo nito G sobre un conjunto nito X, la aplicaci on can onica
de (5.20) es inyectiva si y s olo si la acci on es libre.
12
Dualmente, para las aplicaciones
can onicas (5.26) y (5.28) asociados con coacciones de bi algebras, lo que interesa saber es si
es sobreyectiva. En el caso de una extensi on de cuerpos, la inyectividad de sigue como
consecuencia de la igualdad de dimensiones (5.27).
Resulta que la acci on can onica (5.28) es efectivamente biyectiva, en virtud de un famoso
resultado de Dedekind, ampliado y mejorado por Artin, acerca de la independencia lineal de
caracteres.
Denici on 5.34. Sea G un grupo, K un cuerpo. Un car acter de G en K es un homomorsmo
de grupos : G K
.
Proposici on 5.35 (Artin). Si G es un grupo y si
1
, . . . ,
n
son caracteres distintos de G en
un cuerpo K, ellos son linealmente independientes sobre K, en el sentido de que la relaci on
1
+
2
2
+ +
n
n
=0, con
1
, . . . ,
n
K, s olo se verica si
1
=
2
= =
n
=0.
Demostraci on. Un solo car acter cumple = 0 (como funci on de G en K) si y s olo si
= (1) = 0 en K.
Si
1
, . . . ,
n
no son linealmente independientes, hay
1
, . . . ,
n
K, no todos cero, con
1
+
2
2
+ +
n
n
= 0.
12
La sobreyectividad de es menos importante: si la acci on de G sobre X no es transitiva, entonces X es la
uni on de varias orbitas. Si Z es la colecci on de orbitas y : X Z : x G> x es la aplicaci on cociente, la
notaci on X
Z
X denota (x, y) X X : (x) = (y) X X. Si se considera como aplicaci on de GX
en X
Z
X, entonces es autom aticamente sobreyectiva.
MA660: Teora de Galois 102
Se puede suponer, reenumerando los
i
si fuera necesario, que el n umero n de sumandos es
el menor posible: en particular, que
i
,= 0 para i = 1, . . . , n. Como
1
,=
2
por hip otesis,
hay un elemento g G tal que
1
(g) ,=
2
(g).
Para todo h G, se verica
1
(h) +
2
2
(h) + +
n
n
(h) = 0 en F. (5.29a)
Adem as,
1
(gh) + +
n
n
(gh) =
1
1
(g)
1
(h) + +
n
n
(g)
n
(h) = 0. (5.29b)
Al multiplicar (5.29a) por
1
(g) y al restar (5.29b), se obtiene
2
_
1
(g)
2
(g)
_
2
+ +
n
_
1
(g)
n
(g)
_
n
= 0.
Esta es una relaci on lineal entre
2
, . . . ,
n
. Por la minimalidad de n, se concluye que
2
_
1
(g)
2
(g)
_
= =
n
_
1
(g)
n
(g)
_
= 0.
Pero
2
,= 0,
1
(g) ,=
2
(g) desde antes: se ha llegado a una contradicci on.
Corolario 5.36. En el caso de que G = K
1
2
. . .
n
1
(c
1
)
1
(c
2
) . . .
1
(c
n
)
2
(c
1
)
2
(c
2
) . . .
2
(c
n
)
.
.
.
.
.
.
.
.
.
.
.
.
n
(c
1
)
n
(c
2
) . . .
n
(c
n
)
_
_
=
_
0 0 . . . 0
o bien
n
i=1
i
(c
j
) = 0 para j = 1, . . . , n. Como c
1
, . . . , c
n
es una base de K sobre K
G
,
estas relaciones dicen que
n
i=1
i
= 0 como aplicaci on lineal de K en K. Ahora, la
Proposici on 5.35 implica que
1
=
2
= =
n
= 0, contrario a hip otesis. Se concluye
que [
i
(c
j
)] es inversible.
Teorema 5.38. Sea K[ F una extensi on nita de cuerpos, G=Gal(K[ F) y E =K
G
. Entonces
la aplicaci on can onica : K
E
K KO(G) es biyectiva.
13
Aqu M
n
(K) denota la totalidad de matrices nn con entradas en K.
MA660: Teora de Galois 103
Demostraci on. Por la igualdad de dimensiones (5.27), basta comprobar que es inyectiva.
Como [G[ = [K: E] = n, se puede escribir G =
1
, . . . ,
n
y a la vez encontrar una base
vectorial
1
, . . . ,
n
de K sobre E. Cualquier elemento de ker K
E
K es de la forma
n
j=1
E
j
, para ciertos elementos
1
, . . . ,
n
K. Entonces
_
n
j=1
E
j
_
=
n
j=1
n
i=1
i
(
j
) e
i
= 0 en KO(G).
Ahora e
1
, . . . , e
n
es linealmente independiente en el espacio F-vectorial O(G); por tanto,
es
n
j=1
i
(
j
) = 0 en K para cada i = 1, . . . , n.
Pero la matriz [
i
(
j
)] es inversible por la Proposici on 5.37 de Dedekind. Se concluye
que
1
= =
n
= 0, y por ende
n
j=1
E
j
= 0. Esto muestra que ker =0.
Corolario 5.39. La extensi on nita K[ F es una extensi on de Galois si y s olo si la aplicaci on
: KK KO(G) es biyectiva.
Demostraci on. Por el Corolario 4.17, la extensi on nita K [ F es de Galois (esto es, normal
y separable) si y s olo si K
G
= F. En ese caso, y s olo en eso caso, la sub algebra coinvariante
E = K
G
coincide con F, y el producto tensorial K
E
K se reduce al producto tensorial
ordinario KK sobre F.
Vale la pena reformular esta aplicaci on can onica en t erminos de acci on del F[G] (o de
cualquier otra algebra de Hopf) sobre K. Resulta bastante complicado hacerlo en el caso
general E ,= F, es decir, cuando la extensi on no es de Galois esto es una de las razones
para preferir la versi on dual de una coacci on de O(G). Ahora bien: si la extensi on K[ F es de
Galois, de modo que el dominio de es el espacio KK de dimensi on [K: F]
2
, la situaci on
es m as sencilla. Antes de abordarla, se requiere un lema de dualidad en algebra lineal.
Lema 5.40. Sean U,V dos espacios vectoriales sobre F, de dimensi on nita. Sean U
, V
sus
respectivos espacios duales. Hay una correspondencia lineal natural
14
entre las aplicaciones
lineales P: U U U V
U = End(U). Si
dim
F
U = dim
F
V, esta correspondencia preserva las aplicaciones biyectivas.
Demostraci on. Sean u
1
, . . . , u
m
, g
1
, . . . , g
m
bases duales para U yU
, y sean v
1
, . . . , v
n
,
f
1
, . . . , f
n
bases duales para V y V
U : uv
m
i=1
g
i
(id v)(P(uu
i
)),
Q
.
: U U U V
: x y
n
j=1
( y id)(Q(x v
j
)) f
j
.
donde v: V
F : f f , v) y y: U
F : g g, u) son evaluaciones.
14
La biyecci on es natural porque su denici on no depende de la elecci on de bases en U y en V.
MA660: Teora de Galois 104
Las correspondencias lineales P P
;
y QQ
.
son inversas. (Obs ervese que el dominio
y el rango en ambos casos son espacios vectoriales de dimensi on m
3
n.) Por ejemplo,
(P
;
)
.
(x y) =
n
j=1
( y id)(P
;
(x v
j
)) f
j
=
m
i=1
n
j=1
g
i
, y)(id v
j
)(P(x u
i
)) f
j
=
m
i=1
g
i
, y)P(x u
i
) = P
_
m
i=1
x g
i
, y)u
i
_
= P(x y).
En este c alculo, se ha empleado la f ormula
n
j=1
(id v
j
)(u f ) f
j
= u
n
j=1
f , v
j
) f
j
= u f
cuando u f UV
i=1
g
i
(id v)(Q
.
(uu
i
))
=
m
i=1
n
j=1
f
j
, v)g
i
( u
i
id)(Q(uv
j
))
=
n
j=1
f
j
, v)Q(uv
j
) = Q(uv),
en vista de la f ormula
m
i=1
g
i
( u
i
id)(gu) =
m
i=1
g, u
i
)g
i
u = gu U
U.
Con respecto a las bases elegidas, la matrices de P y Q se obtienen de las identidades
P(u
k
u
l
) =:
i, j
p
i j
kl
u
i
f
j
y tambi en Q(u
t
v
z
) =:
r,s
q
rs
tz
g
r
u
s
. Se ve que P = Q
.
si y
s olo si q
li
k j
= p
i j
kl
. Cuando m = n, estas son matrices cuadradas n
2
n
2
, y puede comprobarse
que det[q
li
k j
] = det[q
i j
kl
]. En particular, Q es bijectiva si y s olo si este determinante no es cero,
si y s olo si Q
.
es biyectiva.
Corolario 5.41. Si : HA A es una acci on de Hopf de una bi algebra nitodimensional
H sobre una algebra nitodimensional A, si : A AH
, entonces
hay una biyecci on correspondiente
;
: AH End(A), dado por
;
(c h)[a] := c(h>a). (5.30)
MA660: Teora de Galois 105
Demostraci on. La biyectividad de
;
es consecuencia del lema anterior. Para vericar la
f ormula para
;
, eljase bases duales u
1
, . . . , u
m
para A y g
1
, . . . , g
m
para A
. Entonces
;
(c h)[a] =
m
i=1
g
i
, a)(id
h)((c u
i
)) = (id
h)((c a))
=ca
(0)
a
(1)
, h) = c(h>a),
a partir de la denici on de la acci on de H (v ease la demostraci on del Lema 5.27).
En el contexto de las extensiones nitas de cuerpos, esta reformulaci on conduce a la
denici on siguiente.
Denici on 5.42. Sea K [ F una extensi on nita de cuerpos. Sea H un algebra de Hopf,
nitodimensional sobre F, que posee una acci on de Hopf sobre K. Entonces K [ F es una
extensi on HGalois, o bien una extensi on de HopfGalois mediante H, si la aplicaci on
;
: KH End(K) dada por (5.30) es biyectiva.
15
En esta denici on, H es un algebra de Hopf, es decir, una bi algebra con antpoda. La
existencia de la antpoda es autom atica cuando la aplicaci on can onica es biyectiva. V ease el
Ap endice, a continuaci on, para la raz on de este fen omeno.
Ejemplo 5.43. En el Ejemplo 5.2, se introdujo un algebra de Hopf H = linid, c, s) ac-
tuando sobre K = Q(
3
H
: HH HH : gh gh
(1)
h
(2)
. (5.31)
Lema 5.44. Si H es un algebra de Hopf, la aplicaci on can onica
H
es biyectiva.
Demostraci on. Si S: H H es la antpoda de H, consid erese la aplicaci on
H
End(HH)
denida por
H
(gh) :=gS(h
(1)
) h
(2)
. (5.32)
La f ormula (5.15) de la denici on de antpoda y la coasociatividad de muestran que
H
(
H
(gh)) =gS(h
(1)
)h
(2)(1)
h
(2)(2)
=gS(h
(1)(1)
)h
(1)(2)
h
(2)
=g(h
(1)
) h
(2)
=g(h
(1)
)h
(2)
= gh,
H
(
H
(gh)) =gh
(1)
S(h
(2)(1)
) h
(2)(2)
=gh
(1)(1)
S(h
(1)(2)
) h
(2)
=g(h
(1)
) h
(2)
=g(h
(1)
)h
(2)
= gh,
para todo g, h H. Por lo tanto,
H
es biyectiva y
H
es su aplicaci on inversa.
El resultado inverso, de que la biyectividad de
H
conlleva la existencia de una antpoda,
requiere un resultado previo que tiene su propio inter es.
18
Lema 5.45 (Koppinen). Sea A un algebra y C una co algebra sobre un cuerpo F. Sea
End
C
A
(A C) la sub algebra de End(A C) cuyos elementos conmutan con el producto
de A a la izquierda y con el coproducto de C a la derecha:
(mid
C
)(id
A
) =(mid
C
) : AAC AC
(id
C
)(id
A
) = (id
A
) : AC ACC. (5.33)
Entonces End
C
A
(AC) es antiisomorfo
19
al algebra Hom(C, A) con convoluci on.
18
El lema apareci o originalmente en el artculo de Markku Koppinen, A SkolemNoether theorem for coal-
gebra measurings, Archiv der Mathematik 57 (1991), 3440.
19
Un antihomomorsmo entre dos algebras es una aplicaci on lineal que revierte el orden de los productos.
MA660: Teora de Galois 107
Demostraci on. Las propiedades de conmutaci on de se expresan m as concretamente as:
a
/
(ac) =(a
/
ac) para todo a
/
, a A, c C;
(ac
(1)
) c
(2)
= (id
A
)((ac)) para todo a A, c C. (5.34)
Fjese que queda determinado por sus valores (1c) porque (ac) = a(1c).
Para cada T Hom(C, A), defnase
T End(AC) por
T(ac) :=aT(c
(1)
) c
(2)
.
Es evidente que
T cumple las dos propiedades (5.34); el valor de la segunda igualdad es
aT(c
(1)
) c
(2)
c
(3)
. Adem as, para todo c H, se verica
(id
A
)(
T(1c)) =T(c
(1)
)(c
(2)
) = T
_
c
(1)
(c
(2)
)
_
= T(c).
Sea T
:= (id
A
)( id
C
) Hom(C, A) para End
C
A
(AC). Entonces
(Ac) =aT
(c
(1)
) c
(2)
=(id
A
)
_
(ac
(1)
)
_
c
(2)
= (id
A
id
C
)(id
A
)((ac)) =(ac),
porque ( id
C
) = id
C
. Esto muestra que la correspondencia T
T de Hom(C, A) en
End
C
A
(AC) es biyectiva: la correspondencia inversa es T
.
Ahora, si R, T Hom(C, A), entonces
R(
T(ac)) =
R
_
aT(c
(1)
) c
(2)
_
=aT(c
(1)
)R(c
(2)(1)
) c
(2)(2)
=aT(c
(1)(1)
)R(c
(1)(2)
) c
(2)
=a(T R)(c
(1)
) c
(2)
= (T R)(ac).
Esto es
R
H
_
(mid)(id
H
)
H
(mid)
(id
H
) =
H
(mid) (mid)(id
H
) = 0,
(
H
id)
_
(
H
id)(id) (id)
H
H
= (id)
H
(
H
id)(id) = 0,
y se obtiene (5.33) para =
H
puesto que
H
, (id
H
) y (
H
id) son biyectivos.
Se deduce que hay un unico S End(H) tal que
H
=
S. Las relaciones
H
H
=
H
= id
HH
entonces implican que idS = Sid = en End(H), lo cual signica que
S es una antpoda para H.
MA660: Teora de Galois 108
Obs ervese que esta demostraci on proporciona una f ormula para
1
H
. De hecho, es
1
H
(gh) =gS(h
(1)
) h
(2)
para todo g, h H.
Tambi en, se ve que S(h) = (id)(
1
H
(1h)) para todo h H.
Despu es de la Denici on 5.42, se observ o que una acci on de Hopf de una bi algebra ni-
todimensional, cuya aplicaci on can onica es biyectiva, s olo puede existir si la bi algebra es de
Hopf, es decir, posee una antpoda. Es hora de justicar esta armaci on.
En primer lugar, si H es un algebra de Hopf con antpoda S End(H), entonces su
transpuesta S
/
End(H
y viceversa.
Basta entonces considerar el caso de una coacci on de algebras : A AH, cuya apli-
caci on can onica viene dada por (5.26). En este caso, el algebra de coinvariantes B = A
coH
no
tiene que ser igual a F.
El siguiente resultado generaliza la Proposici on 5.46 a otras coacciones con biyectiva.
20
Proposici on 5.47 (Schauenburg). Sea H una bi algebra nitodimensional sobre un cuerpo F y
sup ongase que hay una coacci on de algebras : AAH, con A nitodimensional sobre F,
cuya aplicaci on can onica es biyectiva. Entonces H es un algebra de Hopf.
Demostraci on. Hay que mostrar que H posee una antpoda. En virtud del Lema 5.44 y la
Proposici on 5.46, basta comprobar que la aplicaci on
H
es inversible en End(HH).
Consid erese la aplicaci on ampliada
(id
A
H
) : AHH AHH.
Obviamente, esta aplicaci on es biyectiva si
H
es biyectiva. Inversamente, si id
A
H
es
biyectiva, se puede eliminar
21
el factor tensorial A por medio del espacio dual A
. En efecto,
si
j
g
j
h
j
ker
H
, entonces
(id
A
H
)
_
j
ag
j
h
j
_
= 0, para todo a A
=
j
ag
j
h
j
= 0, para todo a A
= f , a)
j
g
j
h
j
= 0, para todo a A, f A
=
j
g
j
h
j
= 0,
as que
H
es inyectiva. Un argumento similar muestra que
H
es sobreyectiva.
20
V ease el artculo de Peter Schauenburg, A bialgebra that admits a HopfGalois extension is a Hopf alge-
bra, Proceedings of the AMS 125 (1997), 8385. La demostraci on simplicada, debido a Mitsuhiro Takeuchi,
se encuentra en: Peter Schauenburg, HopfGalois and bi-Galois extensions, en Galois Theory, Hopf Algebras
and Semiabelian Categories, AMS, 2004, pp. 469515.
21
Todas estas construcciones tienen sentido en el contexto m as amplio de algebras y co algebras sobre un
anillo conmutativo R en vez de un cuerpo F: en lugar de espacios F-vectoriales, se habla de R-m odulos. En
ese contexto, hay que prevenir fen omenos de torsi on en los productos tensoriales. Para poder cancelar el factor
tensorial A en este argumento, hay que postular que A sea un R-m odulo elmente plano. V ease el libro de Lang,
op. cit., captulo XVI.
MA660: Teora de Galois 109
Consid erese ahora el diagrama pentagonal siguiente:
A
B
H
id
H
J
J
J
J
J
J
J
J
J
J
J
J
J
J
A
B
A
B
A
id
A
s
s
s
s
s
s
s
s
s
s
s
s
s
s
id
A
AHH
(AH)
B
A
13
AHH
id
A
donde
13
(c h
B
a) := ca
(0)
h a
(1)
es el producto tensorial de con id
H
de en
medio. Este diagrama conmuta, porque
( id
H
)(id
A
)(a
B
b
B
c) = ( id
H
)
_
a
B
bc
(0)
c
(1)
_
=ab
(0)
c
(0)(0)
b
(1)
c
(0)(1)
c
(1)
=ab
(0)
c
(0)
b
(1)
c
(1)(1)
c
(1)(2)
,
a la vez que
(id
A
H
)
13
( id
A
)(a
B
b
B
c) = (id
A
H
)
13
_
ab
(0)
b
(1)
B
c
_
= (id
A
H
)
_
ab
(0)
c
(0)
b
(1)
c
(1)
_
=ab
(0)
c
(0)
b
(1)
c
(1)(1)
c
(1)(2)
.
Ahora la hip otesis de la biyectividad de : A
B
A AH implica que cada echa del
diagrama es una biyecci on, con la posible excepci on de la echa id
A
H
. La conmutatividad
del diagrama obliga a que id
A
H
sea tambi en una biyecci on. Luego, por los argumentos
iniciales,
H
es biyectiva y H posee una antpoda.
Corolario 5.48. Si H una bi algebra nitodimensional que posee una acci on de Hopf sobre
un algebra nitodimensional A, y si la aplicaci on lineal c h
_
a c(h>a)
_
de AH en
End(H) es biyectiva, entonces H es un algebra de Hopf.
Demostraci on. La coacci on dual : A A H
2, t omese 1, ,
2
,
3
como base de K sobre Q. Si () : para
, K, comprobar que (K) y Q[G] generan un subespacio de dimensi on 8 de End
Q
(K).
MA660: Teora de Galois 110
Ejercicio 5.2. Sean K = Q(
4
2), :=
4
k=1
x
ik
x
k j
, (x
i j
) :=
i, j
,
donde
i, j
es la delta de Kronecker. Vericar que (C, , ) es una co algebra sobre F, es decir,
comprobar las propiedades de coasociatividad y counidad. Cu al es el algebra dual C
?
Ejercicio 5.4. Sea : GX X : (g, x) g > x una acci on a la izquierda de un grupo
nito G sobre un conjunto nito X. Den otese por O(X) la totalidad de funciones f : X F,
que es un algebra sobre F con la suma y producto usuales de funciones.
(a) Mostrar que la aplicaci on lineal : O(X) O(X) O(G) = O(X G), denida por
( f )(x, g) := f (g
1
>x), es una coacci on de algebras de O(G) sobre O(X).
(b) Si 1 es la funci on constante de valor 1 sobre G, mostrar que ( f ) = f 1 si y s olo si
la funci on f es constante sobre cada orbita G>x.
(b) Si la acci on es transitiva, mostrar que la aplicaci on can onica asociada a es
(/)(x, g) = /(x, g
1
>x), para / O(X X).
Concluir que es inyectiva si y s olo si la acci on es libre.
MA660: Teora de Galois 111
Nota bibliogr aca
Hay pocos libros en espa nol dedicados al tema de este curso, aunque buena parte de la ma-
teria se encuentra en los libros generales sobre algebra abstracta. En las lecciones se ha
mencionado, de paso, algunos libros y artculos de revistas, dignos de considerar. Tambi en se
encuentran en la red varios cursos sobre la teora de Galois, desde diversos puntos de vista.
De entre los libros dedicados exclusivamente a la teora de Galois, los siguientes son
dignos de mencionar.
1. Emil Artin y Arthur N. Milgram, Galois Theory, University of Notre Dame Press, 1942.
Una joya de exposici on matem atica, breve y concisa.
2. Richard Brauer, Galois Theory, Harvard University Lecture Notes, Cambridge, MA,
1964.
Una edici on r ustica de un curso de Brauer en Harvard.
3. Harold M. Edwards, Galois Theory, Graduate Texts in Mathematics 101, Springer,
New York, 1984.
Una monografa hist orica sobre los trabajos de Lagrange y Galois. Un complemento
interesante al enfoque artiniano moderno.
4. Jean-Pierre Escoer, Galois Theory, Graduate Texts in Mathematics 204, Springer,
Berlin, 2001.
Un curso muy ameno, traducido del franc es. En estas lecciones hemos seguido el
enfoque de Escoer, en particular la decisi on de desarrollar la teora para subcuerpos
de C, antes de abordar cuerpos de caracterstica prima.
5. Lisl Gaal, Classical Galois Theory, Chelsea, New York, 1973.
Un texto sui generis, con gran cantidad de ejemplos.
6. Charles R. Hadlock, Field Theory and its Classical Problems, Carus Mathematical
Monographs 19, MAA, Washington, DC, 1978.
El pr ologo del libro enuncia: I wrote this book for myself. Una exposici on clara y
detallada de las bases de la teora.
7. H ector A. Merklen, Estructuras Algebraicas V (Teora de Cuerpos), Serie OEA de
Matem atica, Washington, DC, 1979.
El unico texto en espa nol que hemos encontrado. Un desarrollo muy competente, con
un estilo algo abstracto.
8. M. Pavaman-Murthy, K. G. Ramanathan, C. S. Seshadri, U. Shukla y R. Sridharan,
Galois Theory, Tata Institute for Fundamental Research, Bombay, 1965.
Un breve curso de estilo Satz-Beweis, sin muchos ejemplos pero con demostraciones
muy elegantes.
9. Joseph J. Rotman, Galois Theory, Universitext, Springer, Berlin, 1990.
Un curso conciso y util, pero sin la claridad del libro de Artin.
MA660: Teora de Galois 112
10. Ian N. Stewart, Galois Theory, Chapman & Hall/CRC, 3ra edici on, 2003.
El texto favorito de los estudiantes, desde la primera edici on en 1973.
Todos los libros comprensivos de algebra traen uno o m as captulos dedicados a la teora
de Galois. Entre ellos, se destacan los siguientes.
11. John Derbyshire, Unknown Quantity, Joseph Henry Press, Washington, DC, 2006.
Un libro para el p ublico (educado) general, que trata de contar la historia del algebra.
Los captulos sobre la resoluci on de ecuaciones y la teora de grupos son muy informa-
tivos.
12. Israel N. Herstein, Topics in Algebra, Blaisdell, New York, 1964.
El captulo sobre la teora de cuerpos trae pruebas muy detalladas.
13. Nathan Jacobson, Basic Algebra I, W. H. Freeman, New York, 1985.
Un tratado comprehensivo de algebra abstracta, con un excelente exposici on de la teora
de Galois.
14. Serge Lang, Algebra, tercera edici on, Springer, New York, 2002.
Lang fue estudiante y discpulo de Artin. Sus captulos sobre polinomios, extensiones
algebraicas y teora de Galois son un homenaje al maestro.
15. Bartel L. van der Waerden, Modern Algebra 1, Frederick Ungar, New York, 1953.
Una traducci on y reedici on del libro Moderne Algebra de 1930. Un tratado general de
algebra muy inuyente, basado en su colaboraci on con Emmy Noether. Las secciones
sobre la teora de Galois son notablemente modernas.
16. H. Weber, Lehrbuch der Algebra, tomo 1, Friedrich Vieweg, Braunschweig, 1898;
reimpreso por Chelsea, New York, 1979.
Un tratado de algebra de la epoca pre-artiniana, que trae un extenso estudio de las
extensiones cclicas y ciclot omicas.
Una b usqueda por internet encuentra un surtido de cursos sobre la teora de Galois. Entre
ellos, los siguientes han sido fuentes de algunos de los ejercicios para este curso.
17. Andrew Baker, An Introduction to Galois Theory, curso en la Universidad de Glasgow,
2006. URL: <www.maths.gla.ac.uk/~ajb/dvi-ps/Galois.pdf>.
18. Fernando Chamizo Lorente, Qu e bonita es la teora de Galois!, curso en la Universi-
dad Aut onoma de Madrid, 2004. URL:
<http://www.uam.es/personal pdi/ciencias/fchamizo/algebraIIn.html>.
19. James S. Milne, Fields and Galois Theory, curso de posgrado en la Universidad de
Michigan. Versi on 4, 2005. URL:
<http://www.jmilne.org/math/CourseNotes/math594f.html>.
20. Miles Reid, MA3D5 Galois Theory, curso en la Universidad de Warwick, 2004. URL:
<http://www.maths.warwick.ac.uk/~miles/MA3D5/>.
Indce alfab etico
Abel, Niels Henrik, 63
acci on de algebra, 96
acci on de grupo, 94, 110
libre, 95, 110
transitiva, 95, 110
acci on de Hopf, 96100, 104, 105, 109
acci on dual a una coacci on, 97
al-Khwarizmi, Muhammad ibn Musa, 4
algebra, 4, 17, 88, 93, 106
de funciones, 110
algebra de grupo F[G], 90, 92, 93, 109
algebra de Hopf, 92, 105109
algoritmo euclidiano, 11, 12, 19
anillo, 74
cociente, 28
conmutativo, 9
de polinomios, 10
entero, 10
antpoda, 92, 105107, 109, 110
antihomomorsmo de algebras, 106, 107
aplicaci on F-lineal, 86
aplicaci on bilineal, 87, 88
aplicaci on can onica, 95, 100, 101, 110
biyectiva, 102108, 110
aplicaci on lineal, 88
aplicaci on lineal transpuesta, 93, 109
Artin, Emil, 46, 72, 101, 111
asociatividad, 88
automorsmo de Frobenius, 80
automorsmo de un cuerpo, 34, 4446, 71,
79, 80
axioma de elecci on, 24
Baker, Andrew, 112
Barrantes, Hugo, 15
base de espacio vectorial, 24, 25, 33, 86
base de Hamel, 24
base de un espacio vectorial, 102
bases duales, 93, 98, 103, 105
bi algebra, 90, 91, 106
de funciones O(G), 9193, 110
cadena de subgrupos, 58, 64, 67, 68, 74
campo, 9
car acter de un grupo, 101
caracterstica de un cuerpo, 78
Cardano, Girolamo, 5
Cayley, Arthur, 94
Chamizo Lorente, Fernando, 112
Chase, Stephen Urban, 86, 105
ciclo, 68, 70
clausura algebraica, 32, 82, 83
coacci on, 97
de algebras, 99, 104108, 110
coacci on dual a una acci on, 97, 100
co algebra, 87, 89, 93, 106, 110
binomial, 89
coconmutativo, 90
coasociatividad, 89, 90, 110
coclase, 29, 47, 100
conjugado complejo, 34, 45, 70
conjugado de un elemento, 32, 34, 41, 72, 83
conjunto parcialmente ordenado, 72, 74, 75
construcci on con comp as, 38
construcci on con regla y comp as, 38, 58, 74
convoluci on, 74, 91, 106
coproducto, 87, 89, 106
correspondencia de Galois, 48, 49, 72, 84
counidad, 89, 110
criterio de Eisenstein, 15, 23, 28, 70, 72, 81
cuerpo, 9, 28
algebraicamente cerrado, 82
de escisi on, 3033, 41, 44, 50, 62, 77, 78
de fracciones, 10, 71
de funciones racionales, 11, 72, 81
nito, 9, 7885
cuerpo de caracterstica p, 78, 81
cuerpo de caracterstica 0, 78, 81
cuerpo jo, 31, 32, 44, 45, 72, 73, 84, 99,
101, 102, 109
cuerpo intermedio de una extensi on, 27, 41,
48, 72
113
MA660: Teora de Galois 114
cuerpo primo F
p
, 9, 78, 81
cuerpos isomorfos, 30
de Moivre, Abraham, 23
Dedekind, Richard, 9, 101
del Ferro, Scipione, 5
delta de Kronecker, 91, 110
Derbyshire, John, 3, 112
derivaci on, 21, 96
derivada de un polinomio, 21, 81
determinante de Vandermonde, 61
dimensi on, 24
Dirichlet, Peter Gustav Lejeune, 36
discriminante de un polinomio, 21, 22, 42,
62, 76, 79
divisibilidad, 11, 75
divisores de cero, 10
dual de Sweedler, 93
Dudley, Underwood, 40
duplicaci on del cubo, 36, 40
ecuaci on de cuarto grado, 6
ecuaci on de segundo grado, 3
ecuaci on de tercer grado, 4, 5, 62
ecuaci on general de n- esimo grado, 71
Eisenstein, Ferdinand Gotthold Max, 15
elemento
algebraico, 2527
separable, 81
primitivo, 36, 42, 43, 63
trascendente, 25, 81
elemento primitivo, 80
Elementos de Euclides, 37, 58
endomorsmo, 80, 86
de Frobenius, 80, 81
Escoer, Jean-Pierre, 111
espacio vectorial, 24, 35
espacio vectorial dual, 92
Euclides, 11, 37
Euler, Leonhard, 54, 58
extensi on, 24
abeliana, 59, 66, 75
algebraica, 27, 46
cclica, 59, 60, 77, 80
ciclot omica, 57
cuadr atica, 42
de Galois, 82, 84, 103
de HopfGalois, 105
nita, 24, 26, 84, 102
no normal, 33, 71, 86
normal, 33, 42, 44, 46, 48, 57, 72, 82
puramente inseparable, 81
radical, 66, 67, 7577
normal, 66
separable, 8183
simple, 25, 35, 36, 41, 80
F-automorsmo, 34, 43
F-endomorsmo, 86
Fermat, Pierre de, 57, 58
Ferrari, Lodovico, 5, 6, 63
Figueroa Gonz alez, H ector, 94
F-morsmo, 33, 49, 67, 83, 86
f ormula cuadr atica, 3, 28
f ormula de de Moivre, 23
f ormula de inversi on de M obius, 75
f ormulas de Cardano, 6, 9, 63
funci on de M obius, 74
para N
, 75
funci on tociente de Euler, 54, 57
funci on zeta, 74
Galois,
Evariste, 9, 63, 68
Gau, Carl Friedrich, 15, 58
generadores de un grupo, 51, 73
Gracia Bonda, Jos e Mariano, 94
grado
de un elemento algebraico, 26
de un polinomio, 10
de una extensi on, 24, 26, 41, 42, 62, 72
Graham, Ronald, 11
Greither, Cornelius, 87
grupo, 44, 47, 76
abeliano, 53, 64
alternante A
n
, 52
alternante A
n
, 62, 68, 76
cclico C
n
, 51, 59, 65, 73, 79, 84
cociente, 47, 64, 65
MA660: Teora de Galois 115
de cuaterniones Q, 53, 73
de Frobenius F
20
, 77
de permutaciones S
n
, 9, 16, 50, 51, 62,
70, 71, 76, 94
de sustituciones, 63
de tipo Lie, 65
de unidades U
n
, 54, 57, 59, 73
di edrico D
n
, 52, 54, 64, 72, 73
espor adico, 65
multiplicativo F
, 59, 79, 80
no resoluble, 70
resoluble, 6468, 77
simple, 65, 68
grupo de Galois, 43, 48, 63, 68, 7277, 84
de un polinomio, 50, 53
Gutenberg, Johannes, 5
Hadlock, Charles Robert, 111
Hamel, Georg, 24
Harrison, David, 86
Heath, Thomas Little, 37
Herstein, Israel Nathan, 112
homomorsmo
de algebras, 96, 98
de anillos, 11, 71, 78
de cuerpos, 30
de grupos, 49, 50, 60, 65, 101
extendido, 31, 34, 35
Hopf, Heinz, 94
ideal principal, 28
identidad de Vandermonde, 89
igum e igibum, 3
independencia algebraica, 18, 71
independencia lineal de caracteres, 101, 102
ndice de un subgrupo, 47
isometras de un polgono regular, 52
isomorsmo de cuerpos, 30
Jacobson, Nathan, 112
Joni, Saj-Nicole, 89
Josephy, Michael, 15
Klein, Christian Felix, 58
Knorr, Wilbur Richard, 37
Knuth, Donald Ervin, 11
Koppinen, Markku, 106
Kronecker, Leopold, 10, 29, 59
Kurosh, Aleksandr Gennadievich, 20
Lagrange, Joseph-Louis, 8, 61
Lagrangia, Guiseppe Lodovico, 8
Lang, Serge, 10, 82, 112
lema de Artin, 101
lema de Dedekind, 102
lema de Euclides, 23
lema de Gauss, 15, 23, 41, 81
lema de Zorn, 82
Lindemann, Ferdinand, 37
Liouville, Joseph, 9, 27
M obius, August Ferdinand, 74
Manucci, Teobaldo, 5
Mascheroni, Lorenzo, 38
matriz inversible, 102
m aximo com un divisor, 11, 12, 22, 23
Merklen, H ector Alfredo, 111
Mersenne, Marin, 58
m etodo de Cardano, 5, 22
m etodo de Ferrari, 6, 22, 76
Milgram, Arthur Norton, 111
Milne, James Stuart, 112
mnimo com un m ultiplo, 66
multiplicidad de una raz, 32
Neugebauer, Otto, 3
notaci on de Sweedler, 90, 91
n umeros complejos C, 9
n umeros constructibles, 3840, 58, 76
n umeros enteros Z, 9
n umeros naturales N, 10
n umeros naturales positivos N
, 54, 75
n umeros racionales Q, 9
n umeros reales R, 9
n umeros trascendentes, 27
operador de multiplicaci on, 86, 109
orbita de una acci on de grupo, 95, 101, 110
MA660: Teora de Galois 116
Oxtoby, John, 27
Pareigis, Bodo, 87
Patashnik, Oren, 11
permutaci on par, 51
polgono regular, 58
de 17 lados, 74
polinomio, 10, 30
ciclot omico
n
(X), 73, 75
ciclot omico
n
(X), 55, 56
irreducible, 14, 15, 25, 28, 56, 81, 84
m onico, 4, 10, 12
mnimo, 25, 26, 28, 42, 57, 74
no resoluble por radicales, 70, 71
primitivo, 14
resoluble por radicales, 6668
separable, 81
sim etrico, 16, 18, 21, 63, 71
elemental, 16
polinomios asociados, 22
presentaci on de un grupo, 51
primos de Fermat, 58
principio de los palomares, 36
producto directo de grupos, 53, 59
producto tensorial, 87, 100, 103
puntos constructibles, 37
races c ubicas de 1, 6
races de un polinomio, 14, 19, 29, 41, 76, 81
raz doble de un polinomio, 21
raz n- esima de 1, 51
primitiva, 55, 57, 60, 66, 75
reducci on m odulo p, 56, 84
regla de Cramer, 39
regla de Leibniz, 21, 96
resolvente de Galois, 63
resolvente de Lagrange, 8, 61, 63
resultante de dos polinomios, 19, 20
retculo, 72, 74
Rosenberg, Alex, 86
Rota, Gian-Carlo, 74, 89
Rufni, Paolo, 63
Ruiz Z u niga,
Angel, 15
Sachs, Abraham, 3
Schauenburg, Peter, 108
sub algebra coinvariante A
coH
, 99, 103, 106
sub algebra invariante A
H
, 99
subcuerpo, 24, 25
subgrupo, 47
conjugado, 47
derivado, 64
normal, 47, 48, 52, 68, 76
Sweedler, Moss Eisenberg, 86, 90, 105
Sylvester, James Joseph, 54
Takeuchi, Mitsuhiro, 108
Tartaglia, Nicolo, 5
teorema binomial, 79
teorema de Artin, 46, 83, 102
teorema de Galois, 68
teorema de Jordan y H older, 65
teorema de Kaplansky, 73
teorema de Kronecker y Weber, 59
teorema de Lagrange, 55, 57
teorema de Schauenburg, 108
teorema del elemento primitivo, 36, 83
teorema del factor, 22
teorema del residuo, 22
teorema fundamental del algebra, 14, 27, 82
teorema peque no de Fermat, 57
teorema principal de la teora de Galois, 48,
84, 105
torre de cuerpos, 24, 40, 58, 6668
transposici on, 51, 69, 70
trisecci on del angulo, 36, 40
unidad, 88
van der Waerden, Bartel Leendert, 112
Vandermonde, Alexandre Th eophile, 61
V arilly, Joseph Charles Denis, 38
Vierergruppe, 73
Weber, Heinrich, 59, 112
Zermelo, Ernst, 24