pith. sign in

arxiv: 2512.12606 · v2 · submitted 2025-12-14 · 🧮 math.GR

On automorphism groups of power semigroups over numerical semigroups or over numerical monoids

Dein Wong , Songnian Xu , Chi Zhang , Jinxing Zhao This is my paper

Pith reviewed 2026-05-16 22:43 UTC · model grok-4.3

classification 🧮 math.GR
keywords numerical semigrouppower semigroupautomorphism groupfinitary power semigroupinvolutionnumerical monoidsetwise addition
0
0 comments X

The pith

Numerical semigroups that are eventual tails of the integers admit one non-trivial involution on their finitary power semigroups; all others admit only the identity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper classifies the automorphism groups of the finitary power semigroup P_fin(S) for every numerical semigroup S, which is a cofinite subsemigroup of the non-negative integers under addition. P_fin(S) consists of all non-empty finite subsets of S equipped with setwise addition. Applying a prior result for the natural numbers, the authors prove that when S equals all integers at or above some fixed k the group is generated by the identity together with the involution sending each set X to max(X) minus X plus min(X); when S has gaps that continue indefinitely, the only automorphism is the identity. This pins down exactly when the additive structure of S allows symmetries in the power construction.

Core claim

By applying Tringali and Yan's theorem on the reduced power monoid over the naturals, the authors show that the only non-trivial automorphism of P_fin(S) is the map X to max(X) - X + min(X) precisely when S equals {k, k+1, k+2, ...} for some k, and the automorphism group is trivial in all other cases.

What carries the argument

The finitary power semigroup P_fin(S) of non-empty finite subsets under setwise addition, together with the involution X ↦ max(X) - X + min(X) that preserves the operation exactly when S is an eventual arithmetic progression of difference 1.

If this is right

  • The reduced finitary power monoid P_fin,0(S) for numerical monoids containing zero inherits the identical automorphism classification.
  • The reflection involution exists if and only if the gaps of S are bounded.
  • Any automorphism must preserve the minimal and maximal elements of each finite set in a manner compatible with the eventual behavior of S.
  • The result supplies a complete list of automorphisms for every numerical semigroup, reducing the general case to the known case on the naturals.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The persistence of gaps in S destroys the symmetry required for any non-trivial automorphism to preserve setwise addition.
  • Explicit computation of the automorphism group for concrete numerical semigroups generated by two coprime integers would provide a direct check of the classification in small cases.
  • The same reduction technique may classify endomorphisms or other structure-preserving maps on the same power semigroups.

Load-bearing premise

That the automorphism group computed for the full natural numbers transfers directly to determine the group for any numerical semigroup S by reduction via the Tringali-Yan theorem.

What would settle it

An explicit non-identity automorphism of P_fin(S) that is not the described involution, for any numerical semigroup S containing infinitely many gaps.

read the original abstract

