No label defined (Q4736152)

A domain \(D\) is said to be a going-down domain in case \(D\subseteq E\) satisfies the going-down property for all domains \(E\) containing \(D\). A ring \(R\) is called a going-down ring if \(R/P\) is a going-down domain for each prime ideal \(P\). It is an open question \((Q)\) whether the integral closure of a going-down domain must be a going-down domain. The author finds many assertions equivalent to \((Q)\). For example, two of them are: \((Q')\) the integral closure of a going down ring in which every zero-divisor is nilpotent is again a going-down ring; \((Q'')\) the integral closure of a locally divided domain is again a locally divided domain. Recall that a domain \(D\) is a locally divided domain if \(PD_N=PD_P\) for every two prime ideals \(P\subseteq N\) of \(D\). A locally divided domain is a going-down domain and the converse is true in the seminormal case. The author also obtains results related to \((Q)\). One of them is the following. Let \(R\) be an \(n\)-dimensional going-down ring in which every zero-divisor is nilpotent and \(P\) a prime ideal of \(R\) of height \(n-1\). If \(P\) is contained in the Jacobson radical of \(R\), then the integral closure of \(R\) in \(R_P\) is a going-down ring. For the entire collection see [Zbl 1027.00012].