APalg II3

Capı́tulo 3
Teorı́a de Galois
3.1. Extensiones normales y separables

La teorı́a de Galois trata de representar la estructura de la extensión generada por
todas las raı́ces de un polinomio, por medio de sus simetrı́as. Para que este proyecto
funcione en un contexto general son necesarias dos condiciones. La primera es que real-
mente podamos inventarnos un sitio donde vivan las raı́ces de un polinomio (¿dónde
están las raı́ces de x2 + 1 ∈ F3 [x]?). La segunda está en los márgenes de los contrae-
jemplos del curso por su naturaleza mucho más técnica, y es que ningún elemento sea
raı́z múltiple de todos los polinomios que anula. Esto provocarı́a que algunas simetrı́as
colapsasen y que no representaran fielmente la extensión. Como veremos más adelante,
no hay que preocuparse mucho por esta condición, porque la cumplen prácticamente
todas las extensiones que podemos imaginar este curso.
La primera condición, a la que dedicaremos casi todos nuestros esfuerzos en esta

sección, tiene que ver con los conceptos de cuerpo de descomposición y de extensión
normal. En breve probaremos que ambos están estrechamente relacionados y que son en
cierto modo equivalentes para extensiones finitas, pero ahora limitémonos a sus defini-
ciones. En ellas y en el resto del capı́tulo utilizaremos el abuso de notación consistente
en hablar de la descomposición de P ∈ K[x] en L[x] cuando L/K es una extensión. En
rigor el polinomio P sólo está en L[x] después de aplicar el monomorfismo de la exten-
sión j : K −→ L a sus coeficientes. (Quien no entienda este comentario no debe preocuparse
porque tampoco detectará el abuso de notación).
Definición: Se dice que una extensión algebraica L/K es normal si todo polinomio
irreducible P ∈ K[x] que tiene una raı́z en L se descompone en factores lineales en L[x].
Definición: Sea L/K una extensión. Se dice que L es un cuerpo de descomposición (o

cuerpo raı́z ) de P ∈ K[x], ∂P > 1, si P se descompone en factores lineales en L[x],
esto es, P = k(x − α1 )(x − α2 ) . . . (x − αn ), y no existe ningún subcuerpo propio de L
(conteniendo la imagen de K en L) con esta propiedad.
Observación: Con la notación de la definición anterior, imponiendo L ⊃ K, se tiene
que el cuerpo de descomposición de P es L = K(α1 , α2 , . . . , αn ), el cuerpo más pequeño
45
46 TEORÍA DE GALOIS
que contiene a las raı́ces. Sin embargo no hay que olvidar que fuera de C, donde el
teorema fundamental del álgebra acude en nuestro auxilio, no está en absoluto claro que
las raı́ces existan en algún sitio (esto es, que siempre haya un cuerpo de descomposición)
ni tampoco que no podamos crear muchos cuerpos de descomposición distintos. En
seguida resolveremos estas cuestiones de existencia y unicidad.
√
Ejemplo. El cuerpo de descomposición de P = x2 − 2 ∈ Q[x] es Q( 2).
√ √
Ejemplo. El cuerpo de descomposición de P = x4 − 5x2 + 6 ∈ Q[x] es Q( 2, 3)
(nótese que P = (x2 − 2)(x2 − 3)).
√ √
Ejemplo. El cuerpo de descomposición de P = xn − 1 ∈ Q( 2)[x] es Q( 2, ζ) con
ζ = e2πi/n .
Como acabamos de señalar, la existencia del cuerpo de descomposición no es evidente
porque en sitios suficientemente raros no sabemos hallar las raı́ces de un polinomio, por
ejemplo en el caso antes citado x2 + 1 ∈ F3 [x]. Para resolver este problema nos inventare-
mos un sitio más raro todavı́a, un anillo cociente, donde vive algo que se comporta como
una raı́z. Después bastará darle a la manivela de la inducción para que el resto de las
raı́ces se unan a la fiesta. Realmente todo el artificio fue ya introducido en el primer
capı́tulo.
Lema 3.1.1 Dado un polinomio no constante P ∈ K[x], existe una extensión finita,
L/K, tal que P tiene una raı́z en L.
Demostración: Podemos suponer que P es irreducible (en otro caso elegirı́amos
uno de sus± factores irreducibles) y que ∂P > 1 (si ∂P = 1, L = K). Sea el anillo
L = K[x] hP i. Obviamente K está “incluido” en L, o más exactamente, existe un
monomorfismo φ : K −→ L. Además L es de hecho un cuerpo, por la Proposición 1.2.3 en
combinación con la 1.3.2. Por último, la finitud de L/K se sigue de la Proposición 2.2.4,
porque L = K(x) con x = x + hP i, y x es algebraico al ser P (x) = P (x) la clase de cero
en L. 2
Ejemplo. Según el resultado anterior, P = x2 + x + 1 ∈ F2 [x] factoriza en L =
F2 [x]/hP i = {0, 1, x, x + 1}.
Para que los más escépticos se sientan a gusto, demos a estos cuatro elementos nombre
más vulgares, digamos L = {0, 1, α, β}. Entonces las tablas de suma y multiplicación en
L son
+ 0 1 α β × 0 1 α β
0 0 1 α β 0 0 0 0 0
1 1 0 β α 1 0 1 α β
α α β 0 1 α 0 α β 1
β β α 1 0 β 0 β 1 α
Si lo preferimos, podemos empezar desde aquı́ y definir L como un cuerpo cuyas opera-
ciones tienen las tablas anteriores. Como α+β = αβ = 1, se concluye P = (x−α)(x−β)
en L[x]. De hecho L es el cuerpo de descomposición de P , ya que [L : F2 ] = 2 (ejerci-
cio) y por tanto no hay subextensiones propias de L/F2 . También podemos comprobar
directamente con estas tablas que α y β son raı́ces de P . Por ejemplo α2 + α + 1 =
β + α + 1 = 1 + 1 = 0.
47
Si hubiéramos partido de un polinomio de tercer grado, el lema anterior nos habrı́a

llevado a un lugar donde hay una descomposición del tipo k(x − γ)(x2 + δx + ²). Para
conseguir la factorización total en factores lineales, sólo hay que iterar. Si además recor-
damos la Proposición 2.2.5, veremos que las raı́ces están exactamente representadas por
los anillos cociente, y que el procedimiento lleva a un único resultado salvo los nombres
con los que nos apetezca bautizar a las raı́ces invitadas. En breve:
Proposición 3.1.2 Para cada P ∈ K[x] existe un cuerpo de descomposición L de P y

además es único salvo isomorfismos que dejan fijo K (en rigor la imagen de K en L).
Demostración: Para la existencia basta aplicar repetidas veces el Lema 3.1.1 hasta
obtener un L en el que P se descomponga en factores lineales: P = k(x − α1 )(x −
α2 ) . . . (x − αn ), entonces K(α1 , α2 , . . . , αn ) será el cuerpo de descomposición de P
(para ser totalmente rigurosos deberı́amos escribir en lugar de K su imagen en L).
Para demostrar la unicidad salvo isomorfismos que dejan fijo
K, supongamos que L1 y L2 son cuerpos de descomposición de
P . Procedemos por inducción en el grado de P . Si gr P = 1 L1 L2
es trivial. Si gr P > 1, sea Q un factor mónico irreducible
de P , entonces Q = (x − α1 )(x − α2 ) . . . (x − αn ) en L1 [x] y
Q = (x − β1 )(x − β2 ) . . . (x − βn ) en L2 [x]. Por la Proposi-
K(α1 ) K(β1 )
ción 2.2.5 se tienen isomorfismos i : K(α1 ) −→ K[x]/hQi,
ei : K(β1 ) −→ K[x]/hQi, por tanto ei−1 ◦ i : K(α1 ) −→ K(β1 ) i& .ĩ
K[x]/hQi
es un isomorfismo, que por la construcción de i e ei, deja fijo K.
Por definición, L1 es una extensión de K(α1 ) y también
L2 puede considerarse que extiende a K(α1 ) por medio del monorfismo j ◦ ei−1 ◦ i :
K(α1 ) ,→ L2 donde j : K(β1 ) ,→ L2 es la inclusión. Nótese que L1 y L2 son obviamente
cuerpos de descomposición de P sobre K(α1 ) y también lo son de Pe = P/(x − α1 )
porque α1 ∈ K(α1 ). La demostración se concluye por la hipótesis de inducción (ya que
gr Pe < gr P ). 2
Ejemplo. El cuerpo F3 [i] donde i 6∈ F3 es un sı́mbolo que operamos formalmente

como i2 = −1, es el cuerpo de descomposición de x2 + 1 sobre F3 .
Si nos creemos que F3 [i] es un cuerpo bien definido (en principio sólo tiene estructura
de anillo), entonces F3 [i] = F3 (i) = F3 (i, −i). Como x2 +1 = (x−i)(x+i) en (F3 [i])[x], se
tiene que es el cuerpo de descomposición (el cuerpo generado por las raı́ces). La forma
de probar que F3 [i] es un cuerpo es considerar el isomorfismo F3 [i] −→ F3 [x]/hx2 +
1i donde i 7→ x. Como el segundo anillo es un cuerpo (por la Proposición 1.2.3), el
primero también lo es. Ambos son cuerpos de descomposición de x2 + 1 porque los dos
conforman extensiones de grado 2 que contienen a las raı́ces. En concordancia con la
última proposición la única diferencia entre ambos se reduce a un cambio de nombre en
las raı́ces, ±i por ±x.
Nota: Siempre podemos dar a las raı́ces los nombres que nos apetezca, pero el ejemplo
anterior no debe hacernos pensar que podemos imponer junto con esos nombres una
estructura algebraica a nuestro arbitrio. Por ejemplo, el cuerpo de descomposición de
x2 + 1 sobre F2 no es F2 [i] con i definido como antes, porque x2 + 1 = (x + 1)2 en F2 [x]
y por tanto el cuerpo de descomposición es el propio F2 . De hecho F2 [i] no es un cuerpo

si nos empeñamos en que i sea algo distinto de 1 que tenga la propiedad i2 = −1, ya
que (i − 1)(i − 1) = 0 implicarı́a i = 1 en un dominio de integridad.
Aparentemente, lo que pedimos a una extensión para que sea normal es mucho más
restrictivo que lo que exigimos en la definición de cuerpo de descomposición, ya que una
extensión normal debe contener los cuerpos de descomposición de “muchos” polinomios.
Pero el siguiente resultado nos da en el caso finito (el único de interés en este curso) las
dos definiciones al precio de una:
Proposición 3.1.3 Una extensión L/K es normal y finita si y sólo si L es el cuerpo

de descomposición de un polinomio de K[x].
Demostración: Distingamos cada una de las implicaciones. Como siempre, comen-

zamos con lo más fácil:
⇒) Sea L = K(α1 , α2 , . . . , αn ) y sea P = P1 · P2 · · · · · Pn donde Pj es el polinomio
mı́nimo de αj sobre K. Como L/K es normal, cada Pi se descompone en factores lineales
en L[x] y lo mismo ocurre con P , por tanto L contiene al cuerpo de descomposición de
P y como L está generado por la raı́ces de P , coincide con él.
⇐) Sea L el cuerpo de descomposición de Q ∈ K[x]. Basta demostrar que si α y β
son raı́ces de un polinomio mónico irreducible en K[x], entonces α ∈ L ⇒ β ∈ L.
Por la Proposición 2.2.5 (empleada como en la demostración de la proposición ante-
rior) existe un K-isomorfismo i : K(α) −→ K(β). Por otra parte, L(α) es un cuerpo de
descomposición de Q ∈ K(α)[x] y también L(β) puede considerarse como otro cuerpo de
descomposición teniendo en cuenta el monomorfismo K(α)−→K(β) ,→ L(β). Ası́ pues,
por la proposición anterior, los cuerpos L(α) y L(β) son isomorfos como extensiones de
K(α). En definitiva, si α ∈ L, se tiene
[L(α) : K(α)][K(α) : K] [L(β) : K(α)][K(α) : K]

1 = [L(α) : L] = = = [L(β) : L] = 1,
[L : K] [L : K]
es decir, β ∈ L. Por tanto L/K es normal (la finitud es inmediata porque cada raı́z de
Q está en una extensión de grado menor o igual que ∂Q). 2
√ √ √ √
Ejemplo. La extensión Q( 2, 3)/Q es normal porque Q( 2, 3) es el cuerpo de
descomposición de P = (x2 − 2)(x2 − 3) sobre Q.
√
3
Ejemplo. La extensión
√ Q( 2)/Q no es normal porque sólo una de las raı́ces de
3 3
x √− 2 √está en√Q( 2), las otras son números
√ √complejos. Sin embargo la extensión
3 3 3
Q( 2, 7)/Q( √2) sı́ es normal porque Q( 2, 7) es el cuerpo de descomposición de
x2 − 7 sobre Q( 3 2).
Ejemplo. La extensión Q(e2πi/n )/Q es normal porque Q(e2πi/n ) es el cuerpo de des-

composición de xn − 1 sobre Q.
49
Entre los cuerpos de descomposición vamos a señalar un caso especial que seguida-
mente veremos que es general en el universo de los cuerpos finitos. Históricamente
aparecieron por vez primera en uno de los trabajos del propio Galois bajo el epı́grafe
Sur la théorie des nombres [Gal].
Definición: Si q = pn donde p es primo y n ∈ Z+ , se denota con Fq (o con GFq ) y se

llama a veces cuerpo de Galois, al cuerpo de descomposición de xq − x sobre Fp .
Ejemplo. F4 es, salvo isomorfismos, el cuerpo L = {0, 1, α, β} descrito anteriormente

porque x4 − x = x(x + 1)(x2 + x + 1).
Ejemplo. F9 es, salvo isomorfismos, el cuerpo L = F3 [i], también considerado ante-

riormente, porque tras la factorización:
¡ ¢¡ ¢
x9 − x = x(x − 1)(x − 2)(x2 + 1) (x + 1)2 + 1 (x − 1)2 + 1
se sigue que todas las raı́ces están en L.
Parece una gran casualidad estas coincidencias de cuerpos, pero ya deberı́amos estar
acostumbrados a que en Matemáticas las grandes casualidades suelen ser en realidad
teoremas, pequeñas verdades universales veladas a nuestros ojos. La sorpresa es que
los cuerpos de descomposición sobre Fp , y de hecho todos los cuerpos finitos, son lo
mismo que (isomorfos a) algún Fq . Con este resultado que probaremos a continuación,
los Fq que se ocultaban humildemente bajo su apariencia de caso particular, adquieren
un puesto de palco en la teorı́a de cuerpos. Todavı́a suben más alto teniendo en cuenta
su importancia en las aplicaciones. Por ejemplo parte de la teorı́a de códigos (sı́, la que
hace funcionar los discos compactos) vive de los cuerpos finitos y hasta la prueba del
último teorema de Fermat requiere entenderlos bien. En este curso, sin embargo, no les
daremos una importancia especial prefiriendo centrarnos en ejemplos más familiares y
completos que viven dentro del reino de los números complejos (la teorı́a de Galois es
muy fácil en cuerpos finitos). Tal felonı́a, requiere al menos unas lı́neas en letra pequeña.
Un byte es una lista ordenada de 8 bits, es decir, de ocho ceros y unos. Al transmitir un conjunto
de bytes, un fichero, para tener alguna certeza de que no ha habido errores podemos añadir un byte de
paridad que no contiene información adicional pero fuerza a que en nuestro conjunto de bytes haya un
número par de unos en el primer bit, y en el segundo, . . . y ası́ hasta el octavo.
byte 1 1 0 0 0 1 0 0 1 byte de paridad 1 1 0 1 1 1 0 0

