Krull dimension

Wikipedia, the free encyclopedia - Cite This Source

In commutative algebra, the Krull dimension of a ring R, named after Wolfgang Krull (1899 - 1971), is defined to be the number of strict inclusions in a maximal chain of prime ideals.

Explanation

If P₀, P₁, ... , P_n are prime ideals of the ring such that $P\_0subsetneq\; P\_1subsetneq\; ldots\; subsetneq\; P\_n$, then these prime ideals form a chain of length n. The Krull dimension is the supremum of the lengths of chains 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 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.

An 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.

If K is a field and R is a finitely generated K-algebra, then R can be identified with the ring of polynomial functions on an affine variety X defined over K and the Krull dimension of R equals the usual dimension of the variety X.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Wednesday September 12, 2007 at 15:28:57 PDT (GMT -0700)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation