TEMA 8

Teorı́a de Galois

A lo largo de este capı́tulo, y mientras no se diga lo contrario, k denotará un cuerpo arbitrario.

1. Cuerpo de Descomposición. Extensiones normales y de Galois

Definición 1.1. Sea L una extensión de k. Se dice que K es un cuerpo intermedio de la

extensión k ,→ L, si K es extensión de k y L es extensión de K, en sı́mbolos, k ,→ K ,→ L.
Universidad de Extremadura
Departamento de Matemáticas

√ √ √
Por ejemplo, Q( 2) es un cuerpo intermedio de la extensión Q ,→ Q( 2, 3).

Definición 1.2. Sean p(x) un polinomio no constante con coeficientes en k y L una extensión
de k. Se dice que L es un cuerpo de descomposición sobre k de p(x), si p(x) descompone
en L[x] en potencias de factores lineales y no existe ningún cuerpo intermedio de la extensión
k ,→ L donde p(x) descomponga de esta forma.

Ejemplos 1.3.
√
i) Sean p(x) = ax2 + bx + c ∈ Q[x] y α = b2 − 4ac. Entonces, Q(α) ⊆ C es un cuerpo
de descomposición sobre Q de p(x).
ii) Sean p(x) = x3 + ax2 + bx + c un polinomio irreducible con coeficientes en Q y α1 , α2 y
α3 sus raı́ces en C. Entonces, Q(α1 , α2 , α3 ) = Q(α1 , α2 ) es un cuerpo de descomposición
sobre Q de p(x). Nótese que [Q(α1 ) : Q] = 3 y que [Q(α1 , α2 ) : Q(α1 )] = 1 ó 2, por
tanto, del teorema de grado (véase el ejercicio 1.1) se sigue que
[Q(α1 , α2 ) : Q] = [Q(α1 , α2 ) : Q(α1 )] [Q(α1 ) : Q] = 3 ó 6.
Más adelante (en el corolario 2.7) daremos un criterio que nos permitará distinguir
cuándo el grado es 3 ó 6.

Siempre existe un cuerpo de descomposición sobre k de un polinomio p(x) ∈ k[x], pues basta
tomar la extensión de k generada por las raı́ces de p(x) dentro de una extensión donde éste tenga
todas sus raı́ces, y esta última existe por el teorema de Kronecker. Ası́, por ejemplo, cuando
k = Q, un cuerpo de descomposición sobre Q de p(x) ∈ Q[x] es la extensión Q(α1 , . . . , αr ), donde
α1 , . . . , αr ∈ C son todas las raı́ces complejas de p(x). Por concretar un poco más podemos probar
la siguiente:

Proposición 1.4. Sea p(x) un polinomio no constante con coeficientes en k. Una extensión
L de k es un cuerpo de descomposición de p(x) sobre k si, y sólo si, existen αi ∈ L, i = 1, . . . , r,
tales que
(a) p(x) = (x − α1 )m1 . . . (x − αr )mr ;
(b) L = k(α1 , . . . , αr ).
143
 144 8. TEORÍA DE GALOIS

Demostración. La demostración es una consecuencia directa de la definición de cuerpo de des-

composición, por lo que la proponemos como ejercicio al lector (ejercicio 1.3).

Ejemplos 1.5.
i) De acuerdo con el teorema de D’Alembert (véase [9] p. 68), todo polinomio con coefi-
cientes complejos tiene todas sus raı́ces complejas. Luego su cuerpo de descomposición
sobre C es C.
ii) Si un polinomio con coeficientes reales tiene todas sus raı́ces reales, entonces su cuerpo
de descomposición sobre R es R. Por el contrario, si tiene alguna raı́z imaginaria, su
cuerpo de descomposición sobre R es C.
iii) El cuerpo de descomposición sobre k de q1 (x) · · · qr (x) ∈ k[x] es igual que el cuerpo de
descomposición sobre k de q1 (x)m1 · · · qr (x)mr ∈ k[x], para todo mi ≥ 1, i = 1, . . . , r.
Universidad de Extremadura
Departamento de Matemáticas

Nota 1.6. Es un sencillo ejercicio (ejercicio 1.4) probar que el grado de un cuerpo de des-
composición de un polinomio p(x) ∈ k[x] de grado n > 0 está acotado por n! No obstante, dado
un número entero n > 0, no siempre existe un polinomio de grado n en k[x] con un cuerpo de
descomposición sobre k que tenga grado n! (pues esto depende, entre otras cosas, del cuerpo
k). Por ejemplo, no existen para n > 1 si k = C (véase el ejemplo 1.5.i) y tampoco para n > 2
si k = R (véase el ejemplo 1.5.ii). Sin embargo, se puede probar que existe un gran número de
polinomios (infinitos, de hecho) de grado n sobre Q[x] con un cuerpo de descomposición sobre
k de grado n! (véase el ejemplo 4.28 de la página 50 de [7]).

Ejemplos 1.7.
i) Sea p un número primo y f (x) = (xp − 1)/(x − 1) ∈ Q[x]. Si ζ es una raı́z de f (x),
entonces las otras son ζ 2 , ζ 3 , . . . , ζ p−1 . Por lo tanto, un cuerpo de descomposición sobre
Q de f (x) es Q(ζ).
ii) Suponemos que k tiene caracterı́stica p > 0, y sea f (x) = xp − x − a ∈ k[x]. Si α es una
raı́z de f (x), entonces las otras son α + 1, . . . , α + p − 1, y por tanto k(α) ∼ = k[x]/(f (x))
es un cuerpo de descomposición sobre k de f (x).
iii) Si α es una raı́z de xn − a, entonces las otras son ζα donde ζ n = 1. Por lo tanto, si
k contiene a todas las raı́ces n-ésimas de la unidad (es decir, si xn − 1 descompone en
k[x] en factores lineales), k[α] es un cuerpo de descomposición de xn − a. Nótese que si
la caracterı́stica de k fuese p, entonces xp − 1 = (x − 1)p , en cuyo caso k ya contendrı́a
a todas las raı́ces n-ésimas de la unidad.

Hasta el momento estamos hablando un cuerpo de descomposición, admitiendo que un mismo

polinomio puede tener más de uno. A continuación veremos que, aunque puedan existir distintos
cuerpos de descomposición de un mismo polinomio, todos ellos son isomorfos.

Lema del hueco único. Sean L y L0 dos cuerpos de descomposición de un polinomio no

constante p(x) ∈ k[x]. Entonces:
(a) Cualquier par de morfismos de k-álgebras de L y L0 en una extensión E de k tienen
igual imagen.
 1. EXTENSIONES NORMALES Y DE GALOIS 145

(b) Cualquier compuesto de L y L0 es isomorfo a L (y a L0 ). En particular L y L0 son

extensiones isomorfas de k.

Demostración.1 (a) Es suficiente tener en cuenta que tanto la imagen de L como la de L0 es el

menor subcuerpo de E que contiene a todas las raı́ces de p(x). Luego, necesariamente, ambas
imágenes coinciden.
(b) Por definición un compuesto, L0 L de L0 y L sobre k, es (salvo isomorfismos) la menor
extensión común de L y L0 . Como los morfismos estructurales
j : L −→ L0 L y j 0 : L0 −→ L0 L
son, en particular, morfismos de k-álgebras, por el apartado anterior, tenemos que j(L) = j 0 (L0 )
es (salvo isomorfismos) la menor extensión común de L y L0 . Luego, concluimos que j(L) =
j 0 (L0 ) = L0 L y que tanto j como j 0 son isomorfismos de k-álgebras, de donde se sigue que
L0 L ∼=L∼ = L0 .
Universidad de Extremadura
Departamento de Matemáticas

