Lemma stating that, given an ideal I in a Noetherian commutative ring R and a submodule N of a a finitely generated R-module M, there exists a positive integer k such that, for every n≥k, IⁿM ∩ N = Iⁿ⁻ᵏ(IᵏM ∩ N)
lemo laŭ kiu, se estas donitaj idealo I de komuta Noether-ringo R kaj submodulo N de finie generita R-modulo M, do ekzistas pozitiva entjero k tia ke, por ĉiu n≥k, IⁿM ∩ N = Iⁿ⁻ᵏ(IᵏM ∩ N) (eo)
théorème d'algèbre sur les anneaux noethérien (fr)
lemma stating that, given an ideal I in a Noetherian commutative ring R and a submodule N of a a finitely generated R-module M, there exists a positive integer k such that, for every n≥k, IⁿM ∩ N = Iⁿ⁻ᵏ(IᵏM ∩ N) (en)