Divisibility and a weak ascending chain condition on principal ideals

Felix Gotti; Bangzheng Li

Home/Archive/arXiv

arXiv · 2212.06213

Divisibility and a weak ascending chain condition on principal ideals

Felix Gotti·Bangzheng Li

View original source ↗Read source document ↗Export metadata ↓

Abstract

An integral domain $R$ is atomic if each nonzero nonunit of $R$ factors into irreducibles. In addition, an integral domain $R$ satisfies the ascending chain condition on principal ideals (ACCP) if every increasing sequence of principal ideals (under inclusion) becomes constant from one point on. Although it is not hard to verify that every integral domain satisfying ACCP is atomic, examples of atomic domains that do not satisfy ACCP are notoriously hard to construct. The first of such examples was constructed by A. Grams back in 1974. In this paper we delve into the class of atomic domains that do not satisfy ACCP. To better understand this class, we introduce the notion of weak-ACCP domains, which generalizes that of integral domains satisfying ACCP. Strongly atomic domains were introduced by D. D. Anderson, D. F. Anderson, and M. Zafrullah in 1990. It turns out that every weak-ACCP domain is strongly atomic, and so we introduce a taxonomic classification on our class of interest: ACCP implies weak-ACCP, which implies strong atomicity, which implies atomicity. We study this chain of implications, putting special emphasis on the weak-ACCP property. This allows us to provide new examples of atomic domains that do not satisfy ACCP.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Felix Gotti, Bangzheng Li. 2022-12-12. Divisibility and a weak ascending chain condition on principal ideals. https://arxiv.org/abs/2212.06213

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Buchsbaumness, Macaulayfication and Castelnuovo-Mumford regularity of monomial curves

Projective monomial curves are associated with rings generated by monomials of equal degree in two variables. In this paper, we give an infinite class of non-smooth, non Cohen-Macaulay $k$-Buchsbaum projective monomial curves for any $k\geq 1$ and find the monomial generators for the respective Macaulayfication. More generally, we demonstrate a method to find the Macaulayfication of a $k$-Buchsbaum monomial curve for any $k\geq 1$. We also discuss Castelnuovo-Mumford regularity of certain curves in terms of $k$-Buchsbaumness.

math.AC↗

arXiv2026

Castelnuovo-Mumford regularity of toric varieties with at most one singular point

We establish upper bounds for the Castelnuovo--Mumford regularity of the coordinate ring of a simplicial projective toric variety with at most one singular point. In the smooth case, our results recover the bound of Herzog and Hibi [Proc. Amer. Math. Soc. 131 (2003), 2641--2647], and therefore the Eisenbud--Goto bound. Furthermore, when the variety has exactly one singular point and dimension at least $3$, we prove that its regularity also satisfies the Eisenbud--Goto bound. The proof combines combinatorial and homological methods: we study the asymptotic behavior of the sumsets associated to the toric variety and relate it to Castelnuovo--Mumford regularity via a Hochster-like formula.

math.AC↗

arXiv2026

Generalized divisor topology of commutative rings

Let $R$ be a commutative ring with nonzero identity and let $R^\#$ denote the set of its nonzero nonunits. We extend the divisor topology $D(R)$, previously studied for integral domains, to arbitrary commutative rings and introduce the generalized divisor topology $GD(R)$ on $EC(R^\#)$. Its basic open sets are \[ B_a=\{[b]\in EC(R^\#): b\mid a^n \text{ for some }n\geq 1\}. \] The relation \[ [b]\in B_a \quad\Longleftrightarrow\quad \sqrt{aR}\subseteq\sqrt{bR} \] shows that $GD(R)$ records radical divisibility among principal ideals. We prove that $GD(R)$ is an Alexandrov space and identify its Kolmogorov quotient with the poset of radicals of nonzero proper principal ideals. This description yields characterizations of the $T_0$ and discrete properties and of the equality $GD(R)=D(R)$. We also determine the isolated points of $GD(R)$. Further, we characterize nestedness, compactness, the Lindelöf property, and Noetherianity in terms of the order structure of radicals of principal ideals. In particular, for an integral domain $R$, $GD(R)$ is compact if and only if $R$ is a $G$-domain, while for a UFD the Lindelöf and Noetherian properties are determined by the number of nonassociate prime elements. Finally, we study the interaction of $GD(R)$ with multiplication and describe the behavior of its Kolmogorov quotient under surjective homomorphisms with nil kernel.

math.AC↗