The Krull dimension reference article from the English Wikipedia on 24-Apr-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Krull dimension

In commutative algebra, the Krull dimension of a ring R is defined to be the number of strict inclusions in a maximal chain of prime ideals. For example, in the ring (Z/8Z)[x,y,z] we can consider the chain

(2) ⊂ (2,x) ⊂ (2,x,y) ⊂ (2,x,y,z)

Each of these ideals is prime, so the Krull dimension of (Z/8Z)[x,y,z] is at least the number of strict inclusions in this chain, that is, 3. In fact the dimension of this ring is exactly 3.

An alternate way of phrasing this definition is to say that the Krull dimension of R is the largest height of any prime ideal of R.

According to this convention, a integral domain of dimension zero is a field. Dedekind domains and discrete valuation rings have dimension one.

If a ring R has Krull dimension k, then the polynomial ring R[x] will have dimension between k+1 and 2k+1. If R is Noetherian, then the dimension of R[x] will be exactly k+1.

This is the "Krull dimension" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.