Théorème de Hilbert-Speiser
Dans le monde d'aujourd'hui, Théorème de Hilbert-Speiser est un sujet qui suscite un grand intérêt et un grand débat dans diverses sphères de la société. Avec l’importance croissante de Théorème de Hilbert-Speiser dans la vie quotidienne, il est essentiel de comprendre ses implications et ses conséquences afin d’y remédier efficacement. Dans cet article, nous explorerons les différentes facettes de Théorème de Hilbert-Speiser, en analysant son impact dans différents domaines et en offrant des perspectives qui contribuent à enrichir les connaissances sur ce sujet. De son origine à son évolution aujourd'hui, Théorème de Hilbert-Speiser continue d'être un sujet pertinent qui mérite notre attention et notre réflexion.
Pour les articles homonymes, voir Speiser.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques, le théorème de Hilbert-Speiser est un résultat sur les sous-corps des corps cyclotomiques, caractérisant ceux qui possèdent une base normale d'entiers.
D'après le théorème de Kronecker-Weber, les extensions abéliennes du corps ℚ des rationnels sont exactement les sous-corps K d'un corps cyclotomique ℚ(ζn) (avec n entier quelconque et ζn = e2πi/n).
Le théorème de Hilbert-Speiser affirme qu'un tel K possède une base normale d'entiers si et seulement si n est impair et sans carré (une condition équivalente plus abstraite est que l'extension K de ℚ soit modérément ramifiée).
Lorsque cette condition est remplie, une base normale d'entiers peut être construite à l'aide des périodes de Gauss. Par exemple si p est un nombre premier > 2, ℚ(ζp) possède une base normale d'entiers constituée des p – 1 racines p-ièmes de l'unité différentes de 1, et une base normale d'entiers pour tout sous-corps s'en déduit en utilisant la forme trace. Lorsque n est impair et sans carré, ℚ(ζn) est le produit tensoriel de sous-corps de ce type pour les nombres premiers p divisant n (ceci découle d'un argument simple sur la ramification). Cette décomposition peut être utilisée pour traiter n'importe quel sous-corps.
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Hilbert–Speiser theorem » (voir la liste des auteurs).
