A generalization of a theorem of Minkowski
Le groupe est le plus petit groupe pour lequel existent des modules stablement libres non libres. On montre que toutes les classes d’isomorphisme de tels modules peuvent être représentées une infinité de fois par des anneaux d’entiers. On applique un travail de classification de Swan, pour cela on doit construire explicitement des bases normales d’entiers d’extensions à groupe ; cela se fait en liant un critère de Martinet avec une construction de Witt.
In this paper we study the algorithmic problem of finding the ring of integers of a given algebraic number field. In practice, this problem is often considered to be well-solved, but theoretical results indicate that it is intractable for number fields that are defined by equations with very large coefficients. Such fields occur in the number field sieve algorithm for factoring integers. Applying a variant of a standard algorithm for finding rings of integers, one finds a subring of the number field...
Let be a finite extension of , let , respectively , be the division fields of level , respectively , arising from a Lubin-Tate formal group over , and let Gal(). It is known that the valuation ring cannot be free over its associated order in unless . We determine explicitly under the hypothesis that the absolute ramification index of is sufficiently large.
Si est un corps de nombres, on note son anneau d’entiers ; si est une extension galoisienne finie de corps de nombres de groupe de Galois , on appelle base normale de sur toute base de en tant que -module de la forme avec . On démontre dans ce travail un critère d’existence de base normale d’entiers pour les extensions de Kummer de degré premier, qui permet une construction explicite en cas d’existence ; les principaux outils pour la démonstration sont une formule de Fröhlich pour...