Skip to main content
1 of 3

Uniform Artin-Rees

The Artin-Rees lemma states that if $R$ is a Noetherian ring, $I \subseteq R$ is an ideal and $N \subseteq M$ are finitely generated $R$-modules, then there exists an integer $k$ such that for every $n \ge k$, we have $$I^n \cap M = I^{n-k} \cdot (I^kN \cap M) \subseteq I^{n-k} N \, .$$

The inclusion $I^n \cap M \subseteq I^{n-k}M$ is sometimes called the weak Artin-Rees-Lemma.

There exist several versions of this weak Artin-Rees Lemma which are uniform with respect to $I$, i.e., the corresponding integer $k$ depends only on the modules $N \subseteq M$ of $R$ and works for every ideal $I$ of $R$.

Do there exist variants of this result which are also uniform with respect to the modules $N$ and $M$?

I wonder whether it is possible to bound the corresponding $k$'s in terms of invariants of the ring $R$. For example, suppose that $R$ is a regular local ring. Is $k$ bounded by the Krull dimension of $R$?