On the internal sum of Puiseux monoids
2
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
In this paper, we investigate the internal (finite) sum of submonoids of rank-$1$ torsion-free abelian groups. These submonoids, when not groups, are isomorphic to nontrivial submonoids of the nonnegative cone of $\mathbb{Q}$, known as Puiseux monoids, and have been actively studied during the last few years. Here we study how the atomicity and arithmetic of Puiseux monoids behave under their internal (finite) sum inside the abelian group $\mathbb{Q}$. We study the factorization properties of such internal sums, giving priority to Cohn's notion of atomicity and the classical bounded and finite factorization properties introduced and studied in 1990 by Anderson, Anderson, and Zafrullah in the setting of integral domains, and then generalized by Halter-Koch to commutative monoids. We pay special attention to how each of the considered properties behaves under the internal sum of a Puiseux monoid with a finitely generated Puiseux monoid. Throughout the paper, we also discuss examples showing that our primary results do not hold for submonoids of torsion-free abelian groups with rank larger than $1$.
Abstract
In this paper, we investigate the internal (finite) sum of submonoids of rank-$1$ torsion-free abelian groups. These submonoids, when not groups, are isomorphic to nontrivial submonoids of the nonnegative cone of $\mathbb{Q}$, known as Puiseux monoids, and have been actively studied during the last few years. Here we study how the atomicity and arithmetic of Puiseux monoids behave under their internal (finite) sum inside the abelian group $\mathbb{Q}$. We study the factorization properties of such internal sums, giving priority to Cohn's notion of atomicity and the classical bounded and finite factorization properties introduced and studied in 1990 by Anderson, Anderson, and Zafrullah in the setting of integral domains, and then generalized by Halter-Koch to commutative monoids. We pay special attention to how each of the considered properties behaves under the internal sum of a Puiseux monoid with a finitely generated Puiseux monoid. Throughout the paper, we also discuss examples showing that our primary results do not hold for submonoids of torsion-free abelian groups with rank larger than $1$.
참고문헌 (19)
- D. D. Anderson, "Factorizations in integral domains", J. Pure Appl. Algebra, 69, pp.1~19 (1990)[DOI]
- D. F. Anderson, "Rings, Monoids, and Module Theory", pp.7~57 (2022), Springer
- S. T. Chapman, "When is a Puiseux monoid atomic?", Amer. Math. Monthly, 128, pp.302~321 (2021)[DOI]
- P. M. Cohn, "Bezout rings and their subrings", Proc. Cambridge Philos. Soc, 64, pp.251~264 (1968)[DOI]
- J. Coykendall, "Recent Progress in Rings and Factorization Theory" (2025), Springer
- L. Fuchs, "Innite Abelian Groups I" (1970), Academic Press
- A. Geroldinger, "Sets of lengths", Amer. Math. Monthly, 123, pp.960~988 (2016)[DOI]
- "On monoid algebras having every nonempty subset of Nꠘ2 as a length set"[URL]
- A. Geroldinger, "On strongly primary monoids, with a focus on Puiseux monoids", J. Algebra, 567, pp.310~345 (2021)[DOI]
- A. Geroldinger, "Combinatorial and Analytic Theory", pp.2006, Chapman & Hall
- A. Geroldinger, "A characterization of length-factorial Krull monoids", New York J. Math, 27, pp.1347~1374 (2021)[DOI]
- A. Geroldinger, "Factorization theory in commutative monoids", Semigroup Forum, 100, pp.22~ (2020)[DOI]
- R. Gilmer, "Commutative Semigroup Rings" (1984), The University of Chicago Press
- F. Gotti, "Geometric and combinatorial aspects of submonoids of a nite-rank free commutative monoid", Linear Algebra Appl, 604, pp.146~186 (2020)[DOI]
- F. Gotti, "Puiseux monoids and transfer homomorphisms", J. Algebra, 516, pp.95~114 (2018)[DOI]
- F. Gotti, "Increasing positive monoids of ordered elds are FF-monoids", J. Algebra, 518, pp.40~56 (2019)[DOI]
- A. Grams, "Atomic rings and the ascending chain condition for principal ideals", Math. Proc. Cambridge Philos. Soc, 75, pp.321~329 (1974)
- F. Halter-Koch, "Finiteness theorems for factorizations", Semigroup Forum, 44, pp.112~117 (1992)
- F. Halter-Koch, "Ideal Systems : An Introduction to Multiplicative Ideal Theory" (1998), Marcel Dekker