byte 2 1 1 1 1 1 1 0 0
byte 3 1 0 1 0 1 0 0 1 no total de unos 4 2 2 2 4 2 0 2
Podemos identificar los ceros y unos de los bits con los elementos de F2 . En seguida veremos que
F256 /F2 es una extensión de grado 8, por tanto F256 es un espacio vectorial de dimensión 8 sobre F2
y cada uno de sus elementos corresponde a un vector (b1 , b2 , . . . , b8 ) con bi ∈ F2 , esto es, a un byte,
y la suma en F256 corresponde a la suma coordenada a coordenada módulo 2. Ası́ pues, P si el fichero
(con su byte de paridad) está representado en F256 por α1 , α2 , . . . , αN , se debe cumplir αi = 0 si
no hay errores. Hasta aquı́ toda esta terminologı́a son ganas de complicar las cosas. Idealmente, si
hubiera algún error de transmisión nos gustarı́a que se reparase automática e inmediatamente, sin tener
que transmitir de nuevo el fichero. Con este fin, fijamos de antemano N elementos distintos no nulos,
β1 , . . . , βN ∈ F256 (suponemos N < 256) y ponemos ahora dos bytes de paridad αN −1 y αN elegidos
P P
de manera que se cumpla αi = 0 y βi αi = 0. Si un solo byte αj se hubiera
P modificado durante
la transmisión
P pasando a α j + γ entonces loPnotarı́amos
P porque el valor de α i serı́a γ 6= 0, mientras
que el de βi αi serı́a βj γ. Por tanto βj = βi αi / αi . Como los βi son distintos, βj corresponde a
un solo
P byte, al j-ésimo, y podrı́amos detectar el error y corregirlo (simplemente restando a este byte
γ = αi ).
Complicando las cosas se pueden detectar y corregir más posibles errores siempre a costa de añadir
algunos bytes de sobra. Más información sobre el tema (o, más bien, alguna información sobre el tema)
se puede encontrar por ejemplo en [Ak] y [Ga] y por supuesto en el curso de Teorı́a de Códigos y
Criptografı́a. Como curiosidad, un CD recién sacado de su envoltorio de regalo puede tener medio
millón de errores. Tan asombroso o más que la existencia de algoritmos eficientes para eliminarlos es
que la tecnologı́a haya sido capaz de hacer que operen en tiempo real, manejando cantidades ingentes
de información por segundo.
Teorema 3.1.4 Sea L un cuerpo finito, entonces es isomorfo a Fq , q = pn , donde p es

la caracterı́stica de L, n = [L : Fp ] y q es el cardinal de L. Además L/Fp es normal.
Demostración: Notemos antes de comenzar que la caracterı́stica de un cuerpo, si no es nula, es un

primo, ya que char(L) = n1 n2 ⇒ (1 + 1 + n.1. .veces . . . + 1)(1 + 1 + n.2. .veces
. . . + 1) = 0 ⇒ 1 + 1 + n.1. .veces
... +1 = 0
ó 1 + 1 + n.2. .veces
. . . + 1 = 0, lo que contradice la minimalidad pedida en la definición de caracterı́stica.
Por ser L finito, su caracterı́stica es positiva (el grupo aditivo es de orden finito). Digamos char(L) =
p. La función n 7→ 1 + 1 + n. .veces. . . . + 1 induce un monomorfismo de Fp en L y por tanto L/Fp es una
extensión. Sea n = [L : Fp ]. Una vez fijada una base {α1 , . . . , αn }, todo elemento de L se escribe
de forma única como λ1 α1 + · · · + λn αn con λj ∈ Fp , por tanto |L| = pn = q. El orden del grupo
multiplicativo L − {0} es q − 1 y consecuentemente, por el teorema de Lagrange, xq−1 − 1 = 0 para todo
x ∈ L − {0}. Ası́ pues todos los elementos de L son raı́ces de P = xq − x. Por otra parte, el número
de raı́ces de un polinomio no puede superar a su grado. Como ∂P = q = |L|, se sigue necesariamente
que P se descompone en factores lineales en L y que L es su cuerpo de descomposición (en particular
normal sobre Fp ), por tanto es isomorfo a Fq . 2
Observación: Del teorema se sigue que Fq y todos los cuerpos finitos isomorfos a él
tienen q = pn elementos. Ası́ hay cuerpos con 16, 17 y 19 elementos pero no con 18 o 20.
Ejemplo. El cuerpo de descomposición de x3 + 2x + 1 ∈ F5 [x] es isomorfo a F125 .

El polinomio x3 + 2x + 1 ∈ F5 [x] es irreducible (no tiene raı́ces en F5 ). Sea α una raı́z
en el cuerpo de descomposición, entonces F5 (α) es un cuerpo finito (ya que F5 (α)/F5 es
una extensión finita). Por el teorema anterior F5 (α)/F5 es normal y por tanto x3 + 2x + 1
se descompone en factores lineales en F5 (α), que es su cuerpo de descomposición. Como
F5 (α) tiene caracterı́stica 5 y [F5 (α) : F5 ] = 3, según el teorema es isomorfo a F53 .
Ejemplo. Estudiar si el polinomio P = x4 + x + 1 es irreducible en F4 [x] y hallar el

grado de su cuerpo de descomposición sobre F4 .
El polinomio P no tiene raı́ces en F2 ni tampoco es divisible por x2 + x + 1, que
es el único polinomio en F2 [x] de grado dos irreducible, por tanto P es irreducible en
F2 [x] y procediendo como en el ejemplo anterior su cuerpo de descomposición sobre F2
es isomorfo a F24 . Como [F24 : F22 ] = [F24 : F2 ]/[F22 : F2 ] = 4/2, el grado buscado es 2.
Si P fuera irreducible en F4 entonces el cuerpo de descomposición de P tendrı́a al menos
grado 4 sobre F4 y por tanto 8 sobre F2 , lo que contradice que sea isomorfo a F24 .
51
Pasemos ahora a estudiar la segunda condición técnica a la que nos referimos al

comienzo de la sección, relacionada con la existencia de raı́ces múltiples de polinomios
irreducibles. Para ahorrar en papel, tinta y analgésicos, prácticamente aquı́ nos limitare-
mos a probar que en casi todas las extensiones que podemos imaginar la condición que
solicitamos se cumple. (Para un análisis breve más profundo, véase [Ka] p. 55-59).
El concepto básico está recogido en la siguiente definición. Para no sobrecargar de-
masiado la terminologı́a nos limitaremos a polinomios irreducibles.
Definición: Se dice que un polinomio irreducible P ∈ K[x] es separable sobre K si no

tiene raı́ces múltiples (en su cuerpo de descomposición). Si L/K es una extensión alge-
braica, se dice que α ∈ L es separable sobre K si su polinomio mı́nimo lo es. Finalmente,
se dice que la propia extensión L/K es separable si todo α ∈ L lo es sobre K. En caso
de que un polinomio, elemento o extensión no sea separable, se dice que es inseparable.
Antes de nada, veamos un resultado auxiliar que a primera vista parece implicar que
no existen polinomios inseparables.
Lema 3.1.5 Dado P = an xn + an−1 xn−1 + · · · + a1 x + a0 ∈ K[x] irreducible, entonces P

es inseparable si y sólo si el polinomio P 0 = nan xn−1 + (n − 1)an−1 xn−2 + · · · + 2a2 x + a1 ,
llamado derivada formal de P , es el polinomio nulo.
Nota: La denominación tiquismiquis de P 0 como derivada formal en vez de simple-

mente derivada es inofensiva y sólo intenta recordarnos que en muchos cuerpos, por
ejemplo en Fp , no tiene sentido el concepto usual de lı́mite ni por tanto la definición
usual de derivada. La definición de P 0 es simplemente formal, aunque comparta las
propiedades algebraicas (por ejemplo la fórmula para derivar un producto) con la de
toda la vida de Cálculo I.
Demostración: Distinguimos las dos implicaciones:

⇒) Si P es inseparable, existe α en el cuerpo de descomposición tal que (x − α)2 |P
y se tiene P = (x − α)2 Q, y de aquı́ P 0 = 2(x − α)Q + (x − α)2 Q0 . Por tanto x − α
divide a R = mcd(P, P 0 ) ∈ K[x]. Si P 0 6= 0 entonces R es un polinomio no constante
con ∂R < ∂P que divide a P , lo que contradice la irreducibilidad.
⇐) Si P fuera separable P = k(x−α1 )(x−α2 ) . . . (x−αn ) con Pαn i 6= αj perteneciendo
0
al cuerpo de descomposición de P sobre K. Entonces P = i=1 Pi donde Pi (x) =
P (x)/(x − αi ). Como x − α1 |Pi para 2 ≤ i ≤ n y x − α1 6 |P1 (porque α1 no coincide con
ninguna otra raı́z) se tiene que x − α1 6 |P 0 lo cual contradice P 0 = 0. 2
Una consecuencia inmediata es la imposibilidad de encontrar ejemplos de extensiones

inseparables con números normales y corrientes.
Proposición 3.1.6 Si K es un cuerpo de caracterı́stica cero, todo polinomio irreducible

en K[x] es separable. En particular cualquier extensión algebraica L/K con K ⊂ C es
separable.
Demostración: Por el lema anterior, para que P = an xn + . . . a1 x + a0 ∈ K[x]

sea inseparable, jaj = 0, 1 ≤ j ≤ n. Por estar en un cuerpo de caracterı́stica cero,
j = 1 + 1 + .j.veces
. . . . + 1 6= 0, ası́ pues aj = 0 para todo 1 ≤ j ≤ n. 2
Nuestras sospechas se centran ahora sobre Fp , pero tampoco allı́ es posible encontrar
ejemplos inseparables.
Proposición 3.1.7 Si K es un cuerpo finito, todo polinomio irreducible en K[x] es

separable. En particular cualquier extensión algebraica L/Fq es separable.
Demostración: Es fácil ver que si L/M y M/K son extensiones algebraicas, L/K separable impli-
ca L/M separable (ejercicio). Ası́ que, después del teorema de clasificación de cuerpos finitos (Teore-
ma 3.1.4), basta considerar el caso K = Fp .
Según el lema, los únicos polinomios inseparables deberán ser de la forma P = anp xnp +· · ·+a2p x2p +
ap x + a0 . Por el pequeño teorema de Fermat, ap = ¡a ¢para todo a ∈ Fp . Además (A + B)p = Ap + B p
p
para A, B ∈ Fp [x], ya que los coeficientes binómicos kp son divisibles por p para 0 < k < p (ejercicio).
Por tanto
¡ ¢p
P = (anp xn )p + · · · + (a2p x2 )p + (ap x)p + ap0 = anp xn + · · · + a2p x2 + ap x + a0 ,
y se concluye que P no es irreducible. 2
La pregunta natural es qué diantres puede ser una extensión no separable, no vaya
a ser que estemos introduciendo un nuevo nombre para el conjunto vacı́o.
Ejemplo. La extensión F2 (t)/F2 (t2 ) (donde t es una variable) es inseparable, porque

el polinomio mı́nimo de t sobre F2 (t2 ) es x2 −t2 ∈ F2 (t2 )[x] que se descompone en F2 (t)[x]
como (x − t)2 .
Para terminar esta ya larga sección, estableceremos que las extensiones separables,
esto es, todas las que aparecerán en este curso excluyendo el ejemplo anterior, tienen
una insospechada propiedad que ya anunciamos en el segundo capı́tulo.
Teorema 3.1.8 (Teorema del elemento primitivo) Toda extensión separable finita
es simple.
Demostración: Separamos primero el caso en que los cuerpos de la extensión son finitos. Por el
Teorema 3.1.4 nos podemos restringir a la extensión Fq /Fp (ejercicio). Si q = pn , escojamos un polinomio
mónico irreducible P ∈ Fp [x] de grado n, tal polinomio existe porque en otro caso cada elemento de Fq
estarı́a en algún Fpm con m|n (ejercicio), lo cual es imposible porque p + p2 + · · · + pn−1 < pn . Si α es
una raı́z de P , [Fp (α) : Fp ] = n y según el Teorema 3.1.4 (véase también el ejemplo posterior) se tiene
que Fp (α) es igual (isomorfo) a Fq .
Supongamos ahora que los cuerpos que participan en la extensión tienen infinitos elementos. Todo
lo que hay que probar es que toda extensión K(α, β)/K con α y β algebraicos sobre K es simple, porque
de ahı́, iterando, se deduce que cualquier extensión finita K(α1 , α2 , . . . , αn )/K es simple.
Sean Q y P los polinomios mı́nimos de α y β respectivamente. Digamos que sus raı́ces en el cuerpo
de descomposición de QP son α = s1 , s2 . . . , sm y β = r1 , r2 , . . . , rl . Sea γ = kβ − α donde k ∈ K es no
nulo y distinto de todos los elementos de la forma (si − α)/(rj − β), 1 < i ≤ m, 1 < j ≤ l, como K es
infinito es posible esta elección. Consideremos el polinomio R ∈ K[γ][x] con R(x) = Q(kx − γ). Nótese
que β es raı́z de P y R, y además ninguna de las otras raı́ces de P lo es de R (porque la elección de k
implica krj − γ 6= si ). Ası́ pues mcd(P, R) ∈ K(γ)[x] tiene como única raı́z a β y por la separabilidad
esta raı́z es simple en P . Por tanto este máximo común divisor es x − β. De la pertenencia a K(γ)[x]
se deduce β ∈ K(γ) y de aquı́ α = kβ − γ ∈ K(γ) concluyéndose K(α, β) = K(γ). 2
53
3.2. El grupo de Galois

La estética que anima el edificio de las Matemáticas muchas veces no es otra cosa que
una arquitectura de las simetrı́as, y dentro de las estructuras algebraicas, la de grupo es
la que más comúnmente se asocia con la idea de simetrı́a. El propio concepto de grupo
nació (al tiempo que la teorı́a de Galois) a partir del estudio de las simetrı́as de las
funciones al intercambiar sus variables.
En muchos contextos la representación a través de un grupo es una manera útil
de distinguir o incluso caracterizar objetos matemáticos. Una de las manifestaciones
más conocidas de este hecho es el llamado Erlanger Programm (véase [Kl]), basado en
una conferencia que dio F. Klein en la Universidad de Erlangen en 1872, que postula
que las diferentes geometrı́as se deben definir y clasificar por medio de los grupos de
transformaciones que admiten. Como ya hemos anunciado, el objetivo de la teorı́a de
Galois (materializado en la próxima sección) se encuadra también dentro de esquemas
similares, siendo caracterizar la estructura de ciertas extensiones por medio de un grupo
de simetrı́as. Antes de entrar en las puras definiciones, dejémonos cautivar por unos
ejemplos bobos que pueden arrojar alguna luz y darnos no sólo coraje sino también
ganas de continuar.
Pensemos en cualquier identidad involucrando las operaciones elementales (suma,

resta, multiplicación y división) dentro del cuerpo de los números complejos. Por ejemplo:
2 + 3i
−2 = · (3 − i) − (10 + i).
1+i
Si en todos los sitios cambiamos i por −i, la igualdad sigue siendo válida. Más ade-
lante expresaremos esto diciendo que la conjugación está en el grupo de Galois de C/R,
un grupo que engloba todas las posibles simetrı́as. Podemos representar que el primer
miembro es un número real, porque queda invariante
√ √ por la conjugación.
Si escribimos ahora una identidad en Q( 2, 3), por ejemplo:
√ √ √ √ √ √
(1 + 2 + 3)2 − 2 3 − ( 2 + 3)2 = 1 + 2 2,
esta
√ vez √ tenemos
√ dos conjugaciones
√ reales. Todas las formas de elegir los signos en
2 7→ ± 2 y 3 7→√± √3, dan lugar a simetrı́as (invariancias) de esta identidad o√de
cualquier otra en Q( 2, 3). Podrı́amos decir que el segundo √ miembro está en Q( 2)
porque es invariante por las simetrı́as que cambian de signo 3.√
Por último, analicemos la situación con una identidad en Q( 3 2). Por ejemplo:
1 √3
√
3
√
3
− 2 = −1.
1 + 2 + ( 2) 2
√
cuál es la conjugación en Q( 3 2). De hecho probaremos
No está claro √ √ que no hay simetrı́as
3 3
dentro de Q( 2) y diremos que el grupo de Galois de Q( 2)/Q es√trivial. La razón de
este fracaso (una extensión no trivial tienen grupo trivial) es que Q( 3 2)/Q no es normal,
y lo podemos transformar √ en un éxito sin más que ampliarla√a una extensión
√ √ normal
√ que
3 3 3
la contenga, como Q( 2, −3)/Q, donde vive la simetrı́a 2 7→ (−1 + −3) 2/2.
Vayamos a las definiciones que sintetizan estas ideas. Los automorfismos serán los
objetos matemáticos que representen las simetrı́as.
Definición: Dada una extensión L/K, se dice que σ : L −→ L es un K-automorfismo
si es un automorfismo que deja fijos los elementos de K (en rigor, sus imágenes en L).
Al conjunto formado por todos los K-automorfismos se le llama grupo de Galois de la
extensión y lo representaremos con G(L/K).
Definición: Dado un subgrupo H de G(L/K), se dice que {x ∈ L : σ(x) = x, ∀σ ∈ H}

