Lema de Artin–Rees

Lema que describe la relación estable entre las potencias de un ideal I que actúan sobre un módulo M finitamente generado y un submódulo N cuando el anillo R es noetheriano: existe k ≥ 0 tal que para todo n ≥ k se cumple I^n M ∩ N = I^{n-k}(I^k M ∩ N), proporcionando control uniforme de las intersecciones de filtraciones.