Exercise 11, § 2
Commutative Algebra, VII, 558
Let be a field and a family of discrete valuations on satisfying conditions (AK_I) and (AK_{III}) of § 1, no. 3 and such that, for every integer , every family of integers , every family of distinct elements of and every family of elements of , there exists such that for and for distinct from the . Show that the intersection of the valuation rings of the , is a Dedekind domain whose field of fractions is and that is the family of essential valuations of . (Use Exercise 7 of § 1; then prove that two distinct prime ideals of height 1 are relatively prime and deduce that every prime ideal of is maximal.)
Solution
No solution has been written yet.