Teorema de Kronecker-Weber
De Wikipedia, a enciclopédia encyclopedia
Na teoria algébrica dos números, o teorema de Kronecker-Weber estabelece que cada extensão abeliana finita do corpo dos números racionais , ou em outras palavras cada corpo numérico algébrico cujo grupo de Galois sobre seja abeliano, é um subcorpo de um corpo ciclotômico, ou seja, um corpo obtido ao adicionar-se uma raiz da unidade aos números racionais.
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Dezembro de 2013) |
Kronecker proporcionou a maior parte da prova em 1853, enquanto Weber (em 1886) e Hilbert (em 1896), preencheram as lacunas existentes. Se pôde provar mediante uma construção algébrica direta, embora também seja uma consequência simples da teoria de corpos de classes e se pode provar juntando dados locais sobre o campo p-ádico de cada primo p.
Para uma extensão abeliana K de Q existe de fato um campo ciclotômico mínimo que a contêm. O teorema permite definir o condutor de K, como o menor inteiro n tal que K resida no corpo gerado pelas raízes enésimas da unidade. Por exemplo, os corpos quadráticos têm como condutor o valor absoluto de seu discriminante, um feito amplamente generalizado na teoria de corpos de classes.