Un cuerpo \(E\) es una extensión de cuerpos de un cuerpo \(F\) si \(F\) es un subcuerpo de \(E\text{.}\) El cuerpo \(F\) se llama cuerpo base. Escribimos \(F \subset E\text{.}\)
Ejemplo21.1
Por ejemplo, sea
\begin{equation*}
F = {\mathbb Q}( \sqrt{2}\,) = \{ a + b \sqrt{2} : a, b \in {\mathbb Q} \}
\end{equation*}
y sea \(E = {\mathbb Q }( \sqrt{2} + \sqrt{3}\,)\) el menor cuerpo que contiene \({\mathbb Q}\) y \(\sqrt{2} + \sqrt{3}\text{.}\) Tanto \(E\) como \(F\) son extensiones de los números racionales. Afirmamos que \(E\) es una extensión del cuerpo \(F\text{.}\) Para ver esto, solo necesitamos mostrar que \(\sqrt{2}\) está en \(E\text{.}\) Como \(\sqrt{2} + \sqrt{3}\) está en \(E\text{,}\) \(1 / (\sqrt{2} + \sqrt{3}\,) = \sqrt{3} - \sqrt{2}\) también debe estar en \(E\text{.}\) Tomando combinaciones lineales de \(\sqrt{2} + \sqrt{3}\) y \(\sqrt{3} - \sqrt{2}\text{,}\) encontramos que tanto \(\sqrt{2}\) como \(\sqrt{3}\) deben estar en \(E\text{.}\)
Ejemplo21.2
Sea \(p(x) = x^2 + x + 1 \in {\mathbb Z}_2[x]\text{.}\) Como ni 0 ni 1 es una raíz de este polinomio, sabemos que \(p(x)\) es irreducible sobre \({\mathbb Z}_2\text{.}\) Construiremos una extensión del cuerpo \({\mathbb Z}_2\) que contenga un elemento \(\alpha\) tal que \(p(\alpha) = 0\text{.}\) Por el Teorema 17.22, el ideal \(\langle p(x) \rangle\) generado por \(p(x)\) es maximal; luego, \({\mathbb Z}_2[x] / \langle p(x) \rangle\) es un cuerpo. Sea \(f(x) + \langle p(x) \rangle\) un elemento arbitrario de \({\mathbb Z}_2[x] / \langle p(x) \rangle\text{.}\) Por el algoritmo de la división,
Las únicas posibilidades para \(r(x)\) son entonces \(0\text{,}\) \(1\text{,}\) \(x\text{,}\) y \(1 + x\text{.}\) En consecuencia, \(E = {\mathbb Z}_2[x] / \langle x^2 + x + 1 \rangle\) es un cuerpo con cuatro elementos y debe ser una extensión de \({\mathbb Z}_2\text{,}\) que contiene un cero \(\alpha\) de \(p(x)\text{.}\) El cuerpo \({\mathbb Z}_2( \alpha)\) consiste de los elementos
Otros cálculos se realizan de forma similar. Resumimos estos resultados en las siguientes tablas, que nos dicen cómo sumar y multiplicar elementos en \(E\text{.}\)
El siguiente teorema, de Kronecker, es tan importante y básico para nuestra comprensión de los cuerpos que frecuentemente se conoce como Teorema Fundamental de la Teoría de Cuerpos.
Teorema21.5
Sea \(F\) un cuerpo y sea \(p(x)\) un polinomio no constante en \(F[x]\text{.}\) Entonces existe un cuerpo de extensión \(E\) de \(F\) y un elemento \(\alpha \in E\) tal que \(p(\alpha) = 0\text{.}\)
Para demostrar este teorema, usaremos el método usado en el Ejemplo 21.2. Claramente, podemos suponer que \(p(x)\) es un polinomio irreducible. Queremos encontrar una extensión \(E\) de \(F\) que contenga un elemento \(\alpha\) tal que \(p(\alpha) = 0\text{.}\) El ideal \(\langle p(x) \rangle\) generado por \(p(x)\) es un ideal maximal en \(F[x]\) por el Teorema 17.22; luego, \(F[x]/\langle p(x) \rangle\) es un cuerpo. Afirmamos que \(E = F[x]/\langle p(x) \rangle\) es el cuerpo buscado.
Demostraremos primero que \(E\) es una extensión de \(F\text{.}\) Podemos definir un homomorfismo de anillos conmutativos \(\psi:F \rightarrow F[x]/\langle p(x) \rangle\text{,}\) donde \(\psi(a) = a + \langle p(x)\rangle\) para \(a \in F\text{.}\) Es fácil verificar que \(\psi\) es realmente un homomorfismo de anillos. Observe que
\begin{equation*}
\psi( a ) + \psi( b ) = (a + \langle p(x) \rangle) + (b + \langle p(x) \rangle) = (a + b) + \langle p(x) \rangle = \psi( a + b )
\end{equation*}
y
\begin{equation*}
\psi( a ) \psi( b ) = (a + \langle p(x) \rangle) (b + \langle p(x) \rangle) = a b + \langle p(x) \rangle = \psi( a b ).
\end{equation*}
Para demostrar que \(\psi\) es 1-1, supongamos que
\begin{equation*}
a + \langle p(x) \rangle = \psi(a) = \psi(b) = b + \langle p(x) \rangle.
\end{equation*}
Entonces \(a - b\) es un múltiplo de \(p(x)\text{,}\) dado que está en el ideal \(\langle p(x) \rangle\text{.}\) Como \(p(x)\) es un polinomio no constante, la única posibilidad es que \(a - b = 0\text{.}\) Por lo tanto, \(a = b\) y \(\psi\) es inyectivo. Como \(\psi\) es 1-1, podemos identificar \(F\) con el subcuerpo \(\{ a + \langle p(x) \rangle : a \in F \}\) de \(E\) y ver \(E\) como un cuerpo de extensión de \(F\text{.}\)
Nos falta demostrar que \(p(x)\) tiene un cero \(\alpha \in E\text{.}\) Sea \(\alpha = x + \langle p(x) \rangle\text{.}\) Entonces \(\alpha\) está en \(E\text{.}\) Si \(p(x) = a_0 + a_1 x + \cdots + a_n x^n\text{,}\) entonces
Por lo tanto, hemos encontrado un elemento \(\alpha \in E = F[x]/\langle p(x) \rangle\) tal que \(\alpha\) es un cero de \(p(x)\text{.}\)
Ejemplo21.6
Sea \(p(x) = x^5 + x^4 + 1 \in {\mathbb Z}_2[x]\text{.}\) Entonces \(p(x)\) tiene factores irreducibles \(x^2 + x + 1\) y \(x^3 + x + 1\text{.}\) Para un cuerpo de extensión \(E\) de \({\mathbb Z}_2\) tal que \(p(x)\) tenga una raíz en \(E\text{,}\) podemos tomar \(E\) como \({\mathbb Z}_2[x] / \langle x^2 + x + 1 \rangle\) o como \({\mathbb Z}_2[x] / \langle x^3 + x + 1 \rangle\text{.}\) Dejaremos de ejercicio mostrar que \({\mathbb Z}_2[x] / \langle x^3 + x + 1 \rangle\) es un cuerpo con \(2^3=8\) elementos.
Un elemento \(\alpha\) en una extensión de cuerpos \(E\) sobre \(F\) es algebraico sobre \(F\) si \(f(\alpha)=0\) para algún polinomio no nulo \(f(x) \in F[x]\text{.}\) Un elemento en \(E\) que no es algebraico sobre \(F\) es trascendente sobre \(F\text{.}\) Un cuerpo de extensión \(E\) de un cuerpo \(F\) es una extensión algebraica de \(F\) si cada elemento en \(E\) es algebraico sobre \(F\text{.}\) Si \(E\) es una extensión de cuerpos de \(F\) y \(\alpha_1, \ldots, \alpha_n\) están contenidos en \(E\text{,}\) denotamos por \(F( \alpha_1, \ldots, \alpha_n)\) al menor cuerpo que contiene \(F\) y \(\alpha_1, \ldots, \alpha_n\text{.}\) Si \(E = F( \alpha )\) para cierto \(\alpha \in E\text{,}\) entonces \(E\) es una extensión simple de \(F\text{.}\)
Ejemplo21.7
Tanto \(\sqrt{2}\) como \(i\) son algebraicos sobre \({\mathbb Q}\) pues son ceros de los polinomios \(x^2 -2\) y \(x^2 + 1\text{,}\) respectivamente. Claramente \(\pi\) y \(e\) son algebraicos sobre los números reales; sin embargo, es un hecho que son trascendentes sobre \({\mathbb Q}\text{.}\) Números en \({\mathbb R}\) que sean algebraicos sobre \({\mathbb Q}\) son minoría. Casi todos los números reales son trascendentes sobre \({\mathbb Q}\text{.}\) 6 La probabilidad de que un número real elegido al azar en el intervalo \([0, 1]\) sea trascendente sobre los números racionales es uno. (En muchos casos no se sabe si un número específico es trascendente o no; por ejemplo aún no se sabe si \(\pi + e\) es trascendente o algebraico.)
Un número complejo que sea algebraico sobre \({\mathbb Q}\) es un número algebraico. Un número trascendente es un elemento de \({\mathbb C}\) que es trascendente sobre \({\mathbb Q}\text{.}\)
Ejemplo21.8
Mostraremos que \(\sqrt{2 + \sqrt{3} }\) es algebraico sobre \({\mathbb Q}\text{.}\) Si \(\alpha = \sqrt{2 + \sqrt{3} }\text{,}\) entonces \(\alpha^2 = 2 + \sqrt{3}\text{.}\) Por lo tanto, \(\alpha^2 - 2 = \sqrt{3}\) y \(( \alpha^2 - 2)^2 = 3\text{.}\) Como \(\alpha^4 - 4 \alpha^2 + 1 = 0\text{,}\) debe ocurrir que \(\alpha\) es un cero del polinomio \(x^4 - 4 x^2 + 1 \in {\mathbb Q}[x]\text{.}\)
Es muy fácil dar un ejemplo de una extensión de cuerpos \(E\) sobre un cuerpo \(F\text{,}\) tal que \(E\) contenga un elemento trascendente sobre \(F\text{.}\) El siguiente teorema caracteriza las extensiones trascendentes.
Teorema21.9
Sea \(E\) un cuerpo de extensión de \(F\) y \(\alpha \in E\text{.}\) Entonces \(\alpha\) es trascendente sobre \(F\) si y solo si \(F( \alpha )\) es isomorfo a \(F(x)\text{,}\) el cuerpo de fracciones de \(F[x]\text{.}\)
Sea \(\phi_{\alpha} : F[x] \rightarrow E\) el homomorfismo de evaluación en \(\alpha\text{.}\) Entonces \(\alpha\) es trascendente sobre \(F\) si y solo si \(\phi_{\alpha} (p(x)) = p(\alpha) \neq 0\) para todo polinomio no constante \(p(x) \in F[x]\text{.}\) Esto es verdadero si y solo si \(\ker \phi_{\alpha} = \{ 0 \}\text{;}\) es decir, es verdadero precisamente cuando \(\phi_{\alpha}\) es 1-1. Luego, \(E\) debe contener una copia de \(F[x]\text{.}\) El menor cuerpo que contiene a \(F[x]\) es el cuerpo de fracciones \(F(x)\text{.}\) Por el Teorema 18.4, \(E\) debe contener una copia de este cuerpo.
Tenemos una situación más interesante para el caso de las extensiones algebraicas.
Teorema21.10
Sea \(E\) una extensión de un cuerpo \(F\) y \(\alpha \in E\) con \(\alpha\) algebraico sobre \(F\text{.}\) Entonces hay un único polinomio mónico e irreducible \(p(x) \in F[x]\) tal que \(p( \alpha ) = 0\text{.}\) Si \(f(x)\) es otro polinomio en \(F[x]\) tal que \(f(\alpha) = 0\text{,}\) entonces \(p(x)\) divide a \(f(x)\text{.}\)
Sea \(\phi_{\alpha} : F[x] \rightarrow E\) el homomorfismo de evaluación. El núcleo de \(\phi_{\alpha}\) es un ideal principal generado por algún polinomio \(p(x) \in F[x]\) con \(\deg p(x) \geq 1\text{.}\) Sabemos que tal polinomio existe, pues \(F[x]\) es un dominio de ideales principales y \(\alpha\) es algebraico. El ideal \(\langle p(x) \rangle\) consiste exactamente de aquellos elementos de \(F[x]\) que tienen a \(\alpha\) como cero. Si \(f( \alpha ) = 0\) y \(f(x)\) no es el polinomio nulo, entonces \(f(x) \in \langle p(x) \rangle\) y \(p(x)\) divide a \(f(x)\text{.}\) Así \(p(x)\) es un polinomio de grado mínimo que tiene a \(\alpha\) como un cero. Cualquier otro polinomio del mismo grado que se anule en \(\alpha\) debe ser de la forma \(\beta p( x)\) para cierto \(\beta \in F\text{.}\)
Supongamos ahora que \(p(x) = r(x) s(x)\) es una factorización de \(p(x)\) en factores de grado menor. Como \(p( \alpha ) = 0\text{,}\) \(r( \alpha ) s( \alpha ) = 0\text{;}\) luego, \(r( \alpha )=0\) o \(s( \alpha ) = 0\text{,}\) lo que contradice el hecho de que \(p\) es de grado mínimo. Por lo tanto, \(p(x)\) debe ser irreducible.
Sea \(E\) una extensión del cuerpo \(F\) y \(\alpha \in E\) un elemento algebraico sobre \(F\text{.}\) El polinomio mónico único \(p(x)\) del teorema anterior se llama polinomio minimal de \(\alpha\) sobre \(F\text{.}\) El grado de \(p(x)\) es el grado de \(\alpha\) sobre \(F\).
Ejemplo21.11
Sea \(f(x) = x^2 - 2\) y \(g(x) = x^4 - 4 x^2 + 1\text{.}\) Estos son los polinomios minimales de \(\sqrt{2}\) y \(\sqrt{2 + \sqrt{3} }\text{,}\) respectivamente.
Proposición21.12
Sea \(E\) una extensión del cuerpo \(F\) y \(\alpha \in E\) algebraico sobre \(F\text{.}\) Entonces \(F( \alpha ) \cong F[x] / \langle p(x) \rangle\text{,}\) donde \(p(x)\) es el polinomio minimal de \(\alpha\) sobre \(F\text{.}\)
Sea \(\phi_{\alpha} : F[x] \rightarrow E\) el homomorfismo de evaluación. El núcleo de esta función es \(\langle p(x) \rangle\text{,}\) donde \(p(x)\) es el polinomio minimal de \(\alpha\text{.}\) Por el Primer Teorema de Isomorfía de anillos, la imagen \(\phi_{\alpha}\) en \(E\) es isomorfa a \(F( \alpha )\) pues contiene tanto a \(F\) como a \(\alpha\text{.}\)
Teorema21.13
Sea \(E = F( \alpha )\) una extensión simple de \(F\text{,}\) con \(\alpha \in E\) algebraico sobre \(F\text{.}\) Supongamos que el grado de \(\alpha\) sobre \(F\) es \(n\text{.}\) Entonces todo elemento \(\beta \in E\) puede ser expresado de forma única como
Dado que \(\phi_{\alpha} ( F[x] ) \cong F( \alpha )\text{,}\) todo elemento en \(E = F( \alpha )\) debe ser de la forma \(\phi_{\alpha} ( f(x) ) = f( \alpha )\text{,}\) donde \(f(\alpha)\) es un polinomio en \(\alpha\) con coeficientes en \(F\text{.}\) Sea
Continuando de esta manera, podemos expresar cualquier monomio \({\alpha}^m\text{,}\) \(m \geq n\text{,}\) como combinación lineal de potencias de \({\alpha}\) menores a \(n\text{.}\) Por lo tanto, cualquier \(\beta \in F( \alpha )\) puede ser escrito como
está en \(F[x]\) y \(g( \alpha ) = 0\text{.}\) Como el grado de \(g(x)\) es menor que el grado de \(p( x )\text{,}\) el polinomio irreducible de \(\alpha\text{,}\) \(g(x)\) debe ser el polinomio nulo. Concluimos,
es decir, \(b_i = c_i\) para \(i = 0, 1, \ldots, n-1\text{.}\) Hemos demostrado la unicidad.
Ejemplo21.14
Como \(x^2 + 1\) es irreducible sobre \({\mathbb R}\text{,}\) \(\langle x^2 + 1 \rangle\) es un ideal maximal en \({\mathbb R}[x]\text{.}\) Así \(E = {\mathbb R}[x]/\langle x^2 + 1 \rangle\) es una extensión de cuerpos de \({\mathbb R}\) que contiene una raíz de \(x^2 + 1\text{.}\) Sea \(\alpha = x + \langle x^2 + 1 \rangle\text{.}\) Podemos identificar \(E\) con lo números complejos. Por Proposición 21.12, \(E\) es isomorfo a \({\mathbb R}( \alpha ) = \{ a + b \alpha : a, b \in {\mathbb R} \}\text{.}\) Sabemos que \(\alpha^2 = -1\) en \(E\text{,}\) dado que
Luego, tenemos un isomorfismo de \({\mathbb R}( \alpha )\) con \({\mathbb C}\) definido por la función que envía \(a + b \alpha\) a \(a + bi\text{.}\)
Sea \(E\) una extensión de un cuerpo \(F\text{.}\) Si consideramos \(E\) como un espacio vectorial sobre \(F\text{,}\) entonces podemos usar toda la maquinaria de álgebra lineal para trabajar en problemas que encontremos en nuestro estudio de cuerpos. Los elementos en el cuerpo \(E\) son vectores; los elementos en el cuerpo \(F\) son escalares. Podemos pensar en la adición en \(E\) como sumar vectores. Cuando multiplicamos un elemento en \(E\) por un elemento de \(F\text{,}\) estamos multiplicando un vector por un escalar. Este punto de vista para las extensiones de cuerpos es especialmente fructífero si una extensión \(E\) de \(F\) es un espacio vectorial de dimensión finita sobre \(F\text{,}\) y el Teorema 21.13 dice que \(E = F(\alpha )\) es de dimensión finita sobre \(F\) con base \(\{ 1, \alpha, {\alpha}^2, \ldots, {\alpha}^{n - 1} \}\text{.}\)
Si un cuerpo de extensión \(E\) de un cuerpo \(F\) es un espacio vectorial sobre \(F\) de dimensión finita \(n\text{,}\) entonces diremos que \(E\) es una extensión de grado finito \(n\) sobre \(F\). Escribiremos
\begin{equation*}
[E:F]= n.
\end{equation*}
para indicar la dimensión de \(E\) sobre \(F\text{.}\)
Teorema21.15
Toda extensión finita \(E\) de un cuerpo \(F\) es una extensión algebraica.
es un polinomio no nulo con \(p( \alpha ) = 0\text{.}\)
Nota21.16
Teorema 21.15 dice que toda extensión finita de un cuerpo \(F\) es una extensión algebraica. Sin embargo, el recíproco es falso. Dejaremos como un ejercicio demostrar que el conjunto de todos los elementos en \({\mathbb R}\) que son algebraicos sobre \({\mathbb Q}\) forma una extensión infinita de \({\mathbb Q}\text{.}\)
El siguiente es un teorema de conteo similar al Teorema de Lagrange en teoría de grupos. Teorema 21.17 probará una herramienta de gran utilidad en nuestra investigación de extensiones finitas de cuerpos.
Teorema21.17
Si \(E\) es una extensión finita de \(F\text{,}\) y \(K\) es una extensión finita de \(E\text{,}\) entonces \(K\) es una extensión finita de \(F\) y
Sea \(\{ \alpha_1, \ldots, \alpha_n \}\) una base para \(E\) como espacio vectorial sobre \(F\) y sea \(\{ \beta_1, \ldots, \beta_m \}\) una base para \(K\) como espacio vectorial sobre \(E\text{.}\) Afirmamos que \(\{ \alpha_i \beta_j \}\) es una base para \(K\) sobre \(F\text{.}\) Probaremos primero que estos vectores generan \(K\text{.}\) Sea \(u \in K\text{.}\) Entonces \(u = \sum_{j = 1}^{m} b_j \beta_j\) y \(b_j = \sum_{i = 1}^{n} a_{ij} \alpha_i\text{,}\) donde \(b_j \in E\) y \(a_{ij} \in F\text{.}\) Entonces
Así los \(mn\) vectores \(\alpha_i \beta_j\) generan \(K\) sobre \(F\text{.}\)
Debemos mostrar que los \(\alpha_i \beta_j \) son linealmente independientes. Recuerde que un conjunto de vectores \(\{v_1, v_2, \ldots, v_n\}\) en un espacio vectorial \(V\) es linealmente independiente si
para todo \(j\text{.}\) Sin embargo, los \(\alpha_j\) también son linealmente independientes sobre \(F\text{.}\) Por lo tanto, \(c_{ij} = 0\) para todo \(i\) y \(j\text{,}\) lo que completa la demostración.
El siguiente corolario se demuestra fácilmente por inducción.
Corolario21.18
Si \(F_i\) son cuerpos para \(i = 1, \dots, k\) y \(F_{i+1}\) es una extensión finita de \(F_i\text{,}\) entonces \(F_k\) es una extensión finita de \(F_1\) y
Sea \(E\) una extensión de cuerpos de \(F\text{.}\) Si \(\alpha \in E\) es algebraico sobre \(F\) con polinomio minimal \(p(x)\) y \(\beta \in F( \alpha )\) con polinomio minimal \(q(x)\text{,}\) entonces \(\deg q(x)\) divide a \(\deg p(x)\text{.}\)
Determinemos una extensión de cuerpos de \({\mathbb Q}\) que contenga \(\sqrt{3} + \sqrt{5}\text{.}\) Es fácil determinar que el polinomio minimal de \(\sqrt{3} + \sqrt{5}\) es \(x^4 - 16 x^2 + 4\text{.}\) Se sigue que
Sabemos que \(\{ 1, \sqrt{3}\, \}\) es una base para \({\mathbb Q}( \sqrt{3}\, )\) sobre \({\mathbb Q}\text{.}\) Luego, \(\sqrt{3} + \sqrt{5}\) no puede estar en \({\mathbb Q}( \sqrt{3}\, )\text{.}\) Se sigue que \(\sqrt{5}\) no puede estar en \({\mathbb Q}( \sqrt{3}\, )\) tampoco. Por lo tanto, \(\{ 1, \sqrt{5}\, \}\) es una base para \({\mathbb Q}( \sqrt{3}, \sqrt{5}\, ) = ( {\mathbb Q}(\sqrt{3}\, ))( \sqrt{5}\, )\) sobre \({\mathbb Q}( \sqrt{3}\, )\) y \(\{ 1, \sqrt{3}, \sqrt{5}, \sqrt{3} \sqrt{5} = \sqrt{15}\, \}\) es una base para \({\mathbb Q}( \sqrt{3}, \sqrt{5}\, ) = {\mathbb Q}( \sqrt{3} + \sqrt{5}\, )\) sobre \({\mathbb Q}\text{.}\) Este ejemplo muestra que es posible que cierta extensión \(F( \alpha_1, \ldots, \alpha_n )\) sea realmente una extensión simple de \(F\) aunque \(n \gt 1\text{.}\)
Ejemplo21.21
Calculemos una base para \({\mathbb Q}( \sqrt[3]{5}, \sqrt{5} \, i )\text{,}\) donde \(\sqrt{5}\) es la raíz cuadrada positiva de 5 y \(\sqrt[3]{5}\) es la raíz cúbica real de 5. Sabemos que \(\sqrt{5} \, i \notin {\mathbb Q}(\sqrt[3]{5}\, )\text{,}\) así es que
Es fácil determinar que \(\{ 1, \sqrt{5}i\, \}\) es una base para \({\mathbb Q}( \sqrt[3]{5}, \sqrt{5}\, i )\) sobre \({\mathbb Q}( \sqrt[3]{5}\, )\text{.}\) También sabemos que \(\{ 1, \sqrt[3]{5}, (\sqrt[3]{5}\, )^2 \}\) es una base para \({\mathbb Q}(\sqrt[3]{5}\, )\) sobre \({\mathbb Q}\text{.}\) Luego, una base para \({\mathbb Q}(\sqrt[3]{5}, \sqrt{5}\, i )\) sobre \({\mathbb Q}\) es
\begin{equation*}
\{ 1, \sqrt{5}\, i, \sqrt[3]{5}, (\sqrt[3]{5}\, )^2, (\sqrt[6]{5}\, )^5 i, (\sqrt[6]{5}\, )^7 i = 5 \sqrt[6]{5}\, i \text{ o } \sqrt[6]{5}\, i \}.
\end{equation*}
Notemos que \(\sqrt[6]{5}\, i\) es un cero de \(x^6 + 5\text{.}\) Podemos demostrar que este polinomio es irreducible sobre \({\mathbb Q}\) usando el Criterio de Eisenstein, con \(p = 5\text{.}\) Por lo tanto,
Pero debe ser el caso que \({\mathbb Q}( \sqrt[6]{5}\, i) = {\mathbb Q}( \sqrt[3]{5}, \sqrt{5}\, i )\text{,}\) dado que ambas son extensiones de grado 6.
Teorema21.22
Sea \(E\) una extensión de cuerpos de \(F\text{.}\) Entonces las siguientes afirmaciones son equivalentes.
\(E\) es una extensión finita de \(F\text{.}\)
Existe un número finito de elementos algebraicos \(\alpha_1, \ldots, \alpha_n \in E\) tales que \(E = F(\alpha_1, \ldots, \alpha_n)\text{.}\)
(1) \(\Rightarrow\) (2). Sea \(E\) una extensión algebraica finita de \(F\text{.}\) Entonces \(E\) es un espacio vectorial de dimensión finita sobre \(F\) y hay una base que consiste de elementos \(\alpha_1, \ldots, \alpha_n\) en \(E\) tales que \(E = F(\alpha_1, \ldots, \alpha_n)\text{.}\) Cada \(\alpha_i\) es algebraico sobre \(F\) por el Teorema 21.15.
(2) \(\Rightarrow\) (3). Supongamos que \(E = F(\alpha_1, \ldots, \alpha_n)\text{,}\) donde cada \(\alpha_i\) es algebraico sobre \(F\text{.}\) Entonces
Dado un cuerpo \(F\text{,}\) surge la pregunta sobre si es posible encontrar un cuerpo \(E\) tal que todo polinomio \(p(x)\) tenga una raíz en \(E\text{.}\) Esto nos lleva al siguiente teorema.
Teorema21.23
Sea \(E\) una extensión de cuerpos de \(F\text{.}\) El conjunto de los elementos en \(E\) que son algebraicos sobre \(F\) forma un cuerpo.
Sean \(\alpha, \beta \in E\) algebraicos sobre \(F\text{.}\) Entonces \(F( \alpha, \beta )\) es una extensión finita de \(F\text{.}\) Como todo elemento de \(F( \alpha, \beta )\) es algebraico sobre \(F\text{,}\) \(\alpha \pm \beta\text{,}\) \(\alpha \beta\text{,}\) y \(\alpha / \beta\) (\(\beta \neq 0\)) son todos algebraicos sobre \(F\text{.}\) Por lo tanto, el conjunto de los elementos en \(E\) que son algebraicos sobre \(F\) forma un cuerpo.
Corolario21.24
El conjunto de todos los números algebraicos forma un cuerpo; es decir, el conjunto de todos los números complejos que son algebraicos sobre \({\mathbb Q}\) constituye un cuerpo.
Sea \(E\) una extensión de cuerpos de un cuerpo \(F\text{.}\) Definimos la clausura algebraica de un cuerpo \(F\) en \(E\) como el cuerpo que consiste de todos los elementos en \(E\) que son algebraicos sobre \(F\text{.}\) Un cuerpo \(F\) es algebraicamente cerrado si todo polinomio no constante en \(F[x]\) tiene una raíz en \(F\text{.}\)
Teorema21.25
Un cuerpo \(F\) es algebraicamente cerrado si y solo si todo polinomio no constante en \(F[x]\) se factoriza en factores lineales sobre \(F[x]\text{.}\)
Sea \(F\) un cuerpo algebraicamente cerrado. Si \(p(x) \in F[x]\) es un polinomio no constante, entonces \(p(x)\) tiene una raíz en \(F\text{,}\) digamos \(\alpha\text{.}\) Luego, \(x-\alpha\) debe ser un factor de \(p(x)\) de manera que \(p(x) = (x - \alpha) q_1(x)\text{,}\) donde \(\deg q_1(x) = \deg p(x) - 1\text{.}\) Continúe este proceso con \(q_1(x)\) para encontrar la factorización
donde \(\deg q_2(x) = \deg p(x) -2\text{.}\) Este proceso debe terminar en algún momento pues el grado de \(p(x)\) es finito.
Recíprocamente, supongamos que todo polinomio no constante \(p(x)\) en \(F[x]\) se factoriza como producto de factores lineales. Sea \(ax - b\) uno de esos factores. Entonces \(p( b/a) = 0\text{.}\) Luego, \(F\) es algebraicamente cerrado.
Corolario21.26
Un cuerpo algebraicamente cerrado \(F\) no tiene extensiones algebraicas \(E\) con \(E\neq F\text{.}\)
Sea \(E\) una extensión algebraica de \(F\text{;}\) Entonces \(F \subset E\text{.}\) Para \(\alpha \in E\text{,}\) el polinomio minimal de \(\alpha\) es \(x - \alpha\text{.}\) Por lo tanto, \(\alpha \in F\) y \(F = E\text{.}\)
Teorema21.27
Todo cuerpo \(F\) tiene una única clausura algebraica.
Es un hecho no trivial que todo cuerpo tenga una única clausura algebraica. La demostración no es demasiado difícil, pero requiere algunas herramientas más sofisticadas de teoría de conjuntos. El lector interesado puede encontrar una demostración de este hecho en [3], [4], o [8].
Enunciamos ahora el Teorema Fundamental del Álgebra, demostrado por primera vez por Gauss a los 22 años de edad en su tesis doctoral. Este teorema dice que todo polinomio con coeficientes en los números complejos tiene una raíz en los números complejos. La demostración de este teorema se dará en el Capítulo 23.
Teorema21.28Teorema Fundamental del Álgebra
El cuerpo de los números complejos es algebraicamente cerrado.