A simple proof of the fundamental theorem of Galois theory

Resumo Técnico: Uma Prova Simples do Teorema Fundamental da Teoria de Galois

Autor: Martin Brandenburg
Fonte: arXiv:2211.07508v2 [math.NT]

1. O Problema

O Teorema Fundamental da Teoria de Galois estabelece uma correspondência biunívoca (e anti-isomorfismo de ordens parciais) entre os corpos intermediários de uma extensão de Galois finita $L/K$ e os subgrupos do seu grupo de Galois $\text{Aut}_K(L)$.

A prova tradicional deste teorema, encontrada em livros-texto padrão de álgebra, geralmente depende de:

• Comparação de graus de extensões e ordens de grupos.
• O teorema da independência linear dos caracteres.
• Propriedades de corpos de decomposição (splitting fields).
• Argumentos que muitas vezes tornam a prova indireta ou dependem de resultados avançados prévios.

O objetivo deste artigo é fornecer uma prova direta, elementar e combinatória que evite essas ferramentas pesadas, derivando os resultados diretamente das definições e de fatos básicos sobre extensões algébricas.

2. Metodologia

A abordagem de Brandenburg é construída sobre uma base de teoria de campos elementar, sem assumir conhecimento prévio de teoria de Galois. A metodologia segue os seguintes passos lógicos:

1. Fundamentos de Teoria de Campos: Estabelecimento de lemas básicos sobre homomorfismos de corpos, graus de extensão e o número máximo de extensões de homomorfismos (Lemas 2.1 e 2.2).
2. Resultado Combinatório Chave: O cerne da prova reside no Lema 3.3, que afirma que um corpo não pode ser escrito como a união de um número finito de seus subcorpos próprios.
   • A prova deste lema utiliza resultados sobre espaços vetoriais sobre corpos infinitos (um espaço vetorial não é união finita de subespaços próprios) e propriedades de grupos infinitos.
   • Para corpos finitos, usa-se a propriedade cíclica do grupo multiplicativo.
3. Classificação de Subgrupos (Proposição 4.2): Utiliza-se o resultado combinatório acima para provar que, para um subgrupo finito $H$ de automorfismos, o grupo de automorfismos que fixa o corpo fixo $L^H$ é exatamente $H$ ($H = \text{Aut}_{L^H}(L)$). A prova mostra que se um automorfismo $\tau$ não estiver em $H$, o corpo $L$ seria a união dos "equalizadores" de $\tau$ com os elementos de $H$, o que contradiz o Lema 3.3.
4. Extensões Separáveis e Normais:
   • Define-se extensões separáveis e normais de forma independente.
   • Demonstra-se que para extensões separáveis, o número de homomorfismos é igual ao grau da extensão.
   • Demonstra-se que para extensões normais, a ação do grupo de automorfismos é transitiva no conjunto de homomorfismos.
5. Síntese: Combina-se a igualdade $E = L^{\text{Aut}_E(L)}$ (derivada da normalidade e separabilidade) com a igualdade $H = \text{Aut}_{L^H}(L)$ (derivada do resultado combinatório) para estabelecer a bijeção.

3. Principais Contribuições

• Eliminação de Ferramentas Avançadas: A prova dispensa o uso da independência linear dos caracteres e a teoria de corpos de decomposição, tornando o teorema acessível com apenas conhecimentos básicos de teoria de campos.
• Abordagem Combinatória Direta: A prova da parte crucial (a igualdade $H = \text{Aut}_{L^H}(L)$) é feita puramente através de argumentos de contagem e propriedades de união de subcorpos, em vez de comparação de graus.
• Autossuficiência: O artigo desenvolve todas as ferramentas necessárias (desde a definição de extensão até o teorema final) dentro do próprio texto, servindo potencialmente como uma introdução independente à teoria de Galois.
• Generalidade: O método não depende de comparar $[L:K]$ com $|\text{Aut}_K(L)|$ como passo inicial, mas deriva essa igualdade como consequência da estrutura normal e separável.

4. Resultados Principais

O artigo prova rigorosamente o Teorema 7.4, que estabelece:

1. Bijeção: Existe uma correspondência biunívoca entre os corpos intermediários de $L/K$ e os subgrupos de $\text{Aut}_K(L)$.
2. Anti-isomorfismo de Ordens: A inclusão de corpos inverte a inclusão de subgrupos ($E \subseteq E' \iff \text{Aut}_{E'}(L) \subseteq \text{Aut}_E(L)$).
3. Relação de Índices: O grau da extensão intermediária $[E:K]$ é igual ao índice do subgrupo correspondente $[\text{Aut}_K(L) : \text{Aut}_E(L)]$.
4. Correspondência de Operações: O corpo composto corresponde à interseção de subgrupos, e a interseção de corpos corresponde ao subgrupo gerado pela união.
5. Teorema de Galois para Subextensões: Uma extensão intermediária $E/K$ é normal se e somente se o subgrupo correspondente $\text{Aut}_E(L)$ é um subgrupo normal de $\text{Aut}_K(L)$. Neste caso, o grupo quociente é isomorfo ao grupo de Galois de $E/K$.

Um resultado intermediário crucial é a Proposição 4.2, que prova que para qualquer subgrupo finito $H$, $H = \text{Aut}_{L^H}(L)$, utilizando exclusivamente o fato de que um corpo não é união finita de subcorpos próprios.

5. Significância

• Pedagógica: O artigo é altamente valioso para o ensino, pois oferece uma rota de prova mais intuitiva e menos dependente de "caixas pretas" algébricas complexas. Permite que estudantes compreendam a estrutura fundamental da teoria de Galois através de lógica combinatória e de conjuntos.
• Conceitual: Ao focar na estrutura de conjuntos e ações de grupos (em vez de apenas contagem de graus), a prova destaca a natureza intrínseca da correspondência de Galois.
• Econômica: A prova é notavelmente curta e direta, demonstrando que resultados profundos podem ser alcançados com ferramentas mínimas se a abordagem correta (neste caso, a impossibilidade de união finita de subcorpos) for escolhida.

Em suma, Brandenburg oferece uma reformulação elegante do Teorema Fundamental, provando que a correspondência de Galois é uma consequência direta e quase inevitável das propriedades básicas de corpos e grupos, sem a necessidade de maquinaria algébrica pesada.