| 
 | 
 | 
If 
 is a Ring (commutative with 1), the height of a Prime Ideal 
 is defined as the Supremum of
all 
 so that there is a chain 
 where all 
 are distinct Prime
Ideals. Then, the Krull dimension of 
 is defined as the Supremum of all the heights of all its
Prime Ideals.
See also Prime Ideal
References
Eisenbud, D.  Commutative Algebra with a View Toward Algebraic Geometry.  New York: Springer-Verlag, 1995.
 
Macdonald, I. G. and Atiyah, M. F.  Introduction to Commutative Algebra.  Reading, MA: Addison-Wesley, 1969.