√
Ejemplo 1.8. Sea L = Q( 4 2). Del hueco único se deduce que L no es un cuerpo de
descomposición de ningún polinomio, pues sabemos (véase el ejemplo 2.15) que los compuestos
√
de L consigo mismo son L ⊕ L y L ⊕ Q( 4 2, i), que obviamente no son isomorfos.

Según la proposición 1.4 y el lema del hueco único, podemos pensar que el cuerpo de descom-
posición sobre k de un polinomio p(x) ∈ k[x] es (salvo isomorfismos de k-álgebras) la extensión de
k generada por las raı́ces de p(x) en una extensión donde éste tenga todas sus raı́ces. De aquı́ que
en lo sucesivo abusemos del artı́culo determinado, y digamos el cuerpo de descomposición en vez
de un cuerpo de descomposición.
No obstante, aunque sabemos que si L y L0 son dos cuerpos de descomposición sobre k de
p(x) ∈ k[x], existe un isomorfismo de k-álgebras L −→ L0 , en general, este isomorfismo no es
canónico. Por consiguiente, se podrı́an producir errores y confusiones si se igualan L y L0 sin
más.
Finalmente, de la proposición 1.4 y del lema del hueco único también se deduce que el
cuerpo de descomposición sobre k de un polinomio p(x) ∈ k[x] es una extensión finita de k, ya
que está generado por (o al menos es isomorfo a la extensión generada por) un número finito de
raı́ces de polinomios no nulos con coeficientes en k; concretamente, las raı́ces de p(x) en alguna
(o cualquier) extensión de k.
En este punto nos podemos preguntar cuándo una extensión finita de k es cuerpo de des-
composición sobre k de algún polinomio p(x) ∈ k[x]; la respuesta la encontramos en la siguiente
Caracterización de los cuerpos de descomposición. Si L es una extensión finita de k,
las siguientes condiciones son equivalentes:
(a) L es el cuerpo de descomposición sobre k de algún polinomio p(x) ∈ k[x].
(b) Todo compuesto de L consigo mismo es isomorfo a L.
(c) L ⊗k L es L-álgebra racional.
(d) Si un polinomio irreducible en k[x] tiene alguna raı́z en L, tiene todas sus raı́ces en L.
1Una demostración mucho más detallada puede encontrarse en [1] pp. 37-38.
 146 8. TEORÍA DE GALOIS

Demostración. (a) ⇒ (b) Es un caso particular del lema del hueco único, cuando L0 = L.
(b) ⇒ (c) El cuerpo residual K de cualquier ideal maximal m de L ⊗k L es un compuesto
de L consigo mismo; y como K = L por hipótesis, concluimos que L ⊗k L es una L-álgebra
racional.
(c) ⇒ (d) Si un polinomio irreducible p(x) ∈ k[x] tiene una raı́z α en L, ésta define un
morfismo de k-álgebras
k[x]/(p(x)) −→ L; x 7→ α
que necesariamente es inyectivo, porque k[x]/(p(x)) es un cuerpo. Por consiguiente, como L es
racional sobre L, tenemos que k[x]/(p(x)) ⊆ L también es racional sobre L, lo que significa que
p(x) tiene todas sus raı́ces en L.
(d) ⇒ (a) Sea L = k(α1 , . . . , αr ), y consideremos el polinomio mı́nimo pi (x) ∈ k[x] de
αi ∈ L, para cada i ∈ {1, . . . , r}. Los polinomios pi (x), i = 1, . . . , r son irreducibles y tienen
Universidad de Extremadura
Departamento de Matemáticas

una raı́z en L; luego, por hipótesis, tienen todas sus raı́ces en L. De modo que el polinomio
p(x) = p1 (x) . . . pr (x) ∈ k[x] tiene todas sus raı́ces en L y éstas generan a L. Por la proposición
1.4, concluimos que L es el cuerpo de descomposición de p(x) sobre k.

Definición 1.9. Se dice que una extensión finita k ,→ L es normal si L ⊗k L es L-álgebra

racional.

Según la definición y proposición anteriores, tenemos que una extensión L de k es cuerpo de

descomposición sobre k de un polinomio p(x) ∈ k[x] si y sólo si L es extensión normal de k. De
hecho la Caracterización de los cuerpos de descomposición es también una caracterización de
las extensiones normales

Ejemplo 1.10. Obsérvese que no todas las extensiones finitas son normales, por ejemplo,
√
L = Q( 4 2) es una extensión finita de Q pero no es extensión normal, ya que
√4
L ⊗Q L = L ⊗ L ⊗ Q( 2, i)
no es L-álgebra racional, o simplemente porque p(x) = x4 − 2 sólo tiene dos de sus raı́ces en
√
L, ± 4 2, aun cuando sabemos que tiene 4 raı́ces distintas.

Propiedades de las extensiones normales.

(a) Si K es un cuerpo intermedio de una extensión k → L finita normal, entonces L es
una extensión finita normal de K.
(b) Si k → L1 y k → L2 son extensiones finitas normales, cualquier compuesto L1 L2 es
una extensión finita y normal de k.
(c) Si k → L es una extensión finita normal y E una extensión arbitraria de k, entonces
cualquier compuesto LE es una extensión finita y normal de E.

Demostración. La demostración es una sencilla consecuencia de la proposición 1.4 y de la carac-

terización de las extensiones normales, (que nos dice que una extensión de k es normal si, y sólo
si, es cuerpo de descomposición sobre k de algún polinomio con coeficientes en k) teniendo en
cuenta que:
 1. EXTENSIONES NORMALES Y DE GALOIS 147

(a) Si L es el cuerpo de descomposición de un polinomio p(x) ∈ k[x] sobre k, entonces L es

el cuerpo de descomposición de p(x) sobre K.
(b) Si L1 y L2 son los cuerpos de descomposición de sendos polinomios p1 (x) y p2 (x) ∈ k[x]
sobre k, respectivamente, entonces L1 L2 es el cuerpo de descomposición de p1 (x)p2 (x).
(c) Si L es el cuerpo de descomposición de un polinomio p(x) ∈ k[x] sobre k, entonces LE
es el cuerpo de descomposición de p(x) sobre E.

Definición 1.11. Se dice que una extensión finita k ,→ L es de Galois si es normal y

separable.

Th CarGal
Caracterización de las extensiones de Galois. Si L es una extensión finita de k, las
siguientes afirmaciones son equivalentes:
Universidad de Extremadura
Departamento de Matemáticas

(a) L es cuerpo de descomposición sobre k de algún polinomio separable p(x) ∈ k[x].

(b) L es una extensión de k normal y separable.
(c) L ⊗k L es L-álgebra trivial.
(d) El grupo Autk-alg (L) tiene orden [L : k].

