Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Extension abélienne
Résumé
En algèbre générale, plus précisément en théorie de Galois, une extension abélienne est une extension de Galois dont le groupe de Galois est abélien. Lorsque ce groupe est cyclique, l'extension est dite cyclique.
Toute extension finie d'un corps fini est une extension cyclique. L'étude de la théorie des corps de classes décrit de façon détaillée toutes les extensions abéliennes dans le cas des corps de nombres, et des corps de fonctions de courbes algébriques sur des corps finis, ainsi que dans le cas des corps locaux (Théorie du corps de classes local).
Les extensions cyclotomiques, obtenues par l'adjonction de racines de l'unité donnent des exemples d'extensions abéliennes au-dessus de n'importe quel corps. Ces extensions peuvent être triviales si le corps duquel on part est algébriquement clos ou bien si l'on adjoint des racines p-ièmes en caractéristique p.
Dans le cas où le corps de base est le corps Q des nombres rationnels, on obtient par cette construction les corps dits cyclotomiques. Le corps Q(i) des nombres de Gauss a+bi, pour a et b rationnels, en est l'exemple non trivial le plus simple. Les corps cyclotomiques sont des exemples essentiels d'extension abélienne de Q, au sens où toute extension abélienne finie se plonge dans un tel corps (théorème de Kronecker-Weber).
Ainsi une extension abélienne maximale Q de Q s'obtient en adjoignant toutes les racines de l'unité à Q. C'est un cas particulier de la théorie du corps de classes local au cas du corps Q. Dans ce cas le groupe de Galois de l'extension de Q au-dessus de Q s'identifie au groupe des éléments inversibles de l'anneau des . Il agit sur les racines primitives N-ièmes de l'unité par l'intermédiaire de son quotient (Z/NZ), où k+NZ agit en envoyant la racine ζ sur ζ.
Dans le cas du corps Q, il est remarquable qu'une extension abélienne maximale est engendrée par des valeurs spéciales de la fonction exponentielle. En effet, parmi les nombres complexes, les racines de l'unité se distinguent comme celles qui s'écrivent exp(2πix) pour les valeurs rationnelles du paramètre x.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.