ÁLGEBRA III 2DO CUATRIMESTRE 2022
Práctica 7: Resolubilidad - Dedekind - Regla y compás
En los siguientes dos ejercicios, {t 1 , . . . , t n } es algebraicamente independiente sobre K y s1 , . . . , sn
son los polinomios simétricos elementales en las variables t 1 , t 2 , . . . , t n .
1 Sean E = K(t 1 , t 2 , t 3 , t 4 ) y F = K(s1 , s2 , s3 , s4 ).
(a) Calcular el grado de la subextensión F (t 1 + t 2 )/F . ¿Es normal?
(b) ¿Qué raíces de m(t 1 + t 2 , F ) están en F (t 1 + t 2 )?
2 Sean E = K(t 1 , t 2 , . . . , t n ) y F = K(s1 , s2 , . . . , sn ).
a a a
(a) Probar que t 11 + t 22 + . . . + t nn es un elemento primitivo de la extensión E/F si y sólo si
los números naturales ai son distintos dos a dos.
(b) Probar que E/F tiene una única subextensión de grado 2.
(c) Suponiendo que la característica de K no es 2, hallar un elemento de E que genere la
subextensión de grado 2 de E/F .
p
3 p p
3 Probar, exhibiendo una torre adecuada, que la extensión Q 1+ 2, i + 3 /Q es radical.
4 (a) Probar que para todo n ∈ N el grupo diedral Dn es resoluble.
(b) Probar que todo p-grupo finito es resoluble.
5 Sea f = X 5 − b x − a un polinomio irreducible en Q[X ]. Sea α una raíz de f y sea E = Q(α).
Sabiendo que NE/Q (α + 1) = −77 y NE/Q (α − 1) = 81, determinar si f es resoluble por
radicales.
6 Sean a1 < a2 < . . . < a r enteros positivos pares, con r > 1. Dado m ∈ N par, consideramos
el polinomio f = (X 2 + m)(X − a1 ) · · · (X − a r ) − 2.
(a) Probar que f es irreducible en Q[X ].
(b) Probar que si m es suficientemente grande, entonces f tiene exactamente dos raíces no
reales.
(c) Deducir que para todo primo p ≥ 5 existe un polinomio f ∈ Q[X ] de grado p que no es
resoluble por radicales.
7 Probar que ninguno de los siguientes polinomios es resoluble por radicales sobre Q:
(a) X 5 − 14X + 7 (b) X 5 − 7X 2 + 7 (c) X 7 − 10X 5 + 15X + 5
8 Sea f ∈ Q[X ] un polinomio irreducible de grado 5 tal que ∆( f ) < 0. Probar que f no es
resoluble por radicales.
En lo que sigue, dado un polinomio separable f ∈ Z[X ] de grado n, llamamos G f a su grupo de
Galois sobre Q, al cual identificamos con un subgrupo de Sn . Además, para cada primo p, llamamos
f p a la imagen de f por el morfismo canónico Z[X ] → F p [X ].
1
ÁLGEBRA III 2DO CUATRIMESTRE 2022
9 Para cada uno de los siguientes polinomios f , probar que G f = Sn , siendo n el grado del
polinomio:
(a) X 5 + 4X 4 + 4X 3 + 5X 2 − 2X + 3
(b) X 6 − 12X 4 + 15X 3 − 6X 2 + 15X + 12
(c) X 5 + 25X 4 + 10X 3 + 10X 2 + 10X + 15
10 Sea f el polinomio X 5 − X 4 + 2X 2 − 2. Factorizando f módulo 3 y módulo 7, probar que G f
contiene una trasposición y un 4-ciclo. ¿Es G f = S5 ?
11 Sea f ∈ Z[X ] mónico e irreducible de grado 4 tal que G f ∼
= Z2 × Z2 . Probar que para todo
primo p, el polinomio f p es reducible en F p [X ].
12 Sea G un subgrupo de Sn . Definimos una relación ∼ en el conjunto {1, 2, . . . , n} de la siguiente
manera: a ∼ b si y sólo si (a b) ∈ G (entendiendo que (aa) = id).
(a) Probar que ∼ es relación de equivalencia.
(b) Probar que si a ∼ b y g ∈ G, entonces también g(a) ∼ g(b). Luego, queda bien definida
una acción de G en el conjunto de clases de equivalencia, dada por g · [a] := [g(a)].
(c) Probar que si G es transitivo, entonces todas las clases de equivalencia de ∼ tienen el
mismo cardinal.
n
13 Sea G un subgrupo transitivo de Sn que contiene una trasposición y un p-ciclo, donde p > 2
es un número primo. Probar que G = Sn .
Sugerencia. Probar que la relación ∼ definida en el ejercicio anterior tiene una única clase de
equivalencia.
14 Sea p > 2 un número primo y sea f ∈ Z[X ] un polinomio mónico e irreducible de grado
p + 2. Supongamos que para cierto primo p′ , el polinomio f p′ se factoriza en F p′ [X ] como
producto de dos polinomios irreducibles cuyos grados son 2 y p. Probar que G f = S p+2 .
15 Calcular el grupo de Galois sobre Q del polinomio X 9 + 3X 8 + 3X 7 − 9X 3 − 9.
Recordemos que un número α ∈ R es construible (con regla y compás) si y sólo si existe una torre
de cuerpos Q = F0 ⊂ F1 ⊂ . . . ⊂ Fn con α ∈ Fn y [Fi : Fi−1 ] = 2 para todo i = 1, . . . , n.
16 Dar un procedimiento para construir un pentágono regular con regla y compás.
17 Sea n un entero positivo. Probar que se puede construir un ángulo de n grados con regla y
compás si y sólo si n es divisible por 3.
18 Probar que un ángulo dado θ se puede trisecar con regla y compás si y sólo si el polinomio
4X 3 − 3X − cos(θ ) es reducible sobre Q(cos(θ )).
3π
19 Mostrar como se puede trisecar un ángulo dado de 7 usando regla y compás.
20 Decidir si es posible construir con regla y compás un triángulo isósceles no rectángulo cuyos
vértices estén sobre la circunferencia unitaria y su área sea 1.
