Durchschnittssatz von Krull
# Durchschnittssatz von Krull

Der Durchschnittssatz von Krull, benannt nach Wolfgang Krull, ist ein Satz aus der kommutativen Algebra, der sich mit Potenzen von Idealen eines noetherschen Rings beschäftigt. Er hat zur Folge, dass eine gewisse Topologie auf endlich erzeugten Moduln über einem noetherschen Ring hausdorffsch ist.

## Formulierung des Satzes

Es sei ${\mathfrak {a}}\subset R$ ein Ideal in einem kommutativen, noetherschen Ring $R$ und $M$ ein endlich erzeugter $R$-Modul.

* Für $\textstyle N:=\bigcap _{i\in \mathbb {N} }{\mathfrak {a}}^{i}M$ gilt ${\mathfrak {a}}N=N$.
* Ist zusätzlich ${\mathfrak {a}}$ im Jacobson-Radikal enthalten, so ist $\textstyle N:=\bigcap _{i\in \mathbb {N} }{\mathfrak {a}}^{i}M=\{0\}$.

Der Beweis ist eine einfache Anwendung des Satzes von Artin-Rees. Nach letzterem gibt es ein $k\in \mathbb {N}$, so dass für alle $i>k$ gilt:

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

Daraus folgt für $i=k+1$

    $N\subset {\mathfrak {a}}^{k+1}M\cap N={\mathfrak {a}}^{1}({\mathfrak {a}}^{k}M\cap N)\subset {\mathfrak {a}}N\subset N$

und damit die erste Behauptung. Die zweite folgt dann aus der ersten und dem Lemma von Nakayama.

## Anwendung

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

Ist $M$ ein endlich erzeugter $R$-Modul und ${\mathfrak {a}}$ ein im Jacobson-Radikal enthaltenes Ideal, so ist $M$ mit der ${\mathfrak {a}}$-adischen Topologie ein Hausdorffraum. Sind nämlich $x,y$ zwei verschiedene Elemente aus $M$, so ist $x-y\not =0$ und daher $x-y\notin {\mathfrak {a}}^{i}M$ für hinreichend großes $i$. Dann sind $x+{\mathfrak {a}}^{i}M$ und $y+{\mathfrak {a}}^{i}M$ disjunkte Umgebungen von $x$ und $y$.

