Definition 10.105.1. A ring R is said to be catenary if for any pair of prime ideals \mathfrak p \subset \mathfrak q, there exists an integer bounding the lengths of all finite chains of prime ideals \mathfrak p = \mathfrak p_0 \subset \mathfrak p_1 \subset \ldots \subset \mathfrak p_ e = \mathfrak q and all maximal such chains have the same length.
Comments (2)
Comment #5869 by Bjorn Poonen on
Comment #6081 by Johan on