On algebraic properties of power monoids of numerical monoids

Let S ⊂ ℕ₀ be a numerical monoid and let \(\cal{P}_{\text{fin}}(S)\) $${\mathcal{P}}_{\text{fin}}(S)$$ , resp. \(\cal{P}_{\text{fin},0}(S)\) $${\mathcal{P}}_{\text{fin},0}(S)$$ , denote the power monoid, resp. the restricted power monoid, of S, that is the set of all finite nonempty subsets of S, resp. the set of all finite nonempty subsets of S containing 0, with set addition as operation. The arithmetic of power monoids received some attention in recent literature. We complement these investigations by studying algebraic properties of power monoids, such as their prime spectrum. Moreover, we show that almost all elements of \(\cal{P}_{\text{fin},0}(S)\) $${\mathcal{P}}_{\text{fin},0}(S)$$ are irreducible (i.e., they are not proper sumsets).