Demostración. (a) ⇒ (b) Suponemos que L es cuerpo de descomposición sobre k de algún poli-
nomio separable p(x) ∈ k[x]. Entonces, por la Caracterización de los cuerpos de descomposición,
L es extensión normal de k. Además, como el polinomio mı́nimo, pα (x) ∈ k[x], de cualquier raı́z
α de p(x), divide a p(x), ha de ser separable para toda raı́z α de p(x). De donde se deduce que
L es extensión separable de k, pues las raı́ces de p(x) generan a L.
(b) ⇒ (a) Si k ,→ L es una extensión normal y separable, el teorema del elemento primitivo
asegura que existe α ∈ L tal que L = k(α). Entonces, el polinomio mı́nimo de α, pα (x) ∈ k[x]
es un polinomio separable, pues L ∼ = k[x]/(pα (x)) es separable, que tiene todas sus raı́ces en L,
pues α ∈ L es raı́z de pα (x) y L es normal. Por lo tanto, L es el cuerpo de descomposición del
polinomio separable pα (x).
(b) ⇔ (c) Si k −→ L es normal y separable, entonces es claro que L ⊗k L es racional
y reducida. Recı́procamente, L ⊗k L es trivial (es decir, racional y reducida), entonces L es
extensión normal de k (por ser L ⊗k L racional) y además es reducida por ser trivial sobre
alguna extensión de k; concretamente sobre ella misma (véase la caracterización de las algebras
separables).
(c) ⇔ (d) De acuerdo con la Fórmula de los puntos, la condición necesaria y suficiente para
que L ⊗k L sea L-álgebra trivial es que el orden de su grupo de automorfismos de k-álgebras
coincida con el grado de la extensión, es decir, |Autk-alg (L)| = [L : k].

Ejemplos 1.12.
i) Si un cuerpo k es perfecto (por ejemplo, cualquier cuerpo finito o de caracterı́stica
cero), todas las extensiones normales de k son extensiones de Galois, porque sobre un
cuerpo perfecto las extensiones finitas de k son separables. Por tanto, en este caso, el
cuerpo de descomposición sobre k de cualquier polinomio con coeficientes en k es una
extensión de Galois de k.
 148 8. TEORÍA DE GALOIS

ii) Toda extensión finita y separable está contenida en una extensión de Galois. En efecto,
si L es una extensión finita y separable de k, por el teorema del elemento primitivo
existe α ∈ L tal que L = k(α) y su polinomio mı́nimo sobre k, pα (x), es separable. El
cuerpo de descomposición de pα (x) sobre k es una extensión de Galois de k que contiene
a L.
iii) No todas las extensiones normales son de Galois. En efecto, sean k un cuerpo de carac-
√ √
terı́stica p 6= 0 y t un elemento de F tal que p t 6∈ k. Entonces L = k( p t) ∼
= k[x]/(xp −t)
es una extensión normal de k que no es de Galois, ya que L es cuerpo de descomposición
sobre k de p(x) = xp − t ∈ k[x] pero |Autk−álg (L)| = 1 < [L : k] = p.

Propiedades de las extensiones de Galois.

(a) Si K es un cuerpo intermedio de una extensión k → L de Galois, entonces L es una
extensión de Galois de K.
Universidad de Extremadura
Departamento de Matemáticas

(b) Si k → L1 y k → L2 son extensiones finitas de Galois, cualquier compuesto L1 L2 es

una extensión finita y de Galois de k.
(c) Si k → L es una extensión finita de Galois y E una extensión arbitraria de k, entonces
cualquier compuesto LE es una extensión finita y de Galois de E.

Demostración. Estas propiedades se siguen directamente de las propiedades de las extensiones

separables y de las extensiones normales, al ser las extensiones de Galois las extensiones normales
separables, por la Caracterización de las extensiones de Galois.

Ejercicios

Ejercicio 1.1. Teorema del grado (véase [9] p. 94).

Sea K un cuerpo intermedio de una extensión finita L de un cuerpo k. Comprobar que K es
extensión finita de k, L es extensión finita de L y que [L : k] = [L : K] · [K : k].

Ejercicio 1.2. Si k ,→ L es una extensión finita separable, probar que sólo hay un número
finito de cuerpos intermedios.

Ejercicio 1.3. Sea p(x) un polinomio no constante con coeficientes en k. Comprobar que
una extensión L de k es un cuerpo de descomposición de p(x) sobre k si y sólo si p(x) descompone
en L[x] en potencias factores lineales y L = k(α1 , . . . , αr ).

Ejercicio 1.4. Sea p(x) un polinomio de grado n > 0 con coeficientes en un cuerpo k y L
un cuerpo descomposición de p(x) sobre k. Probar que [L : k] ≤ n!

Ejercicio 1.5. Sean L y L0 dos extensiones normales de un cuerpo k. Probar que si E y

E 0 son dos compuestos de L y L0 , entonces que E es racional sobre E 0 . Concluir que todos los
compuestos de L y L0 son isomorfos.

Ejercicio 1.6. Probar que

√ √
1. Q( 2) ⊗Q Q( 3) es un cuerpo. ¿Es una extensión de Galois de Q?
 2. EL GRUPO DE GALOIS. 149

√ √
3. Q( 3, 2, i) es una extensión de Galois de Q de grado 8.
√ √ √
2. Q( 8 3, i) no es una extensión de Galois de Q. [Téngase presente que 2 6∈ Q( 8 3).]

Ejercicio 1.7. Sean L y L0 dos extensiones de Galois de un cuerpo k. Probar que L ⊗k L0

descompone en suma directa de extensiones de k isomorfas entre sı́.

Ejercicio 1.8. Si L0 es una extensión de Galois de un cuerpo k y L es una extensión de

Galois de L0 , entonces
L0 ⊗k L = L0 ⊗k L0 ⊗L0 L = (⊕L0 ) ⊗L0 L = ⊕L
L ⊗k L = L ⊗L0 (L0 ⊗k L) = L ⊗L0 (⊕L) = ⊕(L ⊗L0 L) = ⊕(⊕L)
y concluimos que L es una extensión de Galois de k. ¿Es esto posible? ¿Qué parte del razona-
miento es falaz?

Ejercicio 1.9. Sean L0 una extensión de Galois de un cuerpo k y L extensión de Galois de

Universidad de Extremadura
Departamento de Matemáticas

L0 . Probar que si todo automorfismo de L0 sobre k se puede extender a un automorfismo de L,

entonces k ,→ L es una extensión de Galois.

Ejercicio 1.10. Demostrar que toda extensión k ,→ L de grado 2 es normal. Demostrar

que toda extensión de grado 2 de un cuerpo de caracterı́stica distinta de 2 es una extensión de
Galois. ¿Puede tener una extensión de Galois de grado 2 un cuerpo de caracterı́stica 2? Dar un
ejemplo de extensiones de Galois k ,→ L0 y L0 ,→ L de grado 2 tales que k ,→ L no sea extensión
de Galois.

2. El grupo de Galois.

Definición 2.1. Sea L una extensión de Galois de k. Llamaremos grupo de Galois de L

sobre k a Autk−álg (L).

Por la Caracterización de las extensiones de Galois, el cuerpo de descomposición L sobre k de

cualquier polinomio separable p(x) ∈ k[x] es una extensión de Galois de k. Ası́, se llama grupo
de Galois sobre k del polinomio separable p(x) ∈ k[x] al grupo de Galois de su cuerpo de
descomposición. Nótese que, en virtud del teorema del hueco único, tal grupo no depende, salvo
isomorfismos, del cuerpo de descomposición L elegido.

