Introducción
Las extensiones de cuerpos son un concepto fundamental en el álgebra moderna, con aplicaciones que van desde la teoría de números hasta la geometría algebraica. Una extensión de cuerpo ocurre cuando un cuerpo más grande (llamado extensión) contiene a un cuerpo más pequeño, heredando y ampliando sus propiedades. Este artículo explora las definiciones, teoremas y aplicaciones clave de las extensiones de cuerpos, ilustrando su importancia en matemáticas avanzadas.
Definiciones Básicas
Una extensión de cuerpos es un par de cuerpos $(K, F)$ donde $F \subseteq K$ y las operaciones de $F$ son las restricciones de las de $K$. Se denota por $K/F$ y se lee «$K$ sobre $F$».
Ejemplo 1: Extensión de los Racionales
Consideremos $\mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} \mid a, b \in \mathbb{Q}\}$. Esta es una extensión de $\mathbb{Q}$ porque $\mathbb{Q} \subseteq \mathbb{Q}(\sqrt{2})$ y las operaciones en $\mathbb{Q}$ se conservan.
Grado de una Extensión
El grado de una extensión $K/F$, denotado por $[K : F]$, es la dimensión de $K$ como espacio vectorial sobre $F$. Si $[K : F]$ es finito, decimos que $K/F$ es una extensión finita.
Teorema 1: Transitividad de Grados
Si $F \subseteq E \subseteq K$ son cuerpos, entonces $[K : F] = [K : E] \cdot [E : F]$.
Demostración:
Sea $\{ \alpha_i \}_{i=1}^n$ una base de $E$ sobre $F$ y $\{ \beta_j \}_{j=1}^m$ una base de $K$ sobre $E$. Entonces, $\{ \alpha_i \beta_j \}$ es una base de $K$ sobre $F$, lo que implica que $[K : F] = n \cdot m$.
Extensiones Algebraicas
Un elemento $\alpha \in K$ es algebraico sobre $F$ si existe un polinomio no nulo $f(x) \in F[x]$ tal que $f(\alpha) = 0$. Si todos los elementos de $K$ son algebraicos sobre $F$, decimos que $K/F$ es una extensión algebraica.
Ejemplo 2: Elemento Algebraico
$\sqrt{2}$ es algebraico sobre $\mathbb{Q}$ porque satisface $x^2 – 2 = 0$.
Teorema del Elemento Primitivo
Teorema 2: Teorema del Elemento Primitivo
Si $K/F$ es una extensión finita y separable, entonces existe un elemento $\theta \in K$ tal que $K = F(\theta)$.
Demostración (Bosquejo):
Para extensiones de cuerpos infinitos, se puede construir $\theta$ como combinación lineal de los generadores de $K$ sobre $F$. La separabilidad garantiza que el polinomio minimal de $\theta$ tenga raíces distintas.
Extensiones de Galois
Una extensión $K/F$ se llama extensión de Galois si es normal y separable. El grupo de Galois $\text{Gal}(K/F)$ consiste en todos los automorfismos de $K$ que fijan $F$.
Teorema 3: Teorema Fundamental de la Teoría de Galois
Si $K/F$ es una extensión de Galois finita, entonces existe una correspondencia biyectiva entre los subgrupos de $\text{Gal}(K/F)$ y los cuerpos intermedios $E$ con $F \subseteq E \subseteq K$.
Demostración (Resumen):
La correspondencia asocia a cada subgrupo $H$ el cuerpo fijo $K^H$, y a cada cuerpo intermedio $E$ el grupo $\text{Gal}(K/E)$. La normalidad y separabilidad garantizan que esta correspondencia sea biyectiva.
Ejercicios Resueltos
Ejercicio 1
Demuestra que $\mathbb{Q}(\sqrt{2}, \sqrt{3}) = \mathbb{Q}(\sqrt{2} + \sqrt{3})$.
Solución:
Sea $\theta = \sqrt{2} + \sqrt{3}$. Entonces $\theta^2 = 5 + 2\sqrt{6}$, y $\sqrt{6} \in \mathbb{Q}(\theta)$. Luego, $\sqrt{2} = \frac{\theta^3 – 9\theta}{2}$ y $\sqrt{3} = \frac{11\theta – \theta^3}{2}$ están en $\mathbb{Q}(\theta)$.
Ejercicio 2
Calcula el grado de $\mathbb{Q}(\sqrt[3]{2}, \omega)$ sobre $\mathbb{Q}$, donde $\omega$ es una raíz cúbica primitiva de la unidad.
Solución:
$[\mathbb{Q}(\sqrt[3]{2}) : \mathbb{Q}] = 3$ y $[\mathbb{Q}(\omega) : \mathbb{Q}] = 2$. Como $\sqrt[3]{2} \notin \mathbb{Q}(\omega)$, el grado total es $6$.
Aplicaciones Prácticas
Las extensiones de cuerpos tienen aplicaciones en:
- Teoría de Números: Resolución de ecuaciones diofánticas.
- Criptografía: Construcción de cuerpos finitos para algoritmos como AES.
- Geometría Algebraica: Estudio de variedades algebraicas sobre extensiones de cuerpos.
Conclusión
Las extensiones de cuerpos son una herramienta poderosa en el álgebra moderna, conectando áreas como la teoría de Galois, la teoría de números y la geometría. A través de ejemplos, teoremas y ejercicios, hemos visto cómo estas estructuras permiten entender y resolver problemas complejos. Su estudio continúa siendo relevante tanto en investigación pura como en aplicaciones tecnológicas.
«`