REVIEW 3 major objections 3 minor 1 cited by
On the ascent of almost and quasi-atomicity to monoid semidomains
T0 review · 3 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper proves that quasi-atomicity does not ascend to polynomial extensions and that neither almost atomicity nor quasi-atomicity ascends to monoid domains over finite fields.
desk verdict Plausible and worth exploring, but as written the two headline negative results are not proven: Theorem 4.1 rests on a false UFD assertion, and Theorem 5.6 has an unhandled unit case. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is a substitution trick for monoid domains. Given a Puiseux monoid $M$ containing $\mathbb{N}_0[1/p]$ and a low-degree polynomial $f_d(x)$ over $\mathbb{F}_p$ whose dilation $f_d(x^{d^n})$ is irreducible for every $n$, a purported factorization of $f_d(x)$ in $\mathbb{F}_p[M]$ is evaluated at $x \mapsto x^{1/(pd)^n}$ for large $n$. This sends all exponents into $\mathbb{N}_0$, so the factorization lands in the UFD $\mathbb{F}_p[x]$; irreducibility of $f_d(x^{d^n})$ forces one substituted atom to be divisible by it, and pulling the divisibility back through the substitution shows the original atom was reducible. A secondary mechanism is the MCD/indecomposable-length argument in Theorem 3.2: an ACCP exponent monoid is used to select a longest factorization into nonconstant polynomials, and extraction of coefficient maximal common divisors turns indecomposables into atoms.
What would settle it
Exhibit a reduced monoid $M$ satisfying the ACCP and a polynomial $f \in S[M]$ whose decompositions into nonconstant polynomials over $S$ have unbounded length; such an example would break the bounded-length step in Theorem 3.2. For the finite-field construction, a direct check in the $p=2$ case—deciding whether $x^2+x+1$ in $\mathbb{F}_2[M_{2,3}]$ has a nonzero multiple that factors into irreducibles—would settle the corresponding claim of Theorem 5.6.
Extended reading notes
Core claim
The central claim is that the two weakest commonly studied factorization properties do not transfer automatically. Under the hypotheses of Theorem 3.2—a reduced monoid $M$ satisfying the ACCP and a coefficient semidomain whose indecomposable-polynomial coefficient sets admit maximal common divisors—$S[M]$ is almost atomic when $S$ is, and quasi-atomic when $S$ is. The paper proves this by factoring an arbitrary polynomial into indecomposables of maximal length, pulling out coefficient MCDs, and using divisor-closedness of the monomial submonoid. It then shows sharpness: the ring $R = \mathbb{Z}+\mathbb{Z}x+x^2\mathbb{R}[x]$ is quasi-atomic, yet $R[y]$ is not; the proof forces the linear polynomial $\alpha x^2 y + \beta x^2$ to have no quasi-atomic multiple when $\alpha,\beta$ are algebraically independent irrationals. For finite fields, Theorem 5.6 constructs, for each prime $p$, an atomic Puiseux monoid $M_p$ with $\mathbb{F}_p[M_p]$ not quasi-atomic, via a substitution argument that transfers any purported factorization into the UFD $\mathbb{F}_p[x]$ and contradicts irreducibility of a chosen binomial or trinomial.
Load-bearing premise
The positive ascent theorem rests on the claim that in a reduced monoid satisfying the ACCP, any fixed polynomial in $S[M]$ has a bounded number of nonconstant factors; this claim is not proved and does not follow from ACCP for arbitrary commutative monoids.
Editorial extensions
If this is right
- If the hypotheses of Theorem 3.2 hold, almost atomicity and quasi-atomicity survive the passage to monoid semidomains, so the positive ascent results cover polynomial extensions with an MCD condition.
- Quasi-atomicity is not preserved by adjoining a variable: the quasi-atomic ring $\mathbb{Z}+\mathbb{Z}x+x^2\mathbb{R}[x]$ has a non-quasi-atomic polynomial extension.
- For every prime $p$, there are rank-one torsion-free atomic monoids whose monoid algebras over $\mathbb{F}_p$ fail even quasi-atomicity, so neither weak ascent property holds for monoid domains over finite fields.
- The examples separate the hierarchy: $\mathbb{Z}[x]+\mathbb{Q}[x]x^2$ is almost atomic but not atomic, while $\mathbb{Z}[x]+\mathbb{R}[x]x^2$ is quasi-atomic but not almost atomic.
- Whether almost atomicity ascends to ordinary polynomial extensions remains open, as the paper explicitly asks.
Reading between the lines
- An extension not pursued here is to test whether the substitution method works over coefficient fields other than $\mathbb{F}_p$, for instance over $\mathbb{Q}$ or number fields, provided one can find polynomials whose $d$-th power dilations are irreducible.
- The boundedness step in Theorem 3.2 uses a claim about ACCP monoids that is not generally valid; if a counterexample exists, the positive ascent theorem would hold under a stronger hypothesis such as bounded factorization rather than ACCP.
- The non-ascent example suggests a recipe for producing more quasi-atomic rings whose polynomial extensions fail: concentrate the non-atomicity in monomials of degree at least 2 and then form a linear polynomial whose coefficients are algebraically independent monomials.
- A concrete computational test of the $p=2$ case would decide whether $x^2+x+1$ in $\mathbb{F}_2[M_{2,3}]$ admits a quasi-atomic multiple; a positive answer would force a revision of the finite-field construction.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the ascent of almost atomicity and quasi-atomicity to polynomial and monoid semidomains. Theorem 3.2 states that if S is almost atomic (resp. quasi-atomic) and M is a reduced monoid satisfying the ACCP, with an MCD condition on coefficient sets, then S[M] is almost atomic (resp. quasi-atomic). Section 4 claims a counterexample to the ascent of quasi-atomicity to polynomial extensions, using R = Z + Zx + x^2 R[x] (with real coefficients) and proving that R[y] is not quasi-atomic. Section 5 constructs, for each prime p, a rank-one torsion-free atomic Puiseux monoid M_p such that F_p[M_p] is not quasi-atomic, yielding non-ascent of almost and quasi-atomicity to monoid domains over finite fields. The paper also provides examples of almost atomic non-atomic domains and quasi-atomic non-almost-atomic domains.
Significance. If the main results were established, they would be a meaningful contribution: Theorem 5.6 would strengthen the known non-ascent of atomicity to monoid domains, and Theorem 4.1 would settle negatively the ascent of quasi-atomicity to polynomial extensions. The explicit constructions and the use of external irreducibility criteria (Lidl-Niederreiter, Blake et al.) are appropriate and nontrivial. However, several load-bearing steps in the proofs are not justified as written, so the paper does not currently establish its central claims.
major comments (3)
- [Section 3, proof of Theorem 3.2] The sentence 'The fact that M satisfies the ACCP guarantees that the set L is bounded' is not a consequence of the ACCP. The ACCP stabilizes ascending chains of principal ideals; it does not bound the number of factors in a factorization of a fixed element in an arbitrary commutative monoid. Since the proof chooses ℓ as the largest element of L, this assertion is load-bearing and the argument collapses without it. The theorem may be salvageable with an additional bounded-factorization hypothesis, but as stated the proof is incomplete.
- [Section 4, proof of Theorem 4.1] The assertion 'R[x,y] is an atomic domain (indeed, R[x,y] is a UFD)' is false for the ring R defined in (4.1). The element h = sqrt(2)x^2 belongs to R and satisfies h = 2 * (sqrt(2)/2 x^2), where both 2 and (sqrt(2)/2)x^2 are nonunits in R; iterating gives h = 2^n * (sqrt(2)/2^n)x^2 for every n, so R (and hence R[x,y]) fails the ACCP and is not atomic. This invalidates the factorization-rearrangement used to pass from (4.3) to (4.4) and to isolate a y-degree-one irreducible factor. The notation in (4.1) is also ambiguous because the right-hand side uses the same symbol for the real numbers and for the ring being defined.
- [Section 5, final paragraph of the proof of Theorem 5.6] The claim that 'the equality B(x) = G(x^{(pd)^{-n}}) guarantees that B(x) is not a unit' is not justified. If t = 1 and g(x) is a nonzero constant, then G(x) is a unit and B(x) is a unit; the displayed equality alone does not exclude this case. The contradiction to the irreducibility of a_j requires B(x) to be a nonunit, so this is a load-bearing gap. The authors need to prove that for the chosen index j either t ≥ 2 or g(x) is nonconstant.
minor comments (3)
- [Section 4, equation (4.1)] Please disambiguate the use of R for the ring under construction and blackboard R for the real numbers in the defining expression; the current notation is circular if read literally.
- [Throughout] There are numerous typographical and extraction artifacts ('A TOMICITY', 'elem ent', 'semi domain', 'must exits'); a careful proofreading pass is needed.
- [Section 3, proof of Lemma 3.4(1)] The statement that the set of lengths of decompositions into nonconstant polynomials is bounded should be justified explicitly by a degree argument; the bound is clear in the ordinary polynomial ring but should be stated.
Circularity Check
No circularity: all central results are obtained from explicit constructions and external irreducibility criteria, never by assuming the target property.
full rationale
The paper contains no circular derivation. Section 3 states a conditional ascent theorem and proves it from definitions and a maximal-length decomposition; despite a gap in the boundedness justification, the conclusion is not assumed among the hypotheses. Section 4's non-ascent proof proceeds by contradiction, assuming a factorization into irreducibles and deriving a contradiction via coefficient and order arguments; the fact that R[x,y] is claimed to be a UFD is a mathematical error if R is the ring in (4.1), but an erroneous premise is not a circular premise. Section 5 constructs explicit atomic Puiseux monoids (Proposition 5.2) and uses the external irreducibility criteria of Lidl-Niederreiter (Theorem 5.3) and Blake et al. (Theorem 5.5), plus the cited [10, Lemma 5.3] for the p=2 trinomial; none of these assume non-quasi-atomicity of the monoid domain under construction. The self-citations to [10] and [21] provide constructions and motivation, but the load-bearing mathematics is either proved in the paper or is an independent statement about finite-field polynomials. The open question in Section 4 and the remark preceding Example 3.3 are honest scope limitations. The correctness concerns raised by a reviewer, namely the unbounded-length assertion in the proof of Theorem 3.2 and the UFD assertion for R[x,y] in Theorem 4.1, are validity gaps rather than circularity, because they do not identify a place where an output is equivalent to an input by definition or by fit. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- standard math F_p[x] is a UFD for every prime p.
- standard math Binomial irreducibility criterion of Lidl-Niederreiter (Theorem 5.3) and trinomial criterion of Blake et al. (Theorem 5.5).
- ad hoc to paper The MCD condition on coefficient sets in Theorem 3.2.
- domain assumption Semidomains embed as subsemirings of integral domains, and monoid semidomains of torsion-free monoids are semidomains.
Cite this review
Pith. "Pith review of On the ascent of almost and quasi-atomicity to monoid semidomains." pith.science (2026). https://pith.science/paper/4DUZVAM5
@misc{pith2026250104990,
author = {Pith},
title = {Pith review of: On the ascent of almost and quasi-atomicity to monoid semidomains},
year = {2026},
howpublished = {\url{https://pith.science/paper/4DUZVAM5}},
note = {Machine review of arXiv:2501.04990}
}
read the original abstract
A commutative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral (semi)domain is atomic if its multiplicative monoid is atomic. Notions weaker than atomicity have been introduced and studied during the past decade, including almost atomicity and quasi-atomicity, which were coined and first investigated by Boynton and Coykendall in their study of graphs of divisibility of integral domains. The ascent of atomicity to polynomial extensions was settled by Roitman back in 1993 while the ascent of atomicity to monoid domains was settled by Coykendall and the second author in 2019 (in both cases the answer was negative). The main purpose of this paper is to study the ascent of almost atomicity and quasi-atomicity to polynomial extensions and monoid domains. Under certain reasonable conditions, we establish the ascent of both properties to polynomial extensions (over semidomains). Then we construct an explicit example illustrating that, with no extra conditions, quasi-atomicity does not ascend to polynomial extensions. Finally, we show that, in general, neither almost atomicity nor quasi-atomicity ascend to monoid domains, improving upon a construction first provided by Coykendall and the second author for the non-ascent of atomicity.
Forward citations
Cited by 1 Pith paper
-
(Locally) Associated Subrings in Polynomial and Power Series Extensions
Full necessary-and-sufficient conditions are given for coefficient-varying polynomial and power series rings to be (locally) associated subrings of larger such rings, with consequences for half-factorial power series ...
Reference graph
Works this paper leans on
-
[1]
D. D. Anderson, D. F. Anderson, and M. Zafrullah, Factorizations in integral domains , J. Pure Appl. Algebra 69 (1990) 1–19
work page 1990
-
[2]
D. F. Anderson and F. Gotti: Bounded and finite factorization domains . In: Rings, Monoids, and Module Theory (Eds. A. Badawi and J. Coykendall) Springer Proceedings in M athematics & Statistics, Vol. 382, Singapore, 2022
work page 2022
-
[3]
I. F. Blake, X. Gao, R. C. Mullin, S. A. Vanstone, and T. Yag hoobian, Applications of finite fields , Springer Science + Business Media, New York 1993
work page 1993
-
[4]
J. Boynton and J. Coykendall, On the graph divisibility of an integral domain , Canad. Math. Bull. 58 (2015) 449–458
work page 2015
-
[5]
A. Bu, F. Gotti, B. Li, and A. Zhao, One-dimensional monoid algebras and ascending chains of pr incipal ideals . Submitted. Preprint on arXiv: https://arxiv.org/abs/240 9.00580
-
[6]
S. T. Chapman, J. Jang, J. Mao, and S. Mao, On the set of Betti elements of a Puiseux monoid , Bull. Aust. Math. Soc. (to appear). DOI: https://doi.org/10.1017/S0004972 724000352
-
[7]
Chouinard, Krull semigroups and divisor class groups , Canad
L. Chouinard, Krull semigroups and divisor class groups , Canad. J. Math. 33 (1981) 1459–1468
work page 1981
-
[8]
P. M. Cohn, Bezout rings and and their subrings , Proc. Cambridge Philos. Soc. 64 (1968) 251–264
work page 1968
Show all 32 references
-
[9]
Coykendall and F
J. Coykendall and F. Gotti, Atomicity in integral domains . In: Recent Progress in Rings and Factorization Theory (Eds. M. Breˇ sar, A. Geroldinger, B. Olberding, and D. Smert nig), Springer Nature, Switzerland, 2024
2024
-
[10]
Coykendall and F
J. Coykendall and F. Gotti, On the atomicity of monoid algebras , J. Algebra 539 (2019) 138–151
2019
-
[11]
Coykendall, F
J. Coykendall, F. Gotti, and R. Hasenauer, Hereditary atomicity in integral domains , J. Pure Appl. Algebra 227 (2023) 107249
2023
-
[12]
Fuchs, Infinite Abelian Groups I , Academic Press, 1970
L. Fuchs, Infinite Abelian Groups I , Academic Press, 1970
1970
-
[13]
C. F. Gauss, Disquisitiones Arithmeticae , Article 42, 1801
-
[14]
Geroldinger and F
A. Geroldinger and F. Gotti, On monoid algebras having every nonempty subset of N≥ 2 as a length set . Preprint on arXiv: https://arxiv.org/abs/2404.11494
-
[15]
Geroldinger and Q
A. Geroldinger and Q. Zhong, Factorization theory in commutative monoids , Semigroup Forum 100 (2020) 22–51
2020
-
[16]
Gilmer, Commutative Semigroup Rings , The University of Chicago Press, 1984
R. Gilmer, Commutative Semigroup Rings , The University of Chicago Press, 1984
1984
-
[17]
Gilmer and T
R. Gilmer and T. Parker, Divisibility properties in semigroup rings , Michigan Math. J. 21 (1974) 65–86. 18 V. GONZALEZ, F. GOTTI, AND I. PANPALIYA
1974
-
[18]
Gotti, Increasing positive monoids of ordered fields are FF-monoid s, J
F. Gotti, Increasing positive monoids of ordered fields are FF-monoid s, J. Algebra 518 (2019) 40–56
2019
-
[19]
Gotti and B
F. Gotti and B. Li, Atomic semigroup rings and the ascending chain condition on principal ideals, Proc. Amer. Math. Soc. 151 (2023) 2291–2302
2023
-
[20]
Gotti and H
F. Gotti and H. Polo, On the arithmetic of polynomial semidomains , Forum Math. 35 (2023) 1179–1197
2023
-
[21]
Gotti and H
F. Gotti and H. Polo, On the subatomicity of polynomial semidomains . In: Algebra and Polynomials: Algebraic, Number Theoretic, and Topological Aspects of Ring Theory (E ds. J. L. Chabert, M. Fontana, S. Frisch, S. Glaz, and K. Johnson) pp. 197–212, Springer Nature, Switzerland, 202 3
-
[22]
Gotti and H
F. Gotti and H. Rabinovitz, On the ascent of atomicity to monoid algebras , J. Algebra 663 (2025) 857–881
2025
-
[23]
Grams, Atomic rings and the ascending chain condition for principa l ideals , Math
A. Grams, Atomic rings and the ascending chain condition for principa l ideals , Math. Proc. Cambridge Philos. Soc. 75 (1974) 321–329
1974
-
[24]
Hilbert, ¨Uber die Theorie der algebraischen Formen , Mathematische Annalen 36 (1890) 473–534
D. Hilbert, ¨Uber die Theorie der algebraischen Formen , Mathematische Annalen 36 (1890) 473–534
-
[25]
E. E. Kummer, ¨Uber die Zerlegung der aus Wurzeln der Einheit gebildeten co mplexen Zahlen in ihre Primfactoren , J. Reine Angew. Math. 35 (1847) 327–367
-
[26]
E. E. Kummer, M´ emoire sur la th´ eorie des nombres complexes compos´ es deracines de l’unit´ e et de nombres entiers, J. Math. Pures Appl. 16 (1851) 377–498
-
[27]
Lebowitz-Lockard, On domains with properties weaker than atomicity , Comm
N. Lebowitz-Lockard, On domains with properties weaker than atomicity , Comm. Algebra 47 (2019) 1862–1868
2019
-
[28]
Lidl and H
R. Lidl and H. Niederreiter, Introduction to finite fields and their applications , Cambridge University Press, 1994
1994
-
[29]
F. W. Levi, Arithmetische Gesetze im Gebiete diskreter Gruppen , Rend. Circ. Mat. Palermo 35 (1913) 225–236
1913
-
[30]
Malcolmson and F
P. Malcolmson and F. Okoh, Polynomial extensions of idf-domains and of idpf-domains , Proc. Amer. Math. Soc. 137 (2009) 431–437
2009
-
[31]
Roitman, On the atomic property for power series rings , J
M. Roitman, On the atomic property for power series rings , J. Pure Appl. Algebra 145 (2000) 309–319
2000
-
[32]
Roitman, Polynomial extensions of atomic domains , J
M. Roitman, Polynomial extensions of atomic domains , J. Pure Appl. Algebra 87 (1993) 187–199. Department of Mathematics, Miami Dade College, Miami, FL 33 135 Email address : vmichelg@mdc.edu Department of Mathematics, MIT, Cambridge, MA 02139 Email address : fgotti@mit.edu De...
1993
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.