Krull dimension
The supremum of lengths of chains of prime ideals in a ring (equivalently, the dimension of its prime spectrum).
Let be a nonzero commutative ring. The Krull dimension of , denoted , is the supremum of the integers for which there exists a strictly increasing chain of prime ideals
in . If these lengths are unbounded, then .
Equivalent characterizations
Equivalently, is the Krull dimension of the topological space with its Zariski topology.
Remarks
The Krull dimension can also be expressed in terms of heights: for each prime , its height is the supremum of lengths of prime chains ending at , and
Moreover, is the dimension of the localization .
Examples
- Fields and nonzero Artinian rings have dimension . If is a field, its only prime ideal is , so . More generally, every prime ideal in a nonzero commutative Artinian ring is maximal, so no strict chain of prime ideals has positive length.
- Dimension : and . In there are chains , but no longer chains, so . Similarly, for a field , the ring has chains , with irreducible, but no longer ones.
- Polynomial rings. For a field , the polynomial ring has Krull dimension . For instance, in , has length , and no longer prime chain exists.