Bourbaki

Exercise 4, § 4

Commutative Algebra, VI, 450

Let AA be a valuation ring which is not a field. (a) Show that for AA to be a discrete valuation ring, it is necessary and sufficient that every prime ideal of AA be principal, (b) Show that, if AA is the ring of a valuation of height one, the field of fractions of AA is a finitely generated AA-algebra.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.