height of a prime ideal
Let be a commutative ring and a prime ideal of . The height of is the supremum
of all integers such that there exists a chain
of distinct prime ideals. The height of is denoted by .
is also known as the rank of and the codimension of .
The Krull dimension of is the supremum of the heights of all the prime ideals of :