Capítulo 1: Fundamentos Históricos e Motivação 4

Capítulo 2: Corpos e Extensões Algébricas 8

Capítulo 3: Polinômios e Elementos Algébricos 12

Capítulo 4: Grupos de Automorfismos 16

Capítulo 5: A Correspondência de Galois 22

Capítulo 6: Extensões Normais e Separáveis 28

Capítulo 7: Resolubilidade por Radicais 34

Capítulo 8: Construções Geométricas Clássicas 40

Capítulo 9: Aplicações e Exercícios Resolvidos 46

Capítulo 10: Perspectivas Modernas e Extensões 52

Referências Bibliográficas 54

A Teoria de Galois representa uma das conquistas mais elegantes e profundas da matemática moderna, estabelecendo conexões fundamentais entre álgebra e teoria dos grupos. Esta teoria surgiu da necessidade de compreender quando equações polinomiais podem ser resolvidas por radicais, questão que desafiou matemáticos durante séculos e culminou no trabalho revolucionário de Évariste Galois no século XIX.

Évariste Galois, matemático francês nascido em 1811, desenvolveu estas ideias em condições extraordinárias. Aos vinte anos, na véspera de um duelo fatal, ele escreveu suas descobertas fundamentais em uma carta que mudaria para sempre o curso da álgebra. Galois percebeu que as simetrias das raízes de uma equação polinomial poderiam ser estudadas através de estruturas algébricas hoje conhecidas como grupos, estabelecendo assim uma ponte entre diferentes áreas da matemática.

No contexto educacional brasileiro, especialmente considerando as competências estabelecidas pela Base Nacional Comum Curricular, a Teoria de Galois oferece exemplar excepcional de como conceitos abstratos da matemática conectam‑se com problemas concretos e históricos. O estudo desta teoria desenvolve habilidades essenciais de raciocínio lógico‑matemático, abstração e compreensão de estruturas, competências fundamentais para estudantes que pretendem aprofundar‑se em ciências exatas.

Os problemas que motivaram o desenvolvimento da Teoria de Galois têm raízes profundas na história da matemática. Desde a antiguidade, matemáticos conheciam fórmulas para resolver equações quadráticas, e durante o Renascimento, foram descobertas fórmulas para equações cúbicas e quárticas. No entanto, todos os esforços para encontrar uma fórmula geral para equações de grau cinco ou superior falharam sistematicamente.

Esta situação levou a uma mudança fundamental de perspectiva. Em vez de continuar buscando fórmulas inexistentes, matemáticos começaram a questionar se tais fórmulas poderiam existir. Esta transformação conceitual representa mudança paradigmática típica do pensamento matemático moderno: em vez de apenas resolver problemas, também questionamos quais problemas podem ser resolvidos e por quê.

A resposta de Galois foi revolucionária: ele mostrou que a resolubilidade de uma equação polinomial por radicais está intimamente relacionada com as propriedades do grupo de simetrias das suas raízes. Esta descoberta não apenas resolveu o problema da resolubilidade de equações quínticas, mas também estabeleceu um novo paradigma para compreender estruturas matemáticas através de suas simetrias.

Para compreender a Teoria de Galois, precisamos estabelecer fundamentos sólidos em estruturas algébricas básicas. Um corpo é uma estrutura algébrica onde podemos somar, subtrair, multiplicar e dividir (exceto por zero) seguindo as propriedades familiares dos números racionais. Exemplos fundamentais incluem os números racionais ℚ, os números reais ℝ, e os números complexos ℂ.

O conceito de extensão de corpos é central para a teoria. Se K e L são corpos com K ⊆ L, dizemos que L é uma extensão de K, denotada L/K. Por exemplo, ℂ é uma extensão de ℝ, e ℝ é uma extensão de ℚ. Cada extensão adiciona novos elementos que não estavam presentes no corpo menor, permitindo resolver equações que antes eram impossíveis.

Os automorfismos de corpos são transformações que preservam as operações algébricas fundamentais. Se σ é um automorfismo de um corpo L que fixa todos os elementos de um subcorpo K, então σ pertence ao grupo de Galois da extensão L/K. Este grupo, denotado Gal(L/K), encapsula todas as simetrias da extensão e constitui a ferramenta fundamental para análise.

Embora a Teoria de Galois tenha surgido do estudo de equações polinomiais clássicas, suas aplicações modernas estendem‑se muito além da álgebra tradicional. Em criptografia, extensões de corpos finitos são fundamentais para algoritmos de segurança que protegem comunicações digitais. A teoria também encontra aplicações em física teórica, onde simetrias de gauge são estudadas através de técnicas galoisiana.

Em ciência da computação, a Teoria de Galois contribui para algoritmos de correção de erros, processamento de sinais digitais e teoria da codificação. Estes desenvolvimentos ilustram como matemática abstrata desenvolvida no século XIX continua relevante para tecnologias do século XXI, demonstrando o valor duradouro do conhecimento matemático fundamental.

No contexto educacional, o estudo da Teoria de Galois proporciona perspectiva única sobre a natureza da matemática como ciência unificada. Estudantes desenvolvem apreciação pela interconexão entre diferentes áreas matemáticas e compreendem como teorias abstratas podem ter consequências práticas surpreendentes e de longo alcance.

Um corpo é uma estrutura algébrica fundamental onde todas as operações aritméticas básicas estão bem definidas. Formalmente, um corpo K é um conjunto munido de duas operações, adição e multiplicação, que satisfazem axiomas específicos: associatividade, comutatividade, existência de elementos neutros e inversos, e distributividade da multiplicação sobre a adição.

A característica de um corpo é um conceito fundamental que determina muitas de suas propriedades. Se existir um menor inteiro positivo p tal que p · 1 = 0 no corpo, então p é a característica do corpo. Caso contrário, a característica é zero. Corpos de característica zero, como ℚ, ℝ, e ℂ, comportam‑se de maneira similar aos números familiares, enquanto corpos de característica prima p apresentam propriedades aritméticas distintas.

Subcorpos desempenham papel crucial na teoria. Todo corpo contém um subcorpo primo: ℚ se a característica for zero, ou ℤₚ se a característica for p. Este subcorpo primo constitui a base sobre a qual todas as extensões são construídas, fornecendo os elementos fundamentais a partir dos quais novos elementos podem ser adjungidos.

Uma extensão simples de um corpo K é obtida adjungindo‑se um único elemento α, resultando no corpo K(α). Este processo é análogo à expansão dos números racionais para incluir √2, obtendo ℚ(√2). O elemento adjungido pode ser algébrico sobre K, isto é, raiz de algum polinômio com coeficientes em K, ou transcendente, caso não satisfaça nenhuma equação polinomial com coeficientes em K.

Quando α é algébrico sobre K, existe um único polinômio mônico irredutível m(x) ∈ K[x] tal que m(α) = 0. Este polinômio, chamado polinômio minimal de α sobre K, determina completamente as propriedades algébricas de α. O grau deste polinômio minimal corresponde à dimensão de K(α) como espaço vetorial sobre K.

