arXiv++ Combinatorics

Let $M$ be a monoid (written multiplicatively). Equipped with the operation of setwise multiplication induced by $M$ on its parts, the collection of all finite subsets of $M$ containing the identity element is itself a monoid, denoted by $\mathcal P_{{\rm fin}, 1}(M)$ and called the reduced finitary power monoid of $M$. One is naturally led to ask whether, for all $H$ and $K$ in a given class of monoids, $\mathcal P_{\fin,1}(H)$ and $\mathcal P_{\fin,1}(K)$ are isomorphic if and only if $H$ and $K$ are. The problem originates from a conjecture of Bienvenu and Geroldinger [Israel J. Math., 2025] that was recently settled by the authors [Proc. AMS, 2025]. Here, we provide a positive answer to the problem in the case where $H$ and $K$ are cancellative monoids, one of which is torsion. In particular, the answer is in the affirmative when $H$ and $K$ are torsion groups. Whether the conclusion extends to arbitrary groups remains open.