Strongly divided domains

DOI10.1007/S11587-016-0256-1MaRDI QIDQ310492zbMATH OpenOpenAlexFDO

Publication date 8 September 2016

Published in Ricerche di Matematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11587-016-0256-1

divided domain going-down integral domain integrality overring prime ideal pseudo-valuation domain pullback strongly divided domain treed domain

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Integral dependence in commutative rings; going up, going down (13B21) Integral closure of commutative rings and ideals (13B22) Integral domains (13G05)

Review text

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\).

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Strongly divided domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q310492)