## [Krull-Dimension](/de/node/63419) 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.