Restriction conjecture for automorphisms of large power monoids

Less than 1 year old · traced to

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.

References

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.