Exercice 3, § 2
Algèbre commutative, VII
Soient un anneau de Dedekind, son corps des fractions, l’ensemble des idéaux premiers de , et pour tout , soit la valuation essentielle correspondante de . Pour tout sous-A-module de , et tout , on pose (prise dans ); si , on a pour tout , et pour presque tout . Si sont deux sous-A-modules de , montrer que la relation équivaut à pour tout (utiliser la prop. 9 du § 1, n° 5). Inversement, pour toute famille d’éléments égaux à un entier ou à , et telle que pour presque tout , il existe un sous-A-module unique de tel que pour tout .
Solution
Aucune solution n’a encore été écrite.