In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals.
The Krull dimension need not be finite even for a Noetherian ring.
More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules.
A local ring has Krull dimension 0 if and only if every element of its maximal ideal is nilpotent.
to be the supremum of the lengths of all chains of prime ideals in
, to be the supremum of the lengths of all chains of prime ideals contained in
The height is also sometimes called the codimension, rank, or altitude of a prime ideal.
In a Noetherian ring, every prime ideal has finite height.
Nonetheless, Nagata gave an example of a Noetherian ring of infinite Krull dimension.
Nagata gave an example of a Noetherian ring which is not catenary.
[4] It implies that the descending chain condition holds for prime ideals in such a way the lengths of the chains descending from a prime ideal are bounded by the number of generators of the prime.
In the language of algebraic geometry, this is the codimension of the subvariety of Spec(
[1] It follows readily from the definition of the spectrum of a ring Spec(R), the space of prime ideals of R equipped with the Zariski topology, that the Krull dimension of R is equal to the dimension of its spectrum as a topological space, meaning the supremum of the lengths of all chains of irreducible closed subsets.
This follows immediately from the Galois connection between ideals of R and closed subsets of Spec(R) and the observation that, by the definition of Spec(R), each prime ideal
of R corresponds to a generic point of the closed subset associated to
If R is a commutative ring, and M is an R-module, we define the Krull dimension of M to be the Krull dimension of the quotient of R making M a faithful module.
That is, we define it by the formula: where AnnR(M), the annihilator, is the kernel of the natural map R → EndR(M) of R into the ring of R-linear endomorphisms of M. In the language of schemes, finitely generated modules are interpreted as coherent sheaves, or generalized finite rank vector bundles.
The Krull dimension of a module over a possibly non-commutative ring is defined as the deviation of the poset of submodules ordered by inclusion.
For commutative Noetherian rings, this is the same as the definition using chains of prime ideals.
[9] The two definitions can be different for commutative rings which are not Noetherian.