On unsolvable equations of prime degree

Resumo Técnico: Sobre Equações Irresolúveis de Grau Primo

Enunciado do Problema
O artigo aborda o problema de construir exemplos específicos de equações polinomiais de grau primo que não são resolvíveis por radicais. Embora a impossibilidade geral de resolver equações de quintic e graus superiores seja um resultado padrão da teoria de Galois, os autores focam em fornecer uma prova relativamente elementar para um critério específico: o Teorema de Kronecker. Este teorema afirma que, para um polinômio irredutível de grau primo ímpar com coeficientes em um subcampo dos números reais, se a equação for resolúvel por radicais, então todas as suas raízes são reais ou exatamente uma raiz é real. Consequentemente, qualquer polinômio irredutível desse tipo com mais de uma raiz real e pelo menos um par de conjugados complexos serve como um exemplo concreto de uma equação irresolúvel.

Metodologia e Preliminares
Os autores adotam uma abordagem "elementar", definida como evitar o aparato completo da Teoria Fundamental da Teoria de Galois (especificamente a correspondência de Galois entre subgrupos normais e extensões normais). Em vez disso, a prova baseia-se em:

1. Fundamentos da Teoria de Corpos: Propriedades de extensões simples, a Lei da Torre e a estrutura de corpos de decomposição.
2. Grupos de Galois como Grupos de Automorfismos: Utilizando a definição do grupo de Galois como o grupo de automorfismos de um corpo de decomposição que fixa o corpo base, sem invocar os profundos teoremas estruturais de resolubilidade.
3. Extensões Radicais: Analisando cadeias de extensões radicais simples $K = K_0 \subset K_1 \subset \dots \subset K_n = L$, onde $K_i = K_{i-1}(\alpha_i)$ e $\alpha_i^{q_i} = a_i \in K_{i-1}$.
4. Invariância pela Conjugação: Uma adição metodológica crítica é a construção de cadeias de extensões radicais que são invariantes sob a conjugação complexa. Os autores provam (Lema 11) que, para qualquer extensão radical de um corpo invariante pela conjugação, existe uma cadeia refinada onde cada corpo intermediário também é invariante pela conjugação. Isso envolve lidar tanto com radicais irredutíveis quanto com "radicais redutíveis" (onde $X^q - a$ é redutível sobre o corpo base).

Contribuições Principais e Correções
A principal contribuição do artigo é uma prova corrigida e unificada do Teorema de Kronecker que aborda imprecisões históricas em provas "elementares" anteriores, especificamente aquelas de Heinrich Weber e Heinrich Dörrie.

• Identificação do Erro: Os autores rastreiam um erro específico nas provas de Weber e Dörrie ao assumir que o grau da extensão radical ($q$) deve ser igual ao grau do polinômio ($p$) quando o polinômio se torna redutível pela primeira vez. Essa suposição falha quando o radical é redutível (ou seja, quando $X^q - a$ possui uma raiz no corpo base). Nesses casos, o grau da extensão $q$ pode diferir de $p$, e o argumento padrão de que $q=p$ colapsa.
• Tratamento de Radicais Redutíveis: O artigo aborda explicitamente o caso de radicais redutíveis. Ele demonstra que, se um polinômio se torna redutível via um radical redutível, a extensão envolve a adjunção de uma raiz primitiva da unidade e, potencialmente, uma raiz real $\rho = \sqrt[q]{a\bar{a}}$.
• Estratégia de Prova Unificada: Os autores fornecem uma prova que trata tanto os casos de radical irredutível quanto de radical redutível.
  • Caso I (Radical Irredutível): Se $X^q - a$ é irredutível, o Lema de Nagell implica que $q=p$. O grupo de Galois é cíclico de ordem $p$. Se duas raízes são reais, a estrutura de automorfismo força todas as raízes a serem reais.
  • Caso II (Radical Redutível): Se $X^q - a$ é redutível, a extensão é normal e cíclica. Os autores utilizam a propriedade do número real $\rho = \alpha\bar{\alpha}$ para mostrar que, se uma raiz é real, a invariância pela conjugação do corpo e a transitividade do grupo de Galois implicam que todas as raízes são reais.

Resultos
O artigo estabelece o Teorema 14 (Teorema de Kronecker): Seja $K$ um subcampo de $\mathbb{C}$ invariante pela conjugação. Se um polinômio irredutível $f(X) \in K[X]$ de grau primo ímpar $p$ com coeficientes reais é resolúvel por radicais, então exatamente uma raiz ou todas as raízes do polinômio são reais.

A prova confirma que a existência de um polinômio irredutível de grau primo ímpar com coeficientes inteiros que possui tanto raízes reais quanto não reais (por exemplo, $X^5 - 4X - 2$) implica que a equação não é resolúvel por radicais.

Significância e Alegações
Os autores enquadram modestamente a significância do artigo no contexto da pedagogia matemática e da correção histórica:

• Valor Pedagógico: A prova oferece um caminho para compreender a irresolubilidade da quintica que exige menos bagagem do que um curso completo de teoria de Galois, tornando-a adequada para cursos de álgebra de graduação avançada que cobrem extensões de corpos, mas não a correspondência de Galois completa.
• Correção Histórica: O artigo esclarece que apresentações modernas de livros didáticos da prova de Weber (muitas vezes derivadas de Triumph der Mathematik de Dörrie) contêm imprecisões em relação a radicais redutíveis. Os autores fornecem as correções necessárias para salvar a natureza "elementar" da prova sem recorrer ao poder total da teoria de Galois.
• Unificação: Ao distinguir os casos com base na redutibilidade do radical e nas propriedades de $\rho$, os autores fornecem um argumento completo que evita o raciocínio circular encontrado em versões anteriores da prova.

O artigo não propõe novas aplicações ou direções de pesquisa futura, mas visa solidificar o fundamento teórico de um resultado clássico em resolubilidade algébrica.