Teoría de Galois

Como la extensión no es trivial, ha de existir algún $\alpha\in K$ tal que $\alpha\notin F$. El grado de este elemento ha de dividir a $2$. Como no puede ser $1$ porque $\alpha\notin F$, ha de ser $2$. La extensión $F\subset F[\alpha]$ también tiene grado $2$ y $F[\alpha]\subset K$ por tanto $K=F[\alpha]$. Si $x^2+ax+b\in F[ x ]$ es el polinomio mínimo de $\alpha$, entonces

$$\alpha=\frac{-a\pm\sqrt{\delta}}{2}$$

donde $\delta=a^2-4b\in F$ es el discriminante. Deducimos por tanto que $\sqrt{\delta}\in K$, $\sqrt{\delta}\notin F$, y $K=F[\sqrt{\delta}]$. Sabemos que $\{1,\sqrt{\delta}\}\subset K$ es una base como $F$-espacio vectorial. Como cualquier $f\in G(K/F)$ preserva el $1$ y las raíces de $x^2-\delta$, tenemos solo dos posibilidades:

$$\begin{array}{rcl}f(1)&=&1,\cr f(\sqrt{\delta})&=&\sqrt{\delta},\end{array}$$

y

$$\begin{array}{rcl}f(1)&=&1,\cr f(\sqrt{\delta})&=&-\sqrt{\delta}.\end{array}$$

El primero es la identidad $\operatorname{id}_{K}$, que es obviamente un isomorfismo de extensiones. El segundo es el que denominamos conjugación $c$. Dejamos como ejercicio probar que la conjugación, que a priori es solo un homomorfismo de $F$-espacios vectoriales, es de hecho un homomorfismo de extensiones. Solo queda por demostrar que preserva el producto.

En efecto, si $f\colon K\rightarrow K$ es un isomorfismo de anillos que deja fijo a $L$ entonces también deja fijo a $F$ ya que $F\subset L$.

El conjunto $K^H$ está contenido en $K$ por definición. Es más, cualquier $\alpha\in F$ satisface $f(\alpha)=\alpha$ para todo $f\in G(K/F)$, en particular para todo $f\in H$, por tanto $F\subset K^H$.

Veamos que $K^H\subset K$ es un subanillo. Obviamente $0,1\in F\subset K^H$. Si $\alpha,\beta\in K^H$ entonces, dado $f\in H$, como $f\colon K\rightarrow K$ es un homomorfismo de anillos,

$$\begin{array}{rcl} f(\alpha+\beta)&=&f(\alpha)+f(\beta)\cr &=&\alpha+\beta,\cr f(-\alpha)&=&-f(\alpha)\cr &=&-\alpha,\cr f(\alpha\beta)&=&f(\alpha)f(\beta)\cr &=&\alpha\beta. \end{array}$$

Por tanto $\alpha+\beta,-\alpha,\alpha\beta\in K^H$. Además $K^H$ es un cuerpo porque si $\alpha\neq 0$ entonces

$$\begin{array}{rcl} f(\alpha^{-1})&=&f(\alpha)^{-1}\cr &=&\alpha^{-1}. \end{array}$$

Es obvio porque, por definición de $K^H$, todos los automorfismos de la extensión que están en $H$ dejan fijo a $K^H$.

Sea $\alpha\in K\backslash F$, entonces $K=F[\alpha]$ (de lo contrario, $F[\alpha]$ sería una extensión intermedia de $F\subset K$, lo cual es imposible porque $2$ es primo). Si $p(x)=x^2+ax+b\in F[x]$ es el polinomio mínimo de $\alpha$, entonces las raíces de $p(x)$ son $\alpha$ y $-a-\alpha$, que están en $K$, por lo que $K$ contiene todas las raíces de $p(x)$ (y está generado por ellas) y es por tanto el cuerpo de descomposición de $p(x)$.

Si $K$ es el cuerpo de descomposición del polinomio $p(x)\in F[x]$, también es el cuerpo de descomposición del mismo polinomio visto en $L[x]$.

$\Rightarrow$) Supongamos que $L$ es el cuerpo de descomposición de $f\in K[x]$. Sea $\alpha\in L$ con polinomio mínimo $p\in K[x]$, y supongamos que $p$ no tiene todas sus raíces en $L$, es decir, tiene algún factor irreducible $q$ de grado $>1$ en $L$. Sea $L(\beta)$ una extensión de $L$ en la que $q$ tenga una raíz $\beta$. Entonces $L(\beta)$ es un cuerpo de descomposición de $f$ sobre $K(\beta)$.

