Exercise 2, § 3
Commutative Algebra, VIII, p. 87
Let be a noetherian integral ring. Suppose that is not a field and that the field of fractions of is a finitely generated -algebra. Then is semi-local and of dimension 1. (Show that there exists a nonzero and noninvertible element of such that is a field, and reduce to proving that ; if this were not so, would possess a prime ideal of height 1 whose inverse image in would be a prime ideal of height 2; but the local ring of dimension 2 could have only a finite number of prime ideals, contrary to the prop. 6 of § 3, No. 3.)
Solution
No solution has been written yet.