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.