Proposición 2.2. El grupo de Galois sobre k de un polinomio separable con coeficientes en

k es, de modo canónico, un subgrupo del grupo de permutaciones de sus raı́ces.

Demostración. Sean G el grupo de Galois de un polinomio p(x) = i ai xi ∈ k[x] separable de

P

grado n > 0, L su cuerpo de descomposición sobre k y α1 , . . . , αn las raı́ces de p(x) en L.

Si α ∈ L es una raı́z de p(x) entonces
X X X 
ai g(α)i = ai g(αi ) = g ai αi = 0,
para todo g ∈ G. Luego, los elementos de G permutan las raı́ces de p(x) en L. Teniendo ahora
en cuenta que cada automorfismo g ∈ G está unı́vocamente determinado por la correspondiente
permutación de las raı́ces de p(x), pues, por la proposición 1.4, L = k(α1 , . . . , αn ), concluimos
que G se identifica de forma única con un subgrupo del grupo de permutaciones de las raı́ces de
p(x) en L.
 150 8. TEORÍA DE GALOIS

A la vista de la proposición anterior, toda vez que se numeren las raı́ces de un polinomio
separable de grado n > 0 con coeficientes en k en su cuerpo de descomposición sobre k, su
grupo de Galois sobre k puede entenderse como un subgrupo (bien definido salvo conjugación)
del grupo simétrico Sn .

Nota 2.3. Obsérvese que la proposición 2.2 nos dice que la operación natural del grupo de
Galois de un polinomio separable sobre el conjunto de sus raı́ces (véase el ejemplo 1.2.v) del
tema 6) es efectiva.

Como el grupo de Galois G de una extensión de Galois L de k es, por definición, su grupo de
automorfismos como k-álgebra, tenemos que G opera sobre L de forma natural (véase el ejemplo
1.2.iv) del tema 6). Veamos que el conjunto de elementos fijos para operación natural de G en
L es precisamente k.
Universidad de Extremadura
Departamento de Matemáticas

Teorema 2.4. Si L es una extensión de Galois de k y G = Autk−álg (L), entonces

LG = k,
donde LG = {α ∈ L | σ(α) = α, para todo σ ∈ G}.

Demostración. En primer lugar, observamos que LG es un cuerpo intermedio de la extensión k ,→

L, de donde se sigue, por la definición de homomorfismo de álgebras, que G ⊆ Aut G (L),
L -alg
G
pues los elementos de L son fijos para todo σ ∈ G; luego, se tiene que |G| ≤ |Aut G (L)| y
L -alg
por la Fórmula de los puntos, que
|G| ≤ |Aut G (L)| ≤ [L : LG ].
L -alg
Por otro lado, al ser L una extensión de Galois de k, se sigue que
[L : k] = |Autk-alg (L)| = |G|.

De ambos hechos se deduce que [L : k] ≤ [L : LG ].

Teniendo ahora en cuenta que
[L : k] = [L : LG ] · [LG : k] ≥ [L : LG ],
concluimos que [L : k] = [L : LG ] y que [LG : k] = 1, es decir, LG = k.

Corolario 2.5. Sean p(x) ∈ k[x] un polinomio separable, L su cuerpo de descomposición

sobre k y G su grupo de Galois sobre k. Si q(x) es un factor irreducible de p(x) en k[x] y α ∈ L
es una raı́z de q(x), entonces
Oα = {α0 ∈ L | q(α0 ) = 0},
donde Oα = {σα | σ ∈ G}.

Demostración. Es claro que q(σα) = σ(q(α)) = σ(0) = 0, porque q(x) ∈ k[x] y σ es un homo-
morfismo de k-álgebras. Por consiguiente Oα ⊆ {α0 ∈ L | q(α0 ) = 0}. Para probar la inclusión
opuesta, consideramos el polinomio
Y
h(x) = (x − σα) ∈ L[x].
σ∈G
 2. EL GRUPO DE GALOIS. 151

Por las fórmulas de Cardano2, los coeficientes de h(x) son invariantes por la operación de G sobre
L. Luego, del teorema 2.4 se deduce que h(x) ∈ k[x]. Además, como h(x) ∈ k[x] tiene en común
con el polinomio irreducible q(x) la raı́z α, se sigue que q(x) divide a h(x), y concluimos que todas
las raı́ces de q(x) en L son de la forma σα, para algún σ ∈ G; es decir, Oα ⊇ {α0 ∈ L | q(α0 ) = 0}

Nota 2.6. Sean p(x) ∈ k[x] un polinomio separable, L su cuerpo descomposición sobre
k, X ⊆ L el conjunto de las raı́ces de p(x) y G su grupo de Galois sobre k. Las siguientes
afirmaciones son consecuencias inmediatas del corolario 2.5.
i) El conjunto Oα = {σ(α) | σ ∈ G} es la órbita de α ∈ X por la operación natural que
define G sobre X. Por lo que, según el corolario 2.5, las órbitas de la operación natural
de G sobre X los conjuntos de raı́ces de las componentes irreducibles de p(x) en k[x].
ii) Si p(x) es irreducible, la operación de G sobre X tiene una única órbita; por lo que, en
Universidad de Extremadura
Departamento de Matemáticas

este caso, la operación de G sobre X es transitiva.

iii) El orden G es múltiplo del grado de los factores irreducibles de p(x) en k[x], ya que
|G| = |Oα | : |Iso(α)|, para todo α ∈ X y, según lo dicho en apartado i) anterior, |Oα |
coincide con grado de la componente irreducible que se anula en α.

Sabemos que el grupo de Galois de un polinomio separable de grado n está contenido de

forma canónica en Sn . El siguiente resultado proporciona una condición necesaria y suficiente
para que G quede dentro de An .

Corolario 2.7. Sean k un cuerpo de caracterı́stica distinta de 2 y p(x) ∈ k[x] un polinomio

separable de grado n. El grupo de Galois G de p(x) sobre k está contenido en An si, y sólo si,
el discriminante3 ∆ de p(x) sea un cuadrado en k :
√
G ⊆ An ⇐⇒ ∆ ∈ k.

Demostración. Sea σ una permutación de las raı́ces de p(x). Por definición del signo de una
√ √
permutación (véase [9] p. 56), tenemos que σ ∆ = signo(σ) ∆. Por tanto, cuando −1 6= 1
√ √
en k, tenemos que σ ∆ = ∆ si y sólo si σ es una permutación par.
2Fórmulas de Cardano ([9] p. 95): Sea p(x) = c xn + . . . + c un polinomio de grado n > 0 con coeficientes
0 n
en un cuerpo k y sean α1 , . . . , αn las raı́ces de p(x) en una extensión K de k donde tenga todas sus raı́ces, cada
una repetida tantas veces como indique su multiplicidad, de modo que
p(x) = c0 xn + . . . + cn = c0 (x − α1 ) · · · (x − αn ).

X
Igualando los coeficientes obtenemos las fórmulas de Cardano:
(−1)r cr
= αi1 · · · αir ,
c0 i 1 <···<ir

para cada i = 1, . . . , n.
3El discriminante ([9] pp. 294): Sea p(x) = c xn + . . . + c un polinomio de grado n > 0 con coeficientes
0 n
en un cuerpo k y sean α1 , . . . , αn las raı́ces de p(x) en una extensión K de k donde tenga todas sus raı́ces, cada

