Bourbaki

Exercise 1, § 4

Commutative Algebra, IX, p. 78

Let AA be a semi-local noetherian integral ring of dimension 1. a) The integral closure of AA is a finite AA-algebra if and only if the completion A^\hat{A} of AA is reduced. (If A^\hat{A} is reduced, use the corollary to Th. 2 of § 4, No. 2. For the implication in the other direction, reduce to the case where AA is integrally closed, and argue as in the proof of Th. 3 of § 4, No. 4). b) The following three conditions are equivalent: (i) AA is a Japanese ring; (ii) AA is a Nagata ring; (iii) A^\hat{A} is reduced and if q1,...,qnq_1, ..., q_n are the minimal prime ideals of A^\hat{A}, then the fields κ(qi)\kappa(q_i) are separable extensions of the field of fractions of AA.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5.4. Not checked by a person.