Regulärer lokaler Ring

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Im mathematischen Teilgebiet der kommutativen Algebra versteht man unter einem regulären lokalen Ring einen noetherschen lokalen Ring, dessen maximales Ideal von Elementen erzeugt werden kann, wenn 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. Ein (nicht unbedingt lokaler) Ring heißt regulär, wenn alle seine Lokalisierungen reguläre lokale Ringe sind.

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[Bearbeiten | Quelltext bearbeiten]

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

  • kann von Elementen erzeugt werden.

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

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

  • Reguläre lokale Ringe sind faktoriell. Dies ist die Aussage des Auslander-Buchsbaum-Theorems.
  • 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[Bearbeiten | Quelltext bearbeiten]