On automorphism groups of power semigroups over numerical semigroups or over numerical monoids
Authors
Dein Wong
Songnian Xu
Chi Zhang
Jinxing Zhao
Abstract
Let $(\mathbb{N}, +)$ be the additive monoid of non-negative integers with $0$ the zero-element. A numerical semigroup (resp., monoid) is a subsemigroup (resp., submonoid) $S$ of $(\mathbb{N }, +)$ such that $\mathbb{N} \setminus S$ is a finite set. Denote by $\mathcal{P} (S)$ the semigroup consisting of all finite nonempty subsets of $S$ and endowed with the setwise binary addition $$X+Y=\{x+y:x\in X, y\in Y\},$$ which is called the power semigroup of $S$. When $S$ is a numerical monoid with $0$, by $\mathcal{P}_{ 0}(S)$ we denote the monoid consisting of all finite nonempty subsets of $S$ containing $0$, which is the reduced power monoid of $S$ with the singleton $\{0\}$ as zero-element.
For a finite subset $X$ of $\mathbb{N}$, we denote by $α(X)$ and $β(X)$ the minimum member and the maximum member in $X$. Recently, Tringali and Yan (\cite{tri2}, J. Combin. Theory Ser. A, 209(2025)) proved that the only non-trivial automorphism of $\mathcal{P}_{0}(\mathbb{N})$ is the involution $X \mapsto β(X) - X$, and they posed a conjecture: {\it The automorphism group of the reduced power monoid $\mathcal{P}_{0}(S)$ of a numerical monoid $S$ properly contained in $\mathbb{N}$ must be the identity}. In this article, the automorphism group of the power semigroup $\mathcal{P}(S)$ of an arbitrary numerical semigroup $S$ is determined. More precisely, if $S= [\