es el subcuerpo fijo por H y lo denotaremos con H 0 .
Con estas definiciones nos hemos adelantado a la estructura algebraica que tienen
estos objetos. Para que sean definiciones coherentes necesitamos el siguiente resultado
básico y sencillo que probaremos sólo por romper el hielo.
Proposición 3.2.1 G(L/K) es un grupo con la composición de automorfismos, y si H
es un subgrupo de G(L/K), entonces H 0 es un subcuerpo de L que contiene a K (en
rigor a su imagen en L).
Demostración: La composición es cerrada porque si σ y τ son K-automorfismos, es
decir, dejan fijo K, entonces σ ◦ τ (que abreviaremos con στ ) también deja fijo K. El
resto de las propiedades de grupo son consecuencia de las propiedades de la composición
de funciones.
Si x, y ∈ H 0 , para todo σ ∈ H 0 se tiene σ(x) = x y σ(y) = y, entonces σ(x+y) = x+y
y por tanto x + y ∈ H 0 . Lo mismo se harı́a con el resto de las operaciones. 2
La acción del grupo de Galois preserva el conjunto de raı́ces de polinomios en el
siguiente sentido:
Proposición 3.2.2 Sea L/K y P ∈ K[x]. Si α ∈ L es una raı́z de P , entonces σ(α)
con σ ∈ G(L/K) también lo es.
Observación: Esto implica que cada σ ∈ G(L/K) induce una permutación actuando
sobre el conjunto {α1 , α2 , . . . , αn } de raı́ces distintas de P en L. (Nótese que σ(αi ) =
σ(αj ) ⇒ σ(αi − αj ) = 0 ⇒ αi = αj ). Lo cual está relacionado con la forma en
que apareció el grupo de Galois históricamente como subgrupo de permutaciones [Gal],
[Ed], porque en tiempos de Galois no existı́an los K-automorfismos. También sugiere
la naturalidad de las condiciones de normalidad y separabilidad que exigiremos más
adelante para que el grupo de Galois represente bien la extensión. Si la extensión no es
normal, faltarán raı́ces de algunos polinomios y nos perderemos algunos automorfismos,
y si no es separable la coincidencia entre raı́ces provocará que los automorfismos se
repitan.
¡ ¢ ¡ ¢
Demostración: P (α) = 0 ⇒ σ P (α) = 0 ⇒ P σ(α) = 0. 2
Antes de ahogarnos en un mar de ideas intuitivas sostenidas por un par de definiciones
y proposiciones, agarrémonos a la tabla salvadora de algunos ejemplos que concreten lo
dicho al comienzo de la sección.
55
Ejemplo. G(C/R) = {Id, conj} ∼ = Z2 , donde conj(z) = z es la conjugación compleja.

Se tiene C = R(i) y como i y −i son las raı́ces de x2 + 1 ∈ R[x], los únicos posibles
automorfismos son a + ib 7→ a + ib y a + ib 7→ a − ib. El primero es la identidad y
el segundo la conjugación. Este último es un R-automorfismo porque deja fijos a los
reales, es biyectivo (es su propia inverso) y satisface las propiedades de homomorfismo
(z + w = z + w, zw = z w y 1 = 1). Si H = G(C/R) se tiene H 0 = R.
¡ √ √ ¢
Ejemplo. G Q( 2, 3)/Q = {Id, σ1 , σ2 , σ1 σ2 } ∼ Z × Z2 donde σ1 y σ2 son los Q-
√ √ √ =√ 2 √ √ √ √
automorfismos verificando√σ1 (√ 2) = − 2, σ1 ( 3) = 3, σ2 ( 2) = 2, σ2 ( 3) = √ − 3.
Cada √elemento de Q( 2, 3) se√puede escribir √ de forma única como x + y 2 con
x, y ∈ Q( 3). La aplicación σ1 (x + y 2) = x − y 2 es un Q-automorfismo por la misma
razón que lo es la conjugación compleja (es biyectiva, fija Q y respeta
√ √ las operaciones).
Análogamente,
√ también se puede √ escribir cada elemento de Q( √ 2, 3) de√forma única
como x + y 3 con x, y ∈ Q( 2), y se deduce que σ2¡(x + √ √3) = ¢x − y 3 es un Q-
y
automorfismo. Esto prueba que {Id, σ1 , σ2 , σ1 σ2 } ⊂ G Q( 2, 3)/Q . No puede haber
¡ √ √ ¢
más Q-automorfismos en G Q( 2, 3)/Q porque según la última proposición aplicada
a los polinomios x2 −√2 y x 2
√ − 3, cualquier elemento del grupo de Galois sólo puede
modificar el signo de 2 y 3, que generan la extensión y las cuatro combinaciones de
signos quedan√cubiertas
√ √ por √ los automorfismos ya enumerados. √ √
Al ser {1, 2, 3, 2 3} una base de la extensión Q( 2, 3)/Q,
√ √ √ √
L = {a + b 2 + c 3 + d 2 3 : a, b, c, d ∈ Q}
√ √ √
y para H = {Id, σ1 σ2√ } se tiene H 0 = {a +
√ d 2 ¡ 3¡ : √
a, d √
∈ Q} =¢¢Q( 6). De la misma
0
forma, {Id, σ1 }0 = Q( 3), {Id, σ2 }0 = Q( 2) y G Q( 2, 3)/Q = Q.
¡ √ ¢
Ejemplo. G Q( 3 2)/Q = {Id} porque un Q-automorfismo no trivial deberı́a aplicar
√3
2 (que genera√ la extensión) en alguna
¡ ¡ de las otras
√ ¢¢ dos raı́ces de
√ x3 − 2, y ninguna de
0
ellas está en Q( 3 2). Obviamente G Q( 3 2)/Q = {Id}0 = Q( 3 2).
Hay una sencilla relación entre el grado de los subcuerpos fijos y el orden de los
subgrupos que los fijan. Su prueba pasa por un curioso lema auxiliar que trata los
automorfismos como si fueran vectores.
Lema 3.2.3 Sean σ1 , σ2 , . . . , σr ∈ G(L/K) automorfismos distintos, entonces el conjun-

to {σ1 , σ2 , . . . , σr } es linealmente independiente sobre L. Es decir, si λ1 , λ2 , . . . , λr ∈ L
no son simultáneamente nulos entonces λ1 σ1 + λ2 σ2 + · · · + λr σr no es la función idénti-
camente nula en L.
Demostración: Procedemos por reducción al absurdo. Sea n el menor número de

coeficientes λj no nulos que participan en una combinación lineal que produce la función
nula. Renombrando los automorfismos podemos suponer que son λ1 , λ2 , . . . , λn . Esto es,
(3.1) λ1 σ1 (α) + λ2 σ2 (α) + · · · + λn σn (α) = 0 ∀α ∈ L

para ciertos λj 6= 0. Como α es arbitrario lo podemos sustituir por αβ donde β ∈ L se

escogerá a continuación, por tanto
λ1 σ1 (α)σ1 (β) + λ2 σ2 (α)σ2 (β) + · · · + λn σn (α)σn (β) = 0 ∀α ∈ L.
Elijamos β tal que σ1 (β) 6= σn (β), esto es posible porque σ1 y σn son distintos. Multi-
plicando (3.1) por σn (β) y restándole la igualdad anterior, se tiene
λ01 σ1 (α) + λ02 σ2 (α) + · · · + λ0n−1 σn−1 (α) = 0 ∀α ∈ L
con λ01 6= 0, pero esto contradice que hubiéramos tomado la combinación lineal más
corta. 2
Proposición 3.2.4 Sea H un subgrupo finito de G(L/K). Si H 0 es el subcuerpo fijo por

los automorfismos de H, entonces
[L : K]
[L : H 0 ] = |H|. y [H 0 : K] = .
|H|
Demostración: Obviamente la segunda igualdad se sigue de la primera por la Propo-

sición 2.2.2. Sea {α1 , α2 , . . . , αr } una base de L/H 0 , sea H = {σ1 , σ2 , . . . , σn } (por tanto
r = [L : H 0 ] y n = |H|) y sea la matriz A ∈ Mr×n (L) cuyas columnas son σj (~ α) donde
~ ∈ Lr es el vector cuya i-ésima coordenada es αi y los automorfismos σj actúan de la
α
manera obvia coordenada a coordenada. Estas columnas son linealmente P independientes
por
P el lema anterior (ya que {α 1 , α 2 , . . . , α r } es una base y λ σ
j j (~
α ) = ~0 implicarı́a
λj σj (x) = 0 para todo x ∈ L). Queremos demostrar demostrar r = n, es decir, que
la matriz A es cuadrada. Procedemos por reducción al absurdo.
Si r < n entonces rg(A) ≤ r, lo que contradice que las n columnas de A sean
linealmente independientes.
Si r > n entonces rg(A) = n y las r filas de A deben ser linealmente dependientes. Por
tanto existe ~x ∈ Lr −{0} con σj (~ α)·~x = 0 para todo j. Si xr es una coordenada no nula de
~x, por el lema anterior se puede elegir t tal que σ1 +σ2 +· · ·+σn aplicado a txr sea no nulo
(ya que no es la aplicación nula). En particular, el vector ~v = σ1 (t~x)+σ2 (t~x)+· · ·+σn (t~x)
es no nulo. Además ~v ∈ (H 0 )r porque σ(~v ) = ~v para σ ∈ H (ya que la suma es en todos
los elementos de H). Aplicando σj−1 a σj (~ α) · t~x = 0, debe cumplirse α ~ · σj−1 (t~x) = 0,
1 ≤ j ≤ n, esto es, α ~ · σ(t~x) = 0 para todo σ ∈ H. En particular α ~ · ~v = 0, lo que
contradice que las coordenadas de α ~ conformen una base de L sobre H 0 . 2
Sólo por el placer de ver funcionar los engranajes de los teoremas, comprobemos la
primera igualdad de la proposición anterior en nuestra exigua colección de grupos de
Galois.
Ejemplo. Si H = G(C/R) = {Id, conj}, se tiene [C : H 0 ] = [C : R] = 2 = |H|.

¡ √ √ ¢
Ejemplo. Si H = {Id, σ1 σ2 } ⊂ G Q( 2, 3)/Q , donde se ha usado la notación de
√ √ √
un ejemplo anterior, se tiene H 0 = Q( 6) y [Q( 2, 3) : H 0 ] = 2 = |H|.
57
¡ √ ¢ √ √ √
Ejemplo. Si H = G Q( 3 2)/Q = {Id}, se tiene [Q( 3 2) : H 0 ] = [Q( 3 2) : Q( 3 2)] =
1 = |H|.
Los pocos ejemplos que hemos visto de grupos de Galois, se resisten a grandes gene-
ralizaciones. Vaya por delante que incluso cuando se utilizan ordenadores para calcular
grupos de Galois, los grados y las formas de presentar las extensiones están seriamente
limitados. Una ambición razonable es no tener que comprobar con todo cuidado que los
presumibles K-automorfismos lo son realmente, y disponer de alguna fórmula con la que
sepamos cuántos K-automorfismos tenemos que buscar. Todas estas aspiraciones se con-
siguen bajo hipótesis de finitud, normalidad y separabilidad, gracias a una propiedad de
extensión de isomorfismos. Más importante que el resultado en sı́ son las consecuencias,
que prácticamente constituyen la primera mitad del teorema fundamental de la teorı́a
de Galois que enunciaremos en la próxima sección.
Proposición 3.2.5 Sea L/K normal y finita y sean M1 y M2 dos subcuerpos de L

conformando extensiones de K. Si i : M1 −→ M2 es un isomorfismo que deja fijos los
elementos de K (en rigor de su imagen en L), entonces existe σ ∈ G(L/K) tal que
restringido a M1 coincide con i.
Demostración: Como [L : M1 ] < ∞, basta aplicar repetidas veces que si α ∈ L

entonces se puede extender a un K-isomorfismo ei : M1 (α) −→ M2 (β) con cierto β ∈ L.
El resto de la demostración se dedica a construir ei.
Sea P el polinomio mı́nimo de α sobre K y sea P1 el polinomio mı́nimo sobre M1 ,
obviamente P1 |P . Podemos suponer que ∂P1 > 1 (en otro caso tomarı́amos ei = i). Sea
P2 = i(P1 ) (i actúa sobre los coeficientes). P2 es mónico e irreducible y divide a P ,
porque P = P1 · Q1 ⇒ P = i(P ) = i(P1 ) · i(Q1 ). Como L/K es normal, todas las raı́ces
de P , y por tanto también las de P2 , están en L. Sea β ∈ L con P2 (β) = 0, por la
Proposición 2.2.5 se tienen isomorfismos
i1 : M1 (α) −→ M1 [x]/hP1 i, i2 : M2 (β) −→ M2 [x]/hP2 i.
Por otra parte, i induce un isomorfismo i3 : M1 [x]/hP1 i −→ M2 [x]/hP2 i, ası́ pues basta
tomar ei = i−1 e
2 ◦ i3 ◦ i1 . Por construcción los elementos de K quedan fijos por i. 2
Corolario 3.2.6 Sea L/K normal y finita. Si P es un polinomio irreducible y α, β ∈ L

son raı́ces de P , entonces existe σ ∈ G(L/K) con σ(α) = β.
Demostración: Basta aplicar la proposición tomando M1 = K(α), M2 = K(β) y el

isomorfismo i : M1 −→ M2 de la Proposición 2.2.5. 2
Corolario 3.2.7 Si L/K es normal, finita y separable, |G(L/K)| = [L : K].
Demostración: Tomando H = G(L/K) en la Proposición 3.2.4 se sigue [L : K] ≥