∆ = (c0 )2n−2
Y(α
una repetida tantas veces como indique su multiplicidad. Llamaremos discriminante de p(x) a

j − αi )2 .
i<j
 152 8. TEORÍA DE GALOIS

√ √
Si G ⊆ An , se sigue que σ ∆ = ∆, para todo automorfismo σ ∈ G, y el teorema 2.4
√ √ √ √
permite concluir que ∆ ∈ k. Recı́procamente, si ∆ ∈ k, entonces σ ∆ = ∆, para todo
σ ∈ G, y concluimos que todo automorfismo σ ∈ G define una permutación par de las raı́ces de
p(x); es decir, σ ∈ An .

√
Ejemplo 2.8. El cuerpo de descomposición sobre Q del polinomio x4 − 2 es L = Q( 4 2, i).
√ √
El grado Q( 4 2) sobre Q es 4 porque x4 − 2 es irreducible en Q[x], y el grado de L sobre Q( 4 2)
√
es 2, porque x2 + 1 no tiene raı́ces en Q( 4 2) ⊆ R. Luego [L : Q] = 8 y el grupo de Galois G de
x4 − 2 sobre Q es de orden 8.
√ √ √
Si σ ∈ G, entonces σ( 4 2) = ± 4 2, ±i 4 2 y σ(i) = ±i; luego, éstas 8 posibilidades son todos
los elementos de G. Los 8 automorfismos σi , i = 1, . . . , 8, de L son
σ1 σ2 σ3 σ4 σ5 σ6 σ7 σ8
√ √ √ √ √ √ √ √ √
Universidad de Extremadura
Departamento de Matemáticas

4 4
2 2 i 4 2 − 4 2 −i 4 2 4
2 i 4 2 − 4 2 −i 4 2
i i i i i −i −i −i −i
√ √ √ √
Las raı́ces complejas α1 = 2, α2 = i 2, α3 = − 4 2 y α4 = −i 4 2 de x4 − 2 son los
4 4

vertices de un cuadrado, γ := σ2 es el giro de ángulo recto y σ := σ5 es la simetrı́a respecto

del eje horizontal. Como esos dos movimientos general las 8 simetrı́as del cuadrado, el grupo de
Galois es el grupo diédrico D8 (el grupo de las simetrı́as de un cuadrado), esto es, G = D8 =
{id, γ, γ 2 , γ 3 , σ, σγ, σγ 2 , σγ 3 }, γ 4 = σ 2 = id con γσ = σγ 3 . Una presentación de G ⊆ S4 es

G = {id, (1234), (13)(24), (1432), (24), (14)(23), (13), (12)(34)},

Ejemplos 2.9.
i) Grupo de Galois de las cuádricas.
Sea p(x) = x2 + bx + c ∈ k[x] un polinomio separable de grado 2 y denotemos por
α1 y α2 = −b − α1 a sus dos raı́ces en su cuerpo de descomposición L.
Si p(x) tiene alguna raı́z en k, entonces tiene las dos raı́ces en k; luego L = k y
su grupo de Galois sobre k es G = {id}. Por el contrario, si p(x) no tiene raı́ces en k
(que como sabemos que equivale a que p(x) sea irreducible en k[x]), entonces su cuerpo
de descomposición L = k(α1 , α2 ) = k(α1 ) = k(α2 ) es una extensión de grado 2 de k.
Además, existe un automorfismo k(α1 ) ' k[x]/(p(x)) ' k(α2 ) que transforma α1 en
α2 , y concluimos que su grupo de Galois sobre k es G = S2 .

ii) Grupo de Galois de las cúbicas.

Sea p(x) = x3 + p x2 + qx + r un polinomio irreducible y separable de grado 3 con
coeficientes en un cuerpo k de caracterı́stica distinta de 2, y sea G su grupo de Galois
sobre k.
Si el discriminante ∆ = −4p3 r − 27r2 + 18pqr − 4q 3 + p2 q 2 es un cuadrado en k,
entonces G = A3 . En otro caso, si el discriminante ∆ no es un cuadrado en k, entonces
G = S3 .
En efecto, sabemos que el orden G tiene que ser múltiplo del grado de p(x), que en
este caso es 3, y que los únicos subgrupos de S3 cuyo orden es múltiplo de 3 son A3
 2. EL GRUPO DE GALOIS. 153

y S3 , y el corolario 2.7 muestra que el discriminante del polinomio permite distinguir

entre ambos casos.
iii) Grupo de Galois de las cuárticas.
Sean p(x) = x4 + px3 + qx2 + rx + s una cuártica separable e irreducible sobre un
cuerpo k de caracterı́stica distinta de 2, sean α1 , α2 , α3 , α4 sus raı́ces en su cuerpo de
descomposición L = k(α1 , α2 , α3 , α4 ) y sea G su grupo de Galois, que, como sabemos,
es un subgrupo de S4 bien definido salvo conjugación.
Se llama cúbica resolvente de p(x) al polinomio de raı́ces β1 = α1 α2 +α3 α4 , β2 =
α1 α3 + α2 α4 y β3 = α1 α4 + α2 α3 . Las fórmulas de Cardano permiten comprobar que
es
r(y) = y 3 − qy 2 + (pr − 4s)y − (p2 s − 4qs + r2 ).
Sean K = k(β1 , β2 , β3 ) y d = [K : k]
Universidad de Extremadura
Departamento de Matemáticas

Es inmediato comprobar que una permutación σ ∈ G ⊆ S4 deja fijos a β1 , β2 y β3

si y sólo si σ está en el grupo de Klein V = {id, (12)(34), (13)(24), (14)(23)}, que como
sabemos es normal en S4 . De modo que el grupo de Galois de L sobre K es G ∩ V.
Por otra parte, al ser p(x) irreducible en k[x], el orden del grupo de Galois sobre
k es múltiplo de 4. Luego, el morfismo natural G −→ S4 /V no puede ser inyectivo, ya
que |S4 /V | = 6, y se sigue que su núcleo, G ∩ V, tiene orden 2 ó 4.
Por consiguiente, tenemos que
|G| = [L : k] = [L : K] · [K : k] = |G ∩ V | · d = 2d ó 4d.
Distingamos ahora los casos posibles según los valores de d, es decir, los valores
del grado del cuerpo descomposición sobre k, K de la cúbica resolvente, que, a su vez,
coincide con el orden del grupo de Galois de r(y) sobre k que ya sabemos calcular4.
• d = 6 En este caso el orden de G es 12 ó 24, ası́ que G = A4 ó G = S4 , porque
A4 es el único subgrupo de orden 12 de S4 . En ambos casos, G contiene a V ; luego
|G ∩ V | = |V | = 4, y concluimos que |G| = 24, es decir, G = S4 .
• d = 3 En este caso el orden de G es 6 ó 12, y como tiene que ser múltiplo de 4
concluimos que |G| = 12, esto es, G = A4 .
• d = 2 En este caso el orden de G es 4 u 8.
◦ Si |G| = 8, entonces G es un 2-subgrupo de Sylow de S4 . Como el grupo
diédrico D8 (el grupo de las simetrı́as de un cuadrado) es un 2-subgrupo
de Sylow de S4 , todos los subgrupos de Sylow son conjugados, y el grupo
de Galois está bien definido salvo conjugación, concluimos que, con una
adecuada numeración de las raı́ces de la cuártica, su grupo de Galois es
G = D8 = {id, (1234), (13)(24), (1432), (12)(34), (14)(23), (13), (24)}.
◦ Si |G| = 4, entonces |G ∩ V | = 2. Como G es un subgrupo transitivo de S4 de
orden 4, si una permutación τ ∈ G deja fija alguna raı́z, necesariamente es la
4En el apartado ii) se probó que el orden del grupo de Galois de la cúbica irreducible es 3 ó 6. Sin embargo,
como no sabemos si la cúbica resolvente de p(x) es irreducible, tenemos que añadir los casos en que el orden del
grupo de Galois sea 2 ó 1.
 154 8. TEORÍA DE GALOIS

