On the arithmetic of power monoids

Given a monoid $H$ (written multiplicatively), the family $\mathcal P_{{\rm fin},1}(H)$ of all non-empty finite subsets of $H$ that contain the identity $1_H$ is itself a monoid (called the reduced finitary power monoid of $H$) when equipped with the operation of setwise multiplication induced by $H$. We investigate the arithmetic of $\mathcal P_{{\rm fin},1}(H)$ from the perspective of minimal factorizations into irreducibles, paying particular attention to the potential presence of non-trivial idempotents. Among other results, we provide necessary and sufficient conditions on $H$ for $\mathcal P_{{\rm fin},1}(H)$ to admit unique minimal factorizations. Our results generalize and shed new light on recent developments on the topic.