0
[L
¡ : H ] ¢= |G(L/K)|. Si fuera [L : K] > |G(L/K)|, necesariamente existirı́a α ∈
0
G(L/K) − K. Al ser la extensión normal y separable, el polinomio mı́nimo de α
sobre K factoriza totalmente en L[x] y tiene raı́ces distintas en L. Por el corolario ante-
rior existe un elemento
¡ de G(L/K)
¢0 que no fija a α, que lo envı́a a otra de las raı́ces, lo
que contradice α ∈ G(L/K) . 2
Ahora veamos ejemplos y más ejemplos, en multitud tan abigarrada que invadirán
la siguiente sección.
Nota: Al hallar grupos de Galois, para asegurar la normalidad, muchas veces se
presentan los cuerpos como cuerpos de descomposición de un polinomio. De hecho es
común usar la expresión grupo de Galois de P ∈ K[x] para referirse a G(L/K) con L el
cuerpo de descomposición de P sobre K, aunque aquı́ preferimos evitar esta notación.
¡ ¢
Ejemplo. Hallar G Q(ζ)/Q donde ζ = e2πi/5 . ¡ ¢
Como la extensión es simple y generada por ζ, cada σ ∈ G Q(ζ)/Q está determinado
por el valor en el que aplica ζ. Las raı́ces del polinomio ciclotómico x4 + x3 + x2 + x + 1
son ζ, ζ 2 , ζ 3 y ζ 4 ; ası́ pues, Q(ζ) es su cuerpo de descomposición y el Corolario 3.2.6
implica que existen Q-automorfismos σ1 , σ2 , σ3 y σ4 tales que¡ σ1 (ζ) =¢ ζ, σ2 (ζ) = ζ 2 ,
σ3 (ζ) = ζ 3 , σ4 (ζ) = ζ 4 . Con lo cual se tiene {σ1 , σ2 , σ3 , σ4 } ⊂ G Q(ζ)/Q . Y la igualdad
se da por el Corolario 3.2.7 (porque [Q(ζ) : Q] = 4). Nótese que σ1 =Id y que σ2 genera
al resto de los automorfismos, ya que
σ22 (ζ) = σ2 (σ2 (ζ)) = (ζ 2 )2 = σ4 (ζ) y σ23 (ζ) = σ2 (σ22 (ζ)) = (ζ 4 )2 = ζ 3 = σ3 (ζ).
¡ ¢
Por consiguiente G Q(ζ)/Q ∼ = Z4 .
No es difı́cil generalizar este ejemplo reemplazando 5 por cualquier primo.
© ª
Ejemplo. Si ζ = e2πi/p con p primo, entonces G(Q(ζ)/Q) = σ1 , σ2 , . . . , σp−1 donde
σj : ζ 7→ ζ j . Además G(Q(ζ)/Q) es isomorfo al grupo (multiplicativo) de unidades de Zp .
(aunque no lo haremos aquı́, se puede probar que este grupo es siempre isomorfo a Zp−1 ).
Como antes, Q(ζ) es el cuerpo de descomposición del polinomio ciclotómico P =
p−1
x + xp−2 + · · · + 1 = (xp − 1)/(x − 1). Como P es irreducible y tiene a ζ como raı́z,
[Q(ζ) : Q] = p − 1, por tanto |G(Q(ζ)/Q)| = p −© 1. Por otra parte ª σj ∈ G(Q(ζ)/Q),
gracias al Corolario 3.2.6 y se tiene G(Q(ζ)/Q) = σ1 , σ2 , . . . , σp−1 .
El isomorfismo φ : G(Q(ζ)/Q) −→ Z∗p donde Z∗p son las unidades de Zp , viene dado
simplemente por φ(σj ) = j. Se reduce a un cálculo comprobar que φ(σi σj ) = φ(σi )φ(σj ),
y su inversa es simplemente j 7→ σj para 0 < j < p.
Ejemplo. En Q(ζ)/Q con ζ = e2πi/7 hallar el cuerpo fijo H 0 =< σ2 >0 y su grado
sobre Q. (Empleamos la notación anterior, esto es, σ2 : ζ 7→ ζ 2 ).
Al ser B = {1, ζ, ζ 2 , ζ 3 , ζ 4 , ζ 5 } una base
P de la extensión (Proposición 2.2.4) todo
x ∈ Q(ζ) se puede expresar como x = 5j=0 λj ζ j con λj ∈ Q. Entonces la condición
x = σ2 (x) necesaria y suficiente para que x ∈ H 0 , es
x = λ0 + λ1 ζ 2 + λ2 ζ 4 + λ3 ζ 6 + λ4 ζ 8 + λ5 ζ 10
= λ0 + λ4 ζ + λ1 ζ 2 + λ5 ζ 3 + λ2 ζ 4 + λ3 ζ 6
= (λ0 − λ3 ) + (λ4 − λ3 )ζ + (λ1 − λ3 )ζ 2 + (λ5 − λ3 )ζ 3 + (λ2 − λ3 )ζ 4 − λ3 ζ 5
donde se ha empleado ζ 8 = ζ, ζ 10 = ζ 3 y ζ 6 = −1 − ζ − ζ 2 − ζ 3 − ζ 4 − ζ 5 (recuérdese el
polinomio ciclotómico). Igualando coordenadas con respecto a la base B, se tiene:
λ0 = λ0 −λ3 , λ1 = λ4 −λ3 , λ2 = λ1 −λ3 , λ3 = λ5 −λ3 , λ4 = λ2 −λ3 , λ5 = −λ3 .
59
En definitiva, λ3 = λ5 = 0, λ1 = λ4 = λ2 , o escrito de otra forma, x = a + b(ζ + ζ 2 + ζ 4 ).

Esto prueba H 0 = Q(ζ + ζ 2 + ζ 4 ). El orden de σ2 es 3, y según la Proposición 3.2.4, el
grado de la extensión es [H 0 : Q] = 6/|H| = 2.
Observación: Una forma más breve de calcular H 0 en el problema anterior pasa por
notar que para cualquier x ∈ Q(ζ) se cumple u = x + σ2 (x) + σ22 (x) ∈ H 0 porque
σ2 (u) = u (utilizamos que σ2 tiene orden 3). Tomando x = ζ se obtiene ζ + ζ 2 + ζ 4 ∈ H 0 .
Además ζ + ζ 2 + ζ 4 6∈ Q porque σ3 no lo deja invariante, y [H 0 : Q] = 2 implica
H 0 = Q(ζ +ζ 2 +ζ 4 ). Este truco de forzar las simetrı́as haciendo actuar todos los elementos
de un grupo ya apareció en la demostración de la Proposición 3.2.4 y se muestra también
en diferentes versiones en áreas alejadas del tema que nos ocupa, por ejemplo es análogo
al método de las imágenes introducido por Lord Kelvin para resolver algunas ecuaciones
en derivadas parciales provinientes de problemas fı́sicos. Históricamente fue Gauss el
primero en calcular subcuerpos fijos en Q(e2πi/p ) de esta forma, antes de que existiera
la teorı́a de Galois y el propio Galois (un lector avezado podrı́a tratar de interpretar
en nuestro lenguaje los ejemplos de [Gau] Art. 353, 354). A pesar de que nos permitirı́a
reducir algunos cálculos, no sistematizaremos el método en este curso.
La sencillez del cálculo del grupo de Galois en los tres ejemplos anteriores se debe
a que el cuerpo de descomposición del polinomio ciclotómico está generado por una de
sus raı́ces. Todavı́a podemos encontrar ejemplos sencillos saliéndonos de esta situación.
Ejemplo. Hallar el grupo de Galois del cuerpo de descomposición de P = x3 − 2

sobre Q. √ √ √ √
Las raı́ces de P son 3√2, ω 3 2, ω 2 3 2, donde ω = (−1+i 3)/2, por tanto el cuerpo de
descomposición es Q(ω, 3 2). La conjugación
√ compleja es claramente en Q-automorfismo
3
en C, en particular √ lo es en Q(ω, 2). Llamémosla τ cuando la consideramos√como √ ele-
mento de G(Q(ω, 3 2)/Q). Su efecto sobre los generadores de la extensión es τ ( 3 2)√= 3 2,
τ (ω) =√ω = ω 2 . Por
√ otra parte, el Corolario 3.2.6 asegura que existe σ ∈ G(Q(ω, 3 2)/Q)
con σ( 3 2) = ω 3 2. Además σ(ω) debe ser ω ó ω = ω 2 porque ambas cantidades son
raı́ces de x2 + x + 1. Quizá sustituyendo σ por στ siempre podemos suponer por ejemplo
σ(ω) = ω. El automorfismo σ tiene orden tres porque
√ √ √ √ √ √
σ 3 (ω) = ω y σ 3 ( 2) = σ 2 (ω 2) = ω σ 2 ( 2) = ω σ(ω 2) = ω 3 2 = 2.
3 3 3 3 3 3
√
Los Q-automorfismos Id, σ, σ 2 , τ , στ y σ 2 τ son distintos. Su acción sobre ω y 3 2 se
recoge en las siguientes tablas:
√
3
√
3
ω √ 2 ω √ 2
3 2 3
Id ω √ 2 τ ω √ 2
3 2 3
σ ω ω √2 στ ω ω √2
2 2 3
σ ω ω 2 σ τ ω ω2 3 2
2 2
El grupo de Galois tiene orden 6 (Corolario 3.2.7), ası́ pues se debe tener
√
G(Q(ω, 2)/Q) = {Id, σ, σ 2 , τ, στ, σ 2 τ }.
3
√ √ √ √
Este grupo no es abeliano, porque por ejemplo στ ( 3 2) = ω 3 2 y τ σ( 3 2) = ω 2 3 2.
Si recordamos los tiempos de Álgebra I, tendremos que el único grupo no √ abeliano de
orden 6 es S3 (el de permutaciones de tres elementos), por tanto G(Q(ω, 2)/Q) ∼ 3
= S3 .
Una forma de realizar este isomorfismo es asignar√ a cada elemento
√ del √
grupo de Galois la
permutación que efectúa sobre las raı́ces r1 = 3 2, r2 = ω 3 2, r3 = ω 2 3 2, del polinomio
P . Por ejemplo, la acción de σ es r1 7→ r2 , r2 7→ r3 , r3 7→ r1 , lo que corresponde a la
permutación (1, 2, 3), mientras que la conjugación τ corresponde a la transposición (2, 3).
(Como ya hemos comentado, en su infancia histórica el grupo de Galois era un subgrupo
de permutaciones que hoy en dı́a se muestra ataviado con las galas del álgebra como
grupo de K-automorfismos).
Veamos un breve ejemplo en el que el cuerpo base no es Q, y otro más completo con
un grupo que tenemos que recordar de Álgebra I.
√
Ejemplo. Hallar el grupo de √ Galois de Q(ω, 3 2)/Q(ω) donde, como antes, ω es la
raı́z cúbica de la unidad (−1 + i 3)/2.
La extensión es normal de grado 3. Cada √automorfismo del grupo de Galois queda
evidentemente caracterizado por la imagen de 3 2. Por el Corolario
√ √3.2.6 aplicado
√ a x3 √
−2,
3 3 3 2 3
existen, aparte
¡ de√la identidad,
¢ Q(ω)-automorfismos σ 1 : 2 →
7 ω 2 y σ2 : 2 →
7 ω 2.
3
Ası́ pues G Q(ω, 2)/Q(ω) = {Id, σ1 , σ2 } que es claramente isomorfo a Z3 .
Ejemplo. Hallar el grupo de Galois del cuerpo de descomposición del polinomio P =
4
x − 2 sobre Q. √
Las √raı́ces de P son ik 4 2 con k = 0, 1, 2, 3, por tanto su cuerpo de descomposición es
L = Q( 4 2, i). Como antes, tenemos que la conjugación compleja, digamos τ , pertenece
al grupo de Galois de L/Q porque incluso pertenece al de C/Q. El grado de la extensión
es sencillo de calcular porque
√
4
√
4
√
4
[L : Q( 2)] = 2 ⇒ [L : Q] = [L : Q( 2)][Q( 2) : Q] = 8.
√ √
Por el Corolario 3.2.6 existe un Q-automorfismo con σ( 4 2) = i 4 2 y, quizá cambiando σ
por στ , podemos suponer que σ(i) = i. Este automorfismo tiene orden 4 (ejercicio). De
aquı́ se deduce que {Id, σ, σ 2 , σ 3 , τ, στ, σ 2 τ, σ 3 τ } es un subconjunto de ocho automorfis-
mos distintos y por tanto debe coincidir con G(L/Q). √ √
Este
√ grupo √ de Galois no es abeliano. Por ejemplo, στ ( 4 2) = i 4 2 mientras que
τ σ( 4 2) = −i 4 2. Podemos identificarlo como un grupo conocido en Álgebra I notando
que τ σ = σ 3 τ (ejercicio), de donde G(L/Q) = hσ, τ : σ 4 = τ 2 = Id, τ σ = σ 3 τ i, lo cual
era la presentación de D8 , el grupo diédrico de ocho elementos (también denotado a veces
como D4 , lo que causa desafortunadas confusiones). Recuérdese que por definición, D8
es el grupo de movimientos del plano que dejan fijos un cuadrado, y que está generado
por el giro, g, de 90◦ y la simetrı́a, s, por una de las diagonales
D C C B D C B C
g: −→ s: −→
A B D A A B A D
El isomorfismo G(L/Q) ∼
= D8 consiste simplemente en asociar σ 7→ g y τ 7→ s.
61
Ejemplo. Hallar el √ subcuerpo

√ √ fijo por H = hσ 2 , τ i en el√ejemplo anterior.
√
4 4
Como {1, i} y {1, 2, 22 , 23 } son bases de L/Q( 4 2) y de Q( 4 2)/Q, por la
4
Proposición 2.2.2 cada x ∈ L se escribe de forma única como

√4
√
4
√
4
√4
√
4
√
4
x = λ0 + λ1 i + λ2 2 + λ3 i 2 + λ4 22 + λ5 i 22 + λ6 23 + λ7 i 23
con λj ∈ Q. Por una parte, τ (x) = x implica λ1 = λ3 = λ5 = λ7 = 0, y por otra, para

√ x
2 0 4 2
con estos coeficientes,
√ σ (x) = x implica√ λ2 = λ6 = 0. En definitiva, H = {λ0 + λ4 2 :
λ2 , λ4 ∈ Q} = Q( 2). Nótese que [Q( 2) : Q] = [L : Q]/|H| = 8/4.
Hasta ahora no ha sido necesaria una extensión efectiva de los automorfismos, porque
tenı́amos la conjugación que de hecho se aplica en algo tan grande como C/Q. Veamos
un ejemplo un poco artificial que incide en que la extensión de automorfismos no es
arbitraria.
Ejemplo. Hallar el grupo de Galois del cuerpo de descomposición de P = x4 −2x2 −1

