🔢 mathematics

A necessary condition for solvability by radicals

Este artigo, preparado como material de apoio para o curso MAT401 da Universidade de Toronto, apresenta uma prova baseada na teoria de Galois de uma condição necessária para a solvabilidade de equações algébricas por radicais.

Autores originais: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

Publicado 2026-04-13

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem um quebra-cabeça matemático muito difícil: resolver uma equação polinomial (algo como $x^5 + 2x^3 - 7 = 0$ ). A pergunta que este texto de Askold Khovanskii responde é: "Quando é possível desmontar esse quebra-cabeça usando apenas as ferramentas básicas de 'raízes' (como raiz quadrada, raiz cúbica, etc.)?"

O autor não está dizendo como resolver a equação, mas sim dando uma condição necessária: uma regra que tem que ser verdadeira para que a solução seja possível. Se essa regra não for obedecida, você pode tentar o dia todo e nunca vai conseguir resolver a equação apenas com raízes.

Aqui está a explicação do texto, traduzida para uma linguagem do dia a dia, usando analogias:

1. O Grande Problema: A Torre de Blocos

Pense na resolução de uma equação como a construção de uma torre de blocos.

Você começa com o chão (o campo de números que você já conhece, como os inteiros).
Para chegar à solução (o topo da torre), você precisa adicionar novos blocos.
A regra do jogo é: você só pode adicionar um novo bloco se ele for uma "raiz" de algo que já está na torre (como adicionar um bloco que é a raiz quadrada do bloco anterior).

Se você consegue construir essa torre até chegar à solução, dizemos que a equação é "solúvel por radicais".

2. O Segredo: Os "Guardiões" (Grupos de Galois)

Aqui entra a parte mágica do texto. O autor diz que, para cada torre de blocos, existe um grupo de "Guardiões" (o Grupo de Galois).

Esses guardiões são como espelhos ou transformadores que olham para a sua torre e a giram de formas diferentes, mas mantendo as regras básicas intactas.
Se a torre for muito complexa e bagunçada, os guardiões podem girar de tantas formas diferentes que o caos reina.
Se a torre for bem estruturada, os guardiões têm uma ordem específica.

3. A Analogia da "Dança Organizada"

O texto prova que, para você conseguir resolver a equação com raízes, os "Guardiões" da sua torre de blocos precisam ser solúveis.

O que é um grupo "solúvel"? Imagine uma dança:

Grupo Não-Solúvel: É como uma multidão em um show de rock. Todos estão pulando, gritando e se movendo em direções aleatórias. Não há padrão. É o caos.
Grupo Solúvel: É como uma dança de salão ou um exército marchando. Eles podem se mover, mas o movimento é feito em camadas.
1. Primeiro, um pequeno grupo de dançarinos se move de forma simples (como um círculo perfeito).
2. Depois, esse grupo se junta a outro, e juntos eles fazem um movimento um pouco mais complexo, mas ainda organizado.
3. E assim por diante, camada por camada, até chegar ao topo.

O texto diz: Se a sua equação pode ser resolvida por raízes, a "dança" dos seus guardiões (o Grupo de Galois) tem que ser organizada em camadas simples. Se a dança for um caos absoluto (como acontece com equações de grau 5 ou superiores em geral), é impossível resolver a equação apenas com raízes.

4. O Truque do Autor: "Normalizar" a Torre

O texto tem uma parte técnica onde o autor explica como transformar qualquer tentativa de construir a torre (uma "cadeia de radicais") em uma torre "perfeita" e organizada (uma "cadeia de extensões normais").

A Analogia: Imagine que você tentou construir sua torre de blocos de qualquer jeito, e ela ficou torta. O autor diz: "Não se preocupe! Eu posso pegar essa torre torta e, sem mudar a solução final, adicionar alguns blocos extras para deixá-la perfeitamente reta e simétrica".
Ao fazer isso (o que ele chama de "normalização"), ele consegue aplicar as regras dos "Guardiões" (Teoria de Galois) para ver se a estrutura é válida.

5. A Conclusão Simples

O texto termina com a prova final:

Se você consegue resolver a equação usando raízes, você consegue construir uma torre organizada.
Se a torre é organizada, os "Guardiões" que a controlam fazem uma dança organizada em camadas (são um grupo solúvel).
Portanto, se a dança dos guardiões não for organizada (não for solúvel), a equação não tem solução por raízes.

Resumo em uma frase:

Este texto é um manual que diz: "Para resolver uma equação difícil usando apenas raízes, a estrutura oculta por trás dela (os guardiões matemáticos) precisa ser capaz de se organizar em passos simples e ordenados; se ela for caótica demais, a solução por raízes é impossível."

É por isso que equações de grau 5 (quinticas) geralmente não têm fórmula de solução como as de grau 2, 3 ou 4: seus "guardiões" fazem uma dança tão caótica que não podem ser desmontados em passos simples de raízes.

Resumo Técnico: Uma Condição Necessária para a Solubilidade por Radicais

Autor: Askold Khovanskii
Contexto: Notas de aula para o curso MAT401 "Equações Polinomiais e Campos" (Universidade de Toronto, Primavera de 2026).

1. O Problema

O artigo aborda um dos problemas centrais da álgebra clássica: determinar sob quais condições uma equação polinomial $P(x) = 0$ sobre um corpo $K$ (de característica zero) pode ser resolvida por radicais. Ou seja, quando as raízes da equação podem ser expressas utilizando apenas operações aritméticas básicas (soma, subtração, multiplicação, divisão) e extração de raízes $n$ -ésimas a partir dos coeficientes do polinômio.