identidad. Luego cada permutación de G es de tipo 2, 2 ó de tipo 4. Si todas

son de tipo 2, 2, tenemos que G = V, lo que contradice que |G ∩ V | = 2.
Concluimos que el grupo de Galois es cı́clico, generado por un 4-ciclo. Es
decir, salvo conjugación,
G = C4 = {id, (1234), (13)(24), (1432)}.
• d = 1 En este caso el orden de G es 2 ó 4. Luego es 4, porque ha de ser múltiplo
de 4. Entonces, tenemos que |G ∩ V | = 4, y concluimos que el grupo de Galois es
el grupo de Klein G = V.
Vemos ası́ que el grupo de Galois G de una cuártica irreducible está totalmente
determinado por el de su cúbica resolvente, salvo cuando d = 2, que es el caso en que
la cúbica resolvente tiene una única raı́z en k, y G puede ser el grupo diédrico D8 ó el
grupo cı́clico C4 .
Universidad de Extremadura
Departamento de Matemáticas

En ambos casos, la única raı́z en k de la cúbica resolvente es β2 = α1 α3 + α2 α4 , que

denotaremos por a. Pero, al ser C4 ∩ V = {id, (13)(24)} y D8 ∩ V = V, tenemos que
G = C4 si y sólo si α1 α3 , α2 α4 , α1 + α3 y α2 + α4 quedan invariantes por G ∩ V, lo que
equivale a que estén en el cuerpo de descomposición sobre k de la cúbica resolvente,
pues el conjunto de puntos fijos para la operación natural de G ∩ V sobre L es K (véase
el teorema 2.4).
Por tanto, cuando d = 2, la condición necesaria y suficiente para que el grupo de
Galois sea G = C4 es que los polinomios
(x − α1 α3 )(x − α2 α4 ) = x2 − ax + s
(x − (α1 + α3 ))(x − (α2 + α4 )) = x2 + p x + q − a
tengan todas sus raı́ces en el cuerpo de descomposición sobre k, K, de la cúbica resol-
vente, que es una extensión cuadrática de k, porque r(y) tiene una raı́z en k. De hecho
√
es la extensión k( ∆), donde ∆ es el discriminante de r(y), porque el discriminante de
r(y) = (y − a)q(y) se diferencia en un cuadrado del discriminante de q(y).
En resumen, hemos obtenido que
d G

6 S4
3 A4
2 C4 Si x2 − ax + s y x2 √
+ px + q − a
descomponen en k( ∆).
2 D8 En caso contrario.
1 V

Ejercicios

Ejercicio 2.1. Sean k ,→ L una extensión de Galois y G = {σ1 , . . . , σn } su grupo de Galois.

Probar que
L ⊗k L −→ L⊕ .|G|
. . ⊕L; a ⊗ b 7→ ((σ1 a)b, . . . , (σn a)b)
 2. EL GRUPO DE GALOIS. 155

es un isomorfismo de L-álgebras.

Ejercicio 2.2. Sean L una extensión de Galois de un cuerpo k y L0 un cuerpo intermedio de

la extensión k ,→ L. Probar que todo isomorfismo de k-álgebras de L0 con un cuerpo intermedio
L00 de la extensión k ,→ L puede extenderse a un automorfismo de L. [Pruébese que existe un
polinomio irreducible p(x) ∈ k[x] tal que L0 ∼ = L00 ∼
= k[x]/p(x), y conclúyase usando que el
corolario 2.5.]

Ejercicio 2.3. Sean p(x) ∈ k[x] un polinomio de grado n > 0. Comprobar que:
1. La condición necesaria y suficiente para que p(x) sea separable es que su discriminante
no sea nulo.
2. El discriminante ∆ de p(x) es un elemento del cuerpo k.

Ejercicio 2.4. Determinar cuáles de las siguientes extensiones de Q son de Galois y calcular
Universidad de Extremadura
Departamento de Matemáticas

el grupo de Galois de aquellas que lo sean.

√ √ √ √ √ √ √ √ √
q
3 3 3
Q( 2, 3), Q( 2, 3), Q(i 2, 3), Q( 2, −3), Q( 2 + 2)
√ √
Ejercicio 2.5. Determinar el menor subcuerpo de C que contenga a α = 2 + 3 2 y que sea
una extensión de Galois de Q. Calcular su grupo de Galois. Determinar el grado del polinomio
mı́nimo de α sobre Q.

Ejercicio 2.6. Probar que

1. Una ecuación cúbica con coeficientes reales tiene una única raı́z real cuando el dis-
criminante es negativo, y tiene todas sus raı́ces reales cuando el discriminante no es
negativo.
2. Si el grupo de Galois sobre Q de una cúbica irreducible es A3 , entonces tiene tres raı́ces
reales.
3. Si ∆ es el discriminante de una cúbica irreducible con coeficientes racionales, entonces
√
su cuerpo de descomposición es Q( ∆, α) donde α es cualquiera de sus raı́ces en C.

Ejercicio 2.7. Sean k un cuerpo de caracterı́stica distinta de dos y p(x) ∈ k[x] un cúbica
(no necesariamente irreducible). Probar que si el discriminante de p(x) es un cuadrado en k,
entonces el grupo de Galois G de p(x) sobre k es G = A3 ó G = 1. Concluir x3 − 3x + 1 o es
irreducible o tiene todas sus raı́ces en k.

Ejercicio 2.8. Probar que si una cuártica irreducible tiene exactamente dos raı́ces reales,
entonces su grupo de Galois sobre Q es el grupo simétrico S4 o el diédrico D8 .

Ejercicio 2.9. Comprobar, usando el apartado iii) del ejemplo 2.9, que el grupo de Galois
sobre Q de
1. una cuártica bicuadrada irreducible x4 + qx2 + s es
• El grupo de Klein V si s es un cuadrado.
• El grupo cı́clico C4 si s no es un cuadrado, pero q 2 s − 4s2 sı́ lo es.
• El grupo diédrico D8 en cualquier otro caso.
2. una cuártica recı́proca irreducible x4 + px3 + qx2 + px + 1 es
 156 8. TEORÍA DE GALOIS

• El grupo de Klein V si q 2 + 4q + 4 − 4p2 es un cuadrado.

• El grupo cı́clico C4 cuando q 2 + 4q + 4 − 4p2 no es un cuadrado, pero sı́ lo es
(q 2 + 4q + 4 − 4p2 )(p2 − 4q + 8).
• El grupo diédrico D8 en cualquier otro caso.