sobre Q. p √
pResolviendo
√ la ecuación bicuadrada P = 0, se tiene que sus raı́ces son ± 1 + 2,
± 1 − 2, ası́ que el cuerpo de descomposición es
q q
¡ √ √ ¢
L = Q 1 + 2, 1 − 2 .
Antes de seguir, intentemos simplificar los generadores, para ello nótese que
q q
√ √ √
1 + 2 · 1 − 2 = −1 = i,
p √
por tanto, definiendo α = 1 + 2 se tiene que las raı́ces de P son α, −α, i/α, −i/α,√y
L = Q(α,√i). Obsérvese que α genera√ una extensión de grado 4 sobre Q que contiene a 2
2
(porque 2 = α√−1 y α 6= a+b 2). Por tanto [L : Q] = [L : Q(α)] [Q(α) : Q] = 2·4 √ = 8.
Sea M = Q( 2, i), como [L : M ] = 2, el polinomio mı́nimo de α en M es x2 −(1+ 2),
lo que asegura que hay un elemento σ ∈ G(L/M )√tal que√σ(α) = −α. Evidentemente
también σ ∈ G(L/Q) y se cumple σ(i) = i y σ( 2) = 2. Lo que no esta claro es
cómo deben comportarse los automorfismos que sı́ actúan sobre M , para ello bajamos
un nivel y estudiamos primero los elementos de G(M/Q). Los cuatro automorfismos
que debe haber en G(M/Q) se extenderán a G(L/Q) y después de componerlos con
Id, σ ∈ G(L/M ) darán lugar a los ocho automorfismos de G(L/Q). Nótese que este
proceso lo podemos llevar a cabo en general siempre que podamos “descomponer” una
extensión √
(finita y separable) en subextensiones normales.
√ √
En Q( 2) se tiene la conjugación real a + b 2 7→ a − b 2 que se extiende a un
elemento de G(M/Q). También está la conjugación compleja. Combinándolas de to-
das las formas posibles se tienen los cuatro Q-automorfismos de√G(M/Q). √ Escribamos
G(M/Q)
√ =√ hβ1 , β2 i = {Id, β1 , β2 , β1 β2 } donde β1 (i) = −i, β1 ( 2) = 2, β2 (i) = i,
β2 ( 2) = − 2,
Por la Proposición 3.2.5, existen τ1 , τ2 ∈ G(L/Q) tales que τ1 |M = β1 y τ2 |M = β2 .
Como α está en una extensión de grado 4, su polinomio mı́nimo sobre Q es P , ası́ pues
se tiene que τj (α) ∈ {α, −α, i/α, −i/α}, j = 1, 2; es decir, que en principio τ1 y τ2
podrı́an tomar cuatro valores distintos, y componer con σ sólo permite pasar de uno de
los valores a otro. Cuando sucede esto es que hay algunas extensiones
√ √ de β1 y β2 que no
son posibles, por ejemplo τ2 (α) = α ⇒ τ2 (α2 ) = α2 ⇒ τ2 ( 2) = 2 lo que contradice
τ2 |M = β2 . De la misma forma, τ2 (α) = −α, τ1 (α) = i/α, τ1 (α) = −i/α, son imposibles,
ası́ pues τ1 (α) ∈ {α, −α}, τ2 (α) ∈ {i/α, −i/α}, y, quizá componiendo con σ, siempre
podemos suponer τ1 (α) = α y τ2 (α) = i/α. El grupo de Galois viene entonces dado por
G(L/Q) = {Id, τ1 , τ2 , τ1 τ2 , σ, στ1 , στ2 , στ1 τ2 }.
Nótese que no es abeliano: τ1 τ2 (α) = τ1 (i/α) = −i/α y τ2 τ1 (α) = τ2 (α) = i/α. Aunque
no lo haremos aquı́, como antes, se puede comprobar que G(L/Q) ∼ = D8 .
Una extensión finita que no sea normal siempre podemos considerarla dentro de una
extensión mayor que sı́ lo sea. Gracias a la Proposición 3.2.5 todos los elementos del
grupo de Galois de la primera extensión serán restricciones de los de la segunda. Pero
muchas veces no hace falta ir tan lejos.
¡ √ √ ¢
Ejemplo. Hallar G Q( 2, 3 3)/Q .
¡ √ √ ¢ √
Por el Lema 3.2.2, cualquier elemento de G Q( 2, 3 3)/Q debe dejar fijo 3 3 porque
√ √
resto√de las√raı́ces de x3 − 2 son complejas y no pertenecen a Q( 2, 3 3). Como
el √
Q( 2, 3√
√ 3)/Q( 3 3) es normal,
√ por el Corolario 3.2.6 existe un automorfismo σ que √
pasa
2 a − 2 y deja fijo Q( 3), y de hecho éste y la identidad son los únicos Q( 3 2)-
3
automorfismos, ya que el grado de la extensión anterior es 2. Por tanto el grupo de

Galois buscado es {Id, σ}.
Para terminar, vamos a estudiar el grupos de Galois de las extensiones más raras
con las que hemos trabajado: las de cuerpos finitos. Resulta que la teorı́a en ellos es
ridı́culamente sencilla. Esencialmente sólo hay un automorfismo y sus potencias.
Definición: Se llama automorfismo de Frobenius en Fq con q = pn a la aplicación

φ : Fq :−→ Fq definida como φ(x) = xp .
Proposición 3.2.8 El automorfismo de Frobenius es realmente un automorfismo y φn

(esto es, φ compuesto consigo mismo n veces) deja invariantes a los elementos de Fq
con q = pn y tiene orden d en Fq0 con q 0 = pnd .
Demostración: Es evidente que φ(x)φ(y) = φ(xy) y φ(1) = 1, mientras que la

igualdad φ(x + y) = φ(x) ¡p¢ + φ(y) se sigue del binomio de Newton empleando que el
número combinatorio k es divisible por p, 0 < k < p. Es un monomorfismo porque
xp = 0 ⇒ x = 0 (estamos en un dominio de integridad), por tanto |Im φ| = |Fq | y se
tiene que también es biyectiva.
n
Por definición los elementos de Fq satisfacen xp = x, esto es, φn (x) = x. Por otro
lado, si φnk fuera la identidad en Fq0 para algún 0 < k < d, entonces todos los elementos
nk
de Fq0 satisfarı́an xp = x y de aquı́ se deducirı́a Fpnk ⊃ Fq0 , lo cual contradice |Fpnk | =
pnk < |Fq0 | = pnd . 2
Corolario 3.2.9 Si q = pn y q 0 = pnd entonces G(Fq0 /Fq ) = hφn i ∼

= Zd .
63
Demostración: Según la proposición, Zd ∼ = hφn i ⊂ G(Fq0 /Fq ) y la igualdad se sigue,

a través del Corolario 3.2.7, de [Fq0 : Fq ] = [Fq0 : Fp ]/[Fq : Fp ] = nd/n = d. 2
Ejemplo. Hallar G(L/F2 ) y G(L/F4 ) donde L es el cuerpo de descomposición de

P = x4 + x + 1.
Ya habı́amos visto anteriormente que P es irreducible en F2 [x] y que L es (isomorfo
a) F24 . Según el corolario anterior G(L/F2 ) = hφi ∼= Z4 y G(L/F4 ) = hφ2 i ∼ = Z2 con
2
φ(x) = x .
Como comprobación, nótese que es fácil verificar que φ4 deja fija a cada raı́z α de P
en L porque φ4 (α) = α16 = (α4 )4 = (−α − 1)4 = α4 + 1 = −α − 1 + 1 = α.
3.3. El teorema fundamental de la teorı́a de Galois

A continuación vamos a enunciar un teorema de tal calado que justifica su aparición
en solitario dentro de esta sección sin más compañı́a que un leve acuerdo de notación
y la ineludible corte de ejemplos que den boato a su majestad. Este teorema estable-
cerá un diccionario que permite traducir problemas de extensiones finitas en otros de
grupos finitos. Todavı́a más, dentro del reino de las extensiones finitas normales y sepa-
rables, el diccionario será perfecto, sin ambigüedades ni sinónimos. En particular todo
funcionará a las mil maravillas en los cuerpos de descomposición de polinomios sobre un
subcuerpo de C. Éste es el caso sobre el que trabajaba Galois para atacar el problema de
la resolubilidad por radicales. Aunque en su tiempo no existiera ni siquiera la definición
de cuerpo, no está de más hacer de la notación un monumento a su nombre.
Definición: Se dice que L/K es una extensión de Galois si es normal, finita y separable.
Teorema 3.3.1 (Teorema fundamental de la teorı́a de Galois) Sea L/K una ex-
tensión de Galois. La aplicación H 7→ H 0 define una biyección entre los subgrupos de
G(L/K) y los subcuerpos M ⊂ L que conforman extensiones de K, cuya inversa es
M 7→ G(L/M ). Además M/K es ±una extensión normal si y sólo si G(L/M ) / G(L/K).
En este caso G(M/K) ∼ = G(L/K) G(L/M ).
Nota: Recuérdese que la notación H / G significa que H es un subgrupo normal de

G, esto es, que para todo τ ∈ G se cumple τ −1 Hτ = H.
Demostración: Para probar la biyectividad de la aplicación indicada basta precom-

ponerla y poscomponerla con su posible¡inversa y¢ verificar que se obtiene la identidad,
0
esto es, hay que verificar las igualdades G(L/M ) = M y G(L/H 0 ) = H.
¡ ¢0
Por la Proposición 3.2.4 y el Corolario 3.2.7, [L : G(L/M ) ] = |G(L/M )| = [L : M ]
¡ ¢0
y como G(L/M ) ⊃ M , se deduce la primera igualdad (de hecho ya fue implı́citamente
probada en la demostración del Corolario 3.2.7). Para la¡ segunda,¢ nótese que por la
0
Proposición 3.2.4 y la primera igualdad, |G(L/H 0 )| = [L : G(L/H 0 ) ] = [L : H 0 ] = |H|,
de donde G(L/H 0 ) = H, ya que la inclusión G(L/H 0 ) ⊃ H es trivial.
Supongamos que M/K es normal. Dado σ ∈ G(L/K), como M es un cuerpo de
descomposición (Proposición 3.1.3), la Proposición 3.2.2 implica que σ aplica M en M
y por tanto σ|M ∈ G(M/K), donde σ|M es la restricción de σ a M . Esto define un

homomorfismo de grupos
φ : G(L/K) −→ G(M/K)
σ −→ σ|M
que es sobreyectivo (por la Proposición 3.2.5 con M1 = M2 = M ) y cuyo núcleo es

G(L/M ), por tanto el teorema del homomorfismo (véase el repaso de teorı́a de grupos del
próximo capı́tulo) implica
± que G(L/M ) es un grupo normal de G(L/K) y que G(M/K)
es isomorfo a G(L/K) G(L/M ).
Por otra parte, si M/K no es normal, existen α ∈ M y β 6∈ M raı́ces de un mismo
polinomio irreducible en K[x]. Sea γ 6= β una raı́z del polinomio mı́nimo de β sobre M
(existe por la separabilidad). Por el Corolario 3.2.6, existen automorfismos τ ∈ G(L/K)
y σ ∈ G(L/M ) tales que τ (α) = β y σ(β) = γ. Si fuera G(L/M ) / G(L/K) entonces
τ −1 στ ∈ G(L/M ) y en particular deberı́a dejar invariante a α ∈ M , pero esto contradice
τ −1 στ (α) = τ −1 (γ) 6= τ −1 (β) = α. 2
Un resultado como el anterior raramente nos podrá dejar impávidos una vez que lo
comprendemos. Resulta que la estructura fina de los conjuntos de números que pode-
mos construir con sumas, restas, multiplicaciones y divisiones, operaciones ancestrales
y naturales, adquiere fiel reflejo en la artificial definición de un grupo, al tiempo que
el concepto de subgrupo normal que permanecı́a agazapado en nuestros apuntes de un
curso pasado se revela ahora como representante de todos los números que podemos
obtener a partir de las soluciones de ecuaciones algebraicas (cuerpos de descomposi-
ción). Es cautivador soñar que los grupos y subgrupos normales ya preexistı́an en algún
mundo de las ideas matemáticas y que fueron descubiertos, como pieza que completa
un rompecabezas, más que inventados. Esta tendencia al platonismo es lugar de recreo
eventual entre los matemáticos, a pesar de los jarros de agua frı́a descargados por la re-
alidad, la historia de la Ciencia y los filósofos empiristas seguidores de D. Hume, quien ya
recogió la situación en su Tratado de la Naturaleza Humana, escribiendo: “A los matemáticos
les es habitual pretender que las ideas de que se ocupan son de naturaleza tan refinada y es-
piritual que no son del dominio de la fantası́a, sino que deben ser comprendidas por una visión
pura e intelectual de la que sólo las facultades del alma son capaces”.
Como hemos anunciado, el resto de la sección estará compuesta de ejemplos. Para

abreviar y no alargar más este capı́tulo, ya desproporcionado, aprovecharemos parte de
los ejemplos desarrollados en la sección anterior. Para comenzar, un ejemplo conspicuo
en la historia de nuestra ciencia ya que constituye un descubrimiento del joven Gauss
a los 19 años que favoreció su decisión de dedicarse a las Matemáticas. En el último
capı́tulo volveremos sobre la teorı́a general al respecto que plasmó en la última sección
de su obra maestra [Gau].
Ejemplo. Existen cuerpos Q = L0 ⊂ L1 ⊂ L2 ⊂ L3 = Q(cos(2π/17)) satisfaciendo

[Lj : Lj−1 ] = 2, j = 1, 2, 3. Por tanto el polı́gono regular de 17 lados inscrito en la circun-
ferencia unidad es construible con regla y compás. (Nótese que a partir de cos(2π/17)
se puede construir el ángulo de 2π/17 radianes).
65
Sabemos que G(Q(ζ)/Q) = {σ1 , σ2 , . . . , σ16 } con ζ = e2πi/17 y σj (ζ) = ζ j . Tras

algunos cálculos, se tiene que este grupo de orden 16 es cı́clico generado por ejemplo
por σ = σ3 . Los únicos subcuerpos serán Q = hσi0 , L1 = hσ 2 i0 , L2 = hσ 4 i0 , L3 = hσ 8 i0
y Q(ζ) = h{Id}i0 . Por la Proposición 3.2.4, [Lj : Q] = 2j . De la relación x + 1/x =
2 cos(2π/17) válida para x = ζ se sigue que [Q(ζ) : Q(cos(2π/17))] ≤ 2, además Q(ζ) 6=
Q(cos(2π/17)) porque el segundo cuerpo no contiene números complejos. Ası́ que la
única posibilidad es Q(cos(2π/17)) = L3 .
Ejemplo. Hallar todos los subcuerpos de L = Q(ζ)/Q con ζ = e2πi/7 .

La extensión L/Q es de Galois (L es el cuerpo de descomposición de x7 − 1 sobre Q)
y todo subcuerpo M ⊂ L conforma una extensión de Q (1 ∈ M ⇒ Z ⊂ M ⇒ Q ⊂ M ).
Sabı́amos que G(L/Q) = {σ1 , σ2 , . . . , σ6 } con σj (ζ) = ζ j . Es fácil ver con algunos
cálculos que σ = σ3 es generador de este grupo ya que σ 2 , σ 3 6= Id. Ası́ pues G(L/Q) =
hσi ∼= Z6 . Los subgrupos propios son por tanto hσ 2 i y hσ 3 i, de órdenes 3 y 2 respecti-
vamente. Los subcuerpos fijos son M1 = hσ 2 i0 y M2 = hσ 3 i0 con [M1 : Q] = 6/3 = 2 y
[M2 : Q] = 6/2 = 3. En un ejemplo anterior ya habı́amos probado que el subcuerpo fijo
por σ2 , que coincide con σ 2 , es M1 = Q(ζ + ζ 2 + ζ 4 ). Podemos proceder de la misma
forma para Phallar M2 . Nótese que σ 3 (ζ) = ζ 6 = −1 − ζ − ζ 2 − ζ 3 − ζ 4 − ζ 5 y por tanto
para x = 6j=0 λj ζ j ∈ L, σ 3 (x) = x equivale a
x = λ0 + λ1 ζ 6 + λ2 ζ 12 + λ3 ζ 18 + λ4 ζ 24 + λ5 ζ 30
= λ0 + λ5 ζ 2 + λ4 ζ 3 + λ3 ζ 4 + λ2 ζ 5 + λ1 ζ 6
= (λ0 − λ1 ) − λ1 ζ + (λ5 − λ1 )ζ 2 + (λ4 − λ1 )ζ 3 + (λ3 − λ1 )ζ 4 + (λ2 − λ1 )ζ 5
y de aquı́ λ1 = 0, λ3 = λ4 , λ2 = λ5 . Lo cual prueba M2 = Q(ζ 3 + ζ 4 , ζ 2 + ζ 5 ).

Nótese que 2 cos(2π/7) = ζ + ζ 6 = −1 − (ζ 3 + ζ 4 ) − (ζ 2 + ζ 5 ) ∈ M2 y como
[Q(cos(2π/7)) : Q] = 3 se cumple M2 = Q(cos(2π/7)). También M1 se puede sim-
√
plificar, ya que [M1 : Q] = 2 implica M1 = Q( q) con q ∈ Q. Con algo de trabajo se
√
puede demostrar que M1 = Q( 7), aunque no lo haremos aquı́.
El teorema fundamental de la teorı́a de Galois asegura que M1 y M2 son los únicos
subcuerpos propios (distintos de L y Q) de L. En un esquema se puede visualizar la
relación entre el retı́culo de subgrupos y el de subcuerpos. A través de la aplicación
H 7→ H 0 el segundo se obtiene a partir del primero de forma invertida. Los números
indican ı́ndices (cocientes de órdenes de grupos) y grados.
0
,G(L/Q) = hσi
- ,L = {Id}
-
2 3 3 2
hσ 2 i- 3
, hσ i ←→ M1 = hσ-2 0
i M2 = hσ 3 i0
,
3 2 2 3
{Id} Q = hσi0
Todos los subgrupos de G(L/Q) son normales porque es abeliano, por tanto M1 /Q y
M2 /Q son normales.
Observación: La correspondencia entre ı́ndices y grados es consecuencia de la Propo-

