The supremum of lengths n of chains of prime ideals P0 ⊂ P1 ⊂ ... ⊂ Pn in a commutative ring (or of irreducible closed subsets in a topological scheme), providing an algebraic measure of geometric dimension.

Principle

Measure dimension by the maximal number of strict inclusions of prime ideals; equivalently count chains of irreducible closed subsets in the spectrum, thereby linking algebraic and geometric notions of dimension.

Demonstration

A field has Krull dimension 0 because its only prime ideal is (0); the polynomial ring k[x1,...,xn] over a field has Krull dimension n, corresponding to chains (0) ⊂ (x1) ⊂ (x1,x2) ⊂ ... in appropriate localizations.

Misapplication

Using Krull dimension without distinguishing between non-Noetherian pathologies (where heights may behave badly) or conflating Krull dimension with vector-space dimension of modules or rank without checking context.

Consequence

Krull dimension controls induction and dimension-sensitive arguments in algebraic geometry and commutative algebra, informs depth and homological invariants, and constrains possible chains of prime ideals and irreducible components.

Reversal

Instead of supremum of prime chains, consider homological dimension measures (projective/global dimension) which reflect resolution lengths and homological complexity rather than prime-chain geometry.

Boundary

Defined for commutative rings and schemes; in non-Noetherian settings dimension may be infinite or counterintuitive, and Krull dimension is not a fine invariant for modules or noncommutative rings without modification.

Semantic Tension

Krull dimension competes with topological, homological and combinatorial dimensions: it captures prime-ideal layering (algebro-geometric size) whereas homological dimensions measure resolution complexity and covering dimension measures topological layering.

Synthesis

Krull dimension is the supremal length of chains of prime ideals (or irreducible closed sets) in a commutative algebraic structure, providing a bridge between algebraic chains and geometric dimension that guides structural and homological arguments, subject to caveats in non-Noetherian or noncommutative contexts.