Teorema de Herbrand-Ribet
O Teorema de Herbrand-Ribet é um resultado fundamental na matemática que aprofunda nossa compreensão sobre o grupo de classes de certos corpos numéricos. Ele atua como um aprimoramento do Teorema de Ernst Kummer, que estabelece uma conexão entre a divisibilidade do número de classes de um corpo ciclotômico e os números de Bernoulli. Especificamente, Kummer afirma que um primo 'p' divide o número de classes do corpo ciclotômico das p-ésimas raízes da unidade se, e somente se, 'p' divide o numerador do n-ésimo número de Bernoulli B_n para algum 'n' entre 0 e p-1. O Teorema de Herbrand-Ribet vai além, detalhando o significado dessa divisibilidade de 'p' em relação a B_n.
Pontos-chave
- É um fortalecimento do Teorema de Kummer sobre corpos numéricos.
- Relaciona a divisibilidade do número de classes com os números de Bernoulli.
- Especifica o que significa quando um primo 'p' divide B_n.
- Envolve o grupo de Galois e caracteres de Dirichlet.
- A recíproca foi provada por Ribet usando formas modulares.
Para um primo ímpar 'p', o grupo de Galois Δ do corpo ciclotômico das p-ésimas raízes da unidade, Q(ζ) onde ζ^p = 1, é composto por p-1 elementos (σ_a). Pelo Pequeno Teorema de Fermat, no anel dos inteiros p-ádicos Z_p, existem p-1 raízes da unidade, cada uma congruente módulo 'p' a um número entre 1 e p-1. Isso permite definir o caractere de Dirichlet ω (caractere de Teichmüller) com valores em Z_p, tal que ω(n) é congruente a 'n' módulo 'p' para 'n' coprimo de 'p'. A parte 'p' do grupo de classes é um módulo sobre Z_p (por ser p-primária) e, consequentemente, um módulo sobre o anel de grupo Z_p[Δ]. Com base nisso, definimos elementos idempotentes do anel de grupo para cada 'n' de 1 a p-1.
A primeira parte do teorema, que afirma que 'p' divide B_{p-n} se G_n não é trivial, foi demonstrada por Jacques Herbrand. A recíproca, que estabelece que se 'p' divide B_{p-n}, então G_n não é trivial, é uma contribuição de Kenneth Ribet e é consideravelmente mais complexa. Pela teoria dos corpos de classes, essa recíproca só pode ser verdadeira se existir uma extensão não ramificada do corpo das p-ésimas raízes da unidade por uma extensão cíclica de grau 'p' que se comporte de maneira específica sob a ação de Σ. Ribet provou isso construindo tal extensão utilizando métodos da teoria das formas modulares. Uma demonstração mais acessível da recíproca de Ribet, decorrente da teoria dos sistemas de Euler, pode ser encontrada na obra de Washington.
Os métodos desenvolvidos por Ribet foram aprimorados por Barry Mazur e Andrew Wiles, levando à prova da conjectura principal da teoria de Iwasawa. Uma das consequências diretas dessa conjectura é um fortalecimento significativo do Teorema de Herbrand-Ribet. Este aprimoramento estabelece que a potência de 'p' que divide B_{p-n} é exatamente igual à potência de 'p' que divide a ordem de G_n, fornecendo uma relação mais precisa entre esses elementos matemáticos.
