Connection between the Wieferich congruence and divisibility of h⁺
Several interesting lattices can be realised as ideal lattices over cyclotomic fields : some of the root lattices, the Coxeter-Todd lattice, the Leech lattice, etc. Many of these are modular in the sense of Quebbemann. The aim of the present paper is to determine the cyclotomic fields over which there exists a modular ideal lattice. We then study an especially simple class of lattices, the ideal lattices of trace type. The paper gives a complete list of modular ideal lattices of trace type defined...
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.