Exercise 5, § 3
Commutative Algebra, III, 246
Bourbaki marks this one as harder than the rest.
Let be a commutative Noetherian ring and its Jacobson radical. (a) For to be strictly linearly compact with a linear topology (§ 2, Exercise 19), it is necessary and sufficient that be semi-local and complete with the -adic topology; is then necessarily identical with this latter topology. (Use § 2, Exercise 21 (d) and 22 (a) and also § 3, no. 3, Proposition 6.) (b) For to be linearly compact with a linear topology , it is necessary and sufficient that be semi-local and complete with the -adic topology and that be finer than this latter topology. (To see that it is necessary, reduce it first to the case where is a local ring, using Exercise 21 (d) of § 2. Consider first the case where is the discrete topology and note that is then linearly compact with the -adic topology. In the general case, reduce it to the case where is a minimal topology (§ 2, Exercise 18 (c)); show that is then strictly linearly compact and use criterion (y) of § 2, Exercise 19 (a) and Exercise 18 (b) of § 2.)
Solution
No solution has been written yet.