Tiefe (Kommutative Algebra)
# Tiefe (Kommutative Algebra)

Die Tiefe eines Moduls, insbesondere eines Ideals, wird in der kommutativen Algebra untersucht. Sie ist eine wichtige Invariante, die in verschiedenen Definitionen und Sätzen eine Rolle spielt.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. Für weitere Details siehe Kommutative Algebra.

## Definition

Wenn $M$ ein Modul über einem Ring $R$ ist, so ist die Tiefe $\operatorname {tf} (M)$ von $M$ die Mächtigkeit einer maximalen $M$-regulären Folge von Elementen aus $R$.

Die Notation für die Tiefe eines Moduls $M$ ist in der Literatur nicht einheitlich: Neben $\operatorname {tf} (M)$ und $\operatorname {t} (M)$ ist auch $\operatorname {depth} (M)$ und $\operatorname {prof} (M)$ zu finden.

## Eigenschaften

Wenn $R$ ein lokaler noetherscher Ring mit maximalen Ideal ist und $M$ ein endlicher Modul (der nicht trivial ist, also ungleich 0) über $R$ ist, dann gilt:

* Ist $k=R/m$ der Restklassenkörper, so gilt:

    $\operatorname {tf} (M)<\infty$
    $\operatorname {tf} (M)=\min(\{n\in \mathbb {N} |\operatorname {Ext} ^{n}(k,M)\neq 0\}$
* Es gilt:

    $\operatorname {tf} (M)\leq \dim M$
    Moduln (bzw. Ringe), bei denen Gleichheit gilt, heißen Cohen-Macaulay-Moduln (bzw. Cohen-Macaulay-Ringe).
* $\operatorname {tf} (M)=0\Leftrightarrow m\in \operatorname {Ass} (M)$

    ($\operatorname {Ass} (M)$ ist die Menge der zu $M$ assoziierten Primideale von $R$.)
* Hat $M$ eine endliche projektive Dimension, so gilt:

    $\operatorname {tf} (M)+\operatorname {proj.dim} (M)=\operatorname {tf} (A)$

Insbesondere ist

* $\operatorname {tf} (M)\leq \operatorname {tf} (A)$

## Beispiele

* Ist $V$ ein Vektorraum über einem Körper $K$ der Vektorraumdimension $n$, so ist seine Tiefe als $K$-Modul gleich $n$.
* Die Tiefe eines regulären lokalen Ringes ist seine Krulldimension.
