2 problems

Let $H$ and $K$ be groups, and consider the question of whether an isomorphism between their finite power semigroups implies that $H$ and $K$ are isomorphic. Positive-answer conjec…

Tamura's conjecture. The implication holds for arbitrary semigroups $S_1$ and $S_2$.