Relative Galois module structure of integers of abelian fields

Byott, Nigel P.; Lettl, Günter

Journal de théorie des nombres de Bordeaux, Tome 8 (1996) no. 1, pp. 125-141.

Soit $L/K$ une extension d'un corps de nombres, où $L$ est abélienne sur $\mathbb{Q}$. On établit ici une description explicite de l'ordre associé ${𝒜}_{L/K}$ de cette extension dans le cas où $K$ est un corps cyclotomique, et on démontre que l'anneau des entiers $o_L$ de $L$ est isomorphe à ${𝒜}_{L/K}$. Cela généralise des résultats antérieurs de Leopoldt, Chan & Lim et Bley. De plus, on montre que ${𝒜}_{L/K}$ est l'ordre maximal si $L/K$ est une extension cyclique, totalement et sauvagement ramifiée, linéairement disjointe de ${\mathbb{Q}}^{\left(m^{\text{'}}\right)}/K$, où $m^{\text{'}}$ désigne le conducteur de $K$.

Let $L/K$ be an extension of algebraic number fields, where $L$ is abelian over $\mathbb{Q}$. In this paper we give an explicit description of the associated order ${𝒜}_{L/K}$ of this extension when $K$ is a cyclotomic field, and prove that $o_L$, the ring of integers of $L$, is then isomorphic to ${𝒜}_{L/K}$. This generalizes previous results of Leopoldt, Chan & Lim and Bley. Furthermore we show that ${𝒜}_{L/K}$ is the maximal order if $L/K$ is a cyclic and totally wildly ramified extension which is linearly disjoint to ${\mathbb{Q}}^{\left(m^{\text{'}}\right)}/K$, where $m^{\text{'}}$ is the conductor of $K$.

[1] W. Bley, A Leopoldt-type result for rings of integers of cyclotomic extensions, Canad. Math. Bull. 38 (1995), 141 - 148. | MR | Zbl

[2] J. Brinkhuis, Normal integral bases and complex conjugation, J reine angew. Math. 375/376 (1987), 157 - 166. | EuDML | MR | Zbl

[3] S.-P. Chan & C.-H. Lim, Relative Galois module structure of rings of integers of cyclotomic fields, J. reine angew. Math. 434 (1993), 205 -220. | EuDML | MR | Zbl

[4] A. Fröhlich, Galois module structure of algebraic integers, Erg. d. Math. 3, vol. 1, Springer, 1983. | MR | Zbl

[5] A. Fröhlich & M.J. Taylor, Algebraic number theory, Camb. Studies Adv. Math. vol. 27, Cambridge University Press, 1991. | Zbl

[6] H.-W. Leopoldt, Über die Hauptordnung der ganzen Elemente eines abelschen Zahlkörpers, J. reine angew. Math. 201 (1959), 119 -149. | EuDML | MR | Zbl

[7] G. Lettl, The ring of integers of an abelian number field, J. reine angew. Math. 404 (1990), 162-170. | EuDML | MR | Zbl

[8] G. Lettl, Note on the Galois module structure of quadratic extensions, Coll. Math. 67 (1994), 15 - 19. | EuDML | MR | Zbl

[9] K.W. Roggenkamp & M.J. Taylor, Group rings and class groups, DMV-Seminar Bd. 18, Birkhäuser, 1992. | MR | Zbl

[10] M.J. Taylor, Relative Galois module structure of rings of integers, Orders and their applications (Proceedings of Oberwolfach 1984) (I. Reiner & K.W. Roggenkamp, eds.), Lect. Notes 1142, Springer, 1985, pp. 289-306. | MR | Zbl