Por otra parte, tenemos un isomorfismo de extensiones de $K$, $\phi:K(\alpha)\to K(\beta)$, ya que $\alpha$ y $\beta$ tienen el mismo polinomio mínimo $p$ sobre $K$. Como $f$ tiene sus coeficientes en $K$, este isomorfismo deja $f$ invariante. Como se probó en el tema anterior, este isomorfismo se extiende a un isomorfismo entre los cuerpos de descomposición de $f$ sobre $K(\alpha)$ y sobre $K(\beta)$. Pero el cuerpo de descomposición de $f$ sobre $K(\alpha)$ es $L$, ya que $\alpha\in L$. Por tanto, tenemos un isomorfismo $L\to L(\beta)$, que además es $K$-lineal. Esto es imposible, ya que $L\subsetneq L(\beta)$ y por tanto tienen distinta dimensión sobre $K$.

$\Leftarrow$) Sea $L=K(\alpha_1,\ldots,\alpha_r)$, y $f_i\in K[x]$ el polinomio mínimo de $\alpha_i$. Entonces $L$ es el cuerpo de descomposición de $f_1f_2\cdots f_r$, ya que todas las raíces de cada uno de los $f_i$ están en $L$.

Como $f$ preserva raíces de polinomios con coeficientes en $F$, $f$ ha de mandar el conjunto $\{\alpha_1,\dots,\alpha_n\}$ dentro de sí mismo. Además ha de hacerlo de manera biyectiva por ser $f$ un automorfismo, por tanto existe una única permutación $\sigma\in S_n$ que satisface la ecuación del enunciado. Esto me permite definir la aplicación $\varphi$ de manera única.

Veamos que $\varphi$ es un homomorfismo de grupos. Por un lado $\varphi(\operatorname{id}_{K})$ es la permutación identidad ya que $\operatorname{id}_{K}(\alpha_i)=\alpha_i$. Por otro lado, dados $f,g\in G(K/F)$, si denotamos $\varphi(f)=\sigma$ y $\varphi(g)=\tau$ entonces

$$\begin{array}{rcl} (f\circ g)(\alpha_i)&=&f(g(\alpha_i))\cr &=&f(\alpha_{\tau(i)})\cr &=&\alpha_{\sigma(\tau(i))}\cr &=&\alpha_{(\sigma\circ\tau)(i)}. \end{array}$$

Por tanto

$$\begin{array}{rcl} \varphi(f\circ g)&=&\sigma\circ\tau\cr &=&\varphi(f)\circ \varphi(g). \end{array}$$

Comprobemos por último que $\varphi$ es inyectivo. Para ello debemos probar que si $f\in G(K/F)$ es tal que $\varphi(f)$ es la permutación identidad entonces $f=\operatorname{id}_{K}$. Por definición $\varphi(f)$ es la permutación identidad si y solo si $f(\alpha_i)=\alpha_i$ para todo $i=1,\dots,n$. Como $K=F[\alpha_1,\dots,\alpha_n]$, todo elemento $\alpha\in K$ se puede escribir como polinomio en $\alpha_1,\dots,\alpha_n$ con coeficientes en $F$, es decir

$$\alpha=\sum_{m_i\geq 0} b_{m_1,\dots,m_n}\alpha_1^{m_1}\cdots\alpha_n^{m_n}$$

para ciertos $b_{m_1,\dots,m_n}\in F$, casi todos nulos (y no necesariamente únicos, pero esto es irrelevante). Entonces

$$\begin{array}{rcl} f(\alpha)&=&f\left(\sum_{m_i\geq 0} b_{m_1,\dots,m_n}\alpha_1^{m_1}\cdots\alpha_n^{m_n}\right)\cr &=&\sum_{m_i\geq 0} f(b_{m_1,\dots,m_n}\alpha_1^{m_1}\cdots\alpha_n^{m_n})\cr &=&\sum_{m_i\geq 0} f(b_{m_1,\dots,m_n})f(\alpha_1)^{m_1}\cdots f(\alpha_n)^{m_n}\cr &=&\sum_{m_i\geq 0} b_{m_1,\dots,m_n}\alpha_1^{m_1}\cdots\alpha_n^{m_n}\cr &=&\alpha, \end{array}$$

