Dimension (kommutative Algebra)

(Weitergeleitet von Höhe eines Primideals)

Die Dimension oder genauer Krulldimension (nach Wolfgang Krull) eines kommutativen Ringes mit Einselement ist die anschauliche Dimension der ihm in der algebraischen Geometrie zugeordneten Varietät oder allgemeiner des zugehörigen Schemas.

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

Bearbeiten

Die Höhe eines Primideals   ist die maximale Länge einer aufsteigenden Kette von Primidealen

 

die Höhe ist dann  . Gibt es keine maximale Länge, hat das Primideal unendliche Höhe.

Die Dimension eines Ringes   ist das Supremum der Höhen seiner Primideale.

Eigenschaften

Bearbeiten
  • In einem noetherschen Ring hat jedes Primideal eine endliche Höhe. Es gibt aber noethersche Ringe unendlicher Dimension.
  • In noetherschen lokalen Ringen ist die Dimension gleich der kleinstmöglichen Mächtigkeit eines Definitionsideals, insbesondere endlich.
  • Die Höhe eines Primideals ist gleich der Kodimension der entsprechenden abgeschlossenen Teilmenge des Spektrums des Ringes.
  • Krulls Hauptidealsatz besagt, dass die Höhe von Primidealen eines noetherschen Ringes, die minimal über einem Hauptideal liegen (d. h., es enthalten und bezüglich dieser Eigenschaft minimal sind), höchstens 1 sein kann. Allgemeiner ist die Höhe von Primidealen von noetherschen Ringen, die minimal über einem Ideal liegen, das von   Elementen erzeugt werden kann, höchstens  .

Beispiele

Bearbeiten
  •  . Maximale aufsteigende Ketten von Primidealen haben die Form
 
für Primzahlen  .
  • Ein Integritätsbereich ist genau dann eindimensional, wenn jedes von Null verschiedene Primideal maximal ist. Jeder Dedekindring ist ein eindimensionaler Integritätsbereich.
  • Körper und alle anderen artinschen Ringe sind nulldimensional.
  • Die Formel
 
gilt für noethersche Ringe  . Insbesondere hat der affine Koordinatenring des  -dimensionalen affinen Raums über einem Körper die Dimension  .
 
falls   eine ganze Ringerweiterung ist.

Topologische Version

Bearbeiten

Die hier besprochene Dimension kann man zur Krulldimension topologischer Räume verallgemeinern, indem man die Primidealketten durch Ketten abgeschlossener, irreduzibler Teilmengen ersetzt. Dann ist die Dimension eines Ringes nichts anderes als die Krulldimension seines Spektrums.

Siehe auch

Bearbeiten

Literatur

Bearbeiten