Bourbaki

Exercise 6, § 6

Commutative Algebra, X

Let AA be a Grothendieck ring, II an ideal of AA, and A^\widehat{A} the separated completion of AA for the II-adic topology. Prove that A^\widehat{A} is an A-algebra absolutely regular. (Let n\mathfrak{n} be a maximal ideal of A^\widehat{A}, and m its inverse image in A; deduce from Exercise 3 that A^n\widehat{A}_\mathfrak{n} is an AmA_m-algebra absolutely regular.)

Solution

No solution has been written yet.

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