If is a number field, we denote by its ring of integers. Let be a finite Galois extension of number fields with group ; a basis of as -module of the form is called a normal basis of over . In this paper we establish an existence criterion for an integral normal basis in a Kummer extension of prime degree, which shows in addition how to construct a normal basis in case it exists. The main tools used in the proof are a formula of Frôhlich for the resolvents and a theorem of Hecke describing the ramification in a Kummer extension of prime degree. As an application, we show how to use our criterion to deduce a normal basis theorem obtained by F. Kawamoto.
Si est un corps de nombres, on note son anneau d’entiers ; si est une extension galoisienne finie de corps de nombres de groupe de Galois , on appelle base normale de sur toute base de en tant que -module de la forme avec . On démontre dans ce travail un critère d’existence de base normale d’entiers pour les extensions de Kummer de degré premier, qui permet une construction explicite en cas d’existence ; les principaux outils pour la démonstration sont une formule de Fröhlich pour les résolvantes ainsi qu’un critère de Hecke qui décrit la ramification dans une extension de Kummer de degré premier. Comme application, on utilise ce critère pour déduire un théorème de base normale obtenu par F. Kawamoto.
@article{JTNB_1994__6_1_95_0, author = {G\'omez Ayala, E. J.}, title = {Bases normales d'entiers dans les extensions de {Kummer} de degr\'e premier}, journal = {Journal de th\'eorie des nombres de Bordeaux}, pages = {95--116}, publisher = {Universit\'e Bordeaux I}, volume = {6}, number = {1}, year = {1994}, mrnumber = {1305289}, zbl = {0822.11076}, language = {fr}, url = {http://archive.numdam.org/item/JTNB_1994__6_1_95_0/} }
TY - JOUR AU - Gómez Ayala, E. J. TI - Bases normales d'entiers dans les extensions de Kummer de degré premier JO - Journal de théorie des nombres de Bordeaux PY - 1994 SP - 95 EP - 116 VL - 6 IS - 1 PB - Université Bordeaux I UR - http://archive.numdam.org/item/JTNB_1994__6_1_95_0/ LA - fr ID - JTNB_1994__6_1_95_0 ER -
Gómez Ayala, E. J. Bases normales d'entiers dans les extensions de Kummer de degré premier. Journal de théorie des nombres de Bordeaux, Volume 6 (1994) no. 1, pp. 95-116. http://archive.numdam.org/item/JTNB_1994__6_1_95_0/
[1] Questions de base minimale dans la théorie des nombres algébriques, dans Collected Papers, Addison-Wesley, 1965, (réimpression chez Springer Verlag), 229-231. | MR
,[2] Elliptic functions and rings of integers, Progress in Mathematics 66, Birkhäuser, Boston, 1987. | MR | Zbl
, ,[3] The module structure of Kummer extensions over Dedekind domains, J. reine angew. Math. 209 (1962), 39-53. | MR | Zbl
,[4] Arithmetic and Galois module structure for tame extensions, J. reine angew. Math. 286/ 287 (1976), 380-440. | MR | Zbl
,[5] Galois module structure of algebraic integers, Springer Verlag, 1983. | MR | Zbl
,[6] Bases normales d'entiers et multiplication complexe, thèse, Université Bordeaux I, 1991.
,[7] Eine Bernerkung zur Galoismodulstruktur in Strahlklassenkörpern über imaginär-quadratischen Zahlkörpern, J. Number Theory 44 (1993), 41-46. | MR | Zbl
, ,[8] Lectures on the theory of algebraic numbers, Springer Verlag, New York, 1981. | MR | Zbl
,[9] On normal integral bases, Tokyo J. Math. 7 (1984), 221-231. | MR | Zbl
,[10] Remark on "On normal integral bases", Tokyo J. Math. 8 (1985), 275. | MR | Zbl
,[11] Algebraic number theory, Addison-Wesley, 1970. | MR | Zbl
,[12] On integral bases, Proc. Amer. Math. Soc. 9 (1958), 167-172. | MR | Zbl
,[13] A Stickelberger condition on Galois module structure for Kummer extensions of prime degree, dans Algebraic Number Fields, Proceedings of the Durham Symposium 1975, Academic Press, London 1977, 525-538. | MR | Zbl
,[14] Théorie algébrique des nombres, Hermann, Paris, 1967. | MR | Zbl
,[15] Corps locaux, Hermann, Paris, 1963. | MR | Zbl
,[16] Galois module structure of rings of integers in Kummer extensions, Bull. London Math. Soc. 12 (1980), 96-98. | MR | Zbl
,[17] On Fröhlzch's conjecture for rings of integers of tame extensions, Invent. Math. 63 (1981), 41-79. | EuDML | MR | Zbl
,[18] Hopf orders and Galois module structure, dans: Group Rings and Class Groups, et , DMV Seminar, Band 18, Birkhäuser, 1992. | MR | Zbl
(with contributions by ),[19] Introduction to cyclotomic fields, Graduate Texts in Mathematics 83, Springer Verlag, 1982. | MR | Zbl
,