Hilbert-Speiser number fields and Stickelberger ideals

H. Ichimura
DOI: https://doi.org/10.5802/JTNB.690
Abstract:Soit p un nombre premier. On dit qu'un corps de nombres F satisfait la condition (H' p n) si toute extension abelienne N/F d'exposant divisant p n possede une base normale d'entiers sur l'anneau des p-entiers. On dit aussi que F satisfait la condition (H' p ∞) s'il satisfait (H' p n) pour tout n > 1. Il est bien connu que le corps des rationnels Q satisfait (H' p∞ ) pour les nombres premiers p. Dans cet article, nous donnons une condition simple pour qu'un corps de nombres F satisfasse (H' p n) en termes du groupe des classes d'ideaux de K = F(ζ p n) et d'un "ideal de Stickelberger" associe au groupe de Galois Gal(K/F). Comme application, nous donnons un corps quadratique imaginaire qui pourait verifier la condition tres forte (H' p ∞) pour un petit nombre premier p.
What problem does this paper attempt to address?