# Sur l’arithmétique des extensions galoisiennes à groupe de Galois diédral d’ordre $2p$

• Volume: 19, Issue: 1, page 1-80
• ISSN: 0373-0956

top

## Abstract

top
This paper deals with the arithmetic of Galois extensions $N/\kappa$ whose Galois group is a dihedral group ${D}_{p},p$ prime. The main theorem is the following (Normal basis theorem):Let $A$ be a principal ideal ring of characteristic $O$, such that $A/pA$ is a field with $p$ elements. Let $\kappa$ be the quotient field of $A,N$ a Galois extension of $\kappa$ whose Galois group $G$ is isomorphic to ${D}_{p}$, and $B$ the integral closure of $A$ in $N$. Suppose furthermore that $N/\kappa$ is tamely ramified, and that the ring of integers of the quadratic subfield of $N$ possesses a normal basis over $A$. Then $B$ itself possessses a normal basis over $A$.We recall in the first two chapters the fundamental facts concerning Dedekind rings and group algebras over such rings.In the third chapter, we study the ramification of dihedral extensions, and compute the discriminant.In the fourth chapter, we extend the ground field by adjoining to it a primitive $p$-th root of 1, and use “Kummer theory” to obtain the structure of the ring of integers of a dihedral extension.In the fifth chapter, we prove the existence of special bases for the ring of integers of a subfield of $N$ of degree $p$ over $\kappa$.The aim of the sixth chapter is to prove the main theorem; when $\kappa$ is the field of rationals numbers, this gives in the dihedral case a theorem which generalizes the well-known normal basis theorem for abelian extensions (Hilbert, theorem 132).

## How to cite

top

Martinet, Jacques. "Sur l’arithmétique des extensions galoisiennes à groupe de Galois diédral d’ordre $2p$." Annales de l'institut Fourier 19.1 (1969): 1-80. <http://eudml.org/doc/73976>.

