Find in Library

Let T be a domain of the form K+M, where K is a field and M is a maximal ideal of T. Let D be a subring of K such that R=D+M is universally catenarian. Then D is universally catenarian and K is algebraic over k, the quotient field of D. If [K:k]<∞, then T is universally catenarian. Consequently, T is universally catenarian if R is either Noetherian or a going-down domain. A key tool establishes that universally going-between holds for any domain which is module-finite over a universally catenarian domain.