Exercise 1, § 4
Commutative Algebra, IX, p. 78
Let be a semi-local noetherian integral ring of dimension 1. a) The integral closure of is a finite -algebra if and only if the completion of is reduced. (If is reduced, use the corollary to Th. 2 of § 4, No. 2. For the implication in the other direction, reduce to the case where is integrally closed, and argue as in the proof of Th. 3 of § 4, No. 4). b) The following three conditions are equivalent: (i) is a Japanese ring; (ii) is a Nagata ring; (iii) is reduced and if are the minimal prime ideals of , then the fields are separable extensions of the field of fractions of .
Solution
No solution has been written yet.