A numerical semigroup $S$ is a cofinite subsemigroup of $ \mathbb{N}$, where $\mathbb{N}$ is the additive monoid of non-negative integers. Denote by $\mathcal{P}_{\rm fin} (S)$ the semigroup consisting of all non-empty finite subsets of $S$ endowed with the operation of setwise addition defined by $$X+Y=\{x+y:x\in X, y\in Y\}, \qquad\text{for all } X, Y \in \mathcal P_\text{fin}(S).$$ We call $\mathcal{P}_{\rm fin} (S)$ the finitary power semigroup of $S$. When $0\in S$ (and hence $S$ is a numerical monoid), the family $\mathcal P_{\text{fin},0}(S)$ of all finite subsets of $S$ containing $0$ is a submonoind of $\mathcal P_\text{fin}(S)$; we call $\mathcal{P}_{{\rm fin}, 0}(S)$ the reduced finitary power monoid of $S$ with the singleton $\{0\}$ as zero-element. For a non-empty finite subset $X$ of $\mathbb{N}$, we denote by $ \min X$ and $\max X $ the minimum and the maximum in $X$. Tringali and Yan have recently proved in [J.\ Combin.\ Theory Ser.\ A 209 (2025)] that the only non-trivial automorphism of $\mathcal{P}_{{\rm fin},0}(\mathbb{N})$ is the involution $X \mapsto \max X - X$. By applying Tringali-Yan's result, we in this article determined the automorphism group of the finitary power semigroup $\mathcal{P}_{\rm fin}(S)$ of an arbitrary numerical semigroup $S$. More precisely, if $S$ is the set of all integers larger than or equal to a fixed $k \in \mathbb N$, then the only non-trivial automorphism of $\mathcal{P}_{\rm fin}(S)$ is the involution $X \mapsto \max X - X+ \min X$; otherwise, $\mathcal{P}_{\rm fin}(S)$ has only the identity automorphism.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript determines the automorphism groups of the finitary power semigroups P_fin(S) for arbitrary numerical semigroups S. It claims that when S is a tail {m ≥ k} for fixed k, Aut(P_fin(S)) = {id, σ} where σ is the involution X ↦ max X − X + min X; for all other numerical semigroups the group is trivial. The argument is obtained by applying the Tringali-Yan theorem on the reduced power monoid P_fin,0(N).

Significance. If the reduction is made rigorous, the result supplies a complete classification of these automorphism groups, extending the recent Tringali-Yan theorem from the full naturals to all numerical semigroups. This clarifies how the presence or absence of gaps controls the existence of non-trivial automorphisms and supplies a concrete family of examples in additive semigroup theory.

major comments (2)
  1. Abstract: the assertion that the result follows 'by applying Tringali-Yan’s result' supplies no explicit embedding, restriction map, or case analysis showing how an arbitrary automorphism of P_fin(S) corresponds to one of P_fin,0(N) while respecting the gaps of S; this correspondence is load-bearing for the claim that gaps cannot create extra automorphisms.
  2. Abstract (tail case): the involution X ↦ max X − X + min X is stated to be an automorphism of P_fin(S) for S = {m ≥ k}, but no verification is given that it preserves the setwise sum operation when all elements are required to lie in S.
minor comments (2)
  1. The relation between the full power semigroup P_fin(S) and the reduced submonoid P_fin,0(S) is introduced but not accompanied by an explicit statement that every automorphism of the former restricts to one of the latter.
  2. A short self-contained statement of the Tringali-Yan theorem would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive suggestions. The two major comments identify places where the reduction to the Tringali–Yan theorem and the verification of the involution need to be made fully explicit. We have revised the manuscript by adding a dedicated subsection on the correspondence and a short lemma verifying the tail-case involution; both changes are described below.

read point-by-point responses

  1. Referee: Abstract: the assertion that the result follows 'by applying Tringali-Yan’s result' supplies no explicit embedding, restriction map, or case analysis showing how an arbitrary automorphism of P_fin(S) corresponds to one of P_fin,0(N) while respecting the gaps of S; this correspondence is load-bearing for the claim that gaps cannot create extra automorphisms.

    Authors: We agree that the original abstract was too terse on the reduction. In the revised version we have inserted a new paragraph (now appearing after the statement of the main theorem) that supplies the missing case analysis. Briefly: any automorphism φ of P_fin(S) preserves the set of singletons and the partial order of inclusion; consequently it preserves the minimal generators of S. When S has gaps, the eventual tail of S is an arithmetic progression with difference 1, and φ must map this tail to itself. We therefore obtain a restriction homomorphism Aut(P_fin(S)) → Aut(P_fin,0(N)) by shifting the tail by a fixed amount and extending subsets by the zero element. The kernel of this map is trivial because any non-identity element would produce a non-trivial automorphism of P_fin,0(N), contradicting Tringali–Yan. The argument is written out in full in the new Section 3.1. revision: yes

  2. Referee: Abstract (tail case): the involution X ↦ max X − X + min X is stated to be an automorphism of P_fin(S) for S = {m ≥ k}, but no verification is given that it preserves the setwise sum operation when all elements are required to lie in S.

    Authors: We have added an explicit verification as Lemma 2.4. Let S = {n ∈ ℕ | n ≥ k} and let σ(X) = max X − X + min X. Because every element of X lies in S, both min X and max X belong to S, and the reflected set σ(X) is contained in the interval [min X, max X] ⊂ S. For the homomorphism property, note that min(X+Y) = min X + min Y and max(X+Y) = max X + max Y. The map σ is the composition of translation by −min X, reflection through the origin, and translation by max X; each of these operations commutes with setwise addition. Consequently σ(X+Y) = σ(X) + σ(Y). The same identity holds when X and Y are replaced by their images under σ, showing that σ is an involution. The proof occupies three lines and is now included immediately after the definition of σ. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies external Tringali-Yan theorem without self-referential reduction or load-bearing self-citation

