Restriction conjecture for automorphisms of large power monoids

Let HH be a cancellative monoid. Write P(H)\mathcal P(H) for its large power monoid and P1(H)\mathcal P_1(H) for the submonoid consisting of the relevant one-containing subsets. An automorphism of P(H)\mathcal P(H) restricts to an automorphism of P1(H)\mathcal P_1(H) when it maps P1(H)\mathcal P_1(H) bijectively onto itself.

Restriction conjecture. Every automorphism of P(H)\mathcal P(H) maps P1(H)\mathcal P_1(H) bijectively onto itself and therefore restricts to an automorphism of P1(H)\mathcal P_1(H).

This is proposed as a key step toward extending the inner-automorphism phenomenon to broader classes of cancellative commutative monoids. No resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Salvatore Tringali and Kerou Wen, “On the automorphisms of the power semigroups of a numerical semigroup”, arXiv:2604.26901 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.