Das Supremum der Längen n von Ketten von Primidealen P0 ⊂ P1 ⊂ ... ⊂ Pn in einem kommutativen Ring (oder von irreduziblen abgeschlossenen Mengen in einem Schema), das eine algebraische Messung der geometrischen Dimension liefert.

Prinzip

Dimension wird durch die maximale Zahl strenger Inklusionen von Primidealen gemessen; äquivalent zählt man Ketten irreduzibler abgeschlossener Mengen im Spektrum und verbindet so algebraische und geometrische Dimensionbegriffe.

Demonstration

Ein Körper hat Krull-Dimension 0, weil sein einziges Primideal (0) ist; der Polynomring k[x1,...,xn] über einem Körper hat Krull-Dimension n, entsprechend geeigneten Ketten nach Lokalisierung.

Fehlanwendung

Die Krull-Dimension verwenden, ohne nicht-noethersche Pathologien zu berücksichtigen (wo Höhen schlecht verhalten können) oder die Krull-Dimension mit Vektorraumdimensionen von Moduln oder Rang zu verwechseln ohne Kontextprüfung.

Konsequenz

Krull-Dimension steuert Induktionsargumente und dimensionsabhängige Beweise in algebraischer Geometrie und kommutativer Algebra, beeinflusst Tiefe und homologische Invarianten und beschränkt mögliche Ketten von Primidealen und irreduziblen Komponenten.

Umkehrung

Statt das Supremum von Primketten zu betrachten, kann man homologische Dimensionsmaße (projektive/globale Dimension) heranziehen, die Auflösungs­längen und homologische Komplexität widerspiegeln statt primkettengeometrie.

Abgrenzung

Definiert für kommutative Ringe und Schemata; in nicht-noetherschen Situationen kann die Dimension unendlich oder kontraintuitiv sein, und die Krull-Dimension ist kein feines Invariant für Moduln oder nichtkommutative Ringe ohne Anpassungen.

Semantische Spannung

Krull-Dimension steht im Wettstreit mit topologischen, homologischen und kombinatorischen Dimensionen: sie erfasst die Schichtung von Primidealen (algebraisch-geometrische Größe), während homologische Dimensionen Auflösungskomplexität messen und Überdeckungsdimension topologische Schichtung beschreibt.

Synthese

Die Krull-Dimension ist die supremale Länge von Ketten von Primidealen (oder irreduziblen abgeschlossenen Mengen) in einer kommutativen algebraischen Struktur; sie verbindet algebraische Ketten mit geometrischer Dimension und leitet struktur- und homologiebezogene Aussagen, mit Vorbehalten in nicht-noetherschen oder nichtkommutativen Kontexten.