On unsolvable equations of prime degree

Resumen Técnico: Sobre ecuaciones irresolubles de grado primo

Planteamiento del problema
El artículo aborda el problema de la construcción de ejemplos específicos de ecuaciones polinómicas de grado primo que no son resolubles por radicales. Si bien la imposibilidad general de resolver ecuaciones de grado quintico o superior es un resultado estándar en la teoría de Galois, los autores se centran en proporcionar una prueba relativamente elemental para un criterio específico: el Teorema de Kronecker. Este teorema establece que para un polinomio irreducible de grado primo impar con coeficientes en un subcampo de los números reales, si la ecuación es resoluble por radicales, entonces todas sus raíces son reales o exactamente una raíz es real. En consecuencia, cualquier polinomio irreducible de este tipo con más de una raíz real y al menos un par de conjugados complejos sirve como un ejemplo concreto de una ecuación irresoluble.

Metodología y preliminares
Los autores adoptan un enfoque "elemental", definido por evitar toda la maquinaria del Teorema Fundamental de la Teoría de Galois (específicamente la correspondencia de Galois entre subgrupos normales y extensiones normales). En su lugar, la prueba se basa en:

1. Fundamentos de la teoría de cuerpos: Propiedades de las extensiones simples, la Ley de la Torre y la estructura de los cuerpos de división.
2. Grupos de Galois como grupos de automorfismos: Utilización de la definición del grupo de Galois como el grupo de automorfismos de un cuerpo de división que fija el cuerpo base sin invocar los profundos teoremas estructurales de la resolubilidad.
3. Extensiones radicales: Análisis de cadenas de extensiones radicales simples $K = K_0 \subset K_1 \subset \dots \subset K_n = L$, donde $K_i = K_{i-1}(\alpha_i)$ y $\alpha_i^{q_i} = a_i \in K_{i-1}$.
4. Invarianza por conjugación: Una adición metodológica crítica es la construcción de cadenas de extensiones radicales que son invariantes bajo la conjugación compleja. Los autores demuestran (Lema 11) que para cualquier extensión radical de un cuerpo invariante por conjugación, existe una cadena refinada donde cada cuerpo intermedio es también invariante por conjugación. Esto implica el manejo tanto de radicales irreducibles como de "radicales reducibles" (donde $X^q - a$ es reducible sobre el cuerpo base).

Contribuciones clave y correcciones
La contribación principal del artículo es una prueba corregida y unificada del Teorema de Kronecker que aborda imprecisiones históricas en pruebas "elementales" anteriores, específicamente aquellas de Heinrich Weber y Heinrich Dörrie.

• Identificación del error: Los autores rastrean un error específico en las pruebas de Weber y Dörrie debido a la suposición de que el grado de la extensión radical ($q$) debe ser igual al grado del polinomio ($p$) cuando el polinomio se vuelve reducible por primera vez. Esta suposición falla cuando el radical es reducible (es decir, cuando $X^q - a$ tiene una raíz en el cuerpo base). En tales casos, el grado de la extensión $q$ puede diferir de $p$, y el argumento estándar de que $q=p$ colapsa.
• Manejo de radicales reducibles: El artículo aborda explícitamente el caso de los radicales reducibles. Demuestra que si un polinomio se vuelve reducible mediante un radical reducible, la extensión involucra la adición de una raíz primitiva de la unidad y, potencialmente, una raíz real $\rho = \sqrt[q]{a\bar{a}}$.
• Estrategia de prueba unificada: Los autores proporcionan una prueba que trata tanto el caso de radicales irreducibles como el de los reducibles.
  • Caso I (Radical Irreducible): Si $X^q - a$ es irreducible, el Lema de Nagell implica que $q=p$. El grupo de Galois es cíclico de orden $p$. Si dos raíces son reales, la estructura de automorfismos obliga a que todas las raíces sean reales.
  • Caso II (Radical Reducible): Si $X^q - a$ es reducible, la extensión es normal y cíclica. Los autores utilizan la propiedad del número real $\rho = \alpha\bar{\alpha}$ para mostrar que si una raíz es real, la invarianza por conjugación del cuerpo y la transitividad del grupo de Galois implican que todas las raíces son reales.

Resultados
El artículo establece el Teorema 14 (Teorema de Kronecker): Sea $K$ un subcampo de $\mathbb{C}$ invariante por conjugación. Si un polinomio irreducible $f(X) \in K[X]$ de grado primo impar $p$ con coeficientes reales es resoluble por radicales, entonces exactamente una raíz o todas las raíces del polinomio son reales.

La prueba confirma que la existencia de un polinomio irreducible de grado primo impar con coeficientes enteros que posea tanto raíces reales como no reales (por ejemplo, $X^5 - 4X - 2$) implica que la ecuación no es resoluble por radicales.

Significación y pretensiones
Los autores enmarcan modestamente la significación del artículo en el contexto de la pedagogía matemática y la corrección histórica:

• Valor pedagógico: La prueba ofrece una vía para comprender la irresolubilidad de la ecuación quinta que requiere menos formación que un curso completo de teoría de Galois, lo que la hace adecuada para cursos de álgebra de pregrado avanzado que cubren extensiones de cuerpos pero no la correspondencia de Galois completa.
• Corrección histórica: El artículo aclara que las presentaciones de la prueba de Weber en los libros de texto modernos (a menudo derivadas de Triumph der Mathematik de Dörrie) contienen imprecisiones respecto a los radicales reducibles. Los autores proporcionan las correcciones necesarias para salvar la naturaleza "elemental" de la prueba sin recurrir al poder total de la teoría de Galois.
• Unificación: Al distinguir los casos basados en la reducibilidad del radical y las propiedades de $\rho$, los autores proporcionan un argumento completo que evita el razonamiento circular encontrado en versiones anteriores de la prueba.

El artículo no propone nuevas aplicaciones o direcciones de investigación futura, sino que busca consolidar el fundamento teórico de un resultado clásico en la resolubilidad algebraica.