Krulldimension

Die Krulldimension eines topologischen Raums ist ein nach Wolfgang Krull benannter topologischer Dimensionsbegriff. Dieser wird durch algebraische Untersuchungen von Ringen in der algebraischen Geometrie motiviert und steht in enger Beziehung zur Dimension eines Ringes.

Definition

Sei ein topologischer Raum. Die Krulldimension (oder auch kombinatorische Dimension) ist das Supremum aller Längen von Ketten

$X_0 \subsetneqq X_1 \subsetneqq \ldots \subsetneqq X_n$

von nichtleeren, abgeschlossenen, irreduziblen Teilmengen. Diese wird mit $\dim X$ bezeichnet.

Bezug zur Ringtheorie

Ist ein kommutativer Ring mit Einselement, so betrachtet man auf dem Spektrum $\operatorname {Spec} (R)$ üblicherweise die Zariski-Topologie. Ordnet man einem Primideal die Menge aller es umfassenden Primideale zu, so erhält man eine bijektive Beziehung zwischen $\operatorname {Spec} (R)$ und der Menge aller nichtleeren abgeschlossenen irreduziblen Teilmengen von $\operatorname {Spec} (R)$ . Daher ist die in der kommutativen Algebra betrachtete Dimension eines Ringes, die über die maximale Länge von Primidealketten definiert wird, nichts anderes als die oben definierte Krulldimension seines Spektrums.

Die Krulldimension eines noetherschen Rings hat die folgenden Eigenschaften:

$\dim(A)=\sup \left\{\dim A_{\mathfrak {m}}\colon {\mathfrak {m}}{\text{ Maximalideal in }}A\right\}$
$\dim k\left[x_{1},\ldots ,x_{n}\right]=n$
wenn ein Integritätsbereich und eine endlich erzeugte -Algebra ist, dann ist $\dim A$ der Transzendenzgrad $Trg(A:k)$ und für jedes Primideal $\mathcal{P}$ gilt $\dim A/{\mathcal {P}}+\dim A_{\mathcal {P}}=\dim A$ .

Beispiele

Ein nichtleerer Hausdorffraum hat die Krulldimension 0, denn die irreduziblen Teilmengen sind genau die einpunktigen Mengen.
$\mathbb {C} ^{n}$ versehen mit der Zariski-Topologie, das heißt abgeschlossen sind die gemeinsamen Nullstellenmengen von Mengen von Polynomen in Unbestimmten, hat die Dimension . Alle Zariski-abgeschlossenen echten Teilmengen haben eine kleinere Dimension.
Ist ein Noetherscher Ring, so gilt für den Polynomring $R[X_{1},\ldots ,X_{n}]$ :

$\quad \dim(R[X_{1},\ldots ,X_{n}])=\dim(R)+n$

Ist $R\hookrightarrow S$ eine -->ganze Ringerweiterung, so gilt: $\dim(R)=\dim(S)$
Für einen beliebigen kommutativen unitären Ring gilt: $\dim(R)+1\leq\dim(R[X])\leq2\cdot\dim(R)+1$ und für jedes Paar von natürlichen Zahlen mit $n+1\leq m\leq 2n+1$ gibt es einen Ring mit $\dim(R)=n$ und $\dim(R[X])=m$ .
Es gilt für den Potenzreihenring über einem Noetherschen Ring : $\dim(R[[X]])=\dim(R)+1$ .
In einem Noetherschen Ringe gilt für ein Element $\alpha$ , welches nicht transzendent über ist: $\dim(R[\alpha])\in\{\dim(R)-1,\dim(R)\}$ .

Vergleich mit anderen Dimensionsbegriffen

Da alle Hausdorffräume die Krulldimension 0 haben, stimmt diese nicht mit der Lebesgue'schen Überdeckungsdimension oder den induktiven Dimensionen überein. Dass die Dimension des $\mathbb {C} ^{n}$ im obigen Beispiel mit der Lebesgue'schen Überdeckungsdimension übereinstimmt ist nur richtig, weil man im ersten Fall die Zariski-Topologie und im zweiten Fall die echt feinere euklidischen Topologie betrachtet.

Ist ein noetherscher Raum mit Krulldimension $\leq n$ , so ist auch die kohomologische Dimension $\leq n$ .

Kodimension

Ist $Y\subset X$ eine abgeschlossene, irreduzible Teilmenge, so nennt man die maximale Länge aller Ketten

$Y=X_0\subsetneqq X_1 \subsetneqq \ldots \subsetneqq X_n$

von nichtleeren, abgeschlossenen, irreduziblen Teilmengen die Kodimension von und bezeichnet sie mit $\operatorname {codim} _{X}Y$ . Für eine beliebige abgeschlossene Teilmenge $A\subset X$ definiert man

$\operatorname {codim} _{X}A$ als das Infimum der $\operatorname {codim} _{X}Y$ , wobei die irreduziblen Komponenten von durchläuft.

Eigenschaften

Die Krulldimension eines topologischen Raumes ist gleich dem Supremum der Krulldimensionen seiner irreduziblen Komponenten.
Ist $X=A_1\cup\ldots\cup A_n$ mit abgeschlossenen Teilmengen $A_{i}$ , so ist $\dim X=\sup\{\dim A_{1},\ldots ,\dim A_{n}\}$ .

Basierend auf einem Artikel in:

Wikipedia.de