Universally catenarian domains of D \(+\) M type. II (Q810094)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Universally catenarian domains of D \(+\) M type. II
scientific article

    Statements

    Universally catenarian domains of D \(+\) M type. II (English)
    0 references
    0 references
    0 references
    1991
    0 references
    [For part I see \textit{D. F. Andersen}, \textit{D. E. Dobbs}, \textit{S. Kabbaj} and \textit{S. B. Mulay}, Proc. Am. Math. Soc. 104, No.2, 378-384 (1988; Zbl 0691.13012).] The notion of universality behind the term universally catenarian applied to a commutative integral domain A, i.e. for all \(n\geq 0\) the polynomial ring \(A[X_ 1,...,X_ n]\) is catenarian, is adapted to the going- between property. Thus an integral extension \(A\subset B\) of domains is said to satisfy universally going-between when, for all n, every finite saturated chain of prime ideals of \(B[X_ 1,...,X_ n]\) contracts to a saturated chain of the same length in \(A[X_ 1,...,X_ n]\). A connection is established namely that when \(A\subset B\) is a module finite extension of domains if A is universally catenarian, then \(A\subset B\) satisfies universally going-between. This is a key observation for the proofs of the main results of the note which relate to the following special situation. Let \(T=K+M\) be a domain, where K is a subfield and M is a maximal ideal, and let \(R=D+M\), where D is a subdomain of K with quotient field \(k\subset K\). A result of part I of this paper (loc. cit.) states that if K is algebraic over k and D, T are universally catenarian then so is R. The purpose of this note is to establish partial converses to this result as follows. If R is universally catenarian then so is D and K is algebraic over k. In case either [K:k] is finite or more specially R is Noetherian, R is universally catenarian if and only if both D, T are, too. In case one of R, T or \(k+M\) is a going-down domain R is universally catenarian if and only if K is algebraic over k and both D and T are universally catenarian.
    0 references
    universally catenarian module
    0 references
    universally going-between
    0 references
    0 references

    Identifiers