Bases normales d'entiers dans les extensions de Kummer de degré premier

E. J. Gómez Ayala

Journal de théorie des nombres de Bordeaux (1994)

  • Volume: 6, Issue: 1, page 95-116
  • ISSN: 1246-7405

Abstract

top
If F is a number field, we denote by 𝔇 F its ring of integers. Let E / F be a finite Galois extension of number fields with group G ; a basis of 𝔇 E as 𝔇 F -module of the form a 9 g ∈ G is called a normal basis of 𝔇 E over 𝔇 F . 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.

How to cite

top

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 6.1 (1994): 95-116. <http://eudml.org/doc/247537>.

@article{GómezAyala1994,
abstract = {Si $F$ est un corps de nombres, on note $\mathfrak \{O\}_F$ son anneau d’entiers ; si $E/F$ est une extension galoisienne finie de corps de nombres de groupe de Galois $G$, on appelle base normale de $\mathfrak \{O\}_E$ sur $\mathfrak \{O\}_F$ toute base de $\mathfrak \{O\}_E$ en tant que $\mathfrak \{O\}_F$-module de la forme $\left\lbrace a^g\right\rbrace _\{g \in G\}$ avec $a \in \mathfrak \{O\}_E$. 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.},
author = {Gómez Ayala, E. J.},
journal = {Journal de théorie des nombres de Bordeaux},
keywords = {free module; tamely ramified Kummer extension; ring of integers; normal integral basis; Galois module structure},
language = {fre},
number = {1},
pages = {95-116},
publisher = {Université Bordeaux I},
title = {Bases normales d'entiers dans les extensions de Kummer de degré premier},
url = {http://eudml.org/doc/247537},
volume = {6},
year = {1994},
}

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
PB - Université Bordeaux I
VL - 6
IS - 1
SP - 95
EP - 116
AB - Si $F$ est un corps de nombres, on note $\mathfrak {O}_F$ son anneau d’entiers ; si $E/F$ est une extension galoisienne finie de corps de nombres de groupe de Galois $G$, on appelle base normale de $\mathfrak {O}_E$ sur $\mathfrak {O}_F$ toute base de $\mathfrak {O}_E$ en tant que $\mathfrak {O}_F$-module de la forme $\left\lbrace a^g\right\rbrace _{g \in G}$ avec $a \in \mathfrak {O}_E$. 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.
LA - fre
KW - free module; tamely ramified Kummer extension; ring of integers; normal integral basis; Galois module structure
UR - http://eudml.org/doc/247537
ER -

References

top
  1. [1] E. Artin, 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. MR176888
  2. [2] Ph. Cassou-Noguès, M.J. Taylor, Elliptic functions and rings of integers, Progress in Mathematics66, Birkhäuser, Boston, 1987. Zbl0608.12013MR886887
  3. [3] A. Fröhlich, The module structure of Kummer extensions over Dedekind domains, J. reine angew. Math.209 (1962), 39-53. Zbl0105.02901MR160777
  4. [4] A. Fröhlich, Arithmetic and Galois module structure for tame extensions, J. reine angew. Math.286/ 287 (1976), 380-440. Zbl0385.12004MR432595
  5. [5] A. Fröhlich, Galois module structure of algebraic integers, Springer Verlag, 1983. Zbl0501.12012MR717033
  6. [6] E.J. Gómez Ayala, Bases normales d'entiers et multiplication complexe, thèse, Université Bordeaux I, 1991. 
  7. [7] E. J. Gómez Ayala, R. Schertz, Eine Bernerkung zur Galoismodulstruktur in Strahlklassenkörpern über imaginär-quadratischen Zahlkörpern, J. Number Theory44 (1993), 41-46. Zbl0777.11046MR1219484
  8. [8] E. Hecke, Lectures on the theory of algebraic numbers, Springer Verlag, New York, 1981. Zbl0504.12001MR638719
  9. [9] F. Kawamoto, On normal integral bases, Tokyo J. Math.7 (1984), 221-231. Zbl0553.12001MR752124
  10. [10] F. Kawamoto, Remark on "On normal integral bases", Tokyo J. Math.8 (1985), 275. Zbl0577.12003MR800089
  11. [11] S. Lang, Algebraic number theory, Addison-Wesley, 1970. Zbl0211.38404MR282947
  12. [12] H.B. Mann, On integral bases, Proc. Amer. Math. Soc.9 (1958), 167-172. Zbl0081.26602MR93502
  13. [13] L.R. McCulloh, 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, London1977, 525-538. Zbl0389.12005MR457403
  14. [14] P. Samuel, Théorie algébrique des nombres, Hermann, Paris, 1967. Zbl0146.06402MR215808
  15. [15] J.-P. Serre, Corps locaux, Hermann, Paris, 1963. MR354618
  16. [16] M.J. Taylor, Galois module structure of rings of integers in Kummer extensions, Bull. London Math. Soc.12 (1980), 96-98. Zbl0408.12017MR571727
  17. [17] M.J. Taylor, On Fröhlzch's conjecture for rings of integers of tame extensions, Invent. Math.63 (1981), 41-79. Zbl0469.12003MR608528
  18. [18] M.J. Taylor (with contributions by N. P. Byott), Hopf orders and Galois module structure, dans: Group Rings and Class Groups, K. W. Roggenkamp et M. J. Taylor, DMV Seminar, Band 18, Birkhäuser, 1992. Zbl0811.11068MR1167451
  19. [19] L. Washington, Introduction to cyclotomic fields, Graduate Texts in Mathematics83, Springer Verlag, 1982. Zbl0484.12001MR718674

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.