Lemme d'Artin–Rees

Lemme décrivant la relation stable entre les puissances d'un idéal I agissant sur un module de type fini M et un sous‑module N lorsque l'anneau R est noethérien : il existe k ≥ 0 tel que pour tout n ≥ k on ait I^n M ∩ N = I^{n-k}(I^k M ∩ N), fournissant un contrôle uniforme des intersections de filtrations.