Resumo Técnico: Teoria de Galois para Corpos Finitos

Autor: Askold Khovanskii
Contexto: Material didático para o curso MAT401 "Polynomial equations and fields" (Universidade de Toronto, Primavera de 2026).
Objetivo: Apresentar uma exposição completa da Teoria de Galois aplicada especificamente a corpos finitos, estabelecendo a correspondência entre subcorpos intermediários e subgrupos do grupo de Galois, e introduzindo os teoremas gerais da teoria para corpos arbitrários.

1. Problema e Motivação

O documento aborda a estrutura algébrica das extensões de corpos finitos. O problema central é descrever completamente a estrutura de uma extensão $K \subset F$ de um corpo finito $K$ de grau $n$. Especificamente, o texto busca:

• Demonstrar a unicidade de tais extensões.
• Classificar todos os subcorpos intermediários.
• Descrever o grupo de Galois associado e estabelecer a correspondência de Galois (bijetividade entre subgrupos e subcorpos).
• Servir como base para a introdução posterior da teoria de Galois para corpos arbitrários (separáveis e normais).

2. Metodologia

O autor utiliza uma abordagem construtiva e indutiva, baseada em propriedades fundamentais de corpos finitos, grupos cíclicos e polinômios. A metodologia segue a seguinte lógica:

1. Pré-requisitos e Propriedades Básicas: O texto assume propriedades conhecidas de corpos finitos (característica $p$, existência de subcorpos primos $\mathbb{Z}_p$, e a definição de corpos de Galois $\mathbb{F}_q$ onde $q=p^n$).
2. Teoria de Grupos Cíclicos: Utiliza-se extensivamente a teoria de grupos cíclicos. O autor prova que o grupo multiplicativo de raízes da unidade em qualquer corpo é cíclico e aplica isso aos grupos de unidades $U(n)$ e ao grupo multiplicativo de um corpo finito $\mathbb{F}_q^*$.
3. Teorema Chinês do Resto: Utilizado para decompor grupos de unidades $U(n)$ em produtos diretos, facilitando a análise da estrutura de grupos para $n$ compostos.
4. Mapeamento de Frobenius: A ferramenta central para a análise de automorfismos é o homomorfismo de Frobenius $\Phi: x \mapsto x^p$. O texto demonstra que, em corpos finitos, este mapa é um automorfismo e que todos os automorfismos são potências deste mapa.
5. Polinômios de Separação: A unicidade das extensões é provada através da identificação de corpos como campos de decomposição (splitting fields) de polinômios da forma $x^{q^n} - x$.
6. Correspondência de Galois: A prova da correspondência baseia-se na bijetividade entre os divisores do grau da extensão $n$ e os subgrupos do grupo de Galois (que é cíclico).

3. Principais Contribuições e Resultados

A. Estrutura do Grupo Multiplicativo

• Teorema 6.1: O grupo multiplicativo $\mathbb{F}_q^*$ de um corpo finito $\mathbb{F}_q$ é um grupo cíclico de ordem $q-1$.
• Consequência (Teorema do Elemento Primitivo para Corpos Finitos): Todo corpo finito possui um elemento primitivo (gerador do grupo multiplicativo), o que implica que qualquer extensão finita de corpos finitos é simples (gerada por um único elemento).

B. Classificação de Subcorpos e Extensões

• Unicidade da Extensão (Teorema 7.1): Para qualquer corpo finito $\mathbb{F}_q$ e qualquer grau $n$, existe uma única extensão (a menos de isomorfismo) de grau $n$, denotada por $\mathbb{F}_{q^n}$. Esta extensão é o campo de decomposição de $x^{q^n} - x$ sobre $\mathbb{F}_q$.
• Correspondência de Divisores (Teorema 7.2 e Lemma 6.6): Existe uma correspondência biunívoca entre os subcorpos intermediários de uma extensão $\mathbb{F}_q \subset \mathbb{F}_{q^n}$ e os divisores $k$ do grau $n$. Para cada divisor $k$ de $n$, existe um único subcorpo $\mathbb{F}_{q^k}$.

C. Automorfismos e Grupo de Galois

• Estrutura do Grupo de Galois (Teorema 8.3 e 9.3): O grupo de automorfismos de um corpo finito $\mathbb{F}_{p^n}$ é um grupo cíclico de ordem $n$, gerado pelo mapa de Frobenius $\Phi(x) = x^p$.
• Para uma extensão $\mathbb{F}_q \subset \mathbb{F}_{q^n}$ (onde $q=p^s$), o grupo de Galois $G(\mathbb{F}_{q^n}, \mathbb{F}_q)$ é um grupo cíclico de ordem $n$, gerado por $\Phi^s$.
• Fixação de Elementos: Um automorfismo $\Phi^k$ fixa exatamente $p^k$ elementos se e somente se $k$ divide o grau da extensão. O conjunto de elementos fixos forma o subcorpo correspondente.

D. Correspondência de Galois para Corpos Finitos

• Teorema 10.2: Estabelece uma bijetividade perfeita entre o conjunto de todos os subgrupos do grupo de Galois $G(\mathbb{F}_{q^n}, \mathbb{F}_q)$ e o conjunto de todos os subcorpos intermediários da extensão.
• Dado que o grupo de Galois é cíclico, para cada divisor $m$ de $n$, existe um único subgrupo de ordem $m$ e, consequentemente, um único subcorpo intermediário de grau correspondente. Isso simplifica drasticamente a teoria de Galois neste contexto específico, pois não há ambiguidade sobre a existência ou unicidade de subcorpos/subgrupos.

E. Teoremas Gerais (Seção 11)

O texto finaliza apresentando, sem demonstração, os teoremas fundamentais da Teoria de Galois para corpos arbitrários (Teorema do Elemento Primitivo, definição de extensões normais e separáveis, e o Teorema da Correspondência de Galois geral), destacando como os resultados para corpos finitos são casos particulares bem-comportados dessas teorias gerais.

4. Significado e Relevância

Este documento é significativo por várias razões:

1. Pedagogia Clara: Oferece uma derivação autocontida e lógica da Teoria de Galois para o caso de corpos finitos, que é frequentemente o primeiro exemplo onde a teoria é totalmente compreendida pelos estudantes devido à simplicidade da estrutura de grupos cíclicos.
2. Fundamentação Algébrica: Demonstra rigorosamente que a estrutura de extensões de corpos finitos é completamente determinada pela aritmética dos inteiros (divisores de $n$), eliminando a complexidade de extensões não-normais ou não-separáveis que ocorrem em corpos gerais.
3. Aplicações Práticas: A compreensão da unicidade das extensões e a estrutura cíclica do grupo de Galois são fundamentais para áreas como a Teoria de Códigos (códigos cíclicos, códigos Reed-Solomon), Criptografia (algoritmos baseados em curvas elípticas sobre corpos finitos) e Computação Algébrica.
4. Ponte Teórica: Serve como uma ponte essencial entre a teoria de anéis e corpos elementares e a teoria de Galois avançada, ilustrando como a separabilidade e a normalidade se manifestam naturalmente em corpos finitos.

Em suma, o texto consolida o conhecimento de que a teoria de Galois para corpos finitos é uma teoria "perfeita" e totalmente classificável, onde a estrutura do grupo de Galois (cíclico) reflete exatamente a estrutura dos divisores do grau da extensão, garantindo uma correspondência 1-a-1 entre subgrupos e subcorpos.