Bourbaki

Exercise 20, § 4

Commutative Algebra, IX, p. 82

Let AA be a noetherian ring, aa an ideal of AA distinct from AA, A^\hat{A} the separated completion of AA for the aa-adic topology. If A/aA/a is a Nagata ring, then A^\hat{A} is a Nagata ring. (Use Exercise 19.)

Solution

No solution has been written yet.

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