Exercise 8, § 4
Commutative Algebra, VI, 452
Bourbaki marks this one as harder than the rest.
Let be a local integral domain of dimension 1 (Exercise 7) and its field of fractions. Show that for to be the intersection of valuation rings (of ) of height 1, it is necessary and sufficient that be completely integrally closed. Prove successively that: (a) A subring of containing and the inverse of an element of the maximal ideal of is equal to (use the fact that every ideal of distinct from 0 and is -primary). (b) If is a subring of distinct from , there exists a valuation ring of height 1 such that (use (a)). (c) Let ; show that is impossible arguing as in Exercise 7 (b). Deduce that there exists a valuation ring of height 1 such that and . (If , use (a); otherwise, there is an such that
Solution
No solution has been written yet.