Exercise 3, § 2
Commutative Algebra, VII, 556
Let be a Dedekind domain, its field of fractions, the set of prime ideals of and for all let be the corresponding essential valuation on . For every sub-A-module of and all we write (taken in ); if , for all and for almost all . If are two sub-A-modules of , show that the relation is equivalent to for all (use Proposition 9 of § 1, no. 5). Conversely, for every family of elements equal to an integer or and such that for almost all , there exists a unique sub-A-module of such that for all .
Solution
No solution has been written yet.