así que $f=\operatorname{id}_{K}$. En las ecuaciones anteriores hemos usado que $f$ es un homomorfismo de anillos que deja fijo a $F$ y a las raíces $\alpha_1,\dots,\alpha_n\in K$ de $p(x)$.

$\Leftarrow$ Cada $f\in H$ induce una permutación de $\{\beta_1,\dots,\beta_l\}$. Los coeficientes de $g$ son funciones simétricas elementales evaluadas en los $\beta_i$, por tanto no varían al aplicar $f\in H$. Esto demuestra que estos coeficientes están en $K^H$, por tanto $\beta_1$ es algebraico sobre $K^H$.

$\Rightarrow$ Sea $h\in K^H[ x ]$ un polinomio que tenga $\beta_1$ como raíz. Todo elemento de $f\in H\subset G(K/K^H)$ envía raíces de un polinomio con coeficientes en $K^H$ en otras raíces, por tanto toda la órbita de $\beta_1$ por $H$ está formada por raíces de $h$. Como todo polinomio con coeficientes en un cuerpo tiene una cantidad finita de raíces, deducimos que la órbita es finita.

Hemos visto que cuando la órbita es finita el polinomio $g$ tiene coeficientes en $K^H$ y que todos los elementos de la órbita son también raíces de cualquier otro polinomio $h\in K^H[ x ]$ que tenga $\beta_1$ como raíz. Esto prueba que $g|h$ en $K[ x ]$ y por tanto también en $K^H[ x ]$, así que efectivamente $g$ es el polinomio mínimo de $\beta_1$ sobre $K^H$.

El teorema de la órbita muestra que el polinomio mínimo sobre $K^H$ de cualquier elemento $\beta\in K$ es separable.

Por el corolario anterior, la extensión $K^H\subset K$ es separable por lo que, aplicando teorema del elemento primitivo, existe $\gamma\in K$ tal que $K=K^H[\gamma]$. Un elemento $\sigma$ de $H$ actúa trivialmente sobre $K^H$, así que está unívocamente determinado por $\sigma(\gamma)$, y por tanto la órbita de $\gamma$ por $H$ tiene exactamente $|H|$ elementos. Por el teorema de la órbita, el grado de $\gamma$ sobre $K^H$ es $|H|$, y este grado es $[K:K^H]$.

Por el teorema del cuerpo fijo, $|G(K/F)|=[K:K^{G(K/F)}]$, y por la fórmula del grado para extensiones intermedias este último número divide a $[K:F]$.

$2\Leftrightarrow 3$ se sigue inmediatamente del teorema del cuerpo fijo, ya que siempre se tiene la inclusión $F\subset K^{G(K/F)}\subset K$ y, por tanto, $F=K^{G(K/F)}$ si y solo si $[K:F]=[K:K^{G(K/F)}]=|G(K/F)|$.

Veamos $2\Rightarrow 1$. Por el colorario al teorema de la órbita, la extensión $F=K^{G(K/F)}\subset K$ es separable, falta probar que es normal. Sea $\alpha\in K$, y $f\in F[ x ]$ su polinomio mínimo, hay que probar que todas las raíces de $f$ están en $K$. Sean $\alpha=\alpha_1,\ldots,\alpha_r$ las raíces de $f$ en $K$, y $g(x)=(x-\alpha_1)\cdots(x-\alpha_r)$. Claramente $g(x)|f(x)$. Como los elementos de $G(K/F)$ permutan las raíces de $g$, el polinomio $g$ es invariante por la acción de $G(K/F)$, es decir, está en $K^{G(K/F)}[ x ]=F[ x ]$. Y como tiene a $\alpha$ como raíz, debe ser múltiplo del polinomio mínimo, es decir, $f(x)|g(x)$. Por tanto, $g(x)=f(x)$ y $f$ no tiene más raíces aparte de $\alpha_1,\ldots,\alpha_r$, que están en $L$.

