A counterexample to an isomorphism problem for power monoids

Balint Rago

Let $H$ be a (multiplicatively written) monoid. The family ${\mathcal{P}}_{\text{fin},1}(H)$ of finite subsets of $H$ containing the identity element is itself a monoid when endowed…