O objetivo específico deste trabalho é estabelecer e provar rigorosamente a condição necessária para tal solubilidade: se uma equação é solúvel por radicais, o seu grupo de Galois deve ser um grupo solúvel. (A condição suficiente, baseada em álgebra linear, é mencionada como sendo tratada em um documento subsequente).

2. Metodologia

A prova apresentada baseia-se inteiramente na Teoria de Galois, utilizando uma estrutura lógica que conecta extensões de corpos, grupos de automorfismos e propriedades de solubilidade de grupos. A metodologia segue os seguintes passos:

Fundamentação Teórica: Revisão de teoremas básicos da Teoria de Galois, incluindo:
- A fórmula do grau de extensões de corpos.
- Definição de extensões normais e grupos de Galois.
- A relação entre subcorpos intermediários e subgrupos do grupo de Galois (Correspondência de Galois).
- A construção de polinômios mínimos via órbitas de elementos sob a ação do grupo de Galois.
Conceituação de Cadeias de Radicais:
- Definição de uma cadeia de extensões radicais ( $K = R_0 \subset R_1 \subset \dots \subset R_n$ ), onde cada passo envolve a adjunção de uma raiz $k_i$ -ésima de um elemento do corpo anterior.
- Reconhecimento de que uma cadeia de radicais genérica não é necessariamente uma extensão normal, o que impede a definição direta de um grupo de Galois para toda a cadeia.
Técnica de "Normalização":
- Para contornar a falta de normalidade, o autor introduz o conceito de conjunto aninhado de extensões normais radicais.
- Demonstra-se que qualquer cadeia de radicais pode ser "normalizada" em uma cadeia de extensões normais ( $K = E_0 \subset E_1 \subset \dots \subset E_{n+1}$ ) que contém a cadeia original.
- A normalização envolve, inicialmente, adjuntar todas as raízes da unidade (para garantir que o corpo contenha as raízes necessárias para a teoria de Kummer) e, subsequentemente, construir corpos de decomposição para polinômios da forma $x^{k_i} - \omega$ , onde $\omega$ pertence a órbitas de elementos sob a ação do grupo de Galois.
Análise dos Grupos de Galois das Extensões Radicais:
- Utilização de lemas para provar que os grupos de Galois associados a cada passo da cadeia normalizada são comutativos (abelianos).
  - Para extensões de raízes da unidade ( $x^n - 1$ ), o grupo é isomorfo a um subgrupo do grupo multiplicativo $U(n)$ .
  - Para extensões radicais puras ( $x^n - a$ ) em corpos que contêm raízes da unidade, o grupo é isomorfo a um subgrupo do grupo cíclico aditivo $\mathbb{Z}_n$ .
  - Para produtos de tais polinômios, o grupo é um subgrupo de uma soma direta de grupos cíclicos.
Síntese via Solubilidade de Grupos:
- Aplica-se o lema de que se existe uma cadeia de subgrupos onde cada quociente é abeliano, o grupo total é solúvel.
- Como a cadeia de extensões normais gera uma cadeia de subgrupos com quocientes abelianos, o grupo de Galois da extensão total é solúvel.
- Finalmente, usa-se o fato de que o grupo de Galois do corpo de decomposição original da equação é um quociente (fator) do grupo da extensão normalizada, e a propriedade de solubilidade é herdada por quocientes.

3. Principais Contribuições e Resultados

Teorema 9.1 (Condição Necessária): O resultado central do artigo afirma que, se uma equação polinomial $P(x)=0$ sobre um corpo de característica zero é solúvel por radicais, então o seu grupo de Galois $G(E, K)$ (onde $E$ é o corpo de decomposição de $P$ ) é um grupo solúvel.
Construção de Normalização (Teorema 7.2): O autor fornece uma construção indutiva explícita para transformar qualquer cadeia de extensões radicais em uma cadeia de extensões normais. Isso é crucial para aplicar a Teoria de Galois, que exige normalidade para definir grupos de Galois bem-comportados.
Lemas de Estrutura de Grupos (8.2 a 8.4): O trabalho detalha a estrutura dos grupos de Galois para extensões geradas por raízes da unidade e raízes de polinômios da forma $x^n - a$ , provando que são sempre abelianos (e, portanto, solúveis).
Clarificação Pedagógica: O texto serve como uma ponte clara entre a definição algébrica de "solúvel por radicais" e a estrutura de grupo abstrata, demonstrando como a solubilidade algébrica se traduz em uma cadeia de subgrupos normais com quocientes abelianos.

4. Significância

Fundamentação do Teorema de Abel-Ruffini: Este resultado é a base teórica para a famosa conclusão de que equações polinomiais de grau 5 ou superior não são, em geral, solúveis por radicais. O grupo de Galois de um polinômio genérico de grau 5 é o grupo simétrico $S_5$ , que não é solúvel (pois seu subgrupo alternado $A_5$ é simples e não abeliano).
Rigor na Característica Zero: O artigo enfatiza a suposição de característica zero, que é essencial para garantir que as extensões sejam separáveis e que a teoria de Galois funcione sem as complicações de inseparabilidade.
Abordagem Construtiva: Ao focar na "normalização" de cadeias de radicais, o artigo oferece uma visão mais concreta de como as raízes são construídas passo a passo e como a simetria (grupo de Galois) evolui nesse processo, tornando a prova acessível para estudantes de pós-graduação ou cursos avançados de graduação (como o MAT401 mencionado).

Em suma, o artigo de Khovanskii fornece uma prova autocontida e rigorosa de que a solubilidade algébrica de uma equação por radicais implica uma estrutura de simetria específica (solubilidade do grupo) em seu corpo de decomposição, consolidando a ligação fundamental entre álgebra e teoria de grupos.