Veamos $1\Rightarrow 2$. La extensión $F\subset K$ es normal, y por tanto el cuerpo de descomposición de un polinomio $p\in F[ x ]$. Supongamos que la inclusión $F\subset K^{G(K/F)}$ fuera estricta, y sea $\alpha\in K^{G(K/F)}\backslash F$. Como $\alpha\not\in F$, su polinomio mínimo tiene grado mayor que $1$, y por ser separable tiene al menos otra raíz $\beta$, que también está en $K$ por ser la extensión $F\subset K$ normal. Como $\alpha$ y $\beta$ tienen el mismo polinomio mínimo, existe un isomorfismo de extensiones de $F$, $\phi:F[\alpha]\to F[\beta]$ que envía $\alpha$ en $\beta$. Notemos que $K$ es el cuerpo de descomposición de $p$ sobre $F[\alpha]$ y sobre $F[\beta]$. Por el teorema de extensión de isomorfismos, existe un automorfismo $K\to K$ que restringido a $F[\alpha]$ coincide con $\phi$. En particular, este automorfismo envía $\alpha$ en $\beta\neq\alpha$, lo cual contradice el hecho de que $\alpha\in K^{G(K/F)}$.

Sabemos que, en general, $H\subset G(K/K^H)$ es un subgrupo, así que $|H|\leq |G(K/K^H)|$. También sabemos que $|G(K/K^H)|$ divide a $[K:K^H]=|H|$, así que tenemos también la otra desigualdad $|G(K/K^H)|\leq|H|$. Esto prueba que $H=G(K/K^H)$, por tanto esta extensión es de Galois.

Sea $\beta\in K$ un elemento primitivo de la extensión, y $p(x)\in F[x]$ su polinomio mínimo, que es separable. Tomemos como $L$ un cuerpo de descomposición de $p(x)$ sobre $K$ (que lo es también sobre $F$). La extensión $F\subset L$ es claramente normal, falta probar que es separable. Veamos, por inducción sobre el grado, que una extensión $F\subset L$ que sea el cuerpo de descomposición de un polinomio separable es una extensión de Galois (y, en particular, separable).

Por el teorema, basta probar que $|G(L/F)|=[L:F]$. Esto es obvio si $[L:F]=1$, así que supongamos que $[L:F]>1$, siendo $L$ el cuerpo de descomposición de un polinomio separable $p(x)$ sobre $F$. Sea $\alpha\in L$ una raíz de $p(x)$ que no esté en $F$, $q(x)$ su polinomio mínimo sobre $F$ (que debe dividir a $p(x)$, y por tanto es separable), y denotemos por $d$ su grado. Como la extensión es normal, las $d$ raíces de $q(x)$ están en $L$. Razonando como en la prueba del apartado $1\Rightarrow 2$ del teorema, existe un automorfismo de la extensión $F\subset L$ que lleva $\alpha$ en cada una de las $d$ raíces de $q(x)$. Además, componiendo un tal automorfismo con un elemento de $G(L/F(\alpha))$ (que fija $\alpha$) obtenemos un automorfismo que actúa igual sobre $\alpha$, por lo que existen (al menos) $|G(L/F(\alpha))|$ automorfismos que llevan $\alpha$ en cada una de las $d$ raíces de $q(x)$. Por tanto,

$$|G(L/F)|\geq d\cdot |G(L/F(\alpha))|.$$

Por hipótesis de inducción, $|G(L/F(\alpha))|=[L:F(\alpha)]$ (ya que $L$ es también el cuerpo de descomposición de $p(x)$ sobre $F(\alpha)$), de donde

$$|G(L/F)|\geq d\cdot [L:F(\alpha)] = [F(\alpha):F]\cdot [L:F(\alpha)] = [L:F]$$

y por tanto se tiene la igualdad, es decir, $F\subset L$ es de Galois (ya que la desigualdad contraria se tiene siempre).

Dado un subgrupo $H\subset G(K/F)$, ya hemos probado en un corolario anterior que $H=G(K/K^H)$, así que la composición que empieza y acaba en la derecha es la identidad. Dada ahora una extensión intermedia $F\subset L\subset K$, sabemos que $L\subset K$ es de Galois, así que por el teorema anterior $K^{G(K/L)}=L$.

Cuando la extensión es de Galois el resultado es cierto porque el grupo $G(K/F)$, que es finito, tiene una cantidad finita de subgrupos, que se corresponden con las extensiones intermedias. Si $F\subset K$ no fuera de Galois, basta tomar $F\subset K\subset L$ con $F\subset L$ de Galois y observar que toda extensión intermedia de $F\subset K$ lo es también de $F\subset L$.

Comenzaremos probando la equivalencia de la primera parte del enunciado.

Sea $\gamma_1\in L$ un elemento primitivo, $L=F[\gamma_1]$, con polinomio mínimo $g\in F[ x ]$. Sean $\gamma_1,\dots,\gamma_r\in K$ sus raíces, que están en $K$ porque es un cuerpo de descomposición y $\gamma_1\in K$.

