Strongly divided domains (Q310492): Difference between revisions

A commutative quasi-local domain \((R,M)\) is defined by the authors as \textit{strongly divided} if each prime ideal \(P\) of an arbitrary overring of \(R\) such that \(P\cap R\neq M\) is contained in \(R\) (thus \(P\) is necessarily a prime ideal of \(R\)). The authors show that the class of strongly divided domains properly contains the class of pseudo-valuation domains (PVDs) and it is properly contained in the class of divided domains. Here are some of other results proved in this paper: {\parindent=0.6cm \begin{itemize} \item[(\(\bullet\))] Various characterizations of strongly divided domains, of integrally closed strongly divided domains, and of PVDs. In particular, one of the characterizations of strongly divided domains uses pullbacks. \item[(\(\bullet\))] If \(R\) is a strongly divided domain, then \(\dim(R[X_1,\dots,X_n]) \leq\dim(R)+2n\). \end{itemize}} For comparison, recall that by Seidenberg's Theorem, if \(R\) is an arbitrary commutative ring, then \(\dim (R[X_1,\dots,X_n])\leq\dim(R)+2n+1\), and for each \(n\geq 1\) there are integral domains \(R\) such that \(\dim(R[X_1,\dots,X_n])=\dim(R)+2n+1\).