Juan Bosco Garca Gutirrez TEMA 1

Ejercicio 6
Sea n un nmero entero libre de cuadrados.
1. Calcular el cuerpo de descomposicin L de x
4
n sobre Q.
2. Demostrar que Gal(L|Q) es ismorfo al grupo didrico de orden 8, D
4
.
3. Calcular todas las subextensiones de L|Q y decir cuales de ellas son de Galois
sobre Q.
4. Calcular Gal(L|K) y Gal(K|Q) para cada subextensin K de L|Q.
Resolucin
Vemos que las races de p(x) = x
4
n sobre Q, son
4

n,
4

n, i
4

n, i
4

n,
luego el cuerpo de descomposicin de p(x) es el cuerpo Q(i,
4

n).
Tenemos la siguiente torre Q Q(i) Q(i,
4

n). Donde Q(i)|Q es una

extensin de Galois de grado 2, porque es cuerpo de descomposicin de x
2
+
1, luego o(Gal(Q(i)|Q)) = 2. Ahora veamos que Q(i,
4

n)|Q(i), de Galois, es
de grado 4. Para ello veamos que el polinomio mnimo de
4

n sobre Q(i) es
p(x), claramente p(
4

n) = 0, veamos que es irreducible sobre Q(i). Para ello

vemos que p(x) descompone como
x
4
n = (x
4

n)(x +
4

n)(x i
4

n)(x +i
4

n).
El polinomio p(x) no tiene races en Q(i), entonces no tiene divisores de gra-
do 1 en Q(i), y por tanto tampoco de grado 3. Veamos que no descompone
en polinomios de grado 2. Por la descomposicin de p(x) se verica que si
descompone en polinomios de grado 2, alguno debe ser: (x
4

n)(x +
4

n)
o bien (x
4

n)(x i
4

n) o bien (x
4

n)(x +i
4

n). Hagamos los productos

en los tres casos:
(x
4

n)(x +
4

n) = x
2

n, y como

n / Q(i), se verica entonces

(x
4

n)(x +
4

n) / Q(i)[x].
(x
4

n)(x i
4

n) = x
2

n(1 +i)x +i

n, y como i

n / Q(i), en-
tonces (x
4

n)(x i
4

n) / Q(i)[x].
(x
4

n)(x + i
4

n) = x
2
+
4

n(i 1)x i

n, y como i

n / Q(i),
entonces (x
4

n)(x i
4

n) / Q(i)[x].
Visto esto se verica que p(x) es irreducible sobre Q(i). As que p(x) es el
polinomio mnimo de
4

n sobre Q(i), luego [Q(i,

4

n)|Q(i)] = 4.
1
Juan Bosco Garca Gutirrez TEMA 1
Recordamos que tenemos que o(Gal(Q(i)|Q)) = 2, as que existen 2 au-
tomorsmos
1
,
2
de Q(i) que dejan jo Q. Y para cada
i
existe cuatro
extensiones diferentes a Q(i,
4

n) con destino la clausura algebraica, ya que

el polinomio mnimo es x
4
n, digamos que son
i1
,
i2
,
i3
,
i4
, que ve-
rican que dejan jo a Q. Pero como Q(i,
4

n)|Q es normal, se tiene que

ij
(Q(i,
4

n)) Q(i,
4

n), as que cada

ij
es un Q-automorsmo distinto
de Q(i,
4

n). Y estos son todos, ya que son 2 4 = 8, y como es de Galois,

y el grado es [Q(i,
4

n)|Q] = [Q(i,
4

n)|Q(i)][Q(i)|Q] = 2 4 = 8, entonces
o(Gal(Q(i,
4

n)|Q)) = 8. Adems sabemos quienes son estos automorsmo,

porque por el lema de extensin sabemos que i puede ir a i o i, y que
4

n
puede ir a una de las cuatro races de p(x),es decir a
4

n,
4

n, i
4

n, i
4

n, y
con saber donde van los generadores del cuerpo es suciente, y estos son i y
4

n. Por este motivo vamos a utilizar la siguiente notacin. Un automorsmo

que verique que (i) = x y (
4

n) = y, lo denotaremos =

i x
4

n y

.
As que los automorsmos son y verican la siguiente estructura:
Id =

i i
4

n
4

b =

i i
4

n
4

a =

i i
4

n i
4

ab =

i i
4

n i
4

a
2
=

i i
4

n
4

a
2
b =

i i
4

n
4

a
3
=

i i
4

n i
4

a
3
b =

i i
4

n i
4