A estrutura de K(α) pode ser compreendida através da identificação K(α) ≅ K[x]/(m(x)), onde (m(x)) denota o ideal gerado pelo polinômio minimal. Esta identificação revela que elementos de K(α) podem ser representados como polinômios em α de grau menor que o grau de m(x), com coeficientes em K.

O grau de uma extensão L/K, denotado [L : K], é a dimensão de L como espaço vetorial sobre K. Este conceito quantifica o "tamanho" da extensão e determina muitas de suas propriedades fundamentais. Para extensões finitas, o grau é sempre um número natural positivo que mede quantos elementos linearmente independentes são necessários para gerar L a partir de K.

O Teorema Multiplicativo dos Graus estabelece uma das propriedades mais importantes das extensões: se K ⊆ M ⊆ L são corpos, então [L : K] = [L : M] · [M : K]. Esta fórmula fundamental permite calcular graus de extensões compostas e revela a estrutura hierárquica das extensões algébricas.

Extensões finitas correspondem precisamente às extensões algébricas finitamente geradas. Se L = K(α₁, α₂, ..., αₙ) onde cada αᵢ é algébrico sobre K, então [L : K] é finito e limitado pelo produto dos graus dos polinômios minimais dos elementos geradores. Esta observação conecta aspectos algébricos e dimensionais das extensões.

O corpo de decomposição de um polinômio f(x) sobre um corpo K é a menor extensão de K na qual f(x) fatora‑se completamente em fatores lineares. Este conceito captura a ideia intuitiva de "adicionar apenas as raízes necessárias" para resolver completamente uma equação polinomial. Formalmente, se f(x) possui raízes α₁, α₂, ..., αₙ, então o corpo de decomposição é K(α₁, α₂, ..., αₙ).

Corpos de decomposição possuem propriedades de minimalidade que os tornam únicos a menos de isomorfismo. Esta unicidade é fundamental para a teoria de Galois, pois garante que grupos de automorfismos estejam bem definidos independentemente de escolhas específicas de representação. A existência de corpos de decomposição demonstra‑se através de adjunção sucessiva de raízes.

O fecho algébrico de um corpo K é uma extensão algébrica K̄ de K na qual todo polinômio não‑constante com coeficientes em K̄ possui pelo menos uma raiz em K̄. Este conceito generaliza a noção familiar de que todo polinômio complexo possui raízes complexas. O fecho algébrico contém corpos de decomposição de todos os polinômios sobre K.

O anel de polinômios K[x] sobre um corpo K constitui estrutura fundamental para compreender extensões algébricas. Cada elemento de K[x] é uma expressão da forma a₀ + a₁x + a₂x² + ... + aₙxⁿ onde os coeficientes aᵢ pertencem a K. As operações de adição e multiplicação seguem regras familiares, mas sobre uma estrutura mais geral que os polinômios com coeficientes reais ou complexos.

A irredutibilidade de polinômios representa conceito central na teoria algébrica. Um polinômio f(x) ∈ K[x] é irredutível sobre K se não pode ser expresso como produto de dois polinômios de grau menor com coeficientes em K. Esta propriedade é relativa ao corpo base: um polinômio pode ser irredutível sobre um corpo e redutível sobre uma extensão.

Critérios de irredutibilidade fornecem ferramentas práticas para determinar quando um polinômio é irredutível. O critério de Eisenstein é particularmente útil: se f(x) = a₀ + a₁x + ... + aₙxⁿ ∈ ℤ[x] e existe primo p tal que p divide todos os coeficientes exceto aₙ, p não divide aₙ, e p² não divide a₀, então f(x) é irredutível sobre ℚ.

Um elemento α de uma extensão L/K é algébrico sobre K se existe um polinômio não‑nulo f(x) ∈ K[x] tal que f(α) = 0. Caso contrário, α é transcendente sobre K. Esta distinção fundamental separa elementos que satisfazem relações algébricas daqueles que são "livres" de tais restrições. Elementos algébricos comportam‑se de maneira controlada e previsível, enquanto elementos transcendentes introduzem graus de liberdade infinitos.

Para cada elemento algébrico α sobre K, existe um único polinômio minimal - o polinômio mônico irredutível de menor grau que tem α como raiz. Este polinômio minimal governa todas as propriedades algébricas de α e determina a estrutura da extensão simples K(α). O grau do polinômio minimal é precisamente [K(α) : K].

Elementos conjugados são raízes distintas do mesmo polinômio minimal. Se α e β são conjugados sobre K, então K(α) e K(β) são isomorfos como extensões de K. Esta relação de conjugação captura a noção de "equivalência algébrica" e é fundamental para compreender ações de grupos de Galois.

A fatoração de polinômios sobre diferentes corpos representa problema computacional fundamental com aplicações em teoria algébrica e implementações práticas. Algoritmos eficientes existem para fatoração sobre corpos finitos, números racionais, e outras estruturas específicas. Estes métodos são essenciais tanto para verificação teórica quanto para aplicações computacionais da Teoria de Galois.

Sobre corpos finitos, algoritmos como Berlekamp e Cantor‑Zassenhaus permitem fatoração eficiente em tempo polinomial. Estes métodos exploram propriedades específicas da aritmética finita e são fundamentais para aplicações criptográficas. A aleatoriedade controlada desempenha papel importante nestes algoritmos, ilustrando conexões entre álgebra e ciência da computação.

Para corpos de característica zero, especialmente ℚ, algoritmos baseados em levantamento de Hensel permitem fatoração através de técnicas modulares. O processo inicia com fatoração sobre ℤₚ para primo adequado p, depois reconstrói fatores sobre ℤ usando levantamento sucessivo. Esta abordagem ilustra como propriedades locais podem determinar estrutura global.

A teoria algébrica de polinômios conecta‑se profundamente com problemas clássicos da teoria dos números. Equações diofantinas, que buscam soluções inteiras para equações polinomiais, frequentemente requerem análise de extensões algébricas e suas propriedades aritméticas. A Teoria de Galois fornece ferramentas sofisticadas para abordar questões de solubilidade e classificação de soluções.

Corpos ciclotômicos, obtidos adjungindo raízes da unidade aos racionais, exemplificam aplicações diretas da teoria algébrica em problemas aritméticos. Estes corpos possuem grupos de Galois com estrutura bem compreendida e relacionam‑se com distribuição de números primos, reciprocidade quadrática, e outros fenômenos fundamentais da teoria dos números.

O estudo de inteiros algébricos em extensões de ℚ revela estruturas aritméticas ricas que generalizam propriedades familiares dos números inteiros. Anéis de inteiros algébricos podem falhar em ter fatoração única, mas possuem teorias de ideais que compensam esta limitação e preservam aspectos essenciais da aritmética.

Um automorfismo de corpo é uma transformação que preserva completamente a estrutura algébrica: adição, multiplicação, e todos os elementos do corpo base. Formalmente, se σ: L → L é um automorfismo de uma extensão L/K, então σ satisfaz σ(a + b) = σ(a) + σ(b), σ(ab) = σ(a)σ(b), e σ(k) = k para todo k ∈ K. Estas condições garantem que σ preserva todas as relações algébricas e pode ser vista como simetria da estrutura.