@article{Martinet1969,
abstract = {Nous nous occupons dans cet article de l’arithmétique des extensions galoisiennes $N/\kappa$ dont le groupe de Galois est un groupe diédral $D_p$, $p$ premier. Le théorème fondamental est le suivant (Théorème de la base normale) :Soit $A$ un anneau principal de caractéristique $O$, tel que $A/pA$ soit un corps à $p$ éléments. Soit $\kappa$ le corps des fractions de $A$, $N$ une extension galoisienne de $\kappa$ dont le groupe de Galois $G$ est isomorphe à $D_p$, et $B$ la clôture intégrale de $A$ dans $N$. Supposons en outre que $N/\kappa$ est modérément ramifiée, et que l’anneau des entiers du sous-corps quadratique de $N$ possède une base normale sur $A$. Alors $B$ lui-même possède une base normale sur $A$.Nous rappelons dans les deux premiers chapitres les résultats fondamentaux concernant les anneaux de Dedekind et l’algèbre d’un groupe sur un tel anneau.Dans le troisième chapitre, nous étudions la ramification et calculons le discriminant.Dans le chapitre IV, nous ajoutons au corps de base une racine $p$-ième primitive de l’unité, et utilisons la “théorie de Kummer” pour obtenir la structure de l’anneau des entiers d’une extension à groupe de Galois diédral.Dans le chapitre V, nous montrons l’existence de bases particulières pour l’anneau des entiers d’un sous-corps de $N$ de degré $p$ sur $[k]$.Le but du chapitre VI est la démonstration du théorème fondamental ; quand $\kappa$ est le corps des nombres rationnels, cela donne une généralisation dans le cas diédral du théorème de la base normale, bien connu pour les extensions abéliennes (Théorème 132 de Hilbert).},
author = {Martinet, Jacques},
journal = {Annales de l'institut Fourier},
keywords = {number theory},
language = {fre},
number = {1},
pages = {1-80},
publisher = {Association des Annales de l'Institut Fourier},
title = {Sur l’arithmétique des extensions galoisiennes à groupe de Galois diédral d’ordre $2p$},
url = {http://eudml.org/doc/73976},
volume = {19},
year = {1969},
}

TY - JOUR
AU - Martinet, Jacques
TI - Sur l’arithmétique des extensions galoisiennes à groupe de Galois diédral d’ordre $2p$
JO - Annales de l'institut Fourier
PY - 1969
PB - Association des Annales de l'Institut Fourier
VL - 19
IS - 1
SP - 1
EP - 80
AB - Nous nous occupons dans cet article de l’arithmétique des extensions galoisiennes $N/\kappa$ dont le groupe de Galois est un groupe diédral $D_p$, $p$ premier. Le théorème fondamental est le suivant (Théorème de la base normale) :Soit $A$ un anneau principal de caractéristique $O$, tel que $A/pA$ soit un corps à $p$ éléments. Soit $\kappa$ le corps des fractions de $A$, $N$ une extension galoisienne de $\kappa$ dont le groupe de Galois $G$ est isomorphe à $D_p$, et $B$ la clôture intégrale de $A$ dans $N$. Supposons en outre que $N/\kappa$ est modérément ramifiée, et que l’anneau des entiers du sous-corps quadratique de $N$ possède une base normale sur $A$. Alors $B$ lui-même possède une base normale sur $A$.Nous rappelons dans les deux premiers chapitres les résultats fondamentaux concernant les anneaux de Dedekind et l’algèbre d’un groupe sur un tel anneau.Dans le troisième chapitre, nous étudions la ramification et calculons le discriminant.Dans le chapitre IV, nous ajoutons au corps de base une racine $p$-ième primitive de l’unité, et utilisons la “théorie de Kummer” pour obtenir la structure de l’anneau des entiers d’une extension à groupe de Galois diédral.Dans le chapitre V, nous montrons l’existence de bases particulières pour l’anneau des entiers d’un sous-corps de $N$ de degré $p$ sur $[k]$.Le but du chapitre VI est la démonstration du théorème fondamental ; quand $\kappa$ est le corps des nombres rationnels, cela donne une généralisation dans le cas diédral du théorème de la base normale, bien connu pour les extensions abéliennes (Théorème 132 de Hilbert).
LA - fre
KW - number theory
UR - http://eudml.org/doc/73976
ER -

## References

top
1. [1] ANKENY, CHOWLA, HASSE, “On the class number of the maximal real subfield of a cyclotomic field”, Jour. reine angew. Math. 217 (1965) 217-220. Zbl0128.03501MR30 #3078
2. [2] E. ARTIN, “Questions de base minimale dans la théorie des nombres algébriques”, Colloque du C.N.R.S. Algèbre et théorie des nombres. Paris (1949) 19-20. Zbl0039.02904MR13,113i
3. [3] N. BOURBAKI, “Algèbre” Chapitre V et VIII, Paris (1959).
4. [4] N. BOURBAKI, “Algèbre commutative” Chapitre VII, Paris (1965).
5. [5] H. CARTAN, S. EILENBERG, “Homological Algebra”, Princeton (1956). Zbl0075.24305MR17,1040e
6. [6] A. CHATELET, “Arithmétique des corps abéliens du troisième degré”, Annales scientifiques de l'E.N.S. 63 (1946) 109-160. Zbl0061.06003MR8,568a
7. [7] A. CHATELET, “Idéaux principaux dans les corps circulaires”, Colloque du C.N.R.S. Algèbre et théorie des nombres. Paris (1949) 103-106. Zbl0040.30602MR13,101h
8. [8] H. HASSE, “Zahlentheorie”, Berlin (1963). Zbl1038.11500MR27 #3621
9. [9] E. HECKE, “Vorlesungen über die Theorie der algebraischen Zahlen”, Leipzig (1923), Réimpression : New-York (1948). Zbl0041.01102JFM49.0106.10
10. [10] D. HILBERT, “Théorie des corps de nombres algébriques”, Paris (1913).
11. [11] M. P. LEE, “Integral representations of dihedral groups of order 2p”, Trans. Amer. Math. Soc. 110 (1964) 213-231. Zbl0126.05403MR28 #139
12. [12] H.W. LEOPOLDT, “Uber die Hauptordnung der ganzen Elementen eines abelschen Zahlkörpers”, Jour. reine angew. Math. 201 (1959) 119-149. Zbl0098.03403MR21 #7195
13. [13] J. MARTINET et J.J. PAYAN, “Sur les extensions cubiques non galoisiennes des rationnels et leur clôture galoisienne”, Jour. reine angew. Math. 228 (1967) 15-37. Zbl0161.05302MR37 #2722
14. [14] J. MARTINET et J.J. PAYAN, “Sur les bases d'entiers des extensions galoisiennes et non abéliennes de degré 6 des rationnels”, Jour. reine angew. Math. 229 (1968) 29-33. Zbl0157.10002MR37 #1347
15. [15] E. NOETHER, “Normal basis bei Körpern ohne höhere Verzweigung”, Jour. reine angew. Math. 167 (1932) 147-152. Zbl0003.14601JFM58.0172.02
16. [16] J.J. PAYAN, “Contribution à l'étude des corps abéliens absolus de degré premier impair”, Annales de l'institut Fourier (1965) 133-199. Zbl0135.08501MR32 #5636
17. [17] J.J. PAYAN, “Critère de décomposition d'une extension de Kummer sur un sous-corps du corps de base”, Annales de l'E.N.S. (à paraître). Zbl0182.37204
18. [18] D.S. RIM, “Modules over finite groups”, Ann. of Math. 69 (1959) 700-712. Zbl0092.26104MR21 #3474
19. [19] P. SAMUEL, O. ZARISKI, “Commutative algebra”, Volume 1. Zbl0121.27801
20. [20] J.P. SERRE, “Corps locaux”, Paris, Hermann (1962). Zbl0137.02601MR27 #133
21. [21] R.G. SWANN, “Induced representations and projective modules”. Ann. of Math. 71 (1960) 552-578. Zbl0104.25102MR25 #2131

top

## 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.