Corollary 4
Tag 04G4, permanent. Cite it as [Bourbaki, Tag 04G4].
Commutative Algebra, chapter III, § 3. m-adic topologies on Noetherian rings
Let be a commutative Noetherian ring, an ideal of , ajnitely generated -module and and two filtrations consisting of submodules of . Suppose that the filtrations and are compatible with the -module structure on when is given the -adic filtration. If the filtration is -good and for all , the filtration is -good. This a special case of Proposition 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.