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 du corps cyclotomique où , corps totalement réel de degré et de discriminant , et plus précisément de prouver que . La méthode utilisée permet par ailleurs de prouver que pour , on a également (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 of the cyclotomic field where , totally real number field of degree and discriminant , is norm-Euclidean, and more precisely, to prove that . Furthermore, it can be proved using the same method that if , we also have (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://archive.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://archive.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://archive.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://archive.numdam.org/item/JTNB_2000__12_1_103_0/
[S] Théorie algébrique des nombres. Hermann, Paris, 1971. | MR | Zbl
,[B-S] Théorie des nombres. Gauthier-Villars, Paris, 1967. | MR
, ,[W] Introduction to cyclotomic fields. Graduate Texts in Mathematics, Springer-Verlag, New-York, 1982. | MR | Zbl
,[L] The euclidean algorithm in algebraic number fields. Expositiones Mathematicae (1995), 385-416. | MR | Zbl
,[C] A numerical study of Weber's real class number calculation. Numerische Mathematik 2 (1960), 347-362. | MR | Zbl
,[C-D] Use of a computer scan to prove Q (√2+√2) and Q(√3+√2) are euclidean. Mathematics of Computation 46 (1986), 295-299. | Zbl
, ,