Regulärer lokaler Ring

Im mathematischen Teilgebiet der kommutativen Algebra versteht man unter einem regulären lokalen Ring einen noetherschen lokalen Ring, dessen maximales Ideal von d Elementen erzeugt werden kann, wenn d die Dimension des Ringes bezeichnet. Reguläre lokale Ringe beschreiben das Verhalten algebraisch-geometrischer Objekte in Punkten, in denen keine Singularitäten wie Spitzen oder Überkreuzungen vorliegen.

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

Definition

Es sei A ein d-dimensionaler noetherscher lokaler Ring mit maximalem Ideal $\mathfrak m$ und Restklassenkörper k. Dann heißt A regulär, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:

• $\mathfrak m$ kann von d Elementen erzeugt werden.
• $\dim_k\mathfrak m/\mathfrak m^2=d.$

Ein beliebiger noetherscher Ring A heißt regulär, wenn alle seine lokalen Ringe regulär sind.

Eigenschaften

• Reguläre lokale Ringe sind faktoriell.
• Kriterium von Serre: Ein noetherscher lokaler Ring ist genau dann regulär, wenn seine globale Dimension endlich ist.
• Aus dem Kriterium von Serre folgt: Lokalisierungen regulärer lokaler Ringe sind wieder regulär.

Beispiele

• Artinsche lokale Ringe sind genau dann regulär, wenn sie Körper sind.