As que Gal(Q(i,
4

n)|Q) = {1, a, a
2
, a
3
, b, ab, a
2
b, a
3
b}, luego a, b son gene-
radores. Adems se verica que a
4
= Id, b
2
= Id y bab = a
3
= a
1
. Y como
una presentacin del didrico de orden 8 es D
4
< a, b|a
4
, b
2
, bab = a
1
>,
entonces podemos concluir que Gal(Q(i,
4

n)|Q) D
4
.
Vamos ahora a estudiar las subextensiones, para ello, por la correspon-
dencia de Galois, vamos a tomar los elementos que se quedan jos por la
accin de cada subgrupo del grupo de Galois. Para ello descomponemos en
subgrupos el grupo D
4
(los subgrupos subrayados no son normales sobre
D
4
):
2
Juan Bosco Garca Gutirrez TEMA 1
D
4
< a
2
, b > < a > < a
2
, ab >
< a
2
b > < b > < a
2
> < ab > < a
3
b >
< Id >
Vamos a usar que el conjunto {1, i,
4

n, i
4

n,

n, i

n, (
4

n)
3
, i(
4

n)
3
} es
una Q-base de Q(i,
4

n), esto se verica porque vimos los polinomios mni-

mos de Q(i)|Q y Q(i,
4

n)|Q(i), del elemento i y

4

n respectivamente. Vamos
a estudiar el subcuerpo que se queda jo por la accin de cada subgrupo del
grupo de Galois de la extensin.
Para el subgrupo H =< Id >, se verica trivialmente que Q(i,
4

n)
H
=
Q(i,
4

n).
Para H = D
4
, por el teorema de Galois se verica que Q(i,
4

n)
H
= Q.
Para H =< a
2
b >= {Id, a
2
b}, es suciente estudiar los elementos que
se quedan jos por a
2
b. Sea y Q(i,
4

n), entonces y se escribe como

y =
0
+
1
i +
2
4

n+
3
i
4

n+
4

n+
5
i

n+
6
(
4

n)
3
+
7
i(
4

n)
3
.
Impongamos que a
2
b(y) = y, y veamos que elementos lo verican. Se
puede ver que
a
2
b(y) =
0

1
i +
2
4

n
3
i
4

n+
4

n
5
i

n+
6
(
4

n)
3

7
i(
4

n)
3
Luego si a
2
b(y) = y, esto es,

0

1
i +
2
4

n
3
i
4

n+
4

n
5
i

n+
6
(
4

n)
3

7
i(
4

n)
3
=
0
+
1
i +
2
4

n+
3
i
4

n+
4

n+
5
i

n+
6
(
4

n)
3
+
7
i(
4

n)
3
Entonces
(
1
+
1
)i + (
3
+
3
)i
4

n+ (
5
+
5
)i

n+ (
7
+
7
)i(
4

n)
3
= 0
Y por ser un los elementos, i, i
4

n, i

n, i(
4

n)
3
, elementos de la base,
son linealmente independiente, y por tanto
1
=
3
=
5
=
7
= 0.
As que los elementos que se quedan jos son los de la forma
y =
0
+
2
4

n+
4

n+
6
(
4

n)
3
,
3
Juan Bosco Garca Gutirrez TEMA 1
as que la subextensin ja por la accin del subgrupo H es el cuerpo
Q(
4

n,

n, (
4

n)
3
) = Q(
4

n). Y la extensin Q(
4

n)|Q no es de Galois
ya que H no es normal. Y adems por la correspondencia de Galois
Gal(Q(i,
4

n)|Q(
4

n)) =< a
2
b > .
Estudiemos el subgrupo H =< b >= {Id, b}. Procedemos de forma
anloga al caso anterior, tomamos un elemento y Q(i,
4

n), y vemos
cuando b(y) = y. Y se verica que las condiciones son
1
=
2
=
5
=

6
= 0, y por tanto los elementos que se quedan jos son los de la
forma
y =
0
+
3
i
4

n+
4

n+
7
i(
4

n)
3
.
As que el subcuerpo es Q(i
4

n,

n, i(
4

n)
3
) = Q(i
4

n) y la extensin
Q(i
4

n)|Q no es de Galois porque H no es normal. Tambin por la co-

rrespondencia de Galois
Gal(Q(i,
4

n)|Q(i
4

n)) =< b > .

Tomamos ahora el subgrupo H =< ab >= {Id, a
2
}. Y por el mismo
procedimiento de antes para y Q(i,
4

n), llegamos a que se deben

vericar las condiciones
1
=
4
= 0,
2
=
3
,
6
=
7
, luego los
elementos que se quedan jos por H son los que se escriben como
y =
0
+
2
(
4

ni
4

n) +
5
i

n+
6
((
4

n)
3
+i(
4

n)
3
).
Luego el subcuerpo buscado que se queda jo por H es el cuerpo
Q(
4

n i
4

n, i

n, (
4

n)
3
+ i(
4

n)
3
) = Q(
4

n i
4

n). Y la extensin
Q(
4

n i
4

n)|Q no es de Galois porque H no es subgrupo normal de

D
4
. Adems por la correspondencia de Galois
Gal(Q(i,
4

n)|Q(
4

ni
4

n)) =< ab > .

En este caso H =< a
3
b >= {Id, a
3
b}. Y procediendo como antes, to-
mando un elemento y Q(i,
4

n), las condiciones para que se quede

jo son
1
=
4
= 0,
2
=
3
,
6
=
7
. As que los elementos son de la
forma
y =
0
+
2
(
4

n+i
4

n) +
5
i

