Teorema de Kronecker-Weber

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 $\mathbb {Q}$, ou em outras palavras cada corpo numérico algébrico cujo grupo de Galois sobre $\mathbb {Q}$ 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.

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.

Referências

• Greenberg, M. J. (1974). "An Elementary Proof of the Kronecker-Weber Theorem". American Mathematical Monthly 81 (6): 601–607. doi:10.2307/2319208.

Ligações externas

• «PlanetMath» (em inglês)