On the atomicity of power monoids of Puiseux monoids (Q7006284)

Let \((M, +)\) be a monoid. The set \(\mathcal{P}(M)\) of all non-empty subsets of \(M\) forms a monoid relative to the operation \(S +T = \{s+t \mid s\in S , t \in T\}\) for all \(S,T \in \mathcal{P}(M)\). The submonoid of \(\mathcal{P}(M)\) consisting of all non-empty finite subsets of \(M\) is called the finitary power monoid of \(M\) and is denoted by \(\mathcal{P}_{\mathrm{fin}}(M)\). A submonoid of the additive group \(\mathbb{Q}\) is called a Puiseux monoid if it consists of non-negative rationals. As the authors write, the finitary power monoids of Puiseux monoids are the central algebraic objects that are studied in this paper. A commutative monoid is called atomic provided that every non-invertible element can be written as a finite sum of atoms, i.e. irreducible elements. The authors prove that for an atomic Puiseux monoid \(M\), the following statements hold: \N\begin{itemize}\N\item[(1)] if for every \(k \in \mathbb {N}\) every \(k\)-element subset of \(M\) has a maximal common divisor in \(M\), then \(\mathcal{P}_{\mathrm {fin}}(M)\) is atomic, \N\item[(2)] if \(M\) does not satisfy the condition in (1) for \(k=2\), then \(\mathcal{P}_{\mathrm {fin}}(M)\) is not atomic. \N\end{itemize}\NThe atomic monoid is said to be a finite factorization monoid (FFM) provided that every non-invertible element has only finitely many factorizations up to associates. The authors prove that a Puiseux monoid \(M\) is an FFM if and only if \(\mathcal{P}_{\mathrm {fin}}(M)\) is an FFM.