$\Rightarrow$ Por ser $F\subset L$ de Galois, $L$ es el cuerpo de descomposición de $g$, así que $L=F[\gamma_1,\dots,\gamma_r]$. Todo $f\in G(K/F)$ preserva raíces de $g$, por tanto se restringe $f_{|_{L}}\colon L\rightarrow L$ y esta restricción está determinada por $f(\gamma_1)$ que será algún $\gamma_i$. En particular $f_{|_{L}}$ es la identidad si y solo si $f(\gamma_1)=\gamma_1$.

Sea $h\in G(K/L)$ un elemento cualquiera. Para ver que este grupo es normal tenemos que probar que $f^{-1}hf\in G(K/F)$ deja fijo a $L$ y por tanto $f^{-1}hf\in G(K/L)$, es decir, que hay que probar que $(f^{-1}hf)(\gamma_1)=\gamma_1$. Esto es cierto porque $h$ deja fijo a $L$, así que

$$ \begin{array}{rcl} (f^{-1}hf)(\gamma_1)&=&f^{-1}(h(f(\gamma_1)))\cr &=&f^{-1}(h(\gamma_i))\cr &=&f^{-1}(\gamma_i)\cr &=&\gamma_1. \end{array} $$

$\Leftarrow$ Si $F\subset L$ no fuera de Galois no podría ser el cuerpo de descomposición de $g$, así que alguna raíz de $g$ no estaría en $L$. Supongamos que $\gamma_i$ es tal raíz. Como $L=K^{G(K/L)}$ y $\gamma_i\notin L$, existe $h\in G(K/L)$ tal que $h(\gamma_i)\neq\gamma_i$. Es más, como $F=K^{G(K/F)}$, las raíces de $g$ son la órbita de $\gamma_1$ por $G(K/F)$, así que existe $f\in G(K/F)$ tal que $f(\gamma_1)=\gamma_i$. El elemento $f^{-1}hf\in G(K/F)$ no puede dejar fijo a $\gamma_1$ ya que de lo contrario $\gamma_i=f(\gamma_1)=hf(\gamma_1)=h(\gamma_i)\neq\gamma_i$. Esto implica que $f^{-1}hf$ no deja fijo a $L$, luego $f^{-1}hf\notin G(K/L)$.

Una vez establecida la equivalencia de la primera parte del enunciado, demostraremos el isomorfismo de la segunda. Supongamos pues que $F\subset L$ es de Galois. Hemos visto que entonces todo $f\in G(K/F)$ se restringe a $L$, es decir $f_{|_{L}}\in G(L/F)$. Esta restricción induce un homomorfismo de grupos

$$ \begin{array}{rcl} G(K/F)&\longrightarrow&G(L/F),\cr f&\mapsto&f_{|_{L}}. \end{array} $$

cuyo núcleo está formado por los automorfismos de $K$ que actúan trivialmente en $L$, es decir, $G(K/L)$. Este homomorfismo es sobreyectivo porque $G(L/F)$ tiene $r$ elementos, uno por cada raíz $\gamma_i$ de $g$ determinado por $\gamma_1\mapsto\gamma_i$, y además hemos visto que en $G(K/F)$ siempre hay elementos que satisfacen $\gamma_1\mapsto\gamma_i$. Por el primer teorema de isomorfía, obtenemos un isomorfismo

$$ \begin{array}{rcl} \frac{G(K/F)}{G(K/L)}&\stackrel{\cong}\longrightarrow&G(L/F),\cr {[f]}&\mapsto&f_{|_{L}}. \end{array} $$

El cuerpo de descomposición de $x^p-1$ es

$$\mathbb Q[1,\zeta,\dots,\zeta^{p-1}]=\mathbb Q[\zeta].$$

En efecto, $\supset$ es obvio y $\subset$ es consecuencia de que como $\zeta\in\mathbb Q[\zeta]$ entonces todas las potencias $\zeta^t\in \mathbb Q[\zeta]$, $0\leq t<n$, también. Esto demuestra que $\mathbb Q[\zeta]$ es de Galois.

Sabemos que

$$x^p-1=(x-1)q(x)$$

donde

$$q(x)=x^{p-1}+\cdots+x+1$$

