##  [Krull Dimension](/krull-dimension-1) 

 Definition

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

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

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

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

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

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

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

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

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.