Ejercicio 2.10. Determinar el grupo de Galois sobre Q de las siguientes cuárticas.

(a) x4 + 6x2 + 1, (b) x4 − 3x + 4, (c) 2x4 + x3 − x2 + 2x − 1,
4
(d) x + 1, (e) 12x + 8x + 1, (f) x4 − 3x3 + 4x2 − 2x + 1,
4 3

(g) x − 3x − 3x + 10x − 3, (h) x4 − 4x2 − 1,

4 3 2 (i) x4 − 2x2 − 1.
[Estúdiese en cada caso la descomposición en factores irreducibles en Q[x], y en función de su
descomposición úsese el ejemplo 2.9, si fuese necesario.]

3. Teorema Fundamental de la Teorı́a de Galois

Universidad de Extremadura
Departamento de Matemáticas

En esta sección, probaremos el teorema fundamental de la teorı́a de Galois, que proporciona

una correspondencia biyectiva entre los cuerpos intermedios del cuerpo de descomposición de
un polinomio separable y los subgrupos de su grupo de Galois.
Comenzaremos probando un par de resultados técnicos que, en gran medida, serán la clave
de la demostración del teorema fundamental de la teorı́a de Galois.

Definición 3.1. Sea A una k-álgebra y H un subgrupo de Autk−álg (A). Se llama subálge-
bra de invariantes de A para la operación natural de H sobre A a
AH = {a ∈ A | σa = a, ∀σ ∈ H},
es decir, al conjunto de puntos fijos de A para la operación natural de H sobre A.

Nota 3.2. Obsérvese que si A y B son dos k-álgebras y H un subgrupo de Autk−álg (A),
entonces H opera naturalmente en A ⊗k B; en efecto, basta comprobar que la aplicación G ×
(A ⊗k B) → A ⊗k B tal que g(a ⊗ b) = (g ⊗ 1)(a ⊗ b) = g(a) ⊗ b define una operación de G en
A ⊗k B cuya restricción a H determina una operación natural de H en A ⊗k B.

Veamos que si G es un grupo finito, entonces el álgebra de invariantes es estable por cambios
de base.

Lema 3.3. Sean A una k-álgebra. Si H es un subgrupo finito de Autk−álg (A). entonces
AH ⊗k B = (A ⊗k B)H ,
para toda k-álgebra B.

Demostración. Sea H = {h1 , . . . , hn } ⊆ Autk−álg (A). En primer lugar, observamos que la suce-
sión de aplicaciones k-lineales es exacta
f
0 −→ AH −→ A −→ A⊕ .|H|
. . ⊕A,
donde f (a) = (a−h1 (a), . . . , a−hn (a)). Por lo tanto, como el producto tensorial −⊗k B conmuta
con sumas directas y conserva sucesiones exactas al ser k un cuerpo, tenemos que la siguiente
sucesión también es exacta
f ⊗1
0 −→ AH ⊗k B −→ A ⊗k B −→ (A ⊗k B)⊕ .|H|
. . ⊕(A ⊗k B);
 3. TEOREMA FUNDAMENTAL DE LA TEORÍA DE GALOIS 157

además, (f ⊗ 1)(x) = (x − (h1 ⊗ 1)x, . . . , x − (hn ⊗ 1)x). Por consiguiente, el homomorfismo

natural AH ⊗k B −→ A ⊗k B induce un isomorfismo de AH ⊗k B con (A ⊗k B)H .

Teorema de Artin. Sean L una extensión finita de k y G un subgrupo de Autk−álg (L). Si

LG = k, entonces L es una extensión de Galois de k y G es su grupo de Galois.
Demostración. Los morfismos de k-álgebras σ ⊗ 1 : L ⊗k L → L tales que (σ ⊗ 1)(a ⊗ b) = σ(a) b,
para cada σ ∈ G y a ⊗ b ∈ L ⊗k L, definen un homomorfismo de L-álgebras
L ⊗k L −→ L⊕ .|G|
. . ⊕L.
Si demostramos que este morfismo es inyectivo, obtendremos que
[L : k] = [L ⊗k L : L] ≤ [L⊕ .|G|
. . ⊕L : L] = |G|
y, como, por la fórmula de los puntos, |G| ≤ [L : k], concluiremos que L es una extensión finita
de k que es de Galois y, por consiguiente que G está formado por todos los automorfismos de L
Universidad de Extremadura
Departamento de Matemáticas

sobre k.
Sea J el núcleo del morfismo L ⊗k L −→ L⊕ .|G| . . ⊕L. El ideal J es invariante por la operación
P
de G en L ⊗k L por la izquierda, pues L ⊗k L está formado por los elementos i ai ⊗ bi tales que
P
i σ(ai )bi = 0, para todo σ ∈ G. Si J 6= 0, sea x = a1 ⊗ b1 + a2 ⊗ b2 + . . . + ar ⊗ br un elemento
no nulo de J con el mı́nimo número de sumandos posible. Multiplicando por (1/a1 ) ⊗ 1 podemos
suponer que a1 = 1, y por tanto que
x = 1 ⊗ b1 + a2 ⊗ b2 . . . + ar ⊗ br .
Ahora, al ser J un ideal G-invariante (es decir, σ(J) = J, para todo σ ∈ G), tenemos que
σ(x) ∈ J, y por lo tanto que x − σ(x) ∈ J, para todo σ ∈ G. Sin embargo, x − σ(x) tiene menos
sumandos que x; en efecto,
x − σ(x) = (1 − σ(1)) ⊗ b1 + (a2 − σ(a2 )) ⊗ b2 + . . . + (ar − σ(ar ) ⊗ br
= (a2 − σ(a2 )) ⊗ b2 + . . . + (ar − σ(ar ) ⊗ br .
De donde se sigue que x − σ(x) = 0, para todo σ ∈ G, es decir, x ∈ (L ⊗k L)G ; luego, como G
es finito (pues |G| ≤ [L : k]) del lema 3.3 se sigue que
x ∈ (L ⊗k L)G = LG ⊗k L = k ⊗k L = L.
Por consiguiente, x es un elemento invertible de J, lo que supone una clara contradicción (pues
J es distinto del total), concluyéndose de este modo que J = 0.

Teorema fundamental de la teorı́a de Galois. Sean L una extensión de Galois de k y

G su grupo de Galois. Las correspondencias
 
cuerpos intermedios
{subgrupos H ⊆ G} ←→ ;
k ,→ K ,→ L
H −→ L H

AutK−álg (K) ←− K
son biyectivas e inversas entre sı́. Además,
(a) invierten las inclusiones: H1 ⊃ H2 ⇐⇒ LH1 ⊂ LH2 ;
(b) transforman ı́ndices en grados, y viceversa: [H1 : H2 ] = [LH2 : LH1 ];
 158 8. TEORÍA DE GALOIS

−1
(c) σHσ −1 ↔ σK, es decir, LσHσ = σ(LH ) y AutσK−álg (L) = σAutK−álg (L)σ −1 , para
todo σ ∈ G.
(d) H es normal en G si, y sólo si, LH es extensión normal (y por tanto de Galois5) de k,
en cuyo caso
Autk−álg (LH ) ∼
= G/H.

Demostración. Veamos en primer lugar H 7→ LH y K 7→ AutK−álg (L) son aplicaciones inversas.

Por una parte, si H es un subgrupo de G, entonces, por la definición de homomorfismo de
álgebras, se tiene que H ⊆ AutLH −álg (L), luego, del teorema de Artin, se sigue que L es extensión
de Galois de LH y que AutLH −álg (L) = H. Por otra parte, si K un cuerpo intermedio de la
extensión k ,→ L, entonces, por las Propiedades de las extensiones de Galois, L es extensión de
Galois de K y, por el teorema 2.4, LAutK−álg (L) = K.

Demostremos ahora las propiedades (a)-(d):

Universidad de Extremadura
Departamento de Matemáticas

(a) Si H1 ⊇ H2 entonces LH1 ⊆ LH2 . Recı́procamente, si LH1 ⊆ LH2 , entonces

AutLH1 −álg (L)) ⊇ AutLH2 −álg (L)).

