Satz von Artin-Rees

Der Satz von Artin-Rees, benannt nach Emil Artin und David Rees, ist ein Satz aus der kommutativen Algebra. Er trifft eine Aussage über Produkte von Potenzen von Idealen eines noetherschen Rings und endlich erzeugten Moduln. Der Satz kann verwendet werden, um eine gewisse Topologie eines Untermoduls als Relativtopologie nachzuweisen.

Formulierung des Satzes

Es sei ${\mathfrak {a}}\subset R$ ein Ideal in einem kommutativen, noetherschen Ring $R$. Weiter seien $M$ ein endlich erzeugter $R$-Modul und $N\subset M$ ein Untermodul. Dann gibt es eine Zahl $k\in \mathbb {N}$, so dass für alle $i\geq k$ gilt:

${\mathfrak {a}}^{i}M\cap N={\mathfrak {a}}^{i-k}({\mathfrak {a}}^{k}M\cap N)$.

Anwendungen

Ist $M$ ein beliebiger $R$-Modul, so definieren die Potenzen

${\mathfrak {a}}^{1}M\supset {\mathfrak {a}}^{2}M\supset {\mathfrak {a}}^{3}M\supset \ldots$

eine Nullumgebungsbasis in $M$ und damit eine Topologie, die sogenannte ${\mathfrak {a}}$-adische Topologie. In dieser ist eine Menge $U\subset M$ genau dann offen, wenn es zu jedem $x\in U$ ein $i\in N$ gibt mit $x+{\mathfrak {a}}^{i}M\subset U$. In der Situation obigen Satzes tragen also $M$ und der Untermodul $N$ die ${\mathfrak {a}}$-adische Topologie, $N$ trägt als Teilmenge aber auch die Relativtopologie der ${\mathfrak {a}}$-adischen Topologie von $M$. Mit Hilfe des Satzes von Artin-Rees ist es nun nicht mehr schwer, die Gleichheit dieser beiden Topologien auf $N$ zu zeigen.

Der Satz von Artin-Rees kann auch dazu verwendet werden, den Durchschnittssatz von Krull zu beweisen.