Exercise 7, § 1
Commutative Algebra, VII, 546
Let be a field and a family of discrete valuations on satisfying conditions (AK) and (AK) of no. 3 and such that, for every integer , every family of rational integers and every family of distinct elements of , there exists such that for and for distinct from the . Show that the intersection of the valuation rings of the is a Krull domain whose field of fractions is and that is the family of essential valuations of . (Show first that is the field of fractions of and hence that is a Krull domain; then prove that for all the prime ideal of consisting of those such that is necessarily of height 1, arguing by reductio ad absurdum and using Corollary 2 to Proposition 6 of no. 4.)
Solution
No solution has been written yet.