es el $p$-ésimo polinomio ciclotómico, que según vimos es irreducible. Como $\zeta\neq 1$, $\zeta$ ha de ser raíz de $q(x)$, así que el grado de la extensión es $p-1$.

Para ver que el grupo de Galois es cíclico, definimos un homomorfismo

$$\psi\colon G(\mathbb Q[\zeta]/\mathbb Q)\longrightarrow (\mathbb Z/(p))^\times$$

que llega al grupo $(\mathbb Z/(p))^\times$ de unidades del cuerpo $\mathbb Z/(p)$. Este último grupo sabemos que es cíclico de orden $p-1$. Todo $f\in G(\mathbb Q[\zeta]/\mathbb Q)$ preserva raíces de $q(x)$, así que

$$f(\zeta)=\zeta^i$$

para cierto $0<i<p$ único y dependiente de $f$. Definimos

$$\psi(f)=\bar i.$$

Acabamos de probar que esta aplicación está bien definida. Veamos ahora que es un homomorfismo. Dado $g\in G(\mathbb Q[\zeta]/\mathbb Q)$, hay un único $0<j<p$ tal que

$$g(\zeta)=\zeta^j$$

y que define $\psi(g)=\bar j$. Entonces

$$\begin{array}{rcl} (f\circ g)(\zeta)&=&f(g(\zeta))\cr &=&f(\zeta^j)\cr &=&f(\zeta)^j\cr &=&(\zeta^i)^j\cr &=&\zeta^{ij}. \end{array}$$

Por tanto

$$\begin{array}{rcl} \psi(f\circ g)&=&\overline{ij}\cr &=&\bar{i}\bar{j}\cr &=&\psi(f)\psi(g). \end{array}$$

Esto demuestra que $\psi$ es un homomorfismo.

Veamos que $\psi$ es inyectivo. Si $f\in G(\mathbb Q[\zeta]/\mathbb Q)$ es tal que

$$\psi(f)=\bar 1$$

es porque

$$f(\zeta)=\zeta.$$

Como $f$ actúa como la identidad sobre los racionales y sobre el generador de la extensión $\mathbb{Q}[\zeta]$, $f$ ha de ser la identidad. Esto prueba que el núcleo de $\psi$ es trivial, así que es un homomorfismo inyectivo.

Sea $\alpha$ una raíz compleja de $q(x)$. Hemos observado que $K=F[\alpha]$ y $\alpha$ es una raíz de $q(x)$, que es de grado $p$, por tanto $[K:F]\leq p$. Al ser $F\subset K$ de Galois, para probar la otra desigualdad bastará ver que $[K:F]=|G(K/F)|\geq p$.

Como $\alpha\notin F= K^{G(K/F)}$, ha de existir algún $f\in G(K/F)$ tal que $f(\alpha)\neq\alpha$. Como $f$ preserva raíces de polinomios en $F[ x ]$, $f(\alpha)=\zeta_p^i\alpha$ para cierto $0<i<p$. Usaremos esto para ver que las potencias $f^j$ de $f$ son diferentes para todo $0\leq j<p$, así que $G(K/F)$ tendrá en efecto al menos $p$ elementos. Para ello basta comprobar que cada una de estas potencias $f^j$ manda $\alpha$ a un elemento diferente. Vamos a probar por inducción que

$$f^j(\alpha)=(\zeta_p^{i})^{j}\alpha.$$

Todos estos elementos son diferentes ya que al ser $p$ primo todas las potencias de $\zeta_p$ distintas de $1$, por ejempo $\zeta_p^i$, tienen orden multiplicativo $p$, así que todos los $(\zeta_p^i)^{j}$ son diferentes para $0\leq j<p$. Para $j=1$ la ecuación anterior es obviamente cierta. Supongamos que es cierta para $j-1$. Como $\zeta_p\in F$ se tiene que $f(\zeta_p)=\zeta_p$. Por tanto,

$$\begin{array}{rcl} f^j(\alpha)&=&f(f^{j-1}(\alpha))\cr &=&f((\zeta_p^{i})^{j-1}\alpha)\cr &=&(f(\zeta_p)^{i})^{j-1}f(\alpha)\cr &=&(\zeta_p^{i})^{j-1}\zeta_p^i\alpha\cr &=&(\zeta_p^{i})^{j}\alpha. \end{array}$$

Al ser la extensión de Galois $|G(K/F)|=[K:F]=p$, por tanto $G(K/F)$ es cíclico de orden $p$, así que todo $f\in G(K/F)$ distinto de la identidad genera el grupo de Galois,

