Introducción
La Teoría de Galois, desarrollada por el matemático francés Évariste Galois en el siglo XIX, revolucionó el estudio de las ecuaciones algebraicas. Esta teoría no solo proporciona un marco elegante para determinar si una ecuación polinómica puede resolverse mediante radicales, sino que también establece una profunda conexión entre la teoría de cuerpos y la teoría de grupos. En este artículo, exploraremos los fundamentos de la Teoría de Galois, sus teoremas clave, y cómo aplicarla para resolver ecuaciones polinómicas.
Conceptos Básicos
Antes de adentrarnos en la Teoría de Galois, es esencial repasar algunos conceptos fundamentales:
- Cuerpo: Un conjunto $K$ con dos operaciones (suma y multiplicación) que satisfacen las propiedades de un campo algebraico.
- Extensión de Cuerpo: Dados dos cuerpos $K \subseteq L$, decimos que $L$ es una extensión de $K$.
- Polinomio Irreducible: Un polinomio $f(x) \in K[x]$ que no puede factorizarse en polinomios de grado menor en $K[x]$.
Grupo de Galois
El Grupo de Galois de una extensión de cuerpos $L/K$, denotado por $\text{Gal}(L/K)$, es el grupo de automorfismos de $L$ que fijan $K$. Es decir:
Este grupo juega un papel central en la Teoría de Galois, ya que captura las simetrías de las raíces de un polinomio.
Teorema Fundamental de la Teoría de Galois
Teorema Fundamental de la Teoría de Galois
Sea $L/K$ una extensión finita y de Galois. Existe una correspondencia biyectiva entre los subgrupos de $\text{Gal}(L/K)$ y los subcuerpos intermedios $K \subseteq M \subseteq L$.
Demostración: La demostración se basa en establecer dos funciones:
- Para un subgrupo $H \leq \text{Gal}(L/K)$, definimos el cuerpo fijo $L^H = \{ a \in L \mid \sigma(a) = a \text{ para todo } \sigma \in H \}$.
- Para un subcuerpo $M$ intermedio, definimos el grupo $\text{Gal}(L/M)$.
Se demuestra que estas funciones son inversas y preservan las inclusiones.
Ejercicios Resueltos
Ejercicio 1: Calcular el Grupo de Galois de $\mathbb{Q}(\sqrt{2})/\mathbb{Q}$
Solución: El grupo de Galois consiste en los automorfismos de $\mathbb{Q}(\sqrt{2})$ que fijan $\mathbb{Q}$. Los elementos son:
- La identidad $\sigma_1(a + b\sqrt{2}) = a + b\sqrt{2}$.
- El conjugado $\sigma_2(a + b\sqrt{2}) = a – b\sqrt{2}$.
Por lo tanto, $\text{Gal}(\mathbb{Q}(\sqrt{2})/\mathbb{Q}) \cong \mathbb{Z}/2\mathbb{Z}$.
Ejercicio 2: Resolver la ecuación $x^4 – 5x^2 + 6 = 0$ usando Teoría de Galois
Solución: Factorizamos el polinomio como $(x^2 – 2)(x^2 – 3) = 0$. Las raíces son $\pm \sqrt{2}, \pm \sqrt{3}$. El cuerpo de descomposición es $\mathbb{Q}(\sqrt{2}, \sqrt{3})$. El grupo de Galois es isomorfo a $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$.
Aplicaciones Prácticas
La Teoría de Galois tiene aplicaciones en:
- Teoría de Números: Estudio de extensiones algebraicas de $\mathbb{Q}$.
- Geometría Algebraica: Clasificación de variedades algebraicas.
- Criptografía: Construcción de códigos correctores de errores.
Conclusión
La Teoría de Galois proporciona un marco poderoso para entender la solubilidad de ecuaciones polinómicas. A través de su conexión entre cuerpos y grupos, no solo responde preguntas fundamentales en álgebra, sino que también encuentra aplicaciones en diversas áreas de las matemáticas y la ciencia. Esperamos que este artículo haya sido una introducción clara y motivadora a este fascinante tema.
«`