Additive factorizations in finitely generated semidomains
Abstract
For finite S ⊆ ℂ, we study additive factorizations in ℕ0[S] and their behavior under adjoining generators. We construct rational and quadratic examples with infinitely many atoms but without atomicity, including a quadratic example in which every pure power of each generator is an atom. Adjoining generators algebraically independent over ℚ(S) preserves atomicity and the standard factorization properties, while unique factorization ascends from the individual monoids under joint linear disjointness for positive algebraic generators. Using the theorem of Evertse, Schlickewei, and Schmidt, we prove that positive real generators give finitely many factorizations of each prescribed length. Thus, bounded and finite factorization are equivalent, and half-factoriality implies finite factorization. We exhibit a set of two quadratic generators that separates half-factoriality from unique factorization and give an augmentation criterion for half-factoriality when every monomial is an atom. Lastly, we characterize complete integral closure for positive rational generators.
Related
BibTeX
@misc{chen2026additive,
title = {{Additive factorizations in finitely generated semidomains}},
author = {Timothy Chen and Felix Gotti and Alan Yao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.39309},
eprint = {2610.39309},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.39309},
}
RIS
TY - UNPB
TI - Additive factorizations in finitely generated semidomains
AU - Timothy Chen
AU - Felix Gotti
AU - Alan Yao
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.39309
UR - https://arxiv.org/abs/2610.39309
AB - For finite S ⊆ ℂ, we study additive factorizations in ℕ_0[S] and their behavior under adjoining generators. We construct rational and quadratic examples with infinitely many atoms but without atomicity, including a quadratic example in which every pure power of each generator is an atom. Adjoining generators algebraically independent over ℚ(S) preserves atomicity and the standard factorization properties, while unique factorization ascends from the individual monoids under joint linear disjointness for positive algebraic generators. Using the theorem of Evertse, Schlickewei, and Schmidt, we prove that positive real generators give finitely many factorizations of each prescribed length. Thus, bounded and finite factorization are equivalent, and half-factoriality implies finite factorization. We exhibit a set of two quadratic generators that separates half-factoriality from unique factorization and give an augmentation criterion for half-factoriality when every monomial is an atom. Lastly, we characterize complete integral closure for positive rational generators.
ER -