Reguläre Folge
# Reguläre Folge

Reguläre Folgen spielen in kommutativen Algebra und der algebraischen Geometrie eine Rolle. Sie werden benötigt, um die Tiefe eines Moduls und Cohen-Macaulay-Ringe zu definieren und um Aussagen über vollständige Durchschnitte zu machen.

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.

## Definitionen

### Reguläre Folge

Wenn $M$ ein noetherscher Modul über einem Ring $R$ ist, so wird ein Element $a\in R$ $M$-regulär genannt, wenn aus $a\cdot x=0$ für ein $x\in M$ stets $x=0$ folgt.

Eine Folge $(a_{1},\dotsc ,a_{n})$ von Elementen aus $R$ heißt $M$-reguläre Folge, wenn folgende Bedingungen erfüllt sind:

* $M\neq (a_{1},\dotsc ,a_{n})M$
* Für $i<n$ ist das Bild von $a_{i+1}$ kein Nullteiler in $M/(a_{1},\dotsc ,a_{i})M$

Der Zusatz „$M$-“ wird weggelassen, wenn aus dem Zusammenhang klar ist, welcher Modul gemeint ist.

Der Spezialfall, wenn $R$ ein lokaler Ring ist und der Modul $R$ selbst ist, ist am wichtigsten. In diesem Fall liegen alle Folgenglieder im maximalen Ideal.

### Reguläres Parametersystem

Ist $R$ lokal und $m$ das maximale Ideal, dann wird ein minimales Erzeugendensystem von $m$ ein reguläres Parametersystem genannt.

## Eigenschaften

* Eine maximale $M$-reguläre Folge ist endlich und alle maximalen $M$-regulären Folgen haben dieselbe Länge.
* Ist $M\neq 0$ ein endlicher Modul über einem noetherschen lokalen Ring und ist $(a_{1},\dots ,a_{n})$ eine reguläre Folge, so ist:

    $\mathrm {dim} (M/(a_{1}M+\dots a_{n}M))=\mathrm {dim} (M)-n$

($\mathrm {dim} (M)$ ist die Dimension von $M$.)

* Für einen regulären Ring lokalen $R$ mit maximalem Ideal $m$ und $\{a_{1},\dots ,a_{n}\}\subset R$ ist äquivalent:

    $(a_{1},\dots ,a_{n})$ ist Teil eines regulären Parametersystems
    $\{{\bar {a}}_{1},\dots ,{\bar {a}}_{n}\}$ (modulo $(m^{2})$) ist eine linear unabhängige Teilmenge des Vektorraums $m/m^{2}$ über dem Körper $R/m$.

Insbesondere ist ein minimales Erzeugendensystem von $m$ eine reguläre Folge.

* Ist umgekehrt $R$ ein noetherscher lokaler Ring mit maximalem Ideal $m$, das von einer regulären Folge der Länge $n$ erzeugt wird, so ist $R$ regulär und $\mathrm {dim} (R)=n$.
* Allgemein: Ist $R$ ein noetherscher lokaler Ring und $(a_{1},\dots ,a_{n})$ eine reguläre Folge, dann ist jede Permutation der Folge regulär. (Das gilt nicht für beliebige noethersche Ringe.)

## Beispiele

* Im Polynomring $R=K[X_{1},\dots ,X_{n}]$ über einem Körper $K$ ist jede Folge der $n$ Variablen eine $R$-reguläre Folge.
* Der lokale Ring $K[X_{1},X_{2},X_{3},X_{4}]/((X_{1},X_{2})(X_{3},X_{4}))_{({\bar {X}}_{1},{\bar {X}}_{2},{\bar {X}}_{3},{\bar {X}}_{4})}$ Körper $K$ entspricht geometrisch dem Schnittpunkt zweier affinen Flächen im vierdimensionalen Raum. Der Ring ist zweidimensional, aber reguläre Folgen haben die Länge 1, da der Ring modulo einem Nichtnullteiler, der keine Einheit ist, nur Nullteiler und Einheiten enthält. Insbesondere ist dieser Ring kein Cohen-Macaulay-Ring.
