Skip to main content
added 4 characters in body
Source Link
Pace Nielsen
  • 18.7k
  • 4
  • 75
  • 137

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^kM \cap N) \subseteq I^{n-k} N \, .$$$$I^n M \cap N = I^{n-k} \cdot (I^kM \cap N) \subseteq I^{n-k} N \, .$$

The inclusion $I^n \cap M \subseteq I^{n-k}N$$I^n M \cap N \subseteq I^{n-k}N$ 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$?

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^kM \cap N) \subseteq I^{n-k} N \, .$$

The inclusion $I^n \cap M \subseteq I^{n-k}N$ 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$?

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 M \cap N = I^{n-k} \cdot (I^kM \cap N) \subseteq I^{n-k} N \, .$$

The inclusion $I^n M \cap N \subseteq I^{n-k}N$ 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$?

edited body
Source Link

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 \, .$$$$I^n \cap M = I^{n-k} \cdot (I^kM \cap N) \subseteq I^{n-k} N \, .$$

The inclusion $I^n \cap M \subseteq I^{n-k}M$$I^n \cap M \subseteq I^{n-k}N$ 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$?

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$?

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^kM \cap N) \subseteq I^{n-k} N \, .$$

The inclusion $I^n \cap M \subseteq I^{n-k}N$ 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$?

Source Link

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$?