$$G(K/F)=\{f^0,f^1,\dots, f^{p-1}\}.$$

Ahora vamos a concentrarnos en el hecho de que $f$ es un homomorfismo de $F$-espacios vectoriales. Como $f^p=\operatorname{id}_K$ tenemos que cualquier autovalor $\lambda$ de $f$ satisface $\lambda^p=1$, es decir, sus autovalores son raíces $p$-ésimas de la unidad. Además $f$ es diagonalizable, pues ninguna potencia de una caja de Jordan de tamaño $2\times 2$ o superior es la matriz identidad. Como $f$ es diagonalizable y distinto de la identidad, tendrá que tener algún autovalor $\lambda\neq 1$. Este autovalor ha de ser forzosamente de la forma $\lambda =\zeta_p^i$ para cierto $0<i<p$.

Sea $\alpha\in K$ un autovector asociado a $\zeta_p^i$,

$$f(\alpha)=\zeta_p^i\alpha.$$

Tenemos entonces que

$$\begin{array}{rcl} f(\alpha^p)&=&f(\alpha)^p\cr &=&(\zeta_p^i\alpha)^p\cr &=&(\zeta_p^i)^p\alpha^p\cr &=&\alpha^p. \end{array}$$

Se deduce por inducción que $f^i(\alpha^p)=\alpha^p$ para todo $i\geq 1$, por tanto $\alpha^p\in K^{G(K/F)}=F$. Esto demuestra que $\alpha\in K$ es raíz del polinomio $x^p-\alpha^p\in F[ x ]$. Además, como $f(\alpha)\neq \alpha$ entonces $\alpha\notin F$ así que $F\subsetneq F[\alpha]\subset K$ y como $[K:F]=p$ es primo concluimos que $K=F[\alpha]$.

Denotamos $p\colon G\twoheadrightarrow G/ N$ a la proyección natural.

$\Rightarrow$ Si

$$\{e\}=G_0 \subset G_1 \subset G_2 \subset \cdots\subset G_n=G$$

es una cadena en las condiciones de la definición entonces las cadenas siguientes demuestran que $N$ y $G/N$ son solubles,

$$ \begin{array}{c} \{e\}=N\cap G_0 \subset N\cap G_1 \subset \cdots\subset N\cap G_n=N,\cr \{e\}=p(G_0) \subset p(G_1) \subset \cdots\subset p(G_n)=G/N. \end{array} $$

Aquí usamos que, gracias al primer teorema de isomorfía,

$$ \frac{N\cap G_{i+1}}{N\cap G_{i}}\subset\frac{G_{i+1}}{G_i} \cong\frac{p(G_{i+1})}{p(G_{i})}. $$

$\Leftarrow$ Si $N$ y $G/N$ son solubles gracias a las cadenas

$$ \begin{array}{c} \{e\}=N_0 \subset N_1 \subset N_2 \subset \cdots\subset N_m=N,\cr \{e\}=K_0 \subset K_1 \subset K_2 \subset \cdots\subset K_n=G/N, \end{array} $$

entonces $G$ es soluble gracias a la cadena

$$ \{e\}=N_0 \subset \cdots\subset N_m=p^{-1}(K_0)\subset \cdots\subset p^{-1}(K_m)=G. $$

Aquí usamos que, gracias al primer teorema de isomorfía,

$$ \frac{p^{-1}(K_{i+1})}{p^{-1}(K_{i})}\cong \frac{K_{i+1}}{K_i}. $$

Basta usar el primer teorema de isomorfía para observar que $G\cong G\times \{e\}\subset G\times H$ es un subgrupo normal y $(G\times H)/(G\times \{e\})\cong H$.

Antes que nada, observamos que la demostración del lema anterior también sirve para probar que si $G$ es un grupo y $N\subset G$ es un subgrupo normal, entonces $G$ satisface la condición del enunciado de esta proposición si y solo si $N$ y $G/N$ la cumplen. En particular, dos grupos $G$ y $H$ la satisfacen si y solo si el producto $G\times H$ la cumple. Partiendo de esto, abordamos ahora la prueba de esta proposición.

$\Leftarrow$ Es obvio porque todo grupo de orden primo es cíclico y por tanto abeliano.

