Let RR be a nonzero . The Krull dimension of RR, denoted dimR\dim R, is the supremum of the integers n0n\ge 0 for which there exists a strictly increasing chain of prime ideals

p0p1pn\mathfrak p_0 \subsetneq \mathfrak p_1 \subsetneq \cdots \subsetneq \mathfrak p_n

in RR. If these lengths are unbounded, then dimR=\dim R=\infty.

Equivalent characterizations

Equivalently, dimR\dim R is the Krull dimension of the topological space with its .

Remarks

The Krull dimension can also be expressed in terms of heights: for each prime p\mathfrak p, its ht(p)\operatorname{ht}(\mathfrak p) is the supremum of lengths of prime chains ending at p\mathfrak p, and

dimR=suppSpec(R)ht(p).\dim R = \sup_{\mathfrak p\in \operatorname{Spec}(R)} \operatorname{ht}(\mathfrak p).

Moreover, ht(p)\operatorname{ht}(\mathfrak p) is the dimension of the .

Examples
  1. Fields and nonzero Artinian rings have dimension 00. If kk is a , its only prime ideal is (0)(0), so dimk=0\dim k=0. More generally, every prime ideal in a nonzero commutative is maximal, so no strict chain of prime ideals has positive length.
  1. Dimension 11: Z\mathbb Z and k[x]k[x]. In Z\mathbb Z there are chains (0)(p)(0)\subsetneq(p), but no longer chains, so dimZ=1\dim\mathbb Z=1. Similarly, for a field kk, the ring k[x]k[x] has chains (0)(f)(0)\subsetneq(f), with ff irreducible, but no longer ones.
  1. Polynomial rings. For a field kk, the polynomial ring k[x1,,xn]k[x_1,\dots,x_n] has Krull dimension nn. For instance, in k[x,y]k[x,y],
    (0)(x)(x,y),(0)\subsetneq (x)\subsetneq (x,y),
    has length 22, and no longer prime chain exists.