Die Krull-Dimension eines kommutativen Rings ist das Supremum der Längen n von Ketten von Primidealen P0 ⊂ P1 ⊂ ... ⊂ Pn; sie liefert ein algebraisches Maß für 'Dimension', das oft der geometrischen Dimension von Spec des Rings entspricht.

Prinzip

Dimension messen durch die maximale Länge streng wachsender Ketten von Primidealen und damit die Stratifikation des Spektrums und die vorhandene Kodimensionstruktur im Ring kodieren.

Demonstration

Ein Körper hat Krull-Dimension 0, da sein einziges Primideal (0) ist; der Polynomring k[x1,...,xn] über einem Körper hat Krull-Dimension n, entsprechend Ketten wie (0) ⊂ (x1) ⊂ (x1,x2) ⊂ ... von Primidealen; ein diskreter Bewertungsring hat Krull-Dimension 1.

Fehlanwendung

Krull-Dimension naiv auf nichtkommutative Ringe anzuwenden ohne Anpassung der Definition oder sie mit Vektorraumdimension bzw. homologischen Dimensionen zu verwechseln; ferner Krull-Dimension als unter beliebigen Quotienten wohlverhalten zu behandeln ohne Auswirkungen auf Primidealketten zu prüfen.

Konsequenz

Die Krull-Dimension steuert viele strukturelle und geometrische Eigenschaften: sie bestimmt die Dimension von Spec, kontrolliert das Verhalten von Ketten irreduzibler abgeschlossener Mengen, hängt mit Tiefe, Regularität und Dimensionsformeln zusammen und leitet geometrische Intuition in der algebraischen Geometrie.

Umkehrung

Der umgekehrte Fokus betrachtet null-dimensionale oder artinsche Ringe mit Krull-Dimension 0 und betont diskretes, endlichartiges algebraisches Verhalten statt höherdimensionaler geometrischer Struktur.

Abgrenzung

Definiert für kommutative Ringe (mit Eins) über Primideale; sie kann für manche Ringe unendlich sein, und in nichtkommutativen oder exotischen Kontexten sind modifizierte Begriffe erforderlich (z. B. Gelfand–Kirillov- oder homologische Dimensionen) anstelle der klassischen Krull-Dimension.

Semantische Spannung

Spannung besteht zwischen Krull-Dimension und anderen 'Dimensions'-Begriffen (Vektorraumdimension, globale Dimension, homologische Dimension, geometrische/topologische Dimension): in regulären Noetherschen Fällen stimmen sie oft überein, können aber in singulären, unendlichen oder nichtkommutativen Situationen divergieren.

Synthese

Die Krull-Dimension erfasst die algebraisch-geometrische Vorstellung von Dimension durch Zählen maximaler Ketten von Primidealen in einem kommutativen Ring; sie verbindet die primideallose Stratifikation des Rings mit der geometrischen Dimension seines Spektrums, wobei Noethersche Hypothesen und Abweichungen zu anderen Dimensionsbegriffen zu beachten sind.