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

 Definition

The Krull dimension of a commutative ring is the supremum of the lengths n of chains of prime ideals P0 ⊂ P1 ⊂ ... ⊂ Pn; it provides an algebraic measure of 'dimension' that often corresponds to the geometric dimension of Spec of the ring.

 

 

 

 

 

 





## Principle

Principle

Measure dimension by the maximal length of strictly increasing chains of prime ideals, thereby encoding the stratification of the spectrum and the available codimension structure in the ring.

 

 

 

 

 





## Demonstration

Demonstration

A field has Krull dimension 0 because its only prime ideal is (0); a polynomial ring k[x1,...,xn] over a field has Krull dimension n corresponding to chains (0) ⊂ (x1) ⊂ (x1,x2) ⊂ ... of primes; a discrete valuation ring has Krull dimension 1.

 

 

 

 

## Misapplication

Misapplication

Using Krull dimension naively for noncommutative rings without adapting definitions, or confusing Krull dimension with vector-space dimension or with homological dimensions; also treating Krull dimension as behaving well under arbitrary quotients without checking prime-chain effects.

 

 

 

 

 





## Consequence

Consequence

Krull dimension governs many structural and geometric properties: gives the dimension of Spec, controls behaviour of chains of irreducible closed subsets, interacts with depth, regularity and dimension formulas, and guides geometric intuition in algebraic geometry.

 

 

 

 

## Reversal

Reversal

The reversed focus studies zero-dimensional or artinian rings where Krull dimension is 0, highlighting discrete, finite-type algebraic behaviour rather than higher-dimensional geometric structure.

 

 

 

 

 





## Boundary

Boundary

Defined for commutative rings (with 1) via prime ideals; it may be infinite for some rings, and for noncommutative or more exotic contexts one requires modified notions (e.g., Gelfand–Kirillov, homological dimensions) rather than classical Krull dimension.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension exists between Krull dimension and other 'dimension' notions (vector-space dimension, global dimension, homological dimension, geometric/topological dimension): they coincide in many regular, Noetherian cases but can diverge in singular, infinite, or noncommutative settings.

 

 

 

 

 





## Synthesis

Synthesis

Krull dimension captures the algebraic-geometric notion of dimension by counting maximal chains of prime ideals in a commutative ring; it connects ring-theoretic prime stratification with geometric dimension of spectra while requiring attention to Noetherian hypotheses and differences from other dimension concepts.