Obtenga cada uno de los siguientes grupos de Galois. ¿Cuáles de las siguientes extension de cuerpos son extensiones normales? Si la extensión no es normal, encuentre una extensión normal \({\mathbb Q}\) en la que esté contenida.
\(G({\mathbb Q}(\sqrt{30}\, ) / {\mathbb Q})\)
\(G({\mathbb Q}(\sqrt[4]{5}\, ) / {\mathbb Q})\)
\(G( {\mathbb Q}(\sqrt{2}, \sqrt{3}, \sqrt{5}\, )/ {\mathbb Q} )\)
\(G({\mathbb Q}(\sqrt{2}, \sqrt[3]{2}, i) / {\mathbb Q})\)
\(G({\mathbb Q}(\sqrt{6}, i) / {\mathbb Q})\)
Determine la separabilidad de cada uno de los siguientes polinomios.
\(x^3 + 2 x^2 - x - 2\) sobre \({\mathbb Q}\)
\(x^4 + 2 x^2 + 1\) sobre \({\mathbb Q}\)
\(x^4 + x^2 + 1\) sobre \({\mathbb Z}_3\)
\(x^3 +x^2 + 1\) sobre \({\mathbb Z}_2\)
Indique el orden y describa un generador del grupo de Galois de \(\gf(729)\) sobre \(\gf(9)\text{.}\)
Obtenga los grupos de Galois de cada uno de los siguientes polinomios en \({\mathbb Q}[x]\text{;}\) determine la solubilidad por radicales de cada uno de los polinomios.
\(x^5 - 12 x^2 + 2\)
\(x^5 - 4 x^4 + 2 x + 2\)
\(x^3 - 5\)
\(x^4 - x^2 - 6\)
\(x^5 + 1\)
\((x^2 - 2)(x^2 + 2)\)
\(x^8 - 1\)
\(x^8 + 1\)
\(x^4 - 3 x^2 -10\)
Encuentre un elemento primitivo en el cuerpo de descomposición de cada uno de los siguientes polinomios en \({\mathbb Q}[x]\text{.}\)
\(x^4 - 1\)
\(x^4 - 8 x^2 + 15\)
\(x^4 - 2 x^2 - 15\)
\(x^3 - 2\)
Demuestre que el grupo de Galois de un polinomio cuadrático irreducible es isomorfo a \({\mathbb Z}_2\text{.}\)
Demuestre que el grupo de Galois de un polinomio cúbico irreducible es isomorfo a \(S_3\) o a \({\mathbb Z}_3\text{.}\)
Sean \(F \subset K \subset E\) cuerpos. Si \(E\) es una extensión normal de \(F\text{,}\) muestre que \(E\) también es una extensión normal de \(K\text{.}\)
Sea \(G\) el grupo de Galois de un polinomio de grado \(n\text{.}\) Demuestre que \(|G|\) divide a \(n!\text{.}\)
Sea \(F \subset E\text{.}\) Si \(f(x)\) es soluble sobre \(F\text{,}\) muestre que \(f(x)\) también es soluble sobre \(E\text{.}\)
Construya un polinomio \(f(x)\) en \({\mathbb Q}[x]\) de grado 7 que no sea soluble por radicales.
Sea \(p\) un número primo. Demuestre que existe un polinomio \(f(x) \in{\mathbb Q}[x]\) de grado \(p\) con grupo de Galois isomorfo a \(S_p\text{.}\) Concluya que para todo primo \(p\) con \(p \geq 5\) existe un polinomio de grado \(p\) que no es soluble por radicales.
Sea \(p\) un número primo y sea \({\mathbb Z}_p(t)\) el cuerpo de funciones racionales sobre \({\mathbb Z}_p\text{.}\) Demuestre que \(f(x) = x^p - t\) es un polinomio irreducible en \({\mathbb Z}_p(t)[x]\text{.}\) Muestre que \(f(x)\) no es separable.
Sea \(E\) una extensión de cuerpos de \(F\text{.}\) Supongamos que \(K\) y \(L\) son dos cuerpos intermedios. Si existe un elemento \(\sigma \in G(E/F)\) tal que \(\sigma(K) = L\text{,}\) entonces \(K\) y \(L\) se llaman cuerpos conjugados. Demuestre que \(K\) y \(L\) son conjugados si y solo si \(G(E/K)\) y \(G(E/L)\) son subgrupos conjugados de \(G(E/F)\text{.}\)
Sea \(\sigma \in \aut( {\mathbb R} )\text{.}\) Si \(a\) es un número real positivo, muestre que \(\sigma( a) > 0\text{.}\)
Sea \(K\) el cuerpo de descomposición de \(x^3 + x^2 + 1 \in {\mathbb Z}_2[x]\text{.}\) Demuestre o refute que \(K\) es una extensión por radicales.
Sea \(F\) un cuerpo tal que \({\rm char}\, F \neq 2\text{.}\) Demuestre que el cuerpo de descomposición de \(f(x) = a x^2 + b x + c\) es \(F( \sqrt{\alpha}\, )\text{,}\) donde \(\alpha = b^2 - 4ac\text{.}\)
Demuestre o refute: Dos subgrupos diferentes de un grupo de Galois tienen cuerpos fijos diferentes.
Sea \(K\) el cuerpo de descomposición de un polinomio sobre \(F\text{.}\) Si \(E\) es una extensión de cuerpos de \(F\) contenida en \(K\) y \([E:F] = 2\text{,}\) entonces \(E\) es el cuerpo de descomposición de algún polinomio en \(F[x]\text{.}\)
Sabemos que el polinomio ciclotómico
\begin{equation*} \Phi_p(x) = \frac{x^p - 1}{x - 1} = x^{p - 1} + x^{p - 2} + \cdots + x + 1 \end{equation*}es irreducible sobre \({\mathbb Q}\) para cada primo \(p\text{.}\) Sea \(\omega\) un cero de \(\Phi_p(x)\text{,}\) y consideremos el cuerpo \({\mathbb Q}(\omega)\text{.}\)
Muestre que \(\omega, \omega^2, \ldots, \omega^{p-1}\) son raíces distintas de \(\Phi_p(x)\text{,}\) y concluya que son todas las raíces de \(\Phi_p(x)\text{.}\)
Muestre que \(G( {\mathbb Q}( \omega ) / {\mathbb Q} )\) es abeliano de orden \(p - 1\text{.}\)
Muestre que el cuerpo fijo de \(G( {\mathbb Q}( \omega ) / {\mathbb Q} )\) es \({\mathbb Q}\text{.}\)
Sea \(F\) un cuerpo finito o un cuerpo de característica cero. Sea \(E\) una extensión normal finita de \(F\) con grupo de Galois \(G(E/F)\text{.}\) Demuestre que \(F \subset K \subset L \subset E\) si y solo si \(\{ \identity \} \subset G(E/L) \subset G(E/K) \subset G(E/F)\text{.}\)
Sea \(F\) un cuerpo de característica cero y sea \(f(x) \in F[x]\) un polinomio separable de grado \(n\text{.}\) Si \(E\) es el cuerpo de descomposición de \(f(x)\text{,}\) sean \(\alpha_1, \ldots, \alpha_n\) las raíces de \(f(x)\) en \(E\text{.}\) Sea \(\Delta = \prod_{i \lt j} (\alpha_i - \alpha_j)\text{.}\) Definimos el discriminante de \(f(x)\) como \(\Delta^2\text{.}\)
Si \(f(x) = x^2 + b x + c\text{,}\) muestre que \(\Delta^2 = b^2 - 4c\text{.}\)
Si \(f(x) = x^3 + p x + q\text{,}\) muestre que \(\Delta^2 = - 4p^3 - 27q^2\text{.}\)
Demuestre que \(\Delta^2\) está en \(F\text{.}\)
Si \(\sigma \in G(E/F)\) es una transposición de dos raíces de \(f(x)\text{,}\) muestre que \(\sigma( \Delta ) = -\Delta\text{.}\)
Si \(\sigma \in G(E/F)\) es una permutación par de las raíces de \(f(x)\text{,}\) muestre que \(\sigma( \Delta ) = \Delta\text{.}\)
Demuestre que \(G(E/F)\) es isomorfo a un subgrupo de \(A_n\) si y solo si \(\Delta \in F\text{.}\)
Determine el grupo de Galois de \(x^3 + 2 x - 4\) y \(x^3 + x -3\text{.}\)
