Bourbaki

Exercise 23, § 4

Commutative Algebra, IX, p. 82

Let AA be a reduced noetherian semi-local ring, RR its total ring of fractions, A^\hat{A} the completion of AA. In order that A^\hat{A} be reduced, it is necessary and sufficient that R⊗AA^R \otimes_A \hat{A} be reduced.

Solution

No solution has been written yet.

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