On finitely stable domains. II (Q2188700)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On finitely stable domains. II |
scientific article |
Statements
On finitely stable domains. II (English)
0 references
11 June 2020
0 references
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.
0 references
accp
0 references
Archimedean domain
0 references
finitely stable domain
0 references
locally Archimedean
0 references