Teniendo ahora en cuenta que AutLHi −álg (L) = Hi , i = 1, 2, se sigue el resultado buscado.

(b) Según las propiedades de las extensiones de Galois, L es una extensión de Galois de LHi
de grupo de Galois AutLHi −álg (L) = Hi , para todo i = 1, 2. Luego, [L : LHi ] = |Hi |, i = 1, 2.
Por consiguiente de la igualdad

[L : LH1 ] = [L : LH2 ][LH2 : LH1 ],

se sigue [LH2 : LH1 ] = |H1 | : |H2 | = [H1 : H2 ].

(c) Dado g ∈ G y α ∈ L, se tiene que gα = α si, y sólo si, σgσ −1 (σα) = σα, para todo σ ∈ G.
Por consiguiente, AutσK−álg (L) = σAutK−álg (L)σ −1 ; de donde se sigue que σAutK−álg (L)σ −1 ↔
σK.

(d) Sean K una extensión Galois de k y H el subgrupo de G tal que K = LH . Como K es

el cuerpo de descomposición de un polinomio (separable) con coeficientes en k, por el lema del
i σ·
hueco único, se tiene que las imágenes de K ,→ L; a 7→ a y de K ,→ L; a 7→ σa coinciden, es
decir, K = σK, para todo σ ∈ G. Por tanto, del apartado (c) se sigue que LH = K = σK =
−1
σLH = LσHσ , para todo σ ∈ G. Lo que significa que σHσ −1 = H, para todo σ ∈ G, es decir,
que H es normal en G.
Recı́procamente, si H es un subgrupo normal de G, entonces, por el apartado (c), tenemos
−1
que σ(LH ) = LσHσ = LH para todo σ ∈ G. Es decir, cada automorfismo de L induce, por
restricción, un automorfismo de LH , obteniendo ası́ un morfismo de grupos

G = Autk−álg (L) −→ Autk−álg (LH )

cuyo núcleo es H por el teorema de Artin. Por tanto, del teorema de isomorfı́a, se sigue que [G :
H] = |G/H| ≤ |Autk−álg (LH )| y, por la fórmula de los puntos, que |Autk−álg (LH )| ≤ [LH : k].

5LH es separable por ser una subálgebra de L, y ésta es separable por ser de Galois
 3. TEOREMA FUNDAMENTAL DE LA TEORÍA DE GALOIS 159

Teniendo ahora en cuenta que, por el apartado (b), [G : H] = [LH : LG ] = [LH : k], concluimos
que
|G/H| = [G : H] = |Autk−álg (LH )| = [LH : k];
es decir, LH es una extensión de Galois de k y su grupo de Galois es isomorfo a G/H.

Nota 3.4. Si L es una extensión de Galois de k y G = Autk−álg (L), el teorema fundamental

de la teorı́a de Galois demuestra que existe una biyección que invierte inclusiones entre los
cuerpo intermedios de L sobre k y los subgrupos de G. Este hecho nos permite probar muchos
resultados. Por ejemplo:
1. Sean K1 y K2 dos cuerpos intermedios de la extensión (de Galois) k ,→ L, y Hi =
AutKi −álg (L), i = 1, 2. Entonces, por definición, el compuesto, K1 K2 , de K1 y K2 en
L es el menor cuerpo intermedio de la extensión k ,→ L que contiene a K1 y a K2 . Por
Universidad de Extremadura
Departamento de Matemáticas

tanto, según el teorema fundamental de la teorı́a de Galois, le corresponde el mayor

subgrupo de G contenido en H1 y H2 , esto es, H1 ∩ H2 . Luego,

AutK1 K2 −álg (L) = H1 ∩ H2 .

2. Sea H un subgrupo de G y K = LH . Es un sencillo ejercicio (ejercicio 3.4) probar

que el mayor subgrupo normal en G contenido en H es N = ∩σ∈G σHσ −1 ; por tanto,
LN es la menor extensión normal (y de Galois) de k que contiene a K, y se llama
clausura normal (ó de Galois) de K en L. Nótese que, por el apartado (c) del
teorema fundamental de la teorı́a de Galois y el apartado anterior, LN es el compuesto
de todos los cuerpos σK con σ ∈ G.
Obsérvese que, si K = k(α) para algún α ∈ L, entonces la clausura normal de K en
L es el cuerpo de descomposición del polinomio mı́nimo de α sobre k. Por consiguiente,
se tiene que el cuerpo de descomposición del polinomio mı́nimo de α sobre k, es el
compuesto de todos los cuerpos σk(α) = k(σα) con σ ∈ G.

Ejercicios

Ejercicio 3.1. Determinar el cuerpo de descomposición L sobre Q, su grupo de Galois y

todos los cuerpos intermedios de la extensión Q ,→ L de los polinomios:

x4 − 4, (x2 − 2)(x2 + 1), x4 − 4x2 − 1, x4 − 3x2 + 4, x4 + 4x2 + 2.

Ejercicio 3.2. Sea α una raı́z de una cuártica irreducible p(x) ∈ Q[x]. Demostrar que no
existen cuerpos intermedios propios entre Q y Q(α) si y sólo si el grupo de Galois de p(x) es
el grupo simétrico S4 o el grupo alternado A4 . [Pruébese que el grupo alternado A4 no tiene
ningún subgrupo de orden 6.]

Ejercicio 3.3. Sea k ,→ L una extensión de Galois y sean K1 y K2 dos cuerpos intermedios.
Demostrar que existe algún automorfismo σ de L sobre k tal que σ(K1 ) = K2 si y sólo si los
subgrupos de G correspondientes con K1 y K2 son conjugados.
 160 8. TEORÍA DE GALOIS

Ejercicio 3.4. Sean L una extensión de Galois de k, G su grupo de Galois y H un subgrupo

de G. Probar que el mayor subgrupo normal en G contenido en H es
N = ∩σ∈G σHσ −1 .

Ejercicio 3.5. Sea k ,→ L una extensión de Galois de grupo G. Si H y H 0 son subgrupos

de G, demostrar las siguientes afirmaciones:
1. Autk−álg (LH ) = N (H)/H.
0
2. Las extensiones LH y LH son k-álgebras isomorfas si y sólo si H y H 0 son subgrupos
conjugados de G.
0
3. Si j : LH −→ LH es un morfismo de k-álgebras, entonces existe un automorfismo τ ∈ G
tal que j(α) = τ (α), para todo α ∈ LH ,
Universidad de Extremadura
Departamento de Matemáticas