Exercise 6, § 6
Commutative Algebra, X
Let be a Grothendieck ring, an ideal of , and the separated completion of for the -adic topology. Prove that is an A-algebra absolutely regular. (Let be a maximal ideal of , and m its inverse image in A; deduce from Exercise 3 that is an -algebra absolutely regular.)
Solution
No solution has been written yet.