sición 3.2.4. Si N ⊂ M ⊂ L con M = H 0 y N = G0 , entonces el ı́ndice de H en G,
habitualmente denotado con [G : H], es |G|/|H| = [L : N ]/[L : M ] = [M : N ].
Ejemplo. Hallar todos los subcuerpos de L, el cuerpo de descomposición de x3 − 2
sobre Q e indicar si dan lugar a extensiones normales sobre Q.
Sabı́amos que G(L/Q) √ = {Id,√σ, σ 2 , τ, στ, σ 2 τ } ∼= S3 donde √ τ es la conjugación (de
3 3
orden 2) y σ(ω) = ω, σ( 2) = ω 2 (de orden 3), ω = (−1 + i 3)/2. Como |S3 | = 6, los
órdenes de sus subgrupos propios sólo puede ser dos o tres. Los de orden 2 están generados
por un elemento del mismo orden y hay tres de ellos, correspondiendo a cada una de las
trasposiciones: (1, 2), (1, 3) y (2, 3). Hay un solo subgrupo de orden tres, A3 = h(1, 2, 3)i,
generado por un elemento de orden tres. En G(L/Q) tenemos los elementos de orden
dos τ , στ y σ 2 τ , y el de orden tres σ. Por el teorema fundamental de la teorı́a de Galois
los subcuerpos propios son, por consiguiente, M1 = hσi0 , M2 = hτ i0 , M3 = hτ σi0 , y
M4 = hτ σ 2 i0 . Como A3 / S3 , pero una transposición no genera un subgrupo normal
(ejercicio), se tiene que M1 /Q es una extensión normal mientras √ que M2 /Q, M3 /Q y
3
M4 /Q no lo son. Para calcularlos, √ escribamos√ cada √ x ∈ L = Q(
√ 2, ω) en función de una
3 3 3 2 3 2
base de L/Q, x = λ0 + λ1 ω + λ2 2 + λ3 ω 2 + λ4 2 + λ5 ω 2 . Por definición, x ∈ M1
si y sólo si x = σ(x), que empleando ω 2 = −ω − 1 se puede escribir como
√
3
√
3
√
3
√3
x = λ0 + λ1 ω − λ3 2 + (λ2 − λ3 )ω 2 + (λ5 − λ4 ) 22 − λ4 ω 22 .
Al √igualar coeficientes se obtiene λ2 = λ3 = λ4 = λ5 = 0, lo que implica M1 = Q(ω) =
Q( −3). Los otros cuerpos fijos se hallan de igual manera. Por ejemplo, al imponer
x = τ (x) se tiene
√
3
√
3
√
3
√
3
x = (λ0 − λ1 ) − λ1 ω + (λ2 − λ3 ) 2 − λ3 ω 2 + (λ4 − λ5 ) 22 − λ5 ω 22 .
√ √ √
Ası́ que λ1 = λ3 = λ5 = 0 y M2 = Q( 3 2). Igualmente, M3 = Q(ω 3 2) y M4 = Q(ω 2 3 2).
Ejemplo. Hallar los subcuerpos de L, el cuerpo de descomposición de P = x4 −5x2 +6
sobre Q.
Gracias a la factorización
√ √ P = (x2 − 2)(x2 − 3),
¡√ √ ¢
se sigue L = Q( 2, 3). Ya habı́amos calculado Q 2, 3
su grupo de Galois, √ }∼
G(L/Q) =√{Id, σ1 ,√σ2 , σ1 σ2√ = , -
Z2 √ × Z2 donde
√ σ (
1 √ 2) = −√ 2, σ 1 ( 3) = 3,
σ2 ( 2) = 2, σ2 ( 3) = − 3. Como Z2 × Z2 M3 = hσ1 σ2 i0
sólo tiene tres subgrupos propios, h(0, 1)i, h(1, 0)i,
M1 = hσ1-i0 , M2 = hσ2 i0
h(1, 1)i, el teorema fundamental de la teorı́a de Ga-
2 2 2
lois asegura que L sólo tiene tres subcuerpos pro-
0 0
pios que vienen dados por M1 = hσ1 i , M2 = hσ2 i ,
M3 = hσ1 σ2 i0 . Ya habı́amos comprobado que estos Q
√ √
subcuerpos √ fijos son M1 = Q( 3), M2 = Q( 2)
y M3 = Q( 6). De nuevo, como Z2 × Z2 es un grupo abeliano todos sus subgrupos
son normales y de antemano podrı́amos saber que las extensiones correspondientes son
normales.
67
√
Ejemplo. Calcular cuántos subcuerpos tiene L = Q( 4 2, i).
La extensión L/Q es de Galois porque L es el cuerpo de descomposición de x4 − 2
sobre Q. Según un ejemplo de la sección anterior,
√ G(L/Q)
√ = {Id, σ, σ 2 , σ 3 , τ, στ, σ 2 τ, σ 3 τ }
4 4
con τ la conjugación compleja y σ(i) = i, σ( 2) = i 2. Por el teorema fundamental de
la teorı́a de Galois el número de subcuerpos coincide con el de subgrupos de G(L/Q).
Aparte de los subgrupos triviales {Id} y G(L/Q), el resto sólo puede tener orden dos o
cuatro. Los subgrupos de orden dos son los generados por un elemento de orden dos, y
los subgrupos de orden cuatro o bien están generados por un elemento de orden cuatro
(si es que son isomorfos a Z4 ) o por dos de orden dos que conmutan (si es que son
isomorfos a Z2 × Z2 ). Podemos revisar todas las posibilidades empleando √ la siguiente
4
tabla que expresa la accción de los elementos de G(L/Q) sobre i y 2, los generadores
de la extensión.
√4
√
4
i √ 2 orden i √ 2 orden
4 4
Id i √ 2 1 τ −i √ 2 2
4 4
σ i i √2 4 στ −i i √2 2
2 4 2 4
σ i − √2 2 σ τ −i − √2 2
3 4 3 4
σ i −i 2 4 σ τ −i −i 2 2
De aquı́ se deduce que los subgrupos de orden dos son G1 = hσ 2 i, G2 = hτ i, G3 =

hστ i, G4 = hσ 2 τ i, G5 = hσ 3 τ i, y los de orden cuatro son G6 = hσi, G7 = hσ 2 , τ i,
G8 = hσ 2 , στ i.
En total hay, por tanto, diez subcuerpos de L:
todos los G0j y los subgrupos triviales L y Q.
. L̄ / . L̄ /
¯ ¯ Hemos representado el retı́culo de subcuerpos
¯ ¯
0 0 0 0 0 0
en tres esquemas por razonas tipográficas (debe-
G/ 4 G G 0 G
¯ . . G¯1 / / ¯ .
2 1 1 G 3 G 5 mos unir el de en medio a los de los lados pe-
¯ ¯ ¯
¯ ¯ ¯ gando los cuerpos idénticos). Los subcuerpos a la
0
G7 G0 G0 G0 G8 0 altura inmediatamente posterior a Q dan lugar a
7 ¯6 . 8
/
¯ extensiones de grado dos, y los siguientes, a exten-
¯ siones de grado cuatro. No todas las extensiones
Q son normales, de hecho, aunque no lo comprobare-
mos aquı́, exactamente G02 /Q, G03 /Q, G04 /Q y G05 /Q
no son normales y el resto de los subcuerpos fijos dan lugar a extensiones normales so-
bre Q.
√ √
Ejemplo. Hallar todos los subcuerpos Q( 2) & M & Q( 4 2, i).
√ Con la notación del ejemplo previo, ya habı́amos visto en la sección anterior que
Q( 2) = G07 . Por tanto debe ser M = H 0 con H un subgrupo propio de G7 . Las únicas
posibilidades son M = G01 , M = G02 y M = G04 . Escribamos cada x ∈ M como
√
4
√4
√4
√4
√
4
√
4
x = λ0 + λ1 i + λ2 2 + λ3 i 2 + λ4 22 + λ5 i 22 + λ6 23 + λ7 i 23 con λj ∈ Q.
√
En el primer caso σ 2 (x) = x lleva a λ2 = λ3 = λ6 = λ7 = 0,√de donde M = Q( 2, i). En
el segundo caso τ (x) = x conduce claramente √ a M = Q( 4 2). Finalmente, σ 2 τ (x) = x
4
implica λ1 = λ2 = λ3 = λ6 = 0 y M = Q(i 2).
Podemos trabajar con extensiones que no sean de Galois si es posible extenderlas a

otras que lo sean.
√
Ejemplo. √ subcuerpos de Q( 4 2).
Hallar todos los √ √
4
Como Q( √ 2) ⊂ L = Q( 4 2, i), los subcuerpos de Q( 4 2) lo serán también de L.
Además Q( 4 2) = G02 implica que corresponderán a subgrupos de G(L/Q) que contengan
a G2 . Según nuestro estudio, las únicas posibilidades
√ ¡ son G7 ,¢G(L/Q) y el√propio G2 . En
0 0
definitiva, los únicos subcuerpos son G7 = Q( 2), G(L/Q) = Q y Q( 4 2).
Demos paso ahora a un ejemplo bastante más complicado en el que calcular el grupo
de Galois, e incluso el grado de la extensión, lleva a aplicar el teorema fundamental de
la teorı́a de Galois.
√
Ejemplo. Hallar G(Q(ζ, 3 3)/Q) con ζ = e2πi/13 . √3
No√ está claro si la extensión es normal.√ Tenemos la inclusión Q(ζ, 3) ⊂ L =
Q(ζ, 3 3, ω) con L/Q normal, ω = (−1 + i 3)/2. √ En√ G(L/Q),√ de acuerdo
√ con el Coro-
3 3 3 2 3
lario 3.2.6, cualquier √ Q-automorfismo
√ √ aplica 3 en 3, ω 3 o ω 3. A continuación
3 2 3 3
probaremos que√ω 3, ω 3 √ 6∈ Q(ζ, 3), de donde se concluye que todos los automorfis-
mos de G(Q(ζ, 3 3)/Q) fijan √ 3
3. Por tanto sus automorfismos serán los extendidos √ desde
√
3 j 3 3
G(Q(ζ)/Q), es decir, G(Q(ζ, 3)/Q) =√{σ1 , σ√ 2 , . . . , σ12 } con
√ σj (ζ) = ζ y σj ( 3) = 3.
3 2 3 3
Resta
√ por tanto demostrar
√ que ω 3, ω 3 ∈
6 Q(ζ, 3), lo cual equivale a ω 6∈
3 3
Q(ζ, 3). √ No puede
√ ser
√ 3 ∈ Q(ζ) porque al ser Q(ζ)/Q normal se tendrı́a la in-
3 3 2 3
clusión Q( 3, ω 3, ω 3) ⊂ Q(ζ) lo que lleva a una contradicción porque el grupo
de Galois
√ (sobre Q) del primer cuerpo no es abeliano√y el segundo sı́. Por consiguiente
3
[Q(ζ, 3) : Q(ζ)] = 3 lo que implica que ω 6∈ Q(ζ, 3 3) − Q(ζ) ya que ω está en una
extensión de grado a lo más dos sobre Q(ζ). Con algunos cálculos (ejercicio) se prueba
que el único subcuerpo de Q(ζ) de grado dos sobre Q es Q(ζ + ζ 3 + ζ 4 + ζ 9 + ζ 10 + ζ 12 ).
Este subcuerpo es de números reales ya que ζ k + ζ 13−k = 2 cos(2πk/13), por tanto no
puede coincidir con Q(ω).
En extensiones de cuerpos finitos todo es muy fácil, porque el grupo de Galois es
siempre cı́clico y hay un subgrupo de cada orden que divida al del grupo. Cada uno de
ellos corresponderá a un subcuerpo isomorfo a algún Fq . Sin embargo siempre podemos
complicar un poco las cosas pidiendo una representación particular de los subcuerpos.
Ejemplo. Sea α una raı́z de x4 + x + 1 ∈ F2 [x] en su cuerpo de descomposición.
Describir los subcuerpos F2 & M & F2 (α) como M = F2 (β) para algún β ∈ F2 (α)
Como x4 + x + 1 es irreducible, [F2 (α) : F2 ] = 4, F2 (α) es isomorfo a F24 y el grupo de
Galois es G(F2 (α)/F2 ) = hφi ∼ = Z4 donde φ es el automorfismo de Frobenius φ(x) = x2 .
El único subgrupo propio es hφ2 i y por tanto M = hφ2 i0 . Cualquier x ∈ F2 (α) se escribe
como x = λ0 + λ1 α + λ2 α2 + λ3 α3 con λj ∈ F2 . En F2 (α), (a + b)4 = a4 + b4 (porque
tiene caracterı́stica dos, ejercicio) y empleando α4 + α + 1 = 0 se tiene que x = φ2 (x)
equivale a
x = λ0 + λ1 α + λ2 α2 + λ3 α3 = λ0 + λ1 (α + 1) + λ2 (α + 1)2 + λ3 (α + 1)3
= (λ0 + λ1 + λ2 + λ3 ) + (λ1 + λ3 )α + (λ2 + λ3 )α2 + λ3 α3
de donde λ3 = 0 y λ1 = λ2 . Por tanto M = F2 (α + α2 ).
69
Ejercicios del Capı́tulo 3

Leyenda: ♥ fácil, ♦ difı́cil, ♦♦ muy difı́cil, ◦ opcional.
Sección 3.1
1. Hallar el cuerpo de descomposición sobre Q del polinomio x6 − 8, y calcular el
grado de la extensión correspondiente.
2. Hallar el cuerpo de descomposición sobre Q del polinomio x4 + 5x2 + 5 y calcular
su grado.
3. Probar que P = x4 − 2x3 − x2 − 2x − 2 y Q = x5 − 3x3 + x2 − 3 tienen el mismo
cuerpo
√ de descomposición sobre Q. Indicación: Nótese que i es raı́z del primero y que
3 es raı́z del segundo.
4. Sean cuerpos K ⊂ M ⊂ L y sea P ∈ K[x] no constante. Si L es cuerpo de
descomposición de P sobre K, probar que L es cuerpo de descomposición de P sobre
M.
¯
5. Si L es el cuerpo de descomposición de P ∈ K[x], demostrar que [L : K]¯(∂P )!.
Indicación: Procédase por inducción en el grado del polinomio, distinguiendo dos casos
al aplicar la hipótesis de inducción dependiendo de la irreducibilidad de P . Recuérdese
que r!s! divide a (r + s)! por la fórmula para los números combinatorios.
6. Sea L/K una extensión de grado 4. Demostrar que si L es el cuerpo de descom-
posición de un polinomio irreducible de la forma x4 + ax2 + b ∈ K[x], existe un cuerpo
intermedio K ⊂ E ⊂ L tal que [E : K] = 2.
7. Si K ⊂ M ⊂ L, demostrar que L/K normal ⇒ L/M normal, pero L/K normal
6⇒ M/K normal, y L/M , M/K normales 6⇒ L/K normal.
√ √ √ √
8. Estudiar si las extensiones Q( 3 −2, −2)/Q y Q( 3 −3, −3)/Q, son normales.
9. Probar que P = x6 + x3 + 1 es irreducible en Q[x] y utilizarlo para demostrar que
la extensión Q(e2πi/9 )/Q, es normal y de grado 6.
10. Demostrar que toda extensión de grado dos es normal.
11. Dar un ejemplo de una extensión normal que no sea finita.
12. Estudiar si Q(x)/Q(x3 ) es normal.
13. Dar un ejemplo de una extensión normal de grado 3.
♦14. Dar un ejemplo de extensión normal de grado 3 sobre Q. Indicación: Buscar un
polinomio cuyas raı́ces sean cos(2π/7), cos(4π/7) y cos(6π/7).
15. Demostrar que dada una extensión finita M/K siempre existe un L, L ⊃ M ⊃ K
tal que L/K es normal y finita. A un cuerpo con estas caracterı́sticas y [L : K] mı́nimo
se le llama clausura normal (o cierre normal)√de M/K. Probar que sólo hay una clausura
normal salvo isomorfismos y hallar la de Q( 5 5)/Q.
16. Demostrar que K1 = F2 [x]/hx3 + x + 1i y K2 = F2 [x]/hx3 + x2 + 1i son cuerpos
de descomposición de x8 − x ∈ F2 [x]. Concluir que K1 y K2 son isomorfos.
17. Probar que F8 es el cuerpo de descomposición de x3 + x2 + 1 ∈ F2 [x] y que F8 /F2
es simple.
18. ¿Cuál es el grupo aditivo de F8 ?
19. Si P ∈ Fp [x] es irreducible y gr P = n, ¿es su cuerpo de descomposición isomorfo
a Fpn ?
20. Estudiar si F64 es una extensión de F16 y de F8 y en su caso hallar el grado.
21. Sea P = xq − x con q = pn . Demostrar que cualquier polinomio irreducible en
Fp [x] de grado n divide a P .
22. Probar que todos los factores irreducibles de xq − x ∈ Fp [x] con q = pn , son de
grado menor o igual que n.
23. Demostrar que si α es una raı́z de x3 − 2 en F73 , entonces −1, α y −1 + α tienen
orden (multiplicativo) 2, 9 y 19 respectivamente en el grupo multiplicativo de F73 . Galois
utilizó este hecho para deducir que una raı́z de x3 − x + 1 ∈ F7 [x] genera este grupo
multiplicativo. Tratar de reconstruir su argumento. Indicación: 73 − 1 = 2 · 9 · 19 y en
un grupo abeliano |hgi| = n, |hhi| = m ⇒ |hghi| = mcm(n, m).
♦24. Probar que el grupo multiplicativo de un cuerpo finito es cı́clico. Indicación:
Estudiar el número de raı́ces de xn − 1.
◦25. Se dice que un cuerpo de caracterı́stica p es un cuerpo perfecto si el morfismo
de Frobenius x 7→ xp es un isomorfismo. Probar que si K es perfecto todo polinomio
irreducible en K[x] es separable. Indicación: Tratar de ajustar la prueba vista en el caso
K = Fp .
26. ¿Cuántas raı́ces distintas tiene x12 + 2x6 + 1 ∈ F3 [x] en su cuerpo de descom-
posición?
♦27. Sea K un cuerpo de caracterı́stica p > 0 y supongamos que P = xp − x − a es
irreducible en K[x]. Probar que si α ∈ L ⊃ K es raı́z de P entonces K(α)/K es normal.
28. Sea K un cuerpo de caracterı́stica p 6= 0, y sea f (x) = xp − a ∈ K[x]. Demostrar
que f (x) es irreducible sobre K, o que descompone como producto de factores de grado
1 sobre K.
29. Si K ⊂ M ⊂ L con L/K finita, demostrar que L/K separable⇒ L/M separable,
pero M/K separable 6⇒ L/K separable.
30. Hallar una extensión separable y normal que no sea finita.
31. Dar un ejemplo de una extensión de grado 3 no separable.
71
n
32. Sea K un cuerpo de caracterı́stica p 6= 0. Probar que xp − x no tiene raı́ces
repetidas.
33. Sea L/K una extensión algebraica con K un cuerpo de caracterı́stica p > 0.
Demostrar que si α ∈ L es separable sobre K y αn ∈ K con n una potencia de la
caracterı́stica, entonces α ∈ K.
34. Sea L/K una extensión algebraica con K un cuerpo de caracterı́stica p > 0.
Probar que α ∈ L es separable sobre K si y sólo si K(α) = K(αp ).
35. Sabiendo que el cuerpo de descomposición de un polinomio sin raı́ces múltiples
da lugar siempre a una extensión separable (lo cual es el contenido de un ejercicio de la
próxima sección), probar que los elementos separables sobre un cuerpo siempre forman
un cuerpo.
♦♦36. Sea L/K finita, a partir de la conclusión del ejercicio anterior, probar que si
L/M y M/K son separables, L/K también lo es. Indicación: Comenzar probando que
para todo α ∈ L existe n igual a una potencia de char(K) tal que αn es separable.
37. ¿Es cierto el recı́proco del teorema del elemento primitivo?
♦♦38. Demostrar que si K ⊂ L y [L : K] < ∞, la extensión L/K no es simple si y sólo
si existen infinitos cuerpos intermedios K ⊂ M ⊂ L. Indicación: Si L = K(α), probar
que M debe estar generado sobre K por los coeficientes de algún factor del polinomio
mı́nimo de α.
Sección 3.2
♥39. Si L = K(a1 , . . . , an ) y σ es un K-automorfismo de L tal que σ(ai ) = ai para
todo i, probar que σ es la identidad.
40. Sea L un cuerpo. Demostrar que cualquier automorfismo es un K-automorfismo
donde K es la intersección de todos los subcuerpos de L (el llamado subcuerpo primo).
41. Demostrar que los conjuntos:
½ µ ¶ µ ¶ ¾
√ 1 0 0 −1
A = {λ1 + λ2 7 : λ1 , λ2 ∈ Q} y B = λ1 + λ2 : λ1 , λ 2 ∈ Q
0 1 1 0
son espacios vectoriales sobre Q isomorfos, pero no son cuerpos isomorfos. Indicación:
Sólo en uno de ellos la ecuación x2 + 1 = 0 tiene solución.
42. ¿Cuáles son los automorfismos de Q? ¿y los R-homomorfismos (homomorfismos
que dejan fijo R) de C en C?
43. Este ejercicio determina Aut(R/Q).
i) Probar que cada σ ∈ Aut(R/Q) lleva cuadrados a cuadrados y reales positivos a
reales positivos. Concluir que a < b ⇒ σ(a) < σ(b).
ii) Probar que |a − b| < 1/m ⇒ |σ(a) − σ(b)| < 1/m. Concluir que σ es una
aplicación continua de R.
iii) Comprobar que una aplicación continua de R que es la identidad sobre Q debe
ser la identidad en todo R, y por tanto Aut(R/Q) = {Id}.
√ √ √ √ √
44.
√ Probar
√ con √todo rigor que en Q( 2, 3) la aplicación σ(a + b 2 + c 3 + d 6) =
a − b 2 + c 3 − d 6 con a, b, c, d ∈ Q es un Q-automorfismo.
45. Hallar el grupo de Galois del cuerpo de descomposición de x4 + x2 − 6 sobre Q.
46. Encontrar
√ el √ grupo de Galois de una extensión normal de Q de grado mı́nimo
3
conteniendo a 2 + 2.
√ √
47. Calcular el grupo de Galois de la extensión Q( 2, 5)/Q.
48. Hallar el grupo de Galois del polinomio x4 − 9 sobre Q.
49. Hallar el grupo de Galois del polinomio x4 + 9 sobre Q.
50. Calcular G(L/K) donde K = Q(e2πi/5 ) y L es el cuerpo de descomposición de
P = x5 − 7 sobre K.
51. Sea K ⊂ C el cuerpo de descomposición de x2 − x + 1 ∈ Q[x] y L el de x3 − 2.
Hallar G(L/K).
52. Hallar el grupo de Galois del cuerpo de descomposición de x3 − 5 ∈ Q[x].
53. Recuérdese que el cuerpo de descomposición, L, de P = x2 + x + 1 ∈ F2 [x] es un
cuerpo de cuatro elementos. Hallar sus automorfismos y sus F2 -automorfismos.
54. Sea P ∈ K[x] irreducible de grado tres con char(K) = 0, y sea L su cuerpo de
descomposición. Demostrar que o bien [L : K] = 3 o bien [L : K] = 6.
¡ √ √ ¢ ¡ √ √ √ ¢ ¡ √ ¢
55. Hallar G Q( 4 2)/Q( 2) , G Q( 2 + 3)/Q( 6) , G Q( 4 2)/Q .
¡ √ √ √ ¢
56. Hallar G Q( 3 + 4 3)/Q( 3) .
¡ √ √ ¢
57. Hallar G Q( 5 + 7)/Q .
58. Sea P = x4 − 3x2 + 4 ∈ Q[x]. Calcular el grupo de Galois de su cuerpo de
descomposición sobre Q.
√
59. Sea α = 2 + i y sea P el polinomio mı́nimo de α sobre Q. Hallar el grupo de
Galois del cuerpo de descomposición de P sobre Q.
60. Calcular G(Q(x, y)/Q(x + y, xy)) y G(Q(x, y, z)/Q(x + y + z, xy + xz + yz, xyz))
donde Q(x, y) y Q(x, y, z) denotan los cuerpos de funciones racionales en dos y tres
variables respectivamente. Indicación: En el primer caso, x e y son raı́ces del polinomio
X 2 − (x + y)X + xy ∈ Q(x + y, xy)[X].
♦61. Calcular G(Q(x)/Q).
¡ ¢
62. Hallar un grupo sencillo que sea isomorfo a G Q(e2πi/13 )/Q .
♥63. ¿Por qué G(L/H 0 ) ⊃ H es trivial?
73
¡ 64. Probar ¢que si¡ L = Q(cos

2π
¢ 173), G(L/Q) = {Id, σ, σ 2 , σ 3 , σ 4 , σ 5 , σ 6 , σ 7 } ∼
= Z8 donde
−1
σ 2 cos(2π/17) = σ ζ + ζ = ζ + ζ con ζ = e2πi/17 . Demostrar que cos(2πk/17) ∈
−3
L y que σ(cos(2πk/17)) = cos(6πk/17). Si H = {Id, σ 4 }, probar que H 0 = Q(x1 , x2 )

