De l’euclidianité de $\mathbb {Q} \left(\sqrt{2 +\sqrt{2 + \sqrt{2}}} \right)$ et $\mathbb {Q} \left( \sqrt{2 + \sqrt{2}} \right)$ pour la norme

Cerri, Jean-Paul

De l’euclidianité de

ℚ (\sqrt{2 + \sqrt{2 + \sqrt{2}}})

ℚ (\sqrt{2 + \sqrt{2}})

pour la norme

Cerri, Jean-Paul

Journal de théorie des nombres de Bordeaux, Tome 12 (2000) no. 1, pp. 103-126.

Résumé
Abstract

Cet article a pour objectif de présenter un algorithme permettant de montrer, à l’aide d’un ordinateur, l’euclidianité pour la norme du sous-corps réel maximal $K$ du corps cyclotomique $ℚ (ζ_{32})$ où $ζ_{32} = e^{i π / 16}$ , corps totalement réel de degré $8$ et de discriminant $2 147 483 648$ , et plus précisément de prouver que $M (K) = \frac{1}{2}$ . La méthode utilisée permet par ailleurs de prouver que pour $K = ℚ (ζ_{16} + ζ_{16}^{- 1})$ , on a également $M (K) = \frac{1}{2}$ (conjecture de H. Cohn et J. Deutsch). Les résultats relatifs à ce cas sont exposés en fin d’article.

This article presents an algorithm which has allowed us to show, with the help of a computer, that the maximal real subfield $K$ of the cyclotomic field $ℚ (ζ_{32})$ where $ζ_{32} = e^{i π / 16}$ , totally real number field of degree $8$ and discriminant $2 147 483 648$ , is norm-Euclidean, and more precisely, to prove that $M (K) = \frac{1}{2}$ . Furthermore, it can be proved using the same method that if $K = ℚ (ζ_{16} + ζ_{16}^{- 1})$ , we also have $M (K) = \frac{1}{2}$ (as conjectured by H. Cohn and J. Deutsch). The results relative to this case are presented at the end of this paper.

MR Zbl

@article{JTNB_2000__12_1_103_0,
     author = {Cerri, Jean-Paul},
     title = {De l{\textquoteright}euclidianit\'e de $\mathbb {Q} \left(\sqrt{2 +\sqrt{2 + \sqrt{2}}} \right)$ et $\mathbb {Q} \left( \sqrt{2 + \sqrt{2}} \right)$ pour la norme},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     pages = {103--126},
     publisher = {Universit\'e Bordeaux I},
     volume = {12},
     number = {1},
     year = {2000},
     mrnumber = {1827842},
     zbl = {1014.11064},
     language = {fr},
     url = {http://www.numdam.org/item/JTNB_2000__12_1_103_0/}
}

TY  - JOUR
AU  - Cerri, Jean-Paul
TI  - De l’euclidianité de $\mathbb {Q} \left(\sqrt{2 +\sqrt{2 + \sqrt{2}}} \right)$ et $\mathbb {Q} \left( \sqrt{2 + \sqrt{2}} \right)$ pour la norme
JO  - Journal de théorie des nombres de Bordeaux
PY  - 2000
SP  - 103
EP  - 126
VL  - 12
IS  - 1
PB  - Université Bordeaux I
UR  - http://www.numdam.org/item/JTNB_2000__12_1_103_0/
LA  - fr
ID  - JTNB_2000__12_1_103_0
ER  -

%0 Journal Article
%A Cerri, Jean-Paul
%T De l’euclidianité de $\mathbb {Q} \left(\sqrt{2 +\sqrt{2 + \sqrt{2}}} \right)$ et $\mathbb {Q} \left( \sqrt{2 + \sqrt{2}} \right)$ pour la norme
%J Journal de théorie des nombres de Bordeaux
%D 2000
%P 103-126
%V 12
%N 1
%I Université Bordeaux I
%U http://www.numdam.org/item/JTNB_2000__12_1_103_0/
%G fr
%F JTNB_2000__12_1_103_0

Cerri, Jean-Paul. De l’euclidianité de $\mathbb {Q} \left(\sqrt{2 +\sqrt{2 + \sqrt{2}}} \right)$ et $\mathbb {Q} \left( \sqrt{2 + \sqrt{2}} \right)$ pour la norme. Journal de théorie des nombres de Bordeaux, Tome 12 (2000) no. 1, pp. 103-126. http://www.numdam.org/item/JTNB_2000__12_1_103_0/

Bibliographie
Cité par

[S] P. Samuel, Théorie algébrique des nombres. Hermann, Paris, 1971. | MR | Zbl

[B-S] Z.I. Borevitch, I.R. Safarevitch, Théorie des nombres. Gauthier-Villars, Paris, 1967. | MR

[W] L.C. Washington, Introduction to cyclotomic fields. Graduate Texts in Mathematics, Springer-Verlag, New-York, 1982. | MR | Zbl

[L] F. Lemmermeyer, The euclidean algorithm in algebraic number fields. Expositiones Mathematicae (1995), 385-416. | MR | Zbl

[C] H. Cohn, A numerical study of Weber's real class number calculation. Numerische Mathematik 2 (1960), 347-362. | MR | Zbl

[C-D] H. Cohn, J. Deutsch, Use of a computer scan to prove Q (√2+√2) and Q(√3+√2) are euclidean. Mathematics of Computation 46 (1986), 295-299. | Zbl