Ein Lemma, das die stabile Beziehung zwischen Potenzen eines Ideals I, die auf ein endlich erzeugtes Modul M wirken, und einem Untermodul N beschreibt, sofern der Ring R noethersch ist: Es existiert k ≥ 0 mit I^nM ∩ N = I^{n-k}(I^kM ∩ N) für alle n ≥ k, womit die Schnittbildung von Filtrationen gleichmäßig kontrolliert wird.

Prinzip

Filtrationen durch Idealpotenzen interagieren mit Untermodulen in einer unter Noetherscher Endlichkeit vorhersehbaren Weise: ab einem endlichen Stadium verhält sich die Schnittbildung wie eine verschobene Version eines festen untermodulsgefilterten Ausdrucks.

Demonstration

Sei R noethersch, I ein Ideal, M = R^r ein endlich erzeugtes freies Modul und N ein durch Relationen definierter Untermodul; das Lemma liefert ein k, so daß für alle n ≥ k die Schnitte I^nM∩N durch I^{n-k} mal einer festen endlichen Erzeugendengruppe beschrieben werden, was bei Kompletierungen und assoziierten graduierten Modulen Anwendung findet.

Fehlanwendung

Artin–Rees ohne Noethersche Voraussetzung oder auf nicht endlich erzeugte Module anzuwenden kann scheitern: In nicht‑noetherschen Kontexten muß kein einheitliches k existieren und Schnitte stabilisieren nicht zwangsläufig.

Konsequenz

Untermauert viele Resultate zu Kompletierungen, zur Genauigkeit des Kompletierungsfunktors, zum Verhalten assoziierter graduierter Module und zur Kontrolle primärer Zerlegungen unter Filtrationen; es ist ein technisches Werkzeug für Grenz‑ und Kompletierungsargumente.

Umkehrung

Ohne die Aussage von Artin–Rees könnten Filtrationen durch I‑Potenzen einen Untermodul unregelmäßig schneiden, ohne einen einheitlichen Verschiebungsparameter; das Fehlen des Lemmas bedeutet einen qualitativen Kontrollverlust über Modulfiltrationen.

Abgrenzung

Voraussetzung ist, daß R noethersch und M endlich erzeugt ist; das Ideal I ist beliebig. Der Satz gilt nicht allgemein für nicht‑noethersche Ringe oder für Module ohne endliche Erzeugung.

Semantische Spannung

Es besteht Spannung zwischen Artin–Rees (Stabilität von Schnittbildungen unter Filtrationen) und scheinbar ähnlichen Ergebnissen wie dem Krull‑Intersectionssatz (zur Schnittmenge aller Potenzen); Hypothesen und Folgerungen sind verschieden und dürfen nicht verwechselt werden.

Synthese

Artin–Rees liefert in noetherschen, endlich erzeugten Situationen eine einheitliche stabilisierende Beziehung zwischen Ideal‑Potenzfiltrationen und Untermodulen und erlaubt so einen kontrollierten Übergang zu Kompletierungen und graduierten Konstruktionen.