full rationale

The paper states that it determines Aut(P_fin(S)) 'by applying Tringali-Yan's result' on P_fin,0(N). This is an external citation to independent prior work by different authors. No equations or claims inside the paper reduce a 'prediction' to a fitted parameter defined from the target result, no self-citation chain is invoked to justify uniqueness, and no ansatz or renaming occurs. The derivation chain therefore remains self-contained against the external benchmark and receives score 0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard definition of numerical semigroups as cofinite additive subsemigroups of the non-negative integers and on the setwise addition operation; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption A numerical semigroup is a cofinite subsemigroup of the additive monoid of non-negative integers.
    Invoked in the opening definition and used throughout the statement of the main result.
  • standard math The finitary power semigroup is equipped with the setwise addition operation X + Y = {x + y | x in X, y in Y}.
    This is the operation under which automorphisms are considered.

pith-pipeline@v0.9.0 · 5719 in / 1413 out tokens · 67528 ms · 2026-05-16T22:43:44.924928+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On the automorphisms of the power semigroups of a numerical semigroup

    math.NT 2026-04 unverdicted novelty 6.0

    The automorphism group of the power semigroup P(H) of any numerical semigroup H is trivial.

  2. Power monoids and their arithmetic: a survey

    math.RA 2026-02 unverdicted

    A survey of the arithmetic properties of power monoids and their role in factorization theory for non-cancellative and non-commutative monoids.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages · cited by 2 Pith papers

  1. [1]

    Aggarwal, F

    A. Aggarwal, F. Gotti, S. Lu, On primality and atomicity of numerical power monoids, preprint (arXiv:2412.05857)

    work page arXiv

  2. [2]

    Antoniou, S

    A.A. Antoniou, S. Tringali, On the Arithmetic of Power Monoids and Sumsets in Cyclic Groups, Pacific J. Math. 312 (2021), No. 2, 279-308

    work page 2021

  3. [3]

    Bienvenu, A

    P.Y. Bienvenu, A. Geroldinger, On algebraic properties of power monoids of numerical monoids, Israel J. Math. 265 (2025), 867-900

    work page 2025

  4. [4]

    Chow, On the geometry of algebraic homogeneous spaces, Annal of mathematics, 50 (1949), 32-67

    W.L. Chow, On the geometry of algebraic homogeneous spaces, Annal of mathematics, 50 (1949), 32-67

    work page 1949

  5. [5]

    Cossu, S

    L. Cossu, S. Tringali, On power monoids and factorization, preprint (arXiv: 2503.08615)

    work page arXiv

  6. [6]

    Cossu, S

    L. Cossu, S. Tringali, Factorization under local finiteness conditions, J. Algebra 630 (2023), 128-161. 13

    work page 2023

  7. [7]

    J. Dani, F. Gotti, L. Hong, B. Li, S. Schlessinger, On finitary power monoids of linearly orderable monoids, preprint (arXiv: 2501.03407)

    work page arXiv

  8. [8]

    Y. Fan, S. Tringali, Power monoids: A bridge between Factorization Theory and Arithmetic Combinatorics, J. Algebra 512 (2018), 252-294

    work page 2018

  9. [9]

    A. Gan, X. Zhao, Global determinism of Clifford semigroups, J. Aust. Math. Soc. 97 (2014), 63-77

    work page 2014

  10. [10]

    Garc´ ıa-S´ anchez, S

    P.A. Garc´ ıa-S´ anchez, S. Tringali, Semigroups of ideals and isomorphism problems, Proc. Amer. Math. Soc. 153 (2025), No. 6, 2323-2339

    work page 2025

  11. [11]

    Gould, J

    M. Gould, J. A. Iskra, Globally determined classes of semigroups, Semigroup Forum 28 (1984), 1-11

    work page 1984

  12. [12]

    Gonzalez, E

    V. Gonzalez, E. Li, H. Rabinovitz, P. Rodriguez, and M. Tirador, On the atomicity of power monoids of Puiseux monoids, Internat. J. Algebra Comput. 35 (2025), No. 02, 167-181

    work page 2025

  13. [13]

    Grillet, Commutative Semigroups, Adv

    P.A. Grillet, Commutative Semigroups, Adv. Math. 2, Springer, 2001

    work page 2001

  14. [14]

    Hua, Fundamental theorems in the geometries of symmetric matrices, Trans

    L.K. Hua, Fundamental theorems in the geometries of symmetric matrices, Trans. Amer. Math. Soc., 61 (1947), 229-255

    work page 1947

  15. [15]

    Hua, Geoometries of symmetric matrices over any field with characteristic other than two, Annals of Mathematics, 50 (1949), 8-31

    L.K. Hua, Geoometries of symmetric matrices over any field with characteristic other than two, Annals of Mathematics, 50 (1949), 8-31

    work page 1949

  16. [16]

    Mogiljanskaja, Non-isomorphic semigroups with isomorphic semigroups of subsets, Semigroup Forum 6 (1973), 330-333

    E.M. Mogiljanskaja, Non-isomorphic semigroups with isomorphic semigroups of subsets, Semigroup Forum 6 (1973), 330-333

    work page 1973

  17. [17]

    Rago, A counterexample to an isomorphism problem for power monoids, Proc

    B. Rago, A counterexample to an isomorphism problem for power monoids, Proc. Amer. Math. Soc., to appear

    work page

  18. [18]

    Rago,The automorphism group of reduced power monoids of finite abelian groups, preprint (arXiv:2510.17533)

    B. Rago, The automorphism group of reduced power monoids of finite abelian groups, preprint (arXiv:2510.17533v1)

    work page arXiv

  19. [19]

    Shafer, T

    J. Shafer, T. Tamura, Power semigroups, Math. Japon. 12 (1967), 25-32

    work page 1967

  20. [20]

    Tringali, An abstract factorization theorem and some applications, J

    S. Tringali, An abstract factorization theorem and some applications, J. Algebra 602 (2022), 352-380

    work page 2022

  21. [21]

    On the isomorphism problem for power semigroups

    S. Tringali, “On the isomorphism problem for power semigroups”, in: M. Bresar, A. Geroldinger, B. Olberd- ing, and D. Smertnig (eds.), Recent Progress in Ring and Factorization Theory, Springer Proc. Math. Stat. 477, Springer, 2025

    work page 2025

  22. [22]

    Tringali and K

    S. Tringali, K. Wen, The automorphism groups of the finitrary power monoid of the integers under addition, preprint (arXiv: 2504.12566v1)

    work page arXiv

  23. [23]

    Tringali, W

    S. Tringali, W. Yan, On power monoids and their automorphisms, J. Combin. Theory Ser. A 209 (2025), 105961, 16 pp

    work page 2025

  24. [24]

    Tringali, W

    S. Tringali, W. Yan, A conjecture by Bienvenu and Geroldinger on power monoids, Proc. Amer. Math. Soc. 153 (2025), No. 3, 913-919. 14

    work page 2025