Exercise 4, § 3
Commutative Algebra, III, 246
Bourbaki marks this one as harder than the rest.
Let be a semi-local ring and its Jacobson radical. For to be Noetherian, it is necessary and sufficient that every ideal of be closed under the -adic topology and that every maximal ideal of be finitely generated. (If these conditions hold, show first that the Hausdorff completion of is Noetherian, using § 2, no. 13, Corollary to Proposition 19 and no. 10, Corollary 5 to Theorem 1. Then observe that the -adic topology is Hausdorff on and that there exists an increasing injection of the set of ideals of into the set of ideals of .)
Solution
No solution has been written yet.