Nombre: Calificación

Apellidos:
DNI/Alias
Titulación

1 2 3 4 5 6 7 8

Convocatoria ordinaria: 13 de Mayo 2022

Ejercicio 1. (1) (10 ptos) Demostrar que el polinomio f := t4 2t2 4 es irreducible en Q[t].
(2) (10 ptos) Encontrar una extensión K|Q de grado 2 tal que f sea reducible en K[t].
(3) (10 ptos) Sea Qf un cuerpo de descomposición de f sobre Q. Calcular el grado [Qf : Q].
(4) (10 ptos) ¿Cuál es el grupo de Galois G(Qf : Q)?
(5) (10 ptos) Sea Kf un cuerpo de descomposición de f sobre K. Hallar el grupo de Galois
G(Kf : K).

Solución. (1) Para demostrar que f es irreducible en Q[t] basta ver que lo es en Z[t]. Los
divisores de f (0) = 4 en Z son ±1, ±2 y ±4, y ninguno de ellos es raı́z de f pues
f (±1) = 5, f (±2) = 4 y f (±4) = 220,
luego f carece de raı́ces en Z. Por ello, si f fuese reducible en Z[t] existirı́an a, b, c 2 Z tales que
t4 2t2 4 = f (t) = (t2 + at + b)(t2 at + c).
Igualando coeficientes resulta 8
>
> a2 b c = 2,
>
<
a(b c) = 0,
>
>
>
: bc = 4.
De la tercera ecuación se deduce que b y c tienen signos distintos. En particular b 6= c, luego
a=0y 8
< b+c = 2,
: bc = 4,
luego b y c son las raı́ces del polinomio de segundo grado g(t) := t2 + 2t 4 = (t + 1)2 5. Es
decir, p p
b = 5 1 y c = ( 5 + 1). (0.1)
Como b, c 2/ Z, f es irreducible en Q[t].
p
(2) Acabamos de probar que f es reducible en K[t] donde K := Q( 5) y [K : Q] = 2.
(3) En el apartado (1) hemos probado que
f (t) = (t2 + b)(t2 + c)
pp pp
donde b y c vienen dados en (0.1), luego si u := 5 + 1 y v := 5 1i, un cuerpo de
descomposición de f sobre Q es Qf := Q(u, v) = Q(u, uv). Como uv = 2i se tiene Qf = Q(u, i).
Nótese que Q(u) ⇢ R, ası́ que [Q(u, i) : Q(u)] = 2, luego
[Qf : Q] = [Q(u, i) : Q(u)] · [Q(u) : Q] = 2 · deg(PQ,u ).

1
 p
Para calcular PQ,u observamos que u2 1 = 5, ası́ que u4 2u2 + 1 = 5, o sea, u4 2u2 4 = 0,
es decir, f (u) = 0, y vimos en el primer apartado que f es irreducible en Q[t], luego f = PQ,u .
En particular deg(PQ,u ) = 4, ası́ que [Qf : Q] = 8.
(4) Obsérvese que Q(u)|Q es una subextensión no de Galois de Qf |Q, ya que el polinomio f
es irreducible en Q[t], posee una raı́z en Q(u), que es u, pero no factoriza en Q(u)[t] como
producto de factores lineales ya que la raı́z v de f no es real mientras que Q(u) ⇢ R. Por tanto,
G(Qf : Q), cuyo orden es ord(G(Qf : Q)) = [Qf : Q] = 8 posee, por la segunda parte del
Teorema fundamental de la teorı́a de Galois, algún subgrupo no normal. Los cinco grupos de
orden 8 son
Z8 , Z 4 ⇥ Z2 , Z 2 ⇥ Z2 ⇥ Z 2 , Q y D4 ,
y el único de ellos que posee algún subgrupo no normal es D4 , luego G(Qf : Q) ' D4 .