n+
6
((
4

n)
3
i(
4

n)
3
).
Y por tanto el cuerpo que se queda jo por la accin de H va a ser
Q(
4

n + i
4

n, i

n, (
4

n)
3
i(
4

n)
3
) = Q(
4

n + i
4

n). Y la extensin
Q(
4

n+i
4

n)|Qno es de Galois porque Hno es normal de D

4
. Tambin
por la correspondencia de Galois
Q(Q(i,
4

n)|Q(
4

n+i
4

n)) =< a
3
b > .
4
Juan Bosco Garca Gutirrez TEMA 1
Ahora H =< a
2
>= {Id, a
2
}. De modo anlogo para y Q(i,
4

n)
tenemos que las condiciones son
2
=
3
=
6
=
7
= 0, as que y es
de la forma
y =
0
+
1
i +
4

n+
5
i

n.
As que el subcuerpo buscado es Q(i,

n, i

n) = Q(i,

n). Adems
por la correspondencia de Galois
Gal(Q(i,
4

n)|Q(i,

n)) =< a
2
> .
Como H es subgrupo normal de D
4
, entonces la extensin Q(i,

n)|Q
es de Galois. Y por la correspondencia se tiene que
Gal(Q(i,

n)|Q) = D
4
/ < a
2
> Z
2
Z
2
.
Empezamos con el subgrupo H =< a
2
, b >= {Id, a
2
, b, a
2
b}. Vamos
a ver las condiciones para el automorsmo b, esto es los elementos
del cuerpo Q(i,
4

n) tal que b(y) = y, y como hemos visto antes las

condiciones son
1
=
2
=
5
=
6
= 0. Luego y ser de la forma
y =
0
+
3
i
4

n+
4

n+
7
i(
4

n)
3
.
Ahora para el y anterior aplicamos lo mismo al automorsmo a
2
, y
adems las condiciones
3
=
7
= 0. As que y =
0
+
4

n y este
elemento se queda jo por el automorsmo a
2
b. As que los elementos
que se quedan jo por el subgrupo H son de la forma y =
0
+
4

n,
por tanto el subcuerpo que se queda jo por H es Q(

n). La corres-
pondencia de Galois nos dice adems que
Gal(Q(i,
4

n)|Q(

n)) =< a
2
, b > .
Tambin el subgrupo H es normal, as que la extensin Q(

n)|Q es
normal, vericndose que
Gal(Q(

n)|Q) = D
4
/ < a
2
, b > Z
2
.
Tomamos ahora el subgrupo H =< a
2
, ab >= {1, a
2
, ab, a
3
b}. Como
antes hemos calculado los elementos que se quedan jo por a
2
pues
sabemos que las condiciones son
2
=
3
=
6
=
7
= 0. As que
dichos elementos son los de la forma
y =
0
+
1
i +
4

n+
5
i

n.
Y a este elemento vemos las condiciones para que se queden jo por
el automorsmo ab, y las condiciones son que
1
=
4
= 0. As que
5
Juan Bosco Garca Gutirrez TEMA 1
ya tenemos que y =
0
+
5
i

n. Y y =
0
+
5
i

n se queda jo con
el automorsmo a
3
b. As que el subcuerpo que se queda jo por H es
Q(i

n), y tambin se verica

Gal(Q(i,
4

n)|Q(i

n)) =< a
2
, ab > .
Y como H es subgrupo normal de H entonces la extensin Q(i

n)|Q
es de Galois, donde
Gal(Q(i

n)|Q) = D
4
/ < a
2
, ab > Z
2
.
Por ltimo el subgrupo H =< a >= {Id, a, a
2
, a
3
}. Sabemos las con-
diciones para a
2
, que son
2
=
3
=
6
=
7
= 0. Luego y es de la
forma
y =
0
+
1
i +
4

n+
5
i

n.
Ahora para y de la forma anterior vemos las condiciones para que se
quede jo por a, y nos sale que las condiciones son
4
=
5
= 0.
As que y es de la forma y =
0
+
1
i y este elemento se queda jo
por a
3
. As que los elementos que se quedan jos por el subgrupo H
son de la forma y =
0
+
1
i, as que el subcuerpo es Q(i). Por la
correspondencia de Galois
Gal(Q(i,
4

n)|Q(i)) =< a > .

Y como H es subgrupo normal entonces la extensin Q(i)|Q es de Ga-
lois, que tambin verica
Gal(Q(i)|Q) = D
4
/ < a > Z
2
.
Adems como sabemos que la correspondencia de Galois cambia las in-
clusiones de subgrupos con subextensiones. Entonces podemos conocer la
estructura de la extensin Q(i,
4

n)|Q en subextensiones, ya que sabemos la

estructura en subgrupos del grupo de Galois.
Q(i,
4

n)|Q
Q(
4

n)

4
Q(i
4

n)

=
Q(i,

n)
.

O
Q(
4

ni
4

n)

d
Q(
4

n+i
4

n)

k
Q(

n)

^

6
Q(i)
.

O
Q(i

n)

,
i

c

;
Q

,
h
.

5
6