$\Rightarrow$ Si $G=\mathbb{Z}/(p^n)$ basta tomar $G_i=(\bar{p}^{n-i})$, $0\leq i<n$, ya que todos los subgrupos de $G$ son normales por ser abelianos y $\bar{p}^{n-i}\in\mathbb{Z}/(p^n)$ tiene orden $p^i$, así que $|G_i|=p^i$ y por tanto

$$ \begin{array}{rcl} \left|\frac{G_{i+1}}{G_i}\right|&=&\frac{|G_{i+1}|}{|G_i|}\cr &=&\frac{p^{i+1}}{p^i}\cr &=&p. \end{array} $$

Si $G$ es abeliano el resultado también es cierto, ya que al ser finito sería un producto finito de grupos de la forma $\mathbb{Z}/(p^n)$, en virtud del segundo teorema de estructura.

En general, si $G$ satisface la condición de solubilidad gracias a la cadena

$$ \{e\}=G_0 \subset G_1 \subset G_2 \subset \cdots\subset G_n=G, $$

vamos a probar por inducción que cada $G_i$ satisface la condición del enunciado. Obviamente $G_0$ la satisface por ser trivial. Si $G_i$ la cumple, como $G_i\subset G_{i+1}$ es normal y $G_{i+1}/G_i$ la satisface por ser abeliano, tenemos que $G_{i+1}$ también la cumple.

Tenemos que $F\subset L_1,L_2\subset K$, ya que las raíces de un producto de dos polinomios son la unión de las raíces de los factores. Consideramos el homomorfismo

$$G(K/F)\longrightarrow\frac{G(K/F)}{G(K/L_1)}\times \frac{G(K/F)}{G(K/L_2)}\cong G(L_1/F)\times G(L_2/F)$$

definido en cada coordenada como la proyección natural. El núcleo es $G(K/L_1)\cap G(K/L_2)$, es decir, los automorfismos de $K$ que dejan fijas a las raíces tanto de $f_1$ como de $f_2$. Un automorfismo así deja fijas a las raíces de $f_1f_2$ y por tanto a su cuerpo de descomposición $K$, así que tiene que ser la identidad. Como el núcleo es trivial, el homomorfismo es inyectivo y, en virtud del primer teorema de isomorfía, el dominio es isomorfo a un subgrupo del codominio.

Para $m=1$ se prueba como en el caso $F=\mathbb{Q}$. Por inducción, si es cierto para $m-1$ primos, nuestro grupo de Galois es isomorfo a un subgrupo del producto de los de $F\subset F[\zeta_{p_1},\dots,\zeta_{p_{m-1}}]$ y $F\subset F[\zeta_{p_m}]$ en virtud del lema anterior. El producto de grupos abelianos es abeliano y los subgrupos de los grupos abelianos también.

$\Leftarrow$ Denotamos $G=G(L/F)$. Sea

$$\{e\}=G_0 \subset G_1 \subset G_2 \subset \cdots\subset G_n=G$$

una cadena de subgrupos como en la proposición anterior.

Supongamos primero que $F$ tiene todas las raíces primitivas de la unidad asociadas a los primos que aparecen como el orden de los cocientes $G_{i+1}/G_i$. En este caso basta considerar la cadena de extensiones

$$L= L^{G_0} \supset L^{G_1} \supset \cdots\supset L^{G_n}= F[\zeta_{p_1},\dots, \zeta_{p_n}]= F.$$

En efecto, el teorema sobre extensiones de Kummer garantiza que cada $L^{G_{i}}\supset L^{G_{i+1}}$ se obtiene añadiendo una raíz.

Si $F$ no tuviera todas las raíces primitivas de la unidad mencionadas, denotamos $F’$ y $L’$ a los cuerpos obtenidos al añadírselas a $F$ y a $L$, respectivamente. Por construcción, la extensión $F\subset F’$ se puede interpolar como en la definición de número soluble. El grupo $G(L’/L)$ es abeliano por el lema anterior y

$$\frac{G(L’/F)}{G(L’/L)}\cong G(L/F),$$

que es soluble, así que $G(L’/F)$ es soluble y su subgrupo normal $G(L’/F’)$ también. Como $F’$ posee todas las raíces primitivas de la unidad necesarias, el párrafo anterior demuestra que $F’\subset L’$ también se puede interpolar como en la definición de número soluble. Por tanto $F\subset L’$ también, concatenando ambas interpolaciones.

$\Rightarrow$ El argumento es muy parecido anterior. Lo dejamos como ejercicio.