At a maximal ideal `P` of a Noetherian ring `A`, an ideal `J` of the completed local ring containing a power of its maximal ideal makes `A → Â_P → Â_P/J` surjective.

Initializing...

At a maximal ideal `P` of a Noetherian ring `A`, an ideal `J` of the completed local ring containing a power of its maximal ideal makes `A → Â_P → Â_P/J` surjective. · Prove2Me