On the atomic structure of exponential Puiseux monoids and semirings

Abstract

A Puiseux monoid is an additive submonoid of the nonnegative cone of the rational numbers. We say that a Puiseux monoid $M$ is exponential provided that there exist a positive rational $r$ and a set $S$ consisting of nonnegative integers, which contains $0$, such that $M$ is generated by the set $\{r^s\mid s\in S\}$. If $M$ is multiplicatively closed then we say that $M$ is an exponential Puiseux semiring. Here we study the atomic properties of exponential Puiseux monoids and semirings. First, we characterize atomic exponential Puiseux monoids, and we prove that the finite factorization property, the bounded factorization property, and the ACCP coincide in this context. Then we proceed to offer a necessary condition and a sufficient condition for an exponential Puiseux monoid to satisfy the ACCP. We conclude by describing the exponential Puiseux monoids that are semirings.

arXiv comment17 pages. The exposition of the paper was improved. This version will appear in Communications in Algebra

References in corpus (6)

• Increasing positive monoids of ordered fields are FF-monoids
• On strongly primary monoids, with a focus on Puiseux monoids
• Atomicity and boundedness of monotone Puiseux monoids
• Factorizations in upper triangular matrices over information semialgebras
• On the Atomic Structure of Puiseux Monoids
• Factorizations of polynomials with integral non-negative coefficients