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

 Definition

The supremum of the lengths n of chains of prime ideals (or prime subobjects) P0 ⊂ P1 ⊂ ... ⊂ Pn in a commutative ring or analogous algebraic structure; a primary algebraic notion of dimension.

 

 

 

 

 

 





## Principle

Principle

Krull dimension organizes a space by the longest strict inclusions of prime substructures; height of primes and chain lengths measure how many independent layers of algebraic specialization exist.

 

 

 

 

 





## Demonstration

Demonstration

In a polynomial ring k[x1,...,xn] over a field, the Krull dimension equals n because one can form chains (0) ⊂ (x1) ⊂ (x1,x2) ⊂ ... of prime ideals of length n.

 

 

 

 

## Misapplication

Misapplication

Treating Krull dimension as a topological or vector-space dimension without checking its definition leads to mistakes; for example, equating it with transcendence degree blindly in nonnoetherian settings can fail.

 

 

 

 

 





## Consequence

Consequence

Correctly identifying Krull dimension informs geometric intuition about irreducible components, codimension, and the behaviour of chains of primes; it controls many theorems in commutative algebra and algebraic geometry.

 

 

 

 

## Reversal

Reversal

Reversing the concept would measure minimal rather than maximal chain lengths or focus on vector-space ranks; this yields different invariants that do not capture prime-chain depth.

 

 

 

 

 





## Boundary

Boundary

Defined for commutative rings, schemes, and related structures where prime ideals make sense; it does not directly apply to noncommutative rings without adaptation and can behave pathologically in nonnoetherian cases.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension arises between Krull dimension and other notions like Kronecker or homological dimensions; while related they capture different structural aspects—prime-chain depth versus projective/resolution lengths.

 

 

 

 

 





## Synthesis

Synthesis

Krull dimension is the algebraic measure of hierarchical prime inclusions and provides a foundational notion of dimension linking ring-theoretic chains with geometric codimension and specialization.