O conjunto de todos os automorfismos de L que fixam K forma um grupo sob composição, denominado grupo de Galois e denotado Gal(L/K). A estrutura de grupo reflete o fato de que composições de simetrias são simetrias, toda simetria possui inversa, e a identidade é sempre uma simetria. Esta estrutura de grupo encapsula informações profundas sobre a extensão L/K.

Automorfismos são completamente determinados por suas ações sobre elementos geradores da extensão. Se L = K(α₁, α₂, ..., αₙ), então um automorfismo σ ∈ Gal(L/K) é univocamente determinado especificando‑se σ(αᵢ) para cada i. Além disso, σ(αᵢ) deve ser outra raiz do polinômio minimal de αᵢ sobre K.

Um resultado fundamental estabelece que o tamanho do grupo de Galois nunca excede o grau da extensão: |Gal(L/K)| ≤ [L : K]. Esta limitação reflete restrições fundamentais sobre quantas simetrias independentes uma extensão pode possuir. A igualdade |Gal(L/K)| = [L : K] caracteriza extensões galoisiana, que possuem estrutura especialmente rica e bem comportada.

A demonstração desta limitação baseia‑se na observação de que automorfismos são determinados por suas ações sobre bases da extensão, e elementos de uma base podem ser mapeados apenas em conjunto finito de possibilidades. Especificamente, se α possui polinômio minimal de grau d sobre K, então σ(α) deve ser uma das d raízes deste polinômio.

Para extensões que não são galoisiana, o grupo de Galois pode ser substancialmente menor que o grau da extensão. Esta "deficiência" de automorfismos indica presença de irregularidades na estrutura da extensão, como elementos cujos conjugados não estão completamente presentes na extensão.

Grupos de Galois agem naturalmente nos conjuntos de raízes de polinômios, permutando raízes de maneira que preserva todas as relações algébricas. Se f(x) ∈ K[x] possui raízes α₁, α₂, ..., αₙ em algum corpo de decomposição, então cada σ ∈ Gal(L/K) induz permutação destas raízes. Esta ação conecta teoria de grupos abstrata com estrutura concreta das equações polinomiais.

A ação é transitiva em órbitas de elementos conjugados. Se α e β são raízes do mesmo polinômio irredutível sobre K, então existe automorfismo σ tal que σ(α) = β. Esta transitividade reflete o fato de que elementos conjugados são algebricamente indistinguíveis do ponto de vista do corpo base.

Subgrupos de estabilização capturam simetrias que fixam elementos específicos. Para α ∈ L, o estabilizador Stab(α) = {σ ∈ Gal(L/K) : σ(α) = α} é subgrupo cujo tamanho relaciona‑se com o grau de α sobre K através da fórmula |Gal(L/K)| = |Orb(α)| · |Stab(α)|.

Todo grupo de Galois finito pode ser realizado como subgrupo de algum grupo simétrico Sₙ através de sua ação em raízes de polinômios. Esta realização concreta permite análise explícita usando teoria de permutações e conecta álgebra abstrata com combinatória. O Teorema de Cayley garante que todo grupo finito admite tal representação, mas para grupos de Galois esta realização possui significado algébrico específico.

A escolha do polinômio determina a representação específica como grupo de permutações. Polinômios diferentes podem produzir realizações distintas do mesmo grupo abstrato, revelando diferentes aspectos de sua estrutura. Polinômios "genéricos" frequentemente produzem representações que refletem fielmente a estrutura completa do grupo.

Propriedades da representação por permutações refletem características algébricas da extensão original. Transitividade da ação corresponde à irredutibilidade do polinômio gerador, enquanto intransitividade indica fatores irredutíveis distintos. Estas conexões permitem traduzir questões algébricas em problemas combinatoriais mais manejáveis.

Um grupo G é resolúvel se possui série de subgrupos normais G = G₀ ⊃ G₁ ⊃ ... ⊃ Gₙ = {e} onde cada quociente Gᵢ/Gᵢ₊₁ é abeliano. Esta condição captura noção de "complexidade limitada" e relaciona‑se diretamente com resolubilidade de equações por radicais. Grupos resolúveis admitem decomposição hierárquica em componentes simples (abelianos), permitindo análise sistemática de sua estrutura.

Exemplos fundamentais de grupos resolúveis incluem todos os grupos abelianos, grupos diedrais Dₙ, e grupos simétricos Sₙ para n ≤ 4. O grupo alternado A₅ é o menor grupo simples não‑abeliano, e grupos contendo A₅ como subgrupo não são resolúveis. Esta fronteira em n = 5 corresponde precisamente ao limite para resolubilidade de equações polinomiais por radicais.

A resolubilidade preserva‑se sob diversas operações: subgrupos de grupos resolúveis são resolúveis, quocientes de grupos resolúveis são resolúveis, e extensões de grupos resolúveis por grupos resolúveis são resolúveis. Estas propriedades facilitam verificação de resolubilidade em casos complexos e permitem construção sistemática de exemplos.

O cálculo explícito de grupos de Galois requer combinação de técnicas algébricas e computacionais. Para polinômios de grau baixo, métodos diretos baseados em análise de raízes e suas relações frequentemente suficiem. Para graus mais altos, algoritmos sofisticados que exploram teoria de eliminação e bases de Gröbner tornam‑se necessários.

Uma estratégia fundamental consiste em determinar primeiro se o polinômio é irredutível, depois analisar propriedades específicas de suas raízes. Discriminantes fornecem informação sobre presença de raízes múltiplas e estrutura do grupo. Resultantes permitem análise de relações entre raízes de polinômios diferentes.

Para corpos finitos, algoritmos especializados exploram propriedades da aritmética finita. O automorfismo de Frobenius x ↦ x^p gera o grupo de Galois de extensões sobre F_p, simplificando drasticamente a análise. Estes métodos são fundamentais para aplicações criptográficas e teoria de códigos.

O Teorema Fundamental da Teoria de Galois estabelece correspondência bijetiva entre subcorpos de uma extensão galoisiana e subgrupos de seu grupo de Galois. Esta correspondência inverte inclusões: subcorpos maiores correspondem a subgrupos menores, e vice‑versa. Esta dualidade profunda permite traduzir questões sobre extensões de corpos em problemas de teoria de grupos, e reciprocamente.

Formalmente, seja L/K uma extensão galoisiana finita com grupo de Galois G = Gal(L/K). Para cada subcorpo M com K ⊆ M ⊆ L, definimos Gal(L/M) = {σ ∈ G : σ(m) = m para todo m ∈ M}. Reciprocamente, para cada subgrupo H ⊆ G, definimos L^H = {x ∈ L : σ(x) = x para todo σ ∈ H}. O teorema afirma que estas operações estabelecem bijeção entre subcorpos intermediários e subgrupos.

A correspondência preserva graus e índices: [M : K] = |G : Gal(L/M)| e [L : M] = |Gal(L/M)|. Estas fórmulas conectam dimensões de espaços vetoriais com tamanhos de grupos, proporcionando ferramentas computacionais poderosas para análise de extensões complexas.

Uma extensão M/K é normal se for corpo de decomposição de algum polinômio sobre K. Equivalentemente, M/K é normal se todo polinômio irredutível sobre K que possui uma raiz em M decompõe‑se completamente em M. Esta condição garante que M contém todas as raízes conjugadas de seus elementos, eliminando as irregularidades que podem comprometer a correspondência de Galois.