donde x1 = cos 2π
17
+ cos 26π
17
y x2 = cos 2π
17
· cos 26π
17
.
65. Encontrar todos los elementos de G(Q(ζ)/Q) con ζ = e2πi/7 que dejan fijo a
ζ + ζ 2 + 3ζ 3 + ζ 4 + 3ζ 5 + 3ζ 6 .
66. Hallar G(Q(ζ)/Q(ζ + ζ 3 + ζ 9 )) con ζ = e2πi/13 .
67. Sean L1 y L2 los cuerpos de descomposición de dos polinomios P1 y P2 sobre Q.
Demostrar que si L1 ∩ L2 = Q, entonces G(L1 /Q) × G(L2 /Q) ∼ = G(L/Q) donde L es el
cuerpo de descomposición de P1 P2 .
68. Hallar una extensión cuyo grupo de Galois sea isomorfo a Z2 × Z2 × Z2 .
69. Si H y N son subgrupos de G(L/K) cuyos subcuerpos fijos son H 0 = L1 y
N 0 = L2 , indicar qué subcuerpo es hσ, τ : σ ∈ H, τ ∈ N i0 .
¡
70. Si L = Q(x,
¢ y, z) y K = Q(x + y + z, xy + xz + yz, xyz), probar que Q (x −
0
y)(x − z)(y − z) = hσi con σ un elemento de orden 3 de G(L/K).
♦71. Sea L el cuerpo de descomposición de un polinomio sin raı́ces múltiples. Digamos
L = K(α1 , α2 , . . . , αn ) con P = (x − α1 )(x − α2 ) · · · (x − αn ) ∈ K[x], αi 6= αj . Sea
Lj = K(α1 , α2 , . . . , αj ) y L0 = K. Probar que cada monomorfismo Lj −→ L se extiende
a [Lj+1 : Lj ] monomorfismos Lj+1 −→ L. Deducir de ello que |G(L/K)| = [L : K].
Concluir finalmente que todos los elementos de L son separables sobre K.
72. Hallar G(Q(x)/Q(xn )), G(C(x)/C(xn )) y G(K(x)/K(x15 )) con K = Q(e2πi/3 ),
calculando en cada caso los cuerpos que quedan fijos por todos los automorfismos.
73. Hallar G(F2 (x)/F2 (x2 )).
74. Consideremos ζ = e2πi/5 y sea σ √el Q-automorfismo de Q(ζ) dado por σ(ζ) = ζ 4 .
Demostrar que el cuerpo fijo de σ es Q( 5). Indicación: Elevar al cuadrado 12 + ζ 2 + ζ 3 .
75. Sea L = F2 [x]/hx4 +x3 +1i y K = F2 [x]/hx2 +x+1i. Hallar G(L/K) y comprobar
que el orden del morfismo de Frobenius en L es 4.
♥76. Si σ tiene orden 4 y τ 6= σ 2 tiene orden 2, ¿por qué sabemos que los automorfismos
en {Id, σ, σ 2 , σ 3 , τ, στ, σ 2 τ, σ 3 τ } son distintos?
77. Sea L el cuerpo de descomposición en√C del polinomio
√ x4 + 1 sobre Q. Encontrar
los automorfismos de L con cuerpos fijos Q( −2) y Q( 2).
78. Sea σ un elemento de G(L/K) de orden 2n. Demostrar que para cualquier α ∈ L,
α + σ 2 (α) + σ 4 (α) + · · · + σ 2n−2 (α) ∈ hσ 2 i0 .
Sección 3.3
79. Sea L = Q(ζ) donde ζ = e2πi/11 . Demostrar que L es una extensión normal
de Q y determinar su grupo de Galois. Encontrar todos los cuerpos intermedios de la
extensión L/Q y los subgrupos de G(L/Q) que les corresponden indicando cuáles dan
lugar a extensiones normales de Q.
80. Si L/K es una extensión de Galois con grupo de Galois cı́clico, probar que dos
cuerpos intermedios M1 , M2 (conteniendo a K) satisfacen M1 ⊂ M2 si y sólo si [L : M1 ]
es un múltiplo de [L : M2 ].
81. Sean K ⊂ M ⊂ L con L/K de Galois. Probar que M = K(a) con a ∈ M si
y sólo si los únicos elementos de G(L/K) que
√ √ fijan a están
√ en√G(L/M ). Emplear este
resultado para dar√ una
√ nueva prueba
√ de
√ Q( 2, 3) = Q( 2 + 3). Demostrar de igual
3 3
manera que Q( 17, 17) = Q( 17 + 17).
♥82. Si K ⊂ M ⊂ L y L/K es de Galois, ¿deben ser necesariamente L/M y M/K de
Galois?
83. Si en una extensión de Galois L/K, con char(K) 6= 2, el grupo de Galois es
Z2 × Z2 , demostrar que L = K(α, β) con α2 , β 2 ∈ K.
√
84. Sea α = 2 + i y sea P el polinomio mı́nimo de α sobre Q. Hallar todos los
subcuerpos de su cuerpo de descomposición sobre Q.
♥85. Demostrar que si L es un cuerpo de descomposición de un polinomio sobre Q y
G(L/Q) es abeliano, entonces M/Q es normal para todo subcuerpo M , Q ⊂ M ⊂ L.
86. Supongamos que f (x) ∈ Q[x] es irreducible con ∂f = 4 y su cuerpo de descom-
posición sobre Q tiene grupo de Galois A4 . Sea θ una raı́z de f (x) y sea L = Q(θ).
Probar que L es una extensión de grado 4 de Q que no tiene subcuerpos propios. ¿Hay
alguna extensión de Galois de Q de grado cuatro sin subcuerpos propios?
87. Probar que si el grupo de Galois del cuerpo de descomposición de una cúbica
sobre Q es Z3 , entonces todas las raı́ces de la cúbica son reales.
88. Hallar el grupo de Galois del cuerpo de descomposición de P = (x2 − 3)(x2 + 3)
sobre Q, calculando los subcuerpos intermedios.
89. Calcular cuántos subcuerpos tiene el cuerpo de descomposición de P = x5 +
3x3 − 3x2 − 9 sobre Q.
90. Calcular cuántos subcuerpos tiene el cuerpo de descomposición de P = x7 +
4x5 − x2 − 4 sobre Q.
91. Hallar todos los subcuerpos del cuerpo de descomposición sobre Q de P = x4 +1.
92. Hallar todos los subcuerpos propios del cuerpo de descomposición de P = x4 − 2
sobre Q.
¡ ¢
93. Calcular cuántos subcuerpos tiene Q cos(2π/13) .
¡ 2πi/7
¢
94. Estudiar qué automorfismos ¡ de G Q(e¢ )/Q dejan invariante
¡ i sen(2π/7)
¢ y
2πi/7
utilizar el resultado para hallar [Q i sen(2π/7) : Q] y [Q(e ) : Q i sen(2π/7) ].
♥95. Sabiendo que L/Q es normal y [L : Q] = p, hallar un grupo isomorfo a G(L/Q).
75
96. Si G(L/K) ∼ = Zpq (donde p y q son primos distintos) con L/K normal, finita y
separable, ¿cuántos subcuerpos, M , hay con K ⊂ M ⊂ L?
97. Si G(L/Q) ∼= Zp2 q (donde p y q son primos distintos) con L/Q de Galois, probar
que L tiene subcuerpos L1 , L2 , L3 tales que [L1 : Q] = p, [L2 : Q] = p2 y [L3 : Q] = q.
98. Sea K un cuerpo de caracterı́stica cero, y sea E el cuerpo de descomposición de
algún polinomio sobre K. Si G(E/K) es isomorfo a A4 , probar que E no tiene ningún
subcuerpo L tal que [E : L] = 2.
99. Sea α una raı́z de x4 + x3 + 1 ∈ F2 [x]. Hallar β en función de α de tal forma
que F2 & F(β) & F2 (α) y dar un polinomio en F2 [x] cuyo cuerpo de descomposición sea
F2 (β).
100. Demostrar que si Q ⊂ M ⊂ Q(e2πi/k ), entonces G(M/Q) es abeliano. (Nota: El
recı́proco, para M/Q de Galois, es un profundo resultado llamado teorema de Kronecker-
Weber ).
101. Para cada n par hallar un polinomio P ∈ Q[x] con ∂P = n y raı́ces distintas
no racionales, tal que el grupo de Galois de su cuerpo de descomposición sea isomorfo
a Z2 .
102. Hallar una extensión normal de Q cuyo grupo de Galois sea Z9 . Indicación:
9 = (19 − 1)/2.
103. Sea L/K una extensión de Galois y sean M1 /K y M2 /K subextensiones de
Galois. Demostrar que si M3 es el menor subcuerpo de L que contiene a M1 y M2 ,
entonces G(M3 /M1 ) es isomorfo a G(M2 /(M1 ∩ M2 )).
104. Sea p = 2q + 1 con p y q primos, hallar cuántos subcuerpos tiene Q(e2πi/p ).
105. Sea L un cuerpo y sea G un subgrupo finito del grupo de automorfismos φ :
L −→ L. Sea K = {a ∈ L : φ(a) = a, ∀ φ ∈ G}. i) Probar que K es un subcuerpo
de L con [L : K] = |G|. ii) Probar que si L/K es simple, es de Galois. ♦iii) Probar
incondicionalmente que L/K es de Galois.
√
106. Demostrar que 3 n ∈ Q(e2πi/p ) con n ∈ Z y p primo si y sólo si n es un cubo
perfecto.
√
♦♦107. Sea p un primo con p − 1 divisible por 4. Demostrar que n ∈ P Q(e2πi/p ) con
n ∈ Z si y sólo si n o n/p son cuadrados perfectos. Indicación: Probar que pn=1 e2πin /p
2
genera la única subextensión de grado 2 de Q(e2πi/p ).

