Atomicity and boundedness of monotone Puiseux monoids (Q722565)

A \textit{Puiseux monoid} is defined to be a submonoid of $(\mathbb{Q}_{\geq 0}, +)$. In this paper, the authors define several subclasses of Puiseux monoids. \par A Puiseux monoid is called \textit{increasing} if it can be generated by an increasing sequence of rational numbers; it is called \textit{strongly increasing} if it can be generated by an unbounded increasing sequence. It is shown that a Puiseux monoid is strongly increasing if and only if every submonoid is increasing. \par A Puiseux monoid is called \textit{strongly decreasing} if it can be generated by a decreasing sequence of rational numbers converging to 0. A Puiseux monoid is called \textit{strongly bounded} if it can be generated by a set of rational numbers with bounded numerators. It is shown that a strongly bounded Puiseux monoid is strongly decreasing. \par A Puiseux monoid is called \textit{primary} if it is generated by the reciprocals of a set of prime numbers. It is shown that if every submonoid of a primary Puiseux monoid $M$ is generated by a bounded set of rational numbers, then the sum of the generators of $M$ is finite. It is shown that every submonoid of a primary Puiseux monoid is generated by its irreducible elements. \par A Puiseux monoid is called \textit{multiplicatively cyclic} if it is generated by the positive powers of a rational number $r$. It is shown that whether or not such monoid is generated by its irreducible elements depends on the numerator and denominator of $r$.