A correspondência de Galois preserva normalidade: subcorpos M intermediários correspondem a subgrupos normais de Gal(L/K) se e somente se M/K é extensão normal. Quando esta condição é satisfeita, temos isomorfismo natural Gal(M/K) ≅ Gal(L/K)/Gal(L/M), conectando grupos de Galois através do teorema fundamental de homomorfismos.

Extensões normais admitem caracterização através de estabilidade sob automorfismos. M/K é normal se e somente se σ(M) = M para todo σ ∈ Gal(K̄/K), onde K̄ é fecho algébrico de K. Esta invariância sob automorfismos reflete completude dos conjugados e garante boa comportamento da extensão.

Um elemento α é separável sobre K se seu polinômio minimal não possui raízes múltiplas. Equivalentemente, α é separável se seu polinômio minimal é coprimo com sua derivada. Esta condição elimina degenerações que podem ocorrer em característica positiva e garante que extensões possuam número máximo de automorfismos.

Extensões separáveis são aquelas geradas por elementos separáveis. Em característica zero, toda extensão algébrica é automaticamente separável, simplificando a teoria. Em característica positiva, inseparabilidade pode ocorrer e requer análise mais cuidadosa usando teoria de p‑bases e extensões puramente inseparáveis.

A condição de Galois combina normalidade e separabilidade: uma extensão L/K é galoisiana se e somente se é normal e separável. Estas duas condições garantem que |Gal(L/K)| = [L : K], maximizando o grupo de automorfismos e assegurando que a correspondência de Galois seja completa e bijetiva.

Torres de extensões K ⊆ M ⊆ L correspondem a cadeias de subgrupos Gal(L/K) ⊇ Gal(L/M) ⊇ mWIm3vw através da correspondência de Galois. Esta estrutura hierárquica permite análise sistemática de extensões complexas através de decomposição em etapas mais simples. Cada nível da torre corresponde a adjunção de novos elementos com propriedades específicas.

O teorema de correspondência estabelece que operações de reticulado (intersecção, supremo) em subcorpos correspondem a operações duais em subgrupos. Se M₁ e M₂ são subcorpos intermediários, então M₁ ∩ M₂ corresponde a ⟨Gal(L/M₁), Gal(L/M₂)⟩, o subgrupo gerado pelos dois subgrupos de Galois.

Refinamentos de torres correspondem a inserção de subgrupos intermediários. O teorema fundamental garante que toda cadeia de subgrupos corresponde a torre de subcorpos, e refinamentos maximais correspondem a séries de composição. Esta estrutura permite classificação completa de todas as extensões intermediárias possíveis.

A correspondência de Galois fornece ferramenta sistemática para resolver problemas que conectam álgebra e teoria de grupos. Questões sobre existência de subcorpos com propriedades específicas traduzem‑se em problemas sobre subgrupos, frequentemente mais manejáveis. Esta tradução bidirecional permite explorar conexões profundas entre estruturas aparentemente distintas.

Problemas de construtibilidade geométrica exemplificam aplicações diretas da correspondência. A construção de polígonos regulares com régua e compasso equivale à existência de torres de extensões quadráticas, que correspondem a grupos de Galois que são 2‑grupos. O teorema de Gauss‑Wantzel caracteriza completamente polígonos construíveis através desta análise galoisiana.

Questões de independência algébrica também beneficiam‑se da correspondência. Elementos α₁, ..., αₙ são algebricamente independentes sobre K se e somente se seus subcorpos gerados intersectam‑se minimalmente, condição que traduz‑se em propriedades específicas dos subgrupos correspondentes no grupo de Galois.

A correspondência de Galois clássica aplica‑se apenas a extensões galoisiana finitas, mas generalizações modernas estendem estes princípios a contextos mais gerais. Teoria de Galois infinita trata extensões de grau infinito usando topologia em grupos de automorfismos. A topologia de Krull fornece estrutura apropriada para esta generalização, permitindo análise de extensões que surgem naturalmente em geometria algébrica e teoria dos números.

Extensões não‑galoisiana requerem modificações na correspondência. Aunque a bijeção entre subcorpos e subgrupos pode falhar, versões enfraquecidas da correspondência ainda fornecem informações valiosas. Teoria de Galois diferencial estende conceitos para equações diferenciais, onde grupos de simetrias diferencias substituem grupos de automorfismos algébricos.

Aplicações modernas incluem teoria de Galois motivica, que estuda automorfismos de categorias de motivos, e teoria de Galois em característica positiva, onde fenômenos especiais relacionados ao automorfismo de Frobenius requerem técnicas especializadas. Estas extensões demonstram vitalidade e relevância contínua dos princípios galoisiana.

Extensões normais admitem múltiplas caracterizações equivalentes que revelam diferentes aspectos de sua estrutura. Uma extensão L/K é normal se e somente se é corpo de decomposição de alguma família de polinômios sobre K. Equivalentemente, L/K é normal se todo polinômio irredutível sobre K que possui uma raiz em L decompõe‑se completamente em fatores lineares sobre L.

Uma caracterização particularmente útil estabelece que L/K é normal se e somente se L é fechado sob conjugação: sempre que α ∈ L e β é conjugado de α sobre K, então β ∈ L. Esta propriedade garante que L contém "famílias completas" de elementos relacionados por automorfismos, eliminando assimetrias que poderiam comprometer a correspondência de Galois.

Do ponto de vista de automorfismos, L/K é normal se e somente se σ(L) = L para todo σ ∈ Aut(K̄/K), onde K̄ é fecho algébrico de K. Esta invariância sob automorfismos externos reflete completude interna da extensão e garante estabilidade sob operações algébricas fundamentais.

Para qualquer extensão finita M/K, existe uma menor extensão normal N/K contendo M, denominada fecho normal de M sobre K. Esta extensão N obtém‑se adjungindo a K todas as raízes conjugadas dos elementos geradores de M. Se M = K(α₁, ..., αₙ), então N é corpo de decomposição dos polinômios minimais de α₁, ..., αₙ sobre K.

O fecho normal possui propriedade universal: toda extensão normal contendo M também contém N. Esta minimalidade torna N único a menos de isomorfismo e garante que seja a "normalização" canônica de M. O grau [N : K] é sempre múltiplo de [M : K], e a razão [N : M] mede quantos conjugados foram necessários adicionar.

Algoritmos construtivos para fecho normal baseiam‑se em fatoração sucessiva de polinômios minimais. Começando com M = K(α), calcula‑se o polinômio minimal p(x) de α, depois adjunge‑se todas as suas raízes. Este processo repete‑se para cada novo elemento até que todos os polinômios relevantes decomponham‑se completamente.

