Ramificação e Teoria de Galois de Corpos Numéricos

Quando um primo de um corpo numérico é examinado em um corpo maior, ele pode se dividir em vários primos, permanecer primo ou ramificar; a teoria de Galois organiza todo esse comportamento através de grupos de decomposição e do elemento de Frobenius.

Definition

Ramificação descreve como um ideal primo de um corpo base se fatora em uma extensão e se fatores primos repetidos aparecem; a teoria de Galois de corpos numéricos codifica isso através de subgrupos do grupo de Galois anexados a cada primo acima dele.

Scope

Este tópico abrange a fatoração de um primo racional em uma extensão em ideais primos com seus índices de ramificação e graus residuais, a identidade fundamental que os relaciona ao grau, primos ramificados e não ramificados, os grupos de decomposição e inércia em uma extensão de Galois, o automorfismo de Frobenius, o diferente e a relação entre discriminante e ramificação, e o símbolo de Artin que antecipa a reciprocidade.

Core questions

• Como um primo racional se fatora no anel de inteiros de uma extensão, e quais são o índice de ramificação e o grau residual?
• Por que esses invariantes satisfazem a identidade fundamental que soma ao grau, e como ela se simplifica para extensões de Galois?
• Quais são os grupos de decomposição e inércia, e como o elemento de Frobenius atua nos corpos residuais?
• Quais primos ramificam, e como o diferente e o discriminante os detectam?

Key theories

Identidade fundamental e tipos de divisão

Um primo se fatora em uma extensão com índices de ramificação e graus residuais cuja soma ponderada é igual ao grau do corpo; em uma extensão de Galois, todos os fatores compartilham o mesmo índice e grau, classificando o comportamento de divisão, inerte e ramificado.

Grupo de decomposição, grupo de inércia e Frobenius

Para um primo acima de um dado primo em uma extensão de Galois, o grupo de decomposição é seu estabilizador, o grupo de inércia sua parte de ramificação, e o quociente é gerado pelo elemento de Frobenius agindo como um mapa de potência no corpo residual.

Diferente, discriminante e ramificação

O ideal diferente e o discriminante identificam os primos ramificados, com a fórmula condutor-discriminante expressando o discriminante de uma extensão abeliana através dos condutores de seus caracteres.

Clinical relevance

O comportamento de divisão de primos via o elemento de Frobenius governa as leis de reciprocidade e é o cerne computacional de algoritmos que fatoram polinômios e ideais sobre corpos numéricos, incluindo etapas dentro da peneira de corpos numéricos (number field sieve).

History

Dedekind relacionou a fatoração de primos à fatoração do polinômio mínimo módulo aquele primo. Hilbert sistematizou a teoria da ramificação em seu Zahlbericht de 1897, introduzindo os grupos de decomposição e inércia e a filtração de ramificação superior que organizam o assunto moderno.

Key figures

• Richard Dedekind
• David Hilbert
• Ferdinand Georg Frobenius

Seminal works

• marcus2018

Frequently asked questions

O que significa para um primo ramificar?

Um primo ramifica em uma extensão quando sua fatoração em ideais primos inclui um fator repetido; apenas um número finito de primos ramifica, e eles são exatamente aqueles que dividem o discriminante.

O que é o elemento de Frobenius?

Para um primo não ramificado em uma extensão de Galois, é o automorfismo canônico que induz o mapa de potência p no corpo residual; sua classe de conjugação registra como o primo se divide e é a chave para as leis de reciprocidade.