Solución alternativa. Cada elemento de G(Qf : Q) queda determinado por las imágenes de
u y de i. Las imágenes de u son las raı́ces de f , es decir, u1 := u, u2 := u, u3 := v y u4 := v,
y las de i son ±i. En consecuencia
G(Qf : Q) = {'jk : 1  j  4, 0  k  1},
donde 'jk (u) = uj y 'jk (i) = ( 1)k i. Para determinar qué grupo es G(Qf : Q) comenzamos
probando que no es abeliano. En efecto,
2i
('11 · '31 )(u) = '31 ('11 (u)) = '31 (u) = u3 = v = ,
u
mientras que
⇣ 2i ⌘ 2' (i) 2i
11
('31 · '11 )(u) = '11 ('31 (u)) = '11 = = ,
u '11 (u) u
luego '31 · '11 6= '11 · '31 . Como sólo existen dos grupos no abelianos de orden 8, que son el
grupo diedral D4 y el cuaternión Q, el grupo G(Qf : Q) es uno de estos dos. Estos grupos se
distinguen por el número de elementos de orden 2, pues mientras Q tiene un único elemento de
orden 2, el grupo diedral D4 tiene 5. Calculamos
('11 · '11 )(u) = '11 ('11 (u)) = '11 (u) = u y ('11 · '11 )(i) = '11 ( i) = i,
ası́ que o('11 ) = 2. Además,
('21 · '21 )(u) = '21 ('21 (u)) = '21 ( u) = u y ('21 · '21 )(i) = '21 ( i) = i,
luego también o('11 ) = 2. Hemos probado que G(Qf : Q) tiene, al menos, dos elementos de
orden 2, lo que implica G(Qf : Q) ' D4 .
p
(5) Como Q ⇢ K se tiene Qf ⇢ Kf . Recı́procamente, 5 = u2 1 2 Q(u, v) = Qf luego
K ⇢ Qf , por lo que Kf ⇢ Qf , ası́ que Kf = Qf = Q(u, i) = K(u, i). Se tiene por tanto
[Qf : Q] 8
ord(G(Kf : K)) = [Kf : K] = [Qf : K] = = = 4.
[K : Q] 2
p ' Z4 , o bien G(Kf : K) ' Z2 ⇥ Z2 . El polinomio mı́nimo
En consecuencia, o bien G(Kf : K)
de u sobre K es PK,u = t 2 (1 + 5), pues Q ⇢ K ⇢ Q(u) y
[Q(u) : Q] 4
[Q(u) : K] = = = 2.
[K : Q] 2
Ası́, cada automorfismo de Kf |K transforma u en ±u e i en ±i. Por ello,
G(Kf : K) = { jk : 1  j  2, 0  k  1},
donde jk (u) = ( 1)j u y jk (i) = ( 1)k i. Veamos que G(Kf : K) ' Z2 ⇥ Z2 , para lo que
basta comprobar que cada 2
jk = id. En efecto,
2
jk (u) = ( 1)j jk (u) = ( 1)2j u = u y 2
jk (i) = ( 1)k jk (i) = ( 1)2k i = i.
Ejercicio 2. Sean ⇣ := e2⇡i/13 y E := Q(⇣).
(1) (10 ptos) Demostrar que el grupo de Galois G(E : Q) es cı́clico y calcular su orden.
(2) (15 ptos) Sea c := 2 cos(2⇡/13). Calcular el grado de la extensión Q(c)|Q y probar que es
de Galois.
p
(3) (25 ptos) Probar que existen a 2 Q y f 2 Q( a)[t] de grado 3 tales que f (c) = 0.

Solución. (1) El grupo de Galois G(E : Q) es el grupo de Galois de 13 sobre Q, que es Z⇤13 .
Este grupo tiene orden 12, y es cı́clico porque Z13 es un cuerpo finito.
(2) Nótese que c = ⇣ + ⇣ 1 2 Q(⇣), luego Q(c) ⇢ Q(⇣). De hecho la inclusión es estricta porque
Q(c) ⇢ R y ⇣ 2 C \ R. Por tanto, [Q(⇣) : Q(c)] 2.
Por otro lado, multiplicando por ⇣ los dos miembros de la igualdad ⇣ + ⇣ 1 = c resulta
⇣ 2 + 1 = c⇣, luego ⇣ es raı́z del polinomio t2 ct + 1 2 Q(c)[t], por lo que [Q(⇣) : Q(c)]  2.
En consecuencia, [Q(⇣) : Q(c)] = 2 y, por la transitividad del grado,
[Q(⇣) : Q] 12
[Q(c) : Q] = = = 6.
[Q(⇣) : Q(c)] 2
Por último, la extensión Q(c)|Q es de Galois porque lo son todas las subextensiones de EQ, ya
que el grupo G(E : Q) es abeliano.
(3) Como el grupo de Galois G(E : Q) es cı́clico, el cociente
G(E : Q)
G(Q(c) : Q) '
G(Q(c) : Q)
es también cı́clico y, por el primer apartado, ord(G(Q(c) : Q)) = [Q(c) : Q] = 6. Existe por
tanto un subgrupo H de G(Q(c) : Q) de orden 3, ası́ que
[Q(c) : Fix(H)] = ord(H) = 3.
Por tanto, existe f 2 Fix(H)[t] de grado
p 3 tal que f (c) = 0. Todo se reduce, por tanto, a probar
que existe a 2 Q tal que Fix(H) = Q( a). Para ello observamos que
[Q(c) : Q] 6
[Fix(H) : Q] = = = 2,
[Q(c) : Fix(H)] 3
y por el Teorema del elemento primitivo existe u 2 Fix(H) tal que Fix(H) = Q(u). Sea g := PQ,u
el polinomio mı́nimo de u sobrepQ, que tiene grado 2. Escribimos g := t2 2q1 t + q2 , donde
p
q1 , q2 2 Q. Entonces u = q1 ± q12 q2 , luego a := q12 q2 2 Q y Fix(H) = Q(u) = Q( a),
como querı́amos.