Math 2.0

Commutative algebra Definition

Krull dimension

Builds on Commutative ringPrime ideal

Definition

Let RR be a nonzero commutative ring. A chain of prime ideals P0⊊P1⊊⋯⊊PnP_0 \subsetneq P_1 \subsetneq \cdots \subsetneq P_n of RR has length nn. The Krull dimension dim⁡R\dim R is the supremum of the lengths of all such chains, an element of {0,1,2,… }∪{∞}\set{0, 1, 2, \dots} \cup \set{\infty}.

Remarks

For the zero ring, which has no prime ideals, the dimension is set to −1-1 or −∞-\infty by convention. Example: dim⁡ℤ=1\dim \Z = 1; the chain (0)⊊(p)(0) \subsetneq (p) for a prime pp has length 11, and no chain is longer, since every nonzero prime ideal of ℤ\Z is maximal. Non-example of a chain: (0)⊊(6)⊊(3)(0) \subsetneq (6) \subsetneq (3) does not show dim⁡ℤ≥2\dim \Z \ge 2, because (6)(6) is not a prime ideal. For a field kk, dim⁡k[x1,…,xn]=n\dim k[x_1, \dots, x_n] = n, and the polynomial ring k[x1,x2,… ]k[x_1, x_2, \dots] in infinitely many variables has infinite dimension. A Noetherian ring can still have infinite dimension, by an example of Nagata.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Group concept
  2. Ring definition
  3. Commutative ring definition
  4. Ideal definition
  5. Prime ideal definition
  6. Krull dimension definition

Where this leads

3 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Krull_dimension
About this page
Tag1B4G153ZGE
URIm2://1B4G153ZGE
Kinddefinition
WritingW0 stub
MSC13C15
DefinesKrull dimension
UsesCommutative ring, Prime ideal
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by