√ √
108. Sea L = F3 ( 3 x, 3 y) y K = F3 (x, y). Demostrar que L/K es normal y finita,
pero existen infinitos subcuerpos intermedios K ⊂ M ⊂ L. ¿Por qué esto no contradice
el teorema fundamental de la teorı́a de Galois?
◦109. Galois enunció el siguiente lema sin demostración “Sea una ecuación cualquiera
sin raı́ces iguales, digamos a, b, c, . . . Siempre se puede formar una función V de las
raı́ces tal que los valores que se obtienen permutando dichas raı́ces de todas las formas
posibles son todos desiguales. Por ejemplo se puede tomar V = Aa + Bb + Cc + . . . ,
siendo A, B, C, . . . números enteros [no nulos] convenientemente elegidos”. Y después

dedujo otro lema: “La función tomada anteriormente tienen la propiedad de que todas las
raı́ces de la ecuación propuesta se expresan racionalmente en función de V ”. En notación
moderna esto es a, b, c, · · · ∈ K(V ) donde K es el cuerpo generado por los coeficientes
de la ecuación. Probar estos resultados (para K ⊂ C). Indicación: El primero se cumple
para números complejos arbitrarios. Para el segundo, Galois aplicó el teorema de los
polinomios simétricos al producto de factores (Ax + Bb + Cc + · · · − V ) permutando de
todas las formas posibles b, c, . . . pero sin cambiar V .
77
Apéndice del Capı́tulo 3
Conoce a tus héroes
(Más información en: http://turnbull.mcs.st-and.ac.uk/history/)

E. Galois vivió durante
los tumultuosos años de la
restauración monárquica en Apellido: Galois
Francia después de Napo- Nombre: Evariste
león. A pesar de su brevı́si- Nacimiento: 1811 Bourg La Reine
ma vida, el importante es- Defunción: 1832 Parı́s
tudio que realizó sobre la
resolución de ecuaciones al-
gebraicas por medio de gru-
pos de permutaciones ha brindado a las Matemáticas una de sus partes más bellas,
conocida hoy de forma genérica en su honor como teorı́a de Galois. Sus trabajos no
recibieron la merecida atención en su tiempo, y no alcanzaron difusión entre la comu-
nidad matemática hasta más de una década tras su muerte. Esto, combinado con la
juventud de Galois, su intensa actividad revolucionaria y su fallecimiento en un duelo,
ha transformado a veces su biografı́a en una leyenda no siempre fiel a la realidad [Rot].
Bla, bla, bla
Sea una ecuación tal con congruencias, F (x) = 0, y p el módulo. Supongamos,

para simplificar, que la congruencia no admite ningún factor conmensurable, esto
es, que no existen funciones φ(x), ψ(x), χ(x) tales que φ(x)ψ(x) = F (x) + pχ(x).
En ese caso, la congruencia no admitirá ninguna raı́z entera, ni ninguna raı́z
inconmensurable de grado inferior. Consideremos las raı́ces de esta congruencia
como una especie de sı́mbolos imaginarios, ya que no se ajustan a discusiones con
números enteros,
√ sı́mbolos cuyo empleo en los cálculos será tan útil como el del
imaginario −1 en el análisis ordinario. E. Galois 1830.
Teorema: Sea una ecuación dada y a, b, c, . . . sus m raı́ces. Hay un grupo de per-
mutaciones de las letras a, b, c, . . . que goza de las propiedades siguientes: i) Toda
función de las raı́ces invariante por las sustituciones del grupo es racionalmente
conocida; ii) Recı́procamente, toda función de las raı́ces determinable racional-
mente es invariante por las sustituciones. E. Galois 1831.
Hemos hecho grandes esfuerzos para comprender las pruebas de Galois. Su razona-
miento no está ni suficientemente claro ni desarrollado para permitirnos juzgar
su corrección, y no podemos hacernos una idea de él. El autor anuncia que la
proposición que constituye el objetivo de esta memoria forma parte de una teorı́a
general susceptible de muchas aplicaciones. S.D. Poisson 1831.
Pide a Jacobi o a Gauss públicamente que den su opinión, no acerca de la certeza,

sino de la importancia de estos teoremas. Más adelante habrá gente, espero, que en-
contrará provechoso descifrar todo este lı́o. E. Galois 1832 (de su carta a A. Cheva-
lier, el dı́a antes del duelo que causó su muerte).
¿Qué hay que saberse?
Esencialmente, manejar extensiones normales, conocer el concepto de separabilidad,

calcular grupos de Galois de extensiones suficientemente sencillas y, por supuesto, hay
que saberse perfectamente el teorema fundamental de la teorı́a de Galois y cómo se
aplica en diferentes ejemplos.
(PQR) Preguntón, quejoso y respondón
P- La teorı́a de Galois, ¿es realmente de Galois?

R- En tiempos de Galois no habı́an sido definidos los automorfismos, ni las extensiones de cuerpos, ni
sus grados, y los grupos eran sólo de permutaciones; de modo que no podemos esperar encontrar
en los trabajos de Galois algo similar a lo que contienen los libros de hoy en dı́a titulados “Teorı́a
de Galois”.
Q- Entonces el nombre es inadecuado.
R- No, porque la idea de que la estructura del cuerpo de descomposición queda fielmente reflejado
en un grupo y la utilización de ello para dar una solución final al problema de resolubilidad por
radicales, son suyas.
P- El cálculo del grupo de Galois parece algo combinatorio que se reduce a comprobar unas cuantas
posibilidades, ¿no es ası́?
R- Sólo cuando tenemos extensiones de Galois presentadas de forma muy simple. Si nos enfrentáse-
mos al cuerpo de descomposición de x5 − 6x + 3 no sabrı́amos cómo empezar.
P- Tendrı́amos que hallar explı́citamente las raı́ces.
R- Una consecuencia de la teorı́a de Galois es que tal cosa es imposible con las operaciones algebraicas
habituales.
Q- Entonces no hay ningún método general para hallar G(L/Q) con L/Q de Galois.
R- En realidad sı́, pero requerirı́a tantas operaciones que es impracticable.
Q- Pero si en general no podemos hallar el grupo de Galois, la teorı́a de Galois no sirve para nada.
R- Nos dice que es lo mismo estudiar subcuerpos que subgrupos, lo cual es un descubrimiento
matemático de primer orden, independientemente de lo difı́ciles que sean los cálculos.
P- ¿Y es posible obtener cualquier grupo finito como grupo de Galois del cuerpo de descomposición
de un polinomio en Q[x]?
R- Se cree que sı́, pero nadie ha conseguido demostrarlo hasta ahora.

APalg II3

Cargado por

Copyright:

Formatos disponibles

APalg II3

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

APalg II3

Cargado por

Copyright:

Formatos disponibles

Capı́tulo 3

3.1. Extensiones normales y separables

La primera condición, a la que dedicaremos casi todos nuestros esfuerzos en esta

Definición: Sea L/K una extensión. Se dice que L es un cuerpo de descomposición (o

Si hubiéramos partido de un polinomio de tercer grado, el lema anterior nos habrı́a

Proposición 3.1.2 Para cada P ∈ K[x] existe un cuerpo de descomposición L de P y

Ejemplo. El cuerpo F3 [i] donde i 6∈ F3 es un sı́mbolo que operamos formalmente

y por tanto el cuerpo de descomposición es el propio F2 . De hecho F2 [i] no es un cuerpo

Proposición 3.1.3 Una extensión L/K es normal y finita si y sólo si L es el cuerpo

Demostración: Distingamos cada una de las implicaciones. Como siempre, comen-

[L(α) : K(α)][K(α) : K] [L(β) : K(α)][K(α) : K]

Ejemplo. La extensión Q(e2πi/n )/Q es normal porque Q(e2πi/n ) es el cuerpo de des-

Definición: Si q = pn donde p es primo y n ∈ Z+ , se denota con Fq (o con GFq ) y se

Ejemplo. F4 es, salvo isomorfismos, el cuerpo L = {0, 1, α, β} descrito anteriormente

Ejemplo. F9 es, salvo isomorfismos, el cuerpo L = F3 [i], también considerado ante-

se sigue que todas las raı́ces están en L.

byte 1 1 0 0 0 1 0 0 1 byte de paridad 1 1 0 1 1 1 0 0

Teorema 3.1.4 Sea L un cuerpo finito, entonces es isomorfo a Fq , q = pn , donde p es

Demostración: Notemos antes de comenzar que la caracterı́stica de un cuerpo, si no es nula, es un

Ejemplo. El cuerpo de descomposición de x3 + 2x + 1 ∈ F5 [x] es isomorfo a F125 .

Ejemplo. Estudiar si el polinomio P = x4 + x + 1 es irreducible en F4 [x] y hallar el

Pasemos ahora a estudiar la segunda condición técnica a la que nos referimos al

Definición: Se dice que un polinomio irreducible P ∈ K[x] es separable sobre K si no

Lema 3.1.5 Dado P = an xn + an−1 xn−1 + · · · + a1 x + a0 ∈ K[x] irreducible, entonces P

Nota: La denominación tiquismiquis de P 0 como derivada formal en vez de simple-

Demostración: Distinguimos las dos implicaciones:

Una consecuencia inmediata es la imposibilidad de encontrar ejemplos de extensiones

Proposición 3.1.6 Si K es un cuerpo de caracterı́stica cero, todo polinomio irreducible

Demostración: Por el lema anterior, para que P = an xn + . . . a1 x + a0 ∈ K[x]

Proposición 3.1.7 Si K es un cuerpo finito, todo polinomio irreducible en K[x] es

y se concluye que P no es irreducible. 2

Ejemplo. La extensión F2 (t)/F2 (t2 ) (donde t es una variable) es inseparable, porque

3.2. El grupo de Galois

Pensemos en cualquier identidad involucrando las operaciones elementales (suma,

Definición: Dado un subgrupo H de G(L/K), se dice que {x ∈ L : σ(x) = x, ∀σ ∈ H}

Ejemplo. G(C/R) = {Id, conj} ∼ = Z2 , donde conj(z) = z es la conjugación compleja.

Lema 3.2.3 Sean σ1 , σ2 , . . . , σr ∈ G(L/K) automorfismos distintos, entonces el conjun-

Demostración: Procedemos por reducción al absurdo. Sea n el menor número de

(3.1) λ1 σ1 (α) + λ2 σ2 (α) + · · · + λn σn (α) = 0 ∀α ∈ L

para ciertos λj 6= 0. Como α es arbitrario lo podemos sustituir por αβ donde β ∈ L se

λ1 σ1 (α)σ1 (β) + λ2 σ2 (α)σ2 (β) + · · · + λn σn (α)σn (β) = 0 ∀α ∈ L.

λ01 σ1 (α) + λ02 σ2 (α) + · · · + λ0n−1 σn−1 (α) = 0 ∀α ∈ L

Proposición 3.2.4 Sea H un subgrupo finito de G(L/K). Si H 0 es el subcuerpo fijo por

Demostración: Obviamente la segunda igualdad se sigue de la primera por la Propo-

Ejemplo. Si H = G(C/R) = {Id, conj}, se tiene [C : H 0 ] = [C : R] = 2 = |H|.

Proposición 3.2.5 Sea L/K normal y finita y sean M1 y M2 dos subcuerpos de L

Demostración: Como [L : M1 ] < ∞, basta aplicar repetidas veces que si α ∈ L

i1 : M1 (α) −→ M1 [x]/hP1 i, i2 : M2 (β) −→ M2 [x]/hP2 i.

Corolario 3.2.6 Sea L/K normal y finita. Si P es un polinomio irreducible y α, β ∈ L

Demostración: Basta aplicar la proposición tomando M1 = K(α), M2 = K(β) y el

Corolario 3.2.7 Si L/K es normal, finita y separable, |G(L/K)| = [L : K].

Demostración: Tomando H = G(L/K) en la Proposición 3.2.4 se sigue [L : K] ≥

En definitiva, λ3 = λ5 = 0, λ1 = λ4 = λ2 , o escrito de otra forma, x = a + b(ζ + ζ 2 + ζ 4 ).

Ejemplo. Hallar el grupo de Galois del cuerpo de descomposición de P = x3 − 2

Ejemplo. Hallar el √ subcuerpo

Proposición 2.2.2 cada x ∈ L se escribe de forma única como

con λj ∈ Q. Por una parte, τ (x) = x implica λ1 = λ3 = λ5 = λ7 = 0, y por otra, para

Ejemplo. Hallar el grupo de Galois del cuerpo de descomposición de P = x4 −2x2 −1

G(L/Q) = {Id, τ1 , τ2 , τ1 τ2 , σ, στ1 , στ2 , στ1 τ2 }.