Separabilidade relaciona‑se intimamente com multiplicidade de raízes e diferenciabilidade de polinômios. Um polinômio f(x) é separável se todas as suas raízes irredutíveis são simples, condição equivalente a gcd(f(x), f'(x)) = 1. Em característica zero, todo polinômio irredutível é automaticamente separável, simplificando a teoria. Em característica positiva p, inseparabilidade ocorre precisamente quando polinômios são "potências p‑ésimas ocultas".

Extensões separáveis preservam‑se sob operações básicas: sub‑extensões de extensões separáveis são separáveis, compositos de extensões separáveis são separáveis, e extensões finitas de extensões separáveis são separáveis. Estas propriedades facilitam verificação de separabilidade em casos complexos e permitem construção sistemática de exemplos.

O grau de separabilidade [L : K]ₛ de uma extensão L/K é o número de K‑embeddings distintos de L em um fecho algébrico de K. Para extensões separáveis, [L : K]ₛ = [L : K]. Para extensões inseparáveis, [L : K]ₛ < [L : K], e a diferença mede o "defeito de separabilidade" da extensão.

Uma extensão L/K é galoisiana se e somente se é simultaneamente normal e separável. Esta definição unifica as duas condições técnicas necessárias para funcionamento completo da correspondência de Galois. Normalidade garante presença de todos os conjugados necessários, enquanto separabilidade assegura que não há "perdas" devido a multiplicidades ou degenerações.

Extensões galoisiana admitem caracterização através de corpos de decomposição: L/K é galoisiana se e somente se L é corpo de decomposição de algum polinômio separável sobre K. Esta caracterização conecta aspectos estruturais abstratos com propriedades concretas de polinômios específicos, facilitando verificação e construção de exemplos.

A propriedade fundamental de extensões galoisiana é a igualdade |Gal(L/K)| = [L : K]. Esta equação establece que o grupo de automorfismos possui tamanho máximo possível, indicando riqueza completa de simetrias. Quando esta igualdade falha, a extensão não é galoisiana e a correspondência de Galois pode ser incompleta.

Exemplos fundamentais de extensões galoisiana incluem extensões quadráticas ℚ(√d) para d livre de quadrados, corpos ciclotômicos ℚ(ζₙ), e corpos de decomposição de polinômios separáveis. Estes exemplos ilustram padrões típicos e fornecem modelos para análise de casos mais complexos. Cada exemplo revela aspectos específicos da teoria e conecta‑se com aplicações particulares.

Contraexemplos importantes incluem ℚ(∛2) (normal mas não separável), certas extensões em característica positiva (separáveis mas não normais), e extensões transcendentes (que estão completamente fora do alcance da teoria clássica). Estes contraexemplos demarcam fronteiras da teoria e ilustram necessidade das condições técnicas.

Famílias parametrizadas de exemplos permitem estudo sistemático de comportamentos. Extensões ℚ(ⁿ√a) para vários n e a revelam padrões na estrutura de grupos de Galois, enquanto corpos ciclotômicos ℚ(ζₙ) para diferentes n ilustram conexões com teoria dos números. Estes estudos paramétricos desenvolvem intuição sobre variação de propriedades galoisiana.

Algoritmos modernos permitem verificação efetiva de normalidade e separabilidade através de técnicas de álgebra computacional. Para normalidade, algoritmos verificam se polinômios minimais de elementos geradores decompõem‑se completamente na extensão. Para separabilidade, cálculos de máximo divisor comum entre polinômios e suas derivadas determinam presença de raízes múltiplas.

Software especializado como SageMath, Magma, e GAP implementam estes algoritmos, permitindo análise experimental de extensões complexas. Estes sistemas podem computar grupos de Galois, construir fechos normais, e verificar correspondências de Galois para exemplos que seriam intratáveis manualmente. A integração entre teoria e computação acelera descoberta e verificação de resultados.

Técnicas de bases de Gröbner fornecem métodos sistemáticos para análise de relações algébricas em extensões. Estes métodos permitem determinação algorítmica de dependências entre elementos, cálculo de dimensões de extensões, e verificação de propriedades estruturais. A eficiência destes algoritmos torna viável análise de casos anteriormente inacessíveis.

Uma equação polinomial f(x) = 0 é resolúvel por radicais se suas raízes podem ser expressas usando apenas operações aritméticas básicas (adição, subtração, multiplicação, divisão) e extração de raízes n‑ésimas aplicadas aos coeficientes de f(x). Esta definição formaliza a noção intuitiva de "resolver uma equação usando fórmulas" que motivou séculos de investigação matemática.

Formalmente, f(x) é resolúvel por radicais se existe torre de extensões K = K₀ ⊆ K₁ ⊆ ... ⊆ Kₙ tal que: (1) o corpo de decomposição de f(x) está contido em Kₙ, e (2) cada extensão Kᵢ₊₁/Kᵢ é obtida adjungindo raiz n‑ésima de algum elemento de Kᵢ. Esta caracterização precisa permite análise teórica rigorosa da resolubilidade.

O resultado fundamental de Galois estabelece que f(x) é resolúvel por radicais se e somente se o grupo de Galois de seu corpo de decomposição é resolúvel. Esta equivalência traduz questão analítica (existência de fórmulas) em problema algébrico (estrutura de grupos), proporcionando critério decisivo para resolubilidade.

O Teorema de Abel‑Ruffini estabelece que a equação geral de grau cinco não é resolúvel por radicais. Mais precisamente, não existe fórmula universal que expresse as raízes de ax⁵ + bx⁴ + cx³ + dx² + ex + f = 0 em termos dos coeficientes usando apenas operações aritméticas e radicais. Este resultado marca fronteira fundamental entre equações "elementares" e "transcendentes".

A demonstração baseia‑se na observação de que o grupo de Galois da equação geral de grau n é o grupo simétrico Sₙ. Para n ≥ 5, Sₙ contém o grupo alternado Aₙ como subgrupo, e Aₙ é simples e não‑abeliano. Grupos contendo subgrupos simples não‑abelianos não podem ser resolúveis, implicando irresolubilidade da equação geral.

É importante distinguir entre equações gerais e equações específicas. Embora a equação geral de grau cinco seja irresolúvel, muitas equações particulares de grau cinco possuem grupos de Galois resolúveis e são resolúveis por radicais. O teorema estabelece impossibilidade de fórmula universal, não resolubilidade individual.

Extensões radicais são aquelas obtidas através de torres onde cada etapa adjunge raiz n‑ésima de algum elemento. Se K ⊆ L é radical, então existe cadeia K = K₀ ⊆ K₁ ⊆ ... ⊆ Kₘ = L onde Kᵢ₊₁ = Kᵢ(αᵢ) com αᵢⁿⁱ ∈ Kᵢ para algum nᵢ. Esta estrutura hierárquica reflete processo de "resolução por etapas" que fórmulas clássicas exemplificam.

Extensões radicais possuem grupos de Galois com estrutura especial. Cada etapa Kᵢ₊₁/Kᵢ contribui fator cíclico para o grupo, e a resolubilidade do grupo total reflete compatibilidade entre estes fatores cíclicos. O teorema fundamental estabelece que extensões radicais correspondem precisamente a grupos resolúveis.

A construção de extensões radicais requer cuidado com raízes da unidade. Para garantir comportamento galoisiano apropriado, frequentemente é necessário primeiro adjungar raízes da unidade suficientes antes de extrair raízes de elementos arbitrários. Esta preparação técnica assegura que extensões subsequentes sejam galoisiana e bem comportadas.

As fórmulas clássicas para equações de graus 2, 3, e 4 exemplificam estrutura de extensões radicais e refletem propriedades específicas dos grupos de Galois correspondentes. Cada fórmula encapsula torre radical cuja estrutura corresponde a decomposição do grupo de Galois em série resolúvel. A análise galoisiana revela porque estas fórmulas existem e por que param no grau 4.

Para equações quadráticas, o grupo de Galois ℤ/2ℤ é abeliano elementar, correspondendo diretamente à extração de raiz quadrada. Para cúbicas, S₃ possui série de composição com fatores ℤ/3ℤ e ℤ/2ℤ, refletindo‑se na estrutura da fórmula de Cardano: primeiro calcula‑se discriminante (raiz quadrada), depois aplicam‑se raízes cúbicas.

Equações quárticas requerem análise mais sutil. O grupo S₄ é resolúvel com série envolvendo grupo de Klein V₄, correspondendo ao método de Ferrari que reduz quártica a resolvente cúbica. Esta redução reflete estrutura específica de S₄ e explica por que método funciona precisamente neste caso.

Algoritmos contemporâneos permitem determinação efetiva de resolubilidade por radicais através de análise computacional de grupos de Galois. Estes métodos combinam fatoração de polinômios, cálculo de grupos de permutações, e análise de resolubilidade usando técnicas de álgebra computacional. A implementação destes algoritmos em software especializado torna viável análise de casos complexos.

O processo algorítmico típico segue etapas sistemáticas: primeiro, calcula‑se o grupo de Galois da equação através de análise de permutações em raízes; segundo, determina‑se se este grupo é resolúvel usando algoritmos de teoria de grupos; terceiro, se resolúvel, constrói‑se explicitamente torre radical correspondente.

Limitações computacionais ainda existem para polinômios de grau muito alto ou com coeficientes muito complexos. No entanto, para casos práticos relevantes, estes métodos fornecem respostas definitivas sobre resolubilidade e podem inclusive construir fórmulas explícitas quando existem.

Quando equações não são resolúveis por radicais, métodos alternativos podem ainda proporcionar soluções em formas especializadas. Funções elípticas, modulares, e outras funções transcendentes frequentemente permitem expressão de raízes de equações irresolúveis através de valores especiais destas funções. Esta extensão do conceito de "solução" mantém precisão algébrica enquanto transcende limitações radicais.

O método de Bring‑Jerrard para quínticas exemplifica esta abordagem. Embora equações gerais de grau cinco não sejam resolúveis por radicais, podem ser resolvidas usando funções elípticas especiais. A transformação de Tschirnhaus reduz quíntica geral à forma x⁵ + px + q, que admite solução através de inversão de integrais elípticas.

Métodos numéricos modernos proporcionam aproximações arbitrariamente precisas para raízes de polinômios irresolúveis. Embora não forneçam expressões algébricas exatas, estes métodos são frequentemente mais práticos para aplicações. A teoria de Galois orienta desenvolvimento destes métodos ao identificar estruturas que podem ser exploradas numericamente.

Construções geométricas com régua e compasso correspondem precisamente a operações algébricas que envolvem apenas raízes quadradas iteradas. Esta correspondência fundamental, estabelecida rigorosamente através da Teoria de Galois, permite análise definitiva de problemas clássicos que desafiaram matemáticos durante milênios. Cada operação geométrica básica traduz‑se em operação algébrica específica que preserva a estrutura construtiva.

O princípio fundamental estabelece que um número complexo α é construtível se e somente se pertence a alguma extensão de ℚ obtida através de torre de extensões quadráticas. Equivalentemente, α é construtível se e somente se [ℚ(α) : ℚ] é potência de 2. Esta caracterização algébrica transforma questões geométricas em problemas de teoria de corpos e grupos de Galois.

Operações básicas de régua e compasso geram estrutura algébrica específica: intersecções de retas correspondem a soluções de sistemas lineares, intersecções de círculos conduzem a equações quadráticas, e intersecções de reta com círculo também produzem sistemas quadráticos. Todas estas operações preservam a propriedade de "grau potência de 2", garantindo que elementos construtíveis formem subcorpo dos números complexos.

A trisseção de ângulo arbitrário representa um dos problemas clássicos impossíveis da geometria euclidiana. A análise galoisiana revela precisamente por que esta construção falha em geral, embora seja possível para ângulos específicos. A impossibilidade resulta da necessidade de resolver equações cúbicas que não se reduzem a torres de extensões quadráticas.

Para trissectar ângulo θ, precisamos construir ângulo θ/3. Se θ = 60°, então θ/3 = 20°, e cos(20°) satisfaz equação cúbica 8x³ − 6x − √3/2 = 0. Esta equação possui grupo de Galois S₃, que não é 2‑grupo, implicando que cos(20°) não pertence a torre de extensões quadráticas. Logo, ângulo de 20° não é construtível com régua e compasso.

A análise generaliza‑se: ângulo θ é trissetível se e somente se o polinômio minimal de cos(θ/3) sobre ℚ(cos(θ)) tem grau que é potência de 2. Esta condição raramente é satisfeita, explicando por que trisseção geral é impossível, embora casos especiais (como θ = 90°) admitam solução.

O problema da duplicação do cubo, também conhecido como problema délico, pede construção de cubo com volume duplo do cubo dado. Se o cubo original tem aresta de comprimento 1, o novo cubo deve ter aresta de comprimento ∛2. A análise galoisiana mostra que ∛2 não é construtível com régua e compasso, tornando o problema impossível nos moldes euclidianos.

A demonstração baseia‑se no fato de que ∛2 possui polinômio minimal x³ − 2 sobre ℚ, que tem grau 3. Como 3 não é potência de 2, ∛2 não pode pertencer a torre de extensões quadráticas, implicando impossibilidade de construção. Esta análise algébrica proporciona prova definitiva da impossibilidade, encerrando questão que persistiu por mais de dois milênios.

Soluções alternativas usando outros métodos geométricos foram descobertas na antiguidade. Menecmo resolveu o problema usando seções cônicas, enquanto Arquitas empregou intersecção de superfícies tridimensionais. Estas soluções ilustram que limitações dos métodos euclidianos não impedem solução absoluta, apenas restringem ferramentas utilizáveis.

O teorema de Gauss‑Wantzel caracteriza completamente quais polígonos regulares são construtíveis com régua e compasso: um polígono regular de n lados é construtível se e somente se n = 2ᵏp₁p₂...pₘ onde k ≥ 0 e p₁, p₂, ..., pₘ são primos de Fermat distintos. Primos de Fermat são números da forma 2^(2^j) + 1, e apenas cinco são conhecidos: 3, 5, 17, 257, 65537.

A demonstração utiliza teoria de corpos ciclotômicos e suas propriedades galoisiana. O polígono regular de n lados relaciona‑se com o corpo ℚ(ζₙ) onde ζₙ = e^(2πi/n). O grupo de Galois deste corpo é (ℤ/nℤ)*, e sua estrutura determina construtibilidade. Para que o polígono seja construtível, este grupo deve ser 2‑grupo, condição que equivale à forma específica de n dada pelo teorema.

Casos particulares ilustram a teoria: pentágono (n = 5) é construtível porque 5 é primo de Fermat; heptágono (n = 7) não é construtível porque 7 não é primo de Fermat; e decágono (n = 10 = 2×5) é construtível porque 10 tem a forma requerida. Estes resultados conectam teoria abstrata com construções geométricas concretas.

O problema da quadratura do círculo pede construção de quadrado com área igual à de círculo dado. Se o círculo tem raio 1, o quadrado deve ter lado √π. A impossibilidade desta construção decorre da transcendência de π, demonstrada por Lindemann em 1882. Como π não é número algébrico, √π também não é algébrico, e portanto não pode ser construtível com régua e compasso.

A transcendência de π representa resultado mais profundo que irresolubilidade por radicais ou impossibilidade de construções específicas. Números transcendentes não satisfazem equações polinomiais com coeficientes racionais, colocando‑os completamente fora do alcance de métodos algébricos. Esta descoberta estabeleceu fronteira fundamental entre aritmética algébrica e análise transcendente.

Embora quadratura exata seja impossível, aproximações arbitrariamente precisas podem ser obtidas através de construções finitas. Métodos como os de Arquimedes, usando polígonos inscritos e circunscritos, permitem cálculo de π com precisão controlada. Estes métodos ilustram diferença entre impossibilidade teórica e infactibilidade prática.

Desenvolvimentos modernos na teoria de construções geométricas estendem resultados clássicos para contextos mais gerais. Teoria de origami estuda construções usando dobraduras de papel, que correspondem algebricamente a resolução de equações cúbicas e permitem realizações impossíveis com régua e compasso. Esta extensão ilustra como mudanças nas ferramentas disponíveis expandem conjunto de problemas resolúveis.

Geometria computacional proporciona nova perspectiva sobre construções clássicas através de algoritmos eficientes e análise de complexidade. Problemas de construtibilidade traduzem‑se em questões sobre decidibilidade algorítmica e eficiência computacional. Esta abordagem conecta geometria antiga com ciência da computação moderna.

Construções em espaços de dimensão superior revelam fenômenos inexistentes no plano. Por exemplo, duplicação do cubo torna‑se trivial em três dimensões usando intersecção de superfícies apropriadas. Estes resultados ilustram como restrições dimensionais afetam possibilidades construtivas e sugerem generalizações da teoria clássica.

Esta seção apresenta exercícios cuidadosamente selecionados que ilustram aplicação prática dos conceitos desenvolvidos nos capítulos anteriores. Cada problema é escolhido para enfatizar aspectos específicos da teoria de Galois e desenvolver habilidades de resolução sistemática. A progressão dos exercícios segue curva de aprendizado que constrói competência gradualmente.

Solução: O polinômio x⁴ − 2 possui raízes ⁴√2, i⁴√2, −⁴√2, −i⁴√2. O corpo de decomposição é L = ℚ(⁴√2, i). Como [ℚ(⁴√2) : ℚ] = 4 e [ℚ(⁴√2, i) : ℚ(⁴√2)] = 2, temos [L : ℚ] = 8. O grupo de Galois é o grupo diedral D₄ de ordem 8.

Solução: L = ℚ(√2, √3) é corpo de decomposição do polinômio (x² − 2)(x² − 3) = x⁴ − 5x² + 6, logo é normal. Em característica zero, é automaticamente separável. Portanto L/ℚ é galoisiana.

Solução: O discriminante é −31, que não é quadrado perfeito. Logo o grupo de Galois é S₃, que é resolúvel. Portanto a equação é resolúvel por radicais.

Problemas intermediários requerem integração de múltiplos conceitos e desenvolvimento de estratégias mais sofisticadas. Estes exercícios preparam estudantes para investigação independente e aplicações avançadas da teoria. A ênfase recai sobre desenvolvimento de intuição e capacidade de síntese conceitual.

Solução: Temos ζ₈ = e^(πi/4) = (1+i)/√2. O grupo de Galois Gal(ℚ(ζ₈)/ℚ) ≅ (ℤ/8ℤ)* ≅ (ℤ/2ℤ)² tem ordem 4. Pelos subgrupos, os subcorpos são: ℚ, ℚ(i), ℚ(√2), ℚ(√−2), e ℚ(ζ₈).

Solução: Se [L : K] = p primo, então L = K(α) para qualquer α ∈ L \ K. Se L/K é galoisiana, então é separável, logo o polinômio minimal de α é separável. Reciprocamente, se L = K(α) com polinômio minimal separável, então L é normal (pois contém uma raiz e o grau é primo) e separável, logo galoisiana.

Solução: Considere L = ℚ(∛2, √3). Temos [L : ℚ] = 6, mas L não contém todas as raízes de x³ − 2 (faltam ω∛2 e ω²∛2). Logo L/ℚ não é normal, portanto não é galoisiana.

O uso de software especializado amplia significativamente o alcance de problemas que podem ser investigados, permitindo exploração experimental de conceitos galoisiana e verificação de resultados teóricos. Esta seção demonstra como utilizar ferramentas computacionais de maneira efetiva e responsável.

Código SageMath:

R.<x> = PolynomialRing(QQ)
f = x⁶ - 3
K = NumberField(f, 'a')
G = K.galois_group()
print(f"Grupo de Galois: {G}")
print(f"Ordem: {G.order()}")

Resultado: O grupo de Galois é isomorfo a D₆ (grupo diedral de ordem 12), refletindo simetrias das raízes sextas de 3.

Estratégia: Use comando is_solvable() após calcular grupo de Galois. Para grupos pequenos, verfique série derivada manualmente. Para grupos grandes, confie nos algoritmos implementados.

Problemas avançados exploram fronteiras da teoria e conectam conceitos galoisiana com outras áreas da matemática. Estes exercícios desenvolvem maturidade matemática e preparam para pesquisa independente ou estudos especializados.

Esboço: Use teorema de densidade de Frobenius: para qualquer grupo finito G, existe família infinita de polinômios irredutiveis sobre ℚ cujos grupos de Galois são isomorfos a G. Para grupos simples, aplique resultados de realização inversa de Galois.

Direção: Para Φₙ(x) (n‑ésimo polinômio ciclotômico), Gal(ℚ(ζₙ)/ℚ) ≅ (ℤ/nℤ)*. Explore como propriedades aritméticas de n (fatores primos, potências) determinam estrutura do grupo.

Sugestão: Considere ℚ(ζₚ∞) = ∪ₙ ℚ(ζₚⁿ) para primo fixo p. O grupo de Galois é isomorfo a ℤₚ (inteiros p‑ádicos), e correspondência usa topologia profinita.

A teoria de Galois encontra aplicações surpreendentes em diversas áreas da matemática e ciências aplicadas. Esta seção ilustra algumas dessas conexões, demonstrando relevância contemporânea dos conceitos desenvolvidos no século XIX.

Contexto: O algoritmo AES (Advanced Encryption Standard) opera no corpo finito F₂₅₆, construído como F₂[x]/(p(x)) onde p(x) é polinômio irredutível de grau 8 sobre F₂. O grupo de Galois Gal(F₂₅₆/F₂) é cíclico de ordem 8, gerado pelo automorfismo de Frobenius x ↦ x².

Descrição: Códigos Reed‑Solomon usam avaliação de polinômios sobre corpos finitos para detectar e corrigir erros. A teoria de Galois garante que operações de codificação e decodificação preservem estrutura algébrica necessária para funcionamento do algoritmo.

Conexão: Grupos de simetria de redes cristalinas relacionam‑se com extensões algébricas que descrevem coordenadas de átomos. Teoria de Galois proporciona ferramentas para analisar essas simetrias e prever propriedades físicas.

Esta seção propõe projetos de investigação que permitem exploração independente de aspectos avançados da teoria de Galois. Estes projetos desenvolvem habilidades de pesquisa matemática e proporcionam oportunidades para contribuições originais.

Objetivos: (1) Gerar amostras de polinômios aleatórios de grau fixo, (2) Calcular seus grupos de Galois computacionalmente, (3) Analisar distribuição estatística dos grupos encontrados, (4) Comparar com predições teóricas de densidade.

Direções: Estudar como fenômenos de inseparabilidade afetam correspondência clássica. Investigar papel do automorfismo de Frobenius. Explorar conexões com geometria algébrica sobre corpos finitos.

Foco: Analisar equações como hipergeométrica, Bessel, ou Airy usando técnicas galoisiana diferencial. Determinar quando soluções podem ser expressas em "forma fechada" usando funções elementares.

A teoria de Galois clássica desenvolvida neste livro representa apenas fundação de edifício matemático muito mais vasto. Extensões modernas incluem teoria de Galois étale para variedades algébricas, teoria de Galois motivica que unifica aspectos aritméticos e geométricos, e teoria de Galois diferencial que estuda simetrias de equações diferenciais. Estas generalizações preservam espírito dos conceitos originais enquanto expandem dramaticamente seu alcance.

Teoria de Galois infinita trata extensões de grau infinito usando topologia profinita em grupos de automorfismos. Esta abordagem é fundamental para compreender extensões que surgem naturalmente em teoria dos números algébricos, como ℚᵃᵇ (máxima extensão abeliana de ℚ) ou ℚ̄ (fecho algébrico). A correspondência de Galois mantém‑se válida neste contexto mais geral, mas requer ferramentas topológicas sofisticadas.

Aplicações contemporâneas estendem‑se a áreas aparentemente distantes da álgebra clássica. Em criptografia pós‑quântica, problemas baseados em reticulados algébricos utilizam extensões de corpos e suas propriedades galoisiana. Em física teórica, simetrias de gauge e teoria de campos usam linguagem e técnicas inspiradas na correspondência de Galois.

A pesquisa contemporânea em teoria de Galois explora conexões com áreas emergentes da matemática e desenvolve aplicações em tecnologia avançada. Problemas inversos de Galois investigam quais grupos podem ser realizados como grupos de Galois sobre corpos específicos. Para ℚ, conjectura‑se que todo grupo finito é realizável, mas apenas casos especiais foram demonstrados.

Teoria de Galois computacional desenvolve algoritmos eficientes para cálculo de grupos de Galois, construção de corpos de decomposição, e análise de correspondências. Estes métodos são essenciais para aplicações práticas e permitem investigação experimental de questões teóricas. Avanços em álgebra computacional continuam expandindo fronteiras do que pode ser calculado explicitamente.

Aplicações em criptografia quântica exploram propriedades algébricas de extensões de corpos para desenvolver protocolos seguros contra ataques quânticos. Problemas baseados em isogenias de curvas elípticas, reticulados algébricos, e sistemas polinomiais multivariados utilizam estruturas galoisiana de maneiras inovadoras.

Bibliografia Fundamental

ARTIN, Emil. Galois Theory. 2ª ed. Notre Dame: University of Notre Dame Press, 1971.

EDWARDS, Harold M. Galois Theory. New York: Springer‑Verlag, 1984.

FRALEIGH, John B. A First Course in Abstract Algebra. 7ª ed. Boston: Addison‑Wesley, 2003.

HUNGERFORD, Thomas W. Abstract Algebra: An Introduction. 3ª ed. Boston: Brooks/Cole, 2012.

LANG, Serge. Algebra. 3ª ed. New York: Springer‑Verlag, 2002.

ROTMAN, Joseph J. Galois Theory. 2ª ed. New York: Springer‑Verlag, 1998.

STEWART, Ian. Galois Theory. 4ª ed. London: Chapman & Hall/CRC, 2015.

Bibliografia Complementar

BRASIL. Ministério da Educação. Base Nacional Comum Curricular: Ensino Médio. Brasília: MEC, 2018.

COX, David A. Galois Theory. 2ª ed. Hoboken: John Wiley & Sons, 2012.

DUMMIT, David S.; FOOTE, Richard M. Abstract Algebra. 3ª ed. Hoboken: John Wiley & Sons, 2004.

GARLING, D. J. H. A Course in Galois Theory. Cambridge: Cambridge University Press, 1986.

JACOBSON, Nathan. Basic Algebra I. 2ª ed. New York: W. H. Freeman, 1985.

KAPLANSKY, Irving. Fields and Rings. 2ª ed. Chicago: University of Chicago Press, 1972.

Bibliografia Avançada

CASSELS, J. W. S.; FRÖHLICH, Albrecht (Eds.). Algebraic Number Theory. London: Academic Press, 1967.

MILNE, James S. Fields and Galois Theory. Versão online, 2020. Disponível em: https://jmilne.org/math/

NEUKIRCH, Jürgen. Algebraic Number Theory. Berlin: Springer‑Verlag, 1999.

SERRE, Jean‑Pierre. Topics in Galois Theory. 2ª ed. Wellesley: A K Peters, 2008.

VAN DER WAERDEN, B. L. Algebra. 7ª ed. New York: Springer‑Verlag, 1991. 2 volumes.

Artigos e Monografias Especializadas

ABHYANKAR, Shreeram S. "Galois Theory on the Line in Nonzero Characteristic." Bulletin of the American Mathematical Society, vol. 27, n. 1, p. 68‑133, 1992.

MALLE, Gunter; MATZAT, B. Heinrich. Inverse Galois Theory. Berlin: Springer‑Verlag, 1999.

VÖLKLEIN, Helmut. Groups as Galois Groups: An Introduction. Cambridge: Cambridge University Press, 1996.

Recursos Computacionais

BOSMA, Wieb; CANNON, John; PLAYOUST, Catherine. "The Magma Algebra System I: The User Language." Journal of Symbolic Computation, vol. 24, n. 3‑4, p. 235‑265, 1997.

SAGE DEVELOPMENT TEAM. SageMath, the Sage Mathematics Software System. Versão 9.0, 2020. Disponível em: https://www.sagemath.org

THE GAP GROUP. GAP – Groups, Algorithms, and Programming. Versão 4.11, 2020. Disponível em: https://www.gap‑system.org

Recursos Históricos

TIGNOL, Jean‑Pierre. Galois' Theory of Algebraic Equations. Singapore: World Scientific, 2001.

WUSSING, Hans. The Genesis of the Abstract Group Concept. Cambridge: MIT Press, 1984.