Extensão abeliana
 | 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. (Setembro de 2021) |
Em álgebra abstrata, uma extensão abeliana é uma extensão de Galois na qual o grupo de Galois é abeliano. Quando o grupo de Galois é um grupo cíclico, tem-se uma extensão cíclica.
Qualquer extensão finita de um corpo finito é uma extensão cíclica. O desenvolvimento da teoria dos corpos de classes foi provido de detalhada informação sobre extensões abelianas de corpos numéricos, corpos de funções de curvas algébricas sobre corpos finitos, e corpos locais.
Existem dois conceitos ligeiramente diferentes de extensões ciclotômicas: podem significar que cada uma destas extensões seja formada por raízes da unidade adjacentes, ou subextensões de tais extensões. Os corpos ciclotômicos são exemplos. Qualquer extensão ciclotômica (para cada definição) é abeliana.
Se um corpo K contém uma raiz da unidade n-ésima primitiva e a n-ésimo raiz de um elemento de K é adjunto, o resultado assim chamado extensão de Kummer é uma extensão abeliana (se K tem característica p nós diríamos que p não divide n, desde que de outra maneira este pode mesmo não é uma extensão separável). Em geral, entretanto, os grupos de Galois de raízes n-ésimas de elementos opere ambos nas raízes n-ésimas e sobre as raízes da unidade, dando um grupo de Galois não abeliano como produto semidireto. A teoria de Kummer dá uma completa descrição do caso da extensão abeliana, e o teorema de Kronecker-Weber nos diz que se K é o corpo dos números racionais, e a extensão é abeliana se e somente se é um subcorpo de um corpo obtido por adjunção à raiz da unidade.
Há uma importante analogia com o grupo fundamental em topologia, a qual classifica todas as superfícies de cobertura de um espaço: coberturas abelianas são classificadas pela sua abelianisação a qual relaciona-se diretamente ao primeiro grupo de homologia.
Referências[editar | editar código-fonte]
- Kuz'min, L.V. (2001), "Cyclotomic extension", em Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104 (em inglês)
- «Abelian Extension - Wolfram Mathworld» (em inglês)
