Bourbaki

Remark

Tag 04GZ, permanent. Cite it as [Bourbaki, Tag 04GZ].

Commutative Algebra, chapter III, § 3. m-adic topologies on Noetherian rings

A local ring BB such that A⊂B⊂A^\mathbf{A} \subset B \subset \hat{\mathbf{A}}, whose maximal ideal nn is equal to mBmB and whose nn-adic topology is induced by the mm-adic topology on A\mathbf{A}, is not necessarily Noetherian (Exercise 14).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.