Definition
Das Supremum der Längen n von Ketten von Primidealen (oder Prim-Unterobjekten) P0 ⊂ P1 ⊂ ... ⊂ Pn in einem kommutativen Ring oder einer analogen algebraischen Struktur; eine zentrale Auffassung von Dimension.
Prinzip
Prinzip
Die Krull-Dimension ordnet einen Raum durch die längsten strikten Inklusionen primärer Teilstrukturen; Höhe von Primidealen und Kettenlängen messen, wie viele unabhängige Schichten algebraischer Spezialisierung existieren.
Demonstration
Demonstration
Im Polynomring k[x1,...,xn] über einem Körper entspricht die Krull-Dimension n, da man Ketten (0) ⊂ (x1) ⊂ (x1,x2) ⊂ ... von Primidealen der Länge n bilden kann.
Fehlanwendung
Fehlanwendung
Die Krull-Dimension als topologische oder vektorraumartige Dimension zu behandeln, ohne die Definition zu prüfen, führt zu Fehlern; sie blind mit dem Transzendenzgrad gleichzusetzen kann in nicht-noetherschen Fällen scheitern.
Konsequenz
Konsequenz
Die korrekte Bestimmung der Krull-Dimension liefert geometrische Einsichten über irreduzible Komponenten, Kodimension und das Verhalten von Primketten; sie steuert viele Sätze in kommutativer Algebra und algebraischer Geometrie.
Umkehrung
Umkehrung
Die Umkehrung des Begriffs würde minimale statt maximale Kettenlängen messen oder sich auf Vektorraumränge konzentrieren; dies ergibt andere Invariante, die die Tiefe von Primketten nicht erfassen.
Abgrenzung
Abgrenzung
Definiert für kommutative Ringe, Schemata und verwandte Strukturen, in denen Primideale sinnvoll sind; sie lässt sich nicht ohne Weiteres auf nichtkommutative Ringe übertragen und kann sich in nicht-noetherschen Situationen pathologisch verhalten.
Semantische Spannung
Semantische Spannung
Spannung besteht zwischen Krull-Dimension und anderen Konzepten wie Kronecker- oder homologischen Dimensionen; obwohl verwandt, erfassen sie unterschiedliche Strukturaspekte — Primketten-Tiefe versus Länge von Projektivauflösungen.
Synthese
Synthese
Die Krull-Dimension ist das algebraische Maß für hierarchische Inklusionen von Primidealen und liefert eine grundlegende Dimensionvorstellung, die ringtheoretische Ketten mit geometrischer Kodimension und Spezialisierung verbindet.