Exercise 4, § 4
Commutative Algebra, VI, 450
Let be a valuation ring which is not a field. (a) Show that for to be a discrete valuation ring, it is necessary and sufficient that every prime ideal of be principal, (b) Show that, if is the ring of a valuation of height one, the field of fractions of is a finitely generated -algebra.
Solution
No solution has been written yet.