Exercise 20, § 4
Commutative Algebra, IX, p. 82
Let be a noetherian ring, an ideal of distinct from , the separated completion of for the -adic topology. If is a Nagata ring, then is a Nagata ring. (Use Exercise 19.)
Solution
No solution has been written yet.