On finitely stable domains. II

Ideals and multiplicative ideal theory in commutative rings (13A15) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05) Integral domains (13G05)

Review text

The property \({\bigcap}_{n\geq 0}r^nR=(0) \) for each nonunit \(r\in R\) in a domain \(R\) presents us a key to study, especially, the integral closure of it, and a domain \(R\) is called Archimedean when the property is sound. Relates to open problem \(32a\) in [\textit{P.-J. Cahen} et al., in: Commutative algebra. Recent advances in commutative rings, integer-valued polynomials, and polynomial functions. Based on mini-courses and a conference on commutative rings, integer-valued polynomials and polynomial functions, Graz, Austria, December 16--18 and December 19--22, 2012. New York, NY: Springer. 353--375 (2014; Zbl 1327.13002)] as well as problem \(7.1\) in [\textit{S. Gabelli}, in: Commutative algebra. Recent advances in commutative rings, integer-valued polynomials, and polynomial functions. Based on mini-courses and a conference on commutative rings, integer-valued polynomials and polynomial functions, Graz, Austria, December 16--18 and December 19--22, 2012. New York, NY: Springer. 175--193 (2014; Zbl 1327.13010)], follows by Olberding's and themselves' work, this paper mainly reveals the Archimedean property of (finitely)stable domain and the corresponding localization, continuely. Explicitly: at first, what is a locally Archimedean stable domain like, i.e. satisfies the ascending chain condition on principal ideals(accp); the second, when is a stable domain \(R\) be Archimedean, that happens to every nonunit of \(R\) belongs to a height-one prime ideal of the integral closure \(R^{\prime}\) of \(R\) in its quotient field; then third, they tell us the Archimedean property localizes under finitely stable domain have to restrict to semilocal with stable maximal ideals; more interested, an Archimedean finitely stable domain \(R\) is one-dimensional if and only if every integral extension of \(R\) or \(R^{\prime}\) meets a criterion, they say, equidimensional(\(\dim R=\dim R_M\), for each maximal ideal \(M\)), which not only given an negative answer to the above open problem but also dug further enough, adding that, they constructed local Archimedean stable domains of any dimension; always, with skillful methods, ample but necessary examples are sparkling as counterparts.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: On finitely stable domains. II

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