De l’euclidianité de 2+2+2 et 2+2 pour la norme
Journal de théorie des nombres de Bordeaux, Tome 12 (2000) no. 1, pp. 103-126.

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 )ζ 32 =e iπ/16 , corps totalement réel de degré 8 et de discriminant 2147483648, et plus précisément de prouver que M(K)=1 2. La méthode utilisée permet par ailleurs de prouver que pour K=(ζ 16 +ζ 16 -1 ), on a également M(K)=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 2147483648, is norm-Euclidean, and more precisely, to prove that M(K)=1 2. Furthermore, it can be proved using the same method that if K=(ζ 16 +ζ 16 -1 ), we also have M(K)=1 2 (as conjectured by H. Cohn and J. Deutsch). The results relative to this case are presented at the end of this paper.

@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/

[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