A lemma describing the stable relationship between the powers of an ideal I acting on a finitely generated module M and a submodule N when the ring R is Noetherian: there exists k ≥ 0 such that for all n ≥ k, I^n M ∩ N = I^{n-k}(I^k M ∩ N), giving uniform control of intersections of filtrations.

Principle

Filtrations by powers of an ideal interact with submodules in a uniformly predictable way once Noetherian finiteness is present: after a finite stage the intersection behaves like a shifted version of a fixed submodule filtered by powers of I.

Demonstration

Let R be a Noetherian ring, I an ideal, M = R^r a finitely generated free module and N a submodule given by relations; the lemma yields k so that for all n ≥ k the intersections I^nM∩N are generated by I^{n-k} times a fixed finite set, which is used in studying completions and associated graded modules.

Misapplication

Applying Artin–Rees without the Noetherian hypothesis or to infinitely generated modules can fail: there need not be a uniform k in non‑Noetherian contexts and intersections may not stabilize predictably.

Consequence

Underpins many results about completions, exactness of completion functors, behavior of associated graded modules, and the control of primary decompositions under filtrations; it is a technical tool that makes limit and completion arguments manageable.

Reversal

Without the conclusion of Artin–Rees, filtrations by powers of I could intersect a submodule erratically without a uniform shift parameter; the lemma's absence marks a qualitative loss of control in module filtrations.

Boundary

Assumes R is Noetherian and M is finitely generated; the ideal I is arbitrary. The lemma does not hold in general for non‑Noetherian rings or for modules lacking finite generation.

Semantic Tension

There is tension between Artin–Rees (a statement about stability of intersections under filtrations) and seemingly similar but distinct results like the Krull intersection theorem (about intersection of all powers), so their hypotheses and conclusions should not be conflated.

Synthesis

Artin–Rees provides a uniform stabilizing relation between powers-of‑I filtrations on a module and its submodules in the Noetherian finite setting, enabling controlled passage to completions and graded constructions.