Abstract
From any poset isomorphic to the poset of gaps of a numerical semigroup S with the order induced by S, one can recover S. As an application, we prove that two different numerical semigroups cannot have isomorphic posets (with respect to set inclusion) of ideals whose minimum is zero. We also show that given two numerical semigroups S and T, if their ideal class monoids are isomorphic, then S must be equal to T.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A numerical semigroup S is a submonoid of \((\mathbb {N},+)\) such that \(\mathbb {N}{\setminus } S\) has finitely many elements, where \(\mathbb {N}\) denotes the set of non-negative integers. A set of integers I is said to be a relative ideal of S if \(I+S\subseteq I\) and I has a minimum (see for instance [1, Chapter 3] for some basic background on ideals of numerical semigroups). Relative ideals of S contained in S are known as integral ideals. In this manuscript, we use the term ideal to refer to a relative ideal of S. On the set of ideals of S, we define the following relation: \(I\sim J\) if there exists an integer z such that \(I=z+J\). The set of ideals modulo this equivalence relation is known as the ideal class monoid of S, denoted \(\mathscr {C}\ell (S)\). Addition of two classes [I] and [J] is defined in the natural way: \([I]+[J]=[I+J]\).
The ideal class monoid of a numerical semigroup was introduced in [2] inspired by the definition of ideal class group of a Dedekind domain. In [5], we proved that from some combinatorial properties of the ideal class monoid of a numerical semigroup we can recover relevant information of the numerical semigroup like, for instance, its genus, multiplicity, type, and number of unitary extensions.
We say that an ideal I of S is normalized if \(\min (I)=0\); we denote by \(\mathfrak {I}_0(S)\) the set of normalized ideals I of S. The map \(\mathscr {C}\ell (S)\rightarrow \mathfrak {I}_0(S)\), \([I]\mapsto -\min (I)+I\) is bijective. Moreover, for \(I,J\in \mathfrak {I}_0(S)\), the ideal \(I+J\) is also in \(\mathfrak {I}_0(S)\). Thus, the mapping \([I]\mapsto -\min (I)+I\) is a monoid isomorphism.
In [5, Section 4.3], we studied some of the properties of the poset \((\mathfrak {I}_0(S),\subseteq )\). It is natural to wonder if \((\mathfrak {I}_0(S),\subseteq )\) completely determines S in the following sense: if T is a numerical semigroup and \((\mathfrak {I}_0(S),\subseteq )\) is isomorphic to \((\mathfrak {I}_0(T),\subseteq )\), then \(S=T\)? Recall that two posets \((P,\le _P)\) and \((Q,\le _Q)\) are isomorphic if there exists an order isomorphism f from P to Q, that is, f is bijective and for every \(a,b\in P\), \(a\le _P b\) if and only if \(f(a)\le _Q f(b)\). We translate this problem of poset isomorphism of normalized ideals of a numerical semigroup to an isomorphism problem of posets of gaps with respect to the order induced by the semigroup.
For a numerical semigroup S, the order induced by S on the set of integers, denoted \(\le _S\), is defined as \(a\le _S b\) if \(b-a\in S\). The poset \((\mathbb {Z},\le _S)\) (with \(\mathbb {Z}\) the set of integers) has been studied for several families of numerical semigroups, and more particularly the Möbius function associated to \(\le _S\) (see [7] or [6] for a generalization to affine semigroups).
The set \({\text {G}}(S)=\mathbb {N}{\setminus } S\) is the gap set of S; its elements are called gaps of S. It was already shown in [2, Proposition 2.6] that the set \(\mathscr {C}\ell (S)\) is in one-to-one correspondence with the set of antichains of gaps with respect to \(\le _S\) (these antichains are called S-leans in [10]). For every gap g of S, the set \(\{0,g\}+S\) is an ideal of S, and so \({\text {G}}(S)\) is embedded naturally in \(\mathfrak {I}_0(S)\). Moreover, if \(g'\) is another gap of S, then \(g\le _S g'\) if and only if \(\{0,g'\}+S\subseteq \{0,g\}+S\) (Lemma 8). If we are able to characterize the ideals of the form \(\{0,g\}+S\) from their properties in the poset \((\mathfrak {I}_0(S),\subseteq )\), then we can extract a poset isomorphic to \(({\text {G}}(S),\le _S)\) and thus recover S. This is actually the strategy we use to prove that if the posets \((\mathfrak {I}_0(S),\subseteq )\) and \((\mathfrak {I}_0(T),\subseteq )\) are isomorphic, then S and T must be equal.
The ideal class monoid of a numerical semigroup is a monoid. Thus, it is natural to ask if two different numerical semigroups will have isomorphic ideal class monoids [5, Question 6.1]. The answer is no. Theorem 18 states that if S and T are numerical semigroups, and their ideal class monoids are isomorphic, then S and T must be equal.
It order to solve the isomorphism problem for ideal class monoids of numerical semigroups, we study what are the consequences of having an isomorphism between \((\mathfrak {I}_0(S),+)\) and \((\mathfrak {I}_0(T),+)\), with S and T numerical semigroups. In particular, we show that oversemigroups of S are in correspondence with oversemigroups of T, and their corresponding ideal class monoids must be isomorphic.
Most of the computations in the examples presented in this manuscript where performed using the GAP [12] package numericalsgps [8]. The code used for these calculations can be found at https://github.com/numerical-semigroups/ideal-class-monoid.
The package numericalsgps was also used to draw Hasse diagrams of the posets mentioned above for several numerical semigroups, providing in this way clues on what where the results needed to proof our main theorems.
2 Determining a numerical semigroup from the order induced in its gap set
Suppose that we are given a numerical semigroup S as a sequence \(\{s_0,s_1,\dots ,s_n,\dots \}\) of which the only data we know is whether \(s_i\le _S s_j\) for \(i,j\in \mathbb {N}\). The \(\nu \) sequence \(\nu _i= |\{j \in \mathbb {N}: s_j\le _S s_i\}|\) completely determines S (see [4]; here |X| denotes the cardinality of the set X). Thus, if S and T are numerical semigroups whose respective posets \((S,\le _S)\) and \((T,\le _T)\) are isomorphic, then \(S=T\).
Now, suppose that what we have is an enumeration \(H=\{h_1,\dots ,h_g\}\) of the gap set of S, \({\text {G}}(S)\), and how these elements are arranged with respect to \(\le _S\). We want to recover S from this information.
Recall that the multiplicity of S is the least positive integer in S. From [2, Lemma 2.5(1)], we know that multiplicity of S is the cardinality of \({\text {Minimals}}_{\le _S}(H)\) plus one. The argument used in the proof of that lemma also shows that the maximal number of elements in an antichain (with respect to \(\le _S\)) is precisely the multiplicity of the semigroup minus one.
For \(h\in H\), and inspired by the \(\nu \) sequence described above, define
and set \({\text {nd}}_H(h)=|{\text {D}}_H(h)|\). In particular,
As a consequence of the following result, the map \({\text {nd}}_H\) is non-decreasing.
Lemma 1
Let \(h\in H\). Then,
In particular, \({\text {nd}}_H(h)=|S\cap [0,h]|\), and if \(h'\in H\), with \(h<h'\), then
Proof
Take \(h'\in H\). Then, \(h'\le _S h\) if and only if \(h-h'=s\) for some \(s\in S\). Clearly, \(s\in S\cap [0,h]\) and \(h'=h-s\).
Now, take \(t\in S\cap [0,h]\). Then, \(h-t\not \in S\), since otherwise h would be in S. So \(h-t\in {\text {D}}_H(h)\).
The second assertion follows from the first. \(\square \)
Let S be a numerical semigroup. A (finite) run of elements in S is an interval \(\{s,s+1,\ldots ,s+k\}\) of elements of S such that \(s-1\not \in S\) and \(s+k+1\not \in S\). Analogously, a run of gaps of S, or desert, is an interval \(\{h,h+1,\ldots ,h+l\}\) of gaps of S such that \(h-1\in S\) and \(k+l+1\in S\). Let \({\text {C}}(S)\) be the conductor of S, that is, the least integer c such that \(c+\mathbb {N}\subseteq S\). The numerical semigroup S can be expressed as \(S=S_0\cup S_1\cup \dots \cup S_r \cup {\text {C}}(S)+\mathbb {N}\), such that \(S_i\) is a run of elements of S and \(\max (S_i)+1<\min (S_{i+1})\) for all i, that is, all the elements in \(S_i\) are smaller than those in \(S_{i+1}\) (and so, there is at least a gap of S between these two sets). If \(S\ne \mathbb {N}\), then \(S_0=\{0\}\).
Theorem 2
Let S be a numerical semigroup, \(S\ne \mathbb {N}\).
-
(1)
If R is a run of gaps and \(h\in R\), then
$$\begin{aligned} R=\{h'\in H: {\text {nd}}_H(h)={\text {nd}}_H(h')\}. \end{aligned}$$ -
(2)
If R is a run of elements of S, with \(R\ne \{0\}\), then
$$\begin{aligned} R=\{{\text {nd}}_H(h)+d,{\text {nd}}_H(h)+d+1,\dots ,{\text {nd}}_H(h')+d-1\}, \end{aligned}$$with \(h=\min (R)-1\), \(h'=\max (R)+1\) and \(d=|\{g \in {\text {G}}(S): {\text {nd}}_H(g)\le {\text {nd}}_H(h)\}|\).
Proof
Set \(H=\mathbb {N}{\setminus } S\), and let R be a run of gaps. By Lemma 1, the map \({\text {nd}}_H\) is non-decreasing and it is constant when restricted to a desert. Moreover, two gaps h and \(h'\) are in the same desert if and only if \({\text {nd}}_H(h)={\text {nd}}_H(h')\). Therefore, the first assertion follows.
Now, let R be a run of elements of S with h and \(h'\) as in the hypothesis of the second assertion. Let \(r=\min (R)\), and so \(h=r-1\). From the previous paragraph, we deduce that \(d=|H\cap [0,h]|\). Let \(t=|S\cap [0,h]|\). Clearly, \(h+1=d+t\), and thus \(r=d+t\). By Lemma 1, \(t=|S\cap [0,h]|={\text {nd}}_H(h)\). Finally, by using again Lemma 1, we have that \(|R|=|S\cap [h,h']|={\text {nd}}_H(h')-{\text {nd}}_H(h)\), and this completes the proof by taking into account that R is an interval of elements in S. \(\square \)
Remark 3
Notice that Theorem 2 is telling us that if we know \(n:\{1,\dots ,g\}\rightarrow \mathbb {N}\), \(n(i)={\text {nd}}_H(h_i)\), with \(H=\{h_1,\dots ,h_g\}\) the set of gaps of a numerical semigroup S, then we can fully reconstruct S. Observe also that \({\text {nd}}_H\) is fully determined by the poset \((H,\le _S)\).
As the referee suggests, if we are able to count all possible \(n:\{1,\dots ,g\}\rightarrow \mathbb {N}\) that correspond with some \({\text {nd}}_H\), with H the set of gaps of a numerical semigroup with genus g, then we would know the number of numerical semigroups with genus g. The map n is non-decreasing, and it only increases when we move between different runs of gaps by Lemma 1. The problem resides in determining when a given non-decreasing map \(n:\{1,\dots ,g\}\rightarrow \mathbb {N}\) corresponds to some \({\text {nd}}_H\) with H the set of gaps of a numerical semigroup. Probably, a deeper understanding of the maps \({\text {nd}}_H\) could provide bounds for the number of numerical semigroup with a given genus (as it was done in [3] with the use of Dyck paths) and shed some light on the different conjectures associated to the number of numerical semigroups with a given genus (see [14] and the references therein).
Example 4
Assume that \(H=\{g_1,\dots ,g_8\}\) with \({\text {nd}}_H(g_1)=\dots ={\text {nd}}_H(g_4)=1\); \({\text {nd}}_H(g_5)=2\); \({\text {nd}}_H(g_6)={\text {nd}}_H(g_7)=3\); and \({\text {nd}}_H(g_8)=6\).
By [2, Lemma 2.5(1)] and (1), from \({\text {nd}}_H(g_1)= \dots = {\text {nd}}_H(g_4)=1\), we know that the multiplicity of S is five. In light of Theorem 2, \(S_1=\{5\}=\{1+4,\dots ,2+4-1\}\), \(S_2=\{7\}=\{2+5,\dots ,3+5-1\}\), \(S_3=\{10,11,12\}=\{3+7,\ldots ,6+7-1\}\), and the last desert is \(\{13\}\), since there is only one gap having \({\text {nd}}_H(h)=6\). Thus, \(S=\{0,5,7,10,11,12\}\cup (14+\mathbb {N})\).
Corollary 5
Let S and T be numerical semigroups. If the posets \(({\text {G}}(S),\le _S)\) and \(({\text {G}}(T),\le _T)\) are isomorphic, then \(S=T\).
Let \({\text {PF}}(S)={\text {Maximals}}_{\le _S}(\mathbb {Z}{\setminus } S)\), which is known as the set of pseudo-Frobenius numbers of S. The cardinality of \({\text {PF}}(S)\) is the type of S, denoted \({\text {t}}(S)\). The Frobenius number of S, defined as \({\text {F}}(S)=\max (\mathbb {Z}{\setminus } S)\), is always a pseudo-Frobenius number, and so the type of a numerical semigroup is a positive integer. Clearly, \({\text {C}}(S)={\text {F}}(S)+1\).
Notice that if we consider the Hasse diagram of \(({\text {G}}(S),\le _S)\) as an undirected graph, then this graph has at most \({\text {t}}(S)\) connected components.
Example 6
Let \(H=\{1, 2, 3, 4, 5, 9, 10 \}\), which is the set of gaps of \(S=\{ 0, 6, 7, 8\}\cup (11+\mathbb {N})\). Then the Hasse diagram of H with respect to \(\le _S\) looks like this:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00233-024-10429-7/MediaObjects/233_2024_10429_Figa_HTML.png)
The type of S is three and the undirected graph has two connected components.
Recall that an affine semigroup is a finitely generated submonoid of \((\mathbb {N}^n,+)\) for some positive integer n. The poset of the set of gaps does not uniquely determine an affine semigroup as the following example shows.
Example 7
The affine semigroups \(\mathbb {N}^2{\setminus }\{(1,0),(0,1)\}\) and \(\mathbb {N}^2{\setminus }\{(0,1),(0,2)\}\) have isomorphic posets of gaps, but the first is minimally generated by seven elements, while the second is by six, and thus they cannot be isomorphic.
3 The poset of normalized ideals of a numerical semigroup under inclusion
Let S be a numerical semigroup. Recall that the set of normalized ideals of S is
For \(I\in \mathfrak {I}_0(S)\), set \(I^*=I{\setminus }\{0\}\); in particular, \(S^*=S{\setminus }\{0\}\).
Lemma 8
Let S be a numerical semigroup and let g and \(g'\) be gaps of S. Then, \(g\le _S g'\) if and only if \(\{0,g'\}+S\subseteq \{0,g\}+S\).
Proof
Notice that \(\{0,g'\}+S\subseteq \{0,g\}+S\) if and only if \(g'\in \{0,g\}+S\), or equivalently, \(g'=g+s\) for some \(s\in S\), and this means that \(g\le _S g'\). \(\square \)
Define
In light of Lemma 8, the poset \((\mathfrak {P}_0(S),\supseteq )\) is isomorphic to \((H,\le _S)\). Thus, if we find a way to recover the set \(\mathfrak {P}_0(S)\) from \((\mathfrak {I}_0(S),\subseteq )\), we will be able to recover S from \((\mathfrak {I}_0(S),\subseteq )\) by using Remark 3.
Observe that for \(I\in \mathfrak {I}_0(S)\), we have that \(I={\text {Minimals}}_{\le _S}(I)+S\), and that every \(X\subseteq N\), for which \(I=X+S\) holds, contains \({\text {Minimals}}_{\le _S}(I)\). Thus, \({\text {Minimals}}_{\le _S}(I)\) is a minimal generating system of I and it is included in \({\text {G}}(S)\cup \{0\}\). Also, \({\text {Minimals}}_{\le _S}(I)=I{\setminus } (I+S^*)\). The elements of \({\text {Minimals}}_{\le _S}(I)\) are called the minimal generators of I.
Lemma 9
Let S be a numerical semigroup and let \(I\in \mathfrak {I}_0(S)\). For \(x\in I^*\), the set \(I{\setminus }\{x\}\in \mathfrak {I}_0(S)\) if and only if x is a minimal generator of I.
Proof
If \(x\not \in {\text {Minimals}}_{\le _S}(I)\), then \(x=g+s\), with \(g\in {\text {Minimals}}_{\le _S}(I)\) and \(s\in S^*\). Hence, \(x=g+s\not \in I{\setminus }\{x\}\), and consequently \(I{\setminus }\{x\}\) is not an ideal of S.
If \(I{\setminus }\{x\}\), with \(x \in {\text {Minimals}}_{\le _S}(I)\), is not an ideal (notice that \(0=\min (I{\setminus }\{x\})\)), then there exists \(y\in I{\setminus }\{x\}\) and \(s\in S\), such that \(y+s\not \in I{\setminus }\{x\}\). But \(y\in I\), and thus \(y+s\in I\), which forces \(y\ne y+s=x\), contradicting that x is minimal in I with respect to \(\le _S\). \(\square \)
Given two ideals I and J in \(\mathfrak {I}_0(S)\) we say that I covers J if \(J\subsetneq I\) and there is no other \(K\in \mathfrak {I}_0(S)\) such that \(J\subsetneq K\subsetneq I\).
Lemma 10
Let S be a numerical semigroup and let \(I,J\in \mathfrak {I}_0(S)\), with \(J\subsetneq I\). Then, I covers J if and only if \(|I{\setminus } J|=1\).
Proof
Suppose that there is \(K\in \mathfrak {I}_0(S)\) such that \(J\subsetneq K\subsetneq I\). Take \(x\in I{\setminus } K\) and \(y\in K{\setminus } J\). Then, \(x\ne y\) and \(x,y \in I{\setminus } J\), which forces \(|I{\setminus } J|\ge 2\).
For the converse, suppose that \(|I{\setminus } J|\ge 2\). Let \(m=\max (I{\setminus } J)\). Then, \(J\subsetneq J\cup \{m\}\subsetneq I\). Let \(x\in J\cup \{m\}\) and \(s\in S\). If \(x\in J\), then \(x+s\in J\subset J\cup \{m\}\); if \(x=m\) and \(s=0\), then \(x+s=m\in J\cup \{m\}\); if \(x=m\) and \(s\in S^*\), then \(m<x+s\in I\), which implies that \(x+s\in J\subset J\cup \{m\}\). Thus, \(J\cup \{m\}\in \mathfrak {I}_0(S)\) and consequently I does not cover J. \(\square \)
Lemma 11
Let S be a numerical semigroup and let \(I\in \mathfrak {I}_0(S)\). Then, the number of ideals in \(\mathfrak {I}_0(S)\) covered by I equals the number of non-zero minimal generators of I.
Proof
The proof easily follows from Lemmas 9 and 10. \(\square \)
Theorem 12
Let S and T be numerical semigroups. If \((\mathfrak {I}_0(S),\subseteq )\) and \((\mathfrak {I}_0(T),\subseteq )\) are isomorphic, then \(S=T\).
Proof
Notice that by Lemma 11, \(\mathfrak {P}_0(S)\) is precisely the set of ideals in \(\mathfrak {I}_0(S)\) that cover exactly one ideal in \(\mathfrak {I}_0(S)\). Hence, the isomorphism between \((\mathfrak {I}_0(S),\subseteq )\) and \((\mathfrak {I}_0(T),\subseteq )\) restricted to \((\mathfrak {P}_0(S),\subseteq )\) and \((\mathfrak {P}_0(T),\subseteq )\), yields, by Lemma 8, an isomorphism between \(({\text {G}}(S),\le _S)\) and \(({\text {G}}(T),\le _T)\). By Corollary 5, we conclude that \(S=T\). \(\square \)
4 Isomorphic ideal class monoids
In this section, we prove that if S and T are numerical semigroups, then the existence of an isomorphism between \((\mathfrak {I}_0(S),+)\) and \((\mathfrak {I}_0(T),+)\) forces S and T to be equal.
We start by proving that some notable elements of the ideal class monoid of a numerical semigroup are preserved under isomorphisms. To this end, we recall some definitions given in [5, Section 5]; for the definitions on a general monoid, please refer to [13].
Given \(I,J\in \mathfrak {I}_0(S)\), we write \(I\preceq J\) if there exists \(K\in \mathfrak {I}_0(S)\) such that \(I+K=J\). We use the notation \(I\prec J\) when \(I\preceq J\) and \(I\ne J\) (in general this is not the usual definition, though in [5, Section 5] it is shown that in our setting the usual definition is equivalent to this one).
We say that \(I\in \mathfrak {I}_0(S)\) is irreducible if \(I\ne J+K\) for all \(J,K\in \mathfrak {I}_0(S){\setminus }\{S\}\) such that \(J\prec I\) and \(K\prec I\). By [5, Lemma 5.4], I is irreducible if and only if \(I\ne J+K\) for all \(J,K\in \mathfrak {I}_0(S){\setminus } \{I\}\). Irreducible elements are important since they generate \((\mathfrak {I}_0(S),+)\) as a monoid [5, Proposition 5.5]. Clearly, if \(f:\mathfrak {I}_0(S)\rightarrow \mathfrak {I}_0(T)\) is a monoid isomorphism, then it sends irreducible elements to irreducible elements.
An ideal \(I\in \mathfrak {I}_0(S)\) is a quark if there is no ideal \(J\in \mathfrak {I}_0(S){\setminus }\{S\}\) such that \(J\prec I\), that is, there is no \(J\in \mathfrak {I}_0(S){\setminus }\{I,S\}\) and \(K\in \mathfrak {I}_0(S)\) such that \(I=J+K\). Every quark is irreducible but the converse does not hold in general (see for instance [5, Example 5.3]). Again, quarks go to quarks under monoid isomorphisms of ideal class monoids.
The concepts of oversemigroup and irreducible numerical semigroup are crucial in the proof of the main result of this section. So, next we spend some time recalling the basic facts associated to these notions.
Let S and T be numerical semigroups. We say that T is an oversemigroup of S if \(S\subseteq T\). By [5, Proposition 5.14], T is an idempotent of \(\mathfrak {I}_0(S)\) if and only if T is an oversemigroup of S. Denote by \(\mathscr {O}(S)\) the set of oversemigroups of S. Then, \((\mathscr {O}(S),+)\) is a submonoid of \((\mathfrak {I}_0(S),+)\).
If T is an oversemigroup of S with \(|T{\setminus } S|=1\), then we say that T is a unitary extension of S. In this setting, \(T=S\cup \{x\}\), and x must be a special gap of S, that is \(x\in {\text {PF}}(S)\) and \(2x,3x\in S\). The set of special gaps of S is denoted by \({\text {SG}}(S)\) and its cardinality coincides with the set of unitary extensions of S (see for instance [11, Section 3.3]).
A numerical semigroup S is irreducible if S cannot be expressed as the intersection of two numerical semigroups properly containing S. Every irreducible numerical semigroup is either symmetric or pseudo-symmetric. A numerical semigroup S is symmetric if for every \(z\in \mathbb {Z}{\setminus } S\), the integer \({\text {F}}(S)-z\) is in S. And it is pseudo-symmetric if \({\text {F}}(S)\) is even and for every \(z\in \mathbb {Z}{\setminus }(S\cup \{{\text {F}}(S)/2\})\), we have that \({\text {F}}(S)-z\in S\). If S is not irreducible, then it can be expressed as the intersection of finitely many irreducible oversemigroups of S (for basic characterizations of irreducibility, symmetry and pseudo-symmetry, see [1, Chapter 2] or [11, Chapter 3]).
It is well known that S is irreducible if and only if the cardinality of \({\text {SG}}(S)\) is at most one [11, Corollary 4.38]. If \(S\ne \mathbb {N}\), then \({\text {F}}(S)\in {\text {SG}}(S)\). Thus, for \(S\ne \mathbb {N}\), if S is irreducible, then \(S\cup \{{\text {F}}(S)\}\) is the only unitary-extension of S, and thus every proper oversemigroup of S contains \(S\cup \{{\text {F}}(S)\}\).
Quarks are relevant since they can be used to decide if the semigroup is symmetric or pseudo-symmetric, and thus to determine if the semigroup is irreducible; see Propositions 5.17 and 5.19, and Theorem 5.20 in [5]. Unitary extensions of a numerical semigroup S are precisely the idempotent quarks of \(\mathfrak {I}_0(S)\) [5, Propostion 5.13].
For every idempotent \(E\in \mathfrak {I}_0(S)\), define
This definition is inspired by [9, Section 2].
Proposition 13
Let S be a numerical semigroup, and let T be an oversemigroup of S. Then,
Proof
Let \(I\in C_T\). Then, \(\min (I)=0\) and \(I+T=I\), whence \(I\in \mathfrak {I}_0(T)\). Now, let \(I\in \mathfrak {I}_0(T)\). Then, \(\min (I)=0\) and \(I+T\subseteq I\). Hence, \(I+S\subseteq I+T\subseteq I\), and thus \(I\in \mathfrak {I}_0(S)\). As \(I\subseteq I+T\subseteq I\), we get \(I+T=I\), which yields \(I\in C_T\). \(\square \)
Let S be a numerical semigroup. Observe that if f is an isomorphism between \((\mathfrak {I}_0(S),+)\) and \((\mathfrak {I}_0(T),+)\), then from Proposition 13 (and its proof), we obtain the following consequences.
-
(1)
The restriction of f to \(\mathscr {O}(S)\) is an isomorphism between \((\mathscr {O}(S),+)\) and \(\mathscr {O}(T),+)\).
-
(2)
Also, for O and \(O'\) oversemigroups of S, \(O\subseteq O'\) if and only if \(O+O'=O'\). Thus, we also obtain an isomorphism between the posets \((\mathscr {O}(S),\subseteq )\) and \((\mathscr {O}(T),\subseteq )\).
-
(3)
If O is an oversemigroup of S, then \(f(C_O)=C_{f(O)}\). To prove this, take \(I\in f(C_O)\). Then, there exists \(J\in C_O\) such that \(I=f(J)\). As \(J+O=J\), we deduce that \(I+f(O)=f(J)+f(O)=f(J+O)=f(J)=I\), and thus \(I\in C_{f(O)}\). For the other inclusion, let \(J\in C_{f(O)}\). Then, as f is surjective, there exists \(I\in \mathfrak {I}_0(S)\) such that \(f(I)=J\). Since \(J+f(O)=J\), we have \(f(I+O)=f(I)+f(O)=J+f(O)=J=f(I)\), and as f is injective, \(I+O=I\), which means that \(I\in C_O\) and so \(J=f(I)\in f(C_O)\). Therefore, the restriction of f to \(\mathfrak {I}_0(O)\) is an isomorphism between \((\mathfrak {I}_0(O),+)\) and \((\mathfrak {I}_0(f(O)),+)\).
Unfortunately, from the poset \((\mathscr {O}(S),\subseteq )\) it is not possible to recover S as the next example shows. As usual, for a set A of non-negative integers, we denote by
which is a submonoid of \((\mathbb {N},+)\), and it is a numerical semigroup if and only if \(\gcd (A)=1\) (see for instance [11, Lemma 2.1]).
Example 14
The numerical semigroups \(\langle 3,5,7\rangle \) and \(\langle 2,7\rangle \) have isomorphic posets of over-semigroups with respect to set inclusion.
Notice that if E is an idempotent of \(\mathfrak {I}_0(S)\), then \((C_E,+)\) is a monoid, but it is not a submonoid of \((\mathfrak {I}_0(S),+)\) unless \(E=S\). There is a dual construction that allows us to construct submonoids of \((\mathfrak {I}_0(S),+)\) associated to its idempotents. Let T be an oversemigroup of S. Then, \(T\in \mathfrak {I}_0(S)\) and T is idempotent. Define
Proposition 15
Let S be a numerical semigroup, and let T be an oversemigroup of S. For every \(I\in \mathfrak {I}_0(S)\), \(I\in T_\downarrow \) if and only if \(I+T=T\). In particular, \((T_\downarrow ,+)\) is a submonoid of \((\mathfrak {I}_0(S),+)\).
Proof
Let \(I\in \mathfrak {I}_0(S)\). If \(I+T=T\), as \(I\subseteq I+T\), we obtain that \(I\subseteq T\). Now, let \(I\in \mathfrak {I}_0(S)\) with \(I\subseteq T\). Then, \(T\subseteq I+T\subseteq T+T=T\) (recall that T is idempotent), and so \(I+T=T\).
Finally, take \(I,J\in T_\downarrow \). Then \((I+J)+T=I+(J+T)=I+T=T\), and so \(I+J\in T_\downarrow \). The identity element of \((T_\downarrow ,+)\) is S. \(\square \)
Take T and \(T'\) two oversemigroups of S (equivalently, two idempotents of \(\mathfrak {I}_0(S)\)) with \(T\subseteq T'\) (equivalently, \(T+T'=T'\)). Then, \((T'_\downarrow \cap C_T,+)\) is a monoid with identity element T. Neither \((T_\downarrow ,+)\) nor \((T'_\downarrow \cap C_T,+)\) need to be isomorphic to the ideal class monoid of a numerical semigroup as the next example shows.
Example 16
Let \(S=\langle 4,6,9\rangle \) and \(T=\langle 4,5,6,7\rangle =\{0,5,7\}+S\). Then, \(S\subseteq T\) and
Its Hasse diagram with respect to \(\preceq \) has height four (the maximal strictly ascending chain with respect to \(\preceq \) has length four). If \((T_\downarrow ,+)\) is isomorphic to \((\mathfrak {I}_0(R),+)\), with R a numerical semigroup, then by [5, Remark 5,1], R must have genus three. Among the numerical semigroups with genus three, the only one whose ideal class monoid has cardinality five is \(R=\langle 3,4\rangle \). However, as the referee kindly pointed out, all the elements in \(T_\downarrow \) are idempotents while \(\{0,1\}+R\) is not an idempotent. This proves that there is no numerical semigroup R such that \((T_\downarrow ,+)\) is isomorphic to \((\mathfrak {I}_0(R),+)\).
Let \(I_1=\{0,7\}+S\) and \(I_2=\{0,2,3,5\}+S\). Both \(I_1\) and \(I_2\) are idempotents, and thus they are oversemigroups of S; moreover, \(I_1\subseteq I_2\). The monoid \(({I_2}_\downarrow \cap C_{I_1},+)\) has eight elements, and its Hasse diagram with respect to \(\preceq \) has height four. Again, according to [5, Remark 5,1], if \(({I_2}_\downarrow \cap C_{I_1},+)\) is isomorphic to \(\mathfrak {I}_0(T)\) for some semigroup T, then the genus of T should be three. Among the semigroups of genus three, the only one whose ideal class monoid has cardinality eight is \(T=\langle 4,5,6,7\rangle \). However, \(\mathfrak {I}_0(T)\) has only three irreducible elements while \(({I_2}_\downarrow \cap C_{I_1},+)\) has four irreducible elements. Thus, \(({I_2}_\downarrow \cap C_{I_1},+)\) is not isomorphic to the ideal class monoid of a numerical semigroup.
We are now ready to prove that if \((\mathfrak {I}_0(S),+)\) is isomorphic to \((\mathfrak {I}_0(T),+)\), with S and T numerical semigroups, then \(S=T\). To this end, we proceed by induction on the genus of S (which must be the same as the genus of T by [5, Corollary 5.2]). Once we know \((\mathfrak {I}_0(S),+)\) all the unitary extensions of S will be uniquely determined by the induction hypothesis.
Lemma 17
Let S be a numerical semigroup, \(S\ne \mathbb {N}\). If S is irreducible, then the intersection of all its unitary extensions is \(S\cup \{{\text {F}}(S)\}\). Otherwise, this intersection is S.
Proof
Recall that as \(S\ne \mathbb {N}\), we have that \({\text {F}}(S)\in {\text {SG}}(S)\). Notice that S is irreducible if and only if \(|{\text {SG}}(S)|=1\) [11, Corollary 4.38]. Also, every unitary extension of S is of the form \(S\cup \{h\}\) with \(h\in {\text {SG}}(S)\). Hence, if S is irreducible, then the intersection of all its unitary extensions (it has only one), is \(S\cup \{{\text {F}}(S)\}\). If S is not irreducible, then take \(h\in {\text {SG}}(S){\setminus }\{{\text {F}}(S)\}\). Clearly, \(S=(S\cup \{{\text {F}}(S)\})\cap (S\cup \{h\})\), and thus \(S=\bigcap _{g\in {\text {SG}}(S)} (S\cup \{g\})\). \(\square \)
Theorem 18
Let S and T be numerical semigroups. If \((\mathfrak {I}_0(S),+)\) is isomorphic to \((\mathfrak {I}_0(T),+)\), then \(S=T\).
Proof
Denote by \(\varphi \) the isomorphism between \(\mathfrak {I}_0(S)\) and \(\mathfrak {I}_0(T)\).
Notice that \(S=\mathbb {N}\) if and only if \(\mathfrak {I}_0(S)\) is trivial. Thus, we may assume that S and T are different from \(\mathbb {N}\). Notice also that the number of quarks of \(\mathfrak {I}_0(S)\) and \(\mathfrak {I}_0(T)\) must be the same. Thus, S is irreducible if and only if T is irreducible. Also, by [5, Corollary 5.2], \({\text {g}}(S)={\text {g}}(T)\).
We proceed by induction on the genus of S (which is the same as the genus of T). For \({\text {g}}(S)=0\) there is nothing to prove, since in this case \(S=T=\mathbb {N}\). So, suppose that the assertion is true for all semigroups having genus g and let us prove it for genus \(g+1\).
Unitary extensions of S correspond to idempotent quarks in \(\mathfrak {I}_0(S)\) [5, Proposition 5.13]. Thus, for every unitary extension O of S, \(\varphi (O)\) is also unitary extension of T, and by Proposition 13, \(\mathfrak {I}_0(O)=C_O\) is isomorphic to \(C_{\varphi (O)}=\mathfrak {I}_0(\varphi (O))\). Unitary extensions of S have genus g (the same holds for T). Thus, by induction hypothesis S and T have the same unitary extensions.
If S is not irreducible, then T cannot be irreducible by the arguments given above. As S and T are not irreducible, they are the intersection of all their unitary extensions, and consequently \(S=T\) (Lemma 17).
If S is irreducible and symmetric, then so is T, since in this setting both have a single quark [5, Proposition 5.18]. In this case, by Lemma 17, the intersection of the unitary extensions of S is \(S\cup \{{\text {F}}(S)\}\), which must be equal to \(T\cup \{{\text {F}}(T)\}\). We also know that \({\text {g}}(S)={\text {g}}(T)\), and as S and T are symmetric, by [1, Corollary 6], \({\text {F}}(S)=2{\text {g}}(S)-1=2{\text {g}}(T)-1={\text {F}}(T)\). Thus, \(S=(S\cup \{{\text {F}}(S)\}){\setminus }\{{\text {F}}(S)\}=(T\cup \{{\text {F}}(T)\}){\setminus }\{{\text {F}}(T)\}=T\).
The remaining case is when S and T are both irreducible and pseudo-symmetric (S is pseudo-symmetric if and only if \(\mathfrak {I}_0(S)\) has two quarks; see [5, Proposition 5.19]). In this setting, by using again [1, Corollary 6], \({\text {F}}(S)=2{\text {g}}(S)-2=2{\text {g}}(T)-2={\text {F}}(T)\), and arguing as in the preceding paragraph, we conclude that \(S=T\). \(\square \)
5 The poset of the ideal class monoid induced by addition
We solved [5, Question 6.1], but we still do not know how to recover a numerical semigroup by looking at a poset isomorphic to \((\mathfrak {I}_0(S),\preceq )\) [5, Question 6.2]. There are several options to tackle this problem. The first could be to recover \(\subseteq \) from \(\preceq \), while the second could pass through identifying idempotent quarks in the Hasse diagram of \((\mathfrak {I}_0(S),\preceq )\).
Clearly, if \(I\preceq J\), then \(I\subseteq J\). But the converse does not hold. Actually, J covers I with respect to set inclusion if and only if \(|J{\setminus } I|=1\) (Lemma 10). However, it may happen that J covers I with respect to \(\preceq \) and \(|J{\setminus } I|>1\).
Example 19
Take \(S=\langle 5,9,17,21\rangle \), \(I=\{0,3\}+S\) and \(J=\{0,12\}+S\). Then, I \(\preceq \)-covers J and \(|I{\setminus } J|=3\). This example was obtained by looking at the Hasse diagram of \((\mathfrak {I}_0(S),\preceq )\).
Figure 1 shows the Hasse diagram of \((\mathfrak {I}_0(\langle 4,6,9\rangle ),\preceq )\). The edges displayed as a dashed line are not part of the diagram, and correspond to the coverings with respect to set inclusion that are not coverings with respect to \(\preceq \). A possible approach would be “repair” those missing edges.
As for the other approach. Quarks are easy to distinguish in the poset \((\mathfrak {I}_0,\preceq )\), since they are the ones with “height” one. However, even in simple examples, it is not possible to discern from the poset which ones are idempotent. The Hasse diagram of \(\mathfrak {I}_0(\langle 3,4,5\rangle )\) is shown in Fig. 2. It is not possible from the poset with respect to \(\preceq \) to distinguish between \(\{0,1\}+S\) and \(\{0,2\}+S\); the latter being idempotent, while the first is not. Notice that in this case the genus is two, and there are only two numerical semigroups with this genus. The posets of the corresponding set of normalized ideals are different.
References
Assi, A., D’Anna, M., García-Sánchez, P.A.: Numerical Semigroups and Applications. RSME Springer Series, vol. 3, 2nd edn. Springer, Cham (2020)
Barucci, V., Khouja, F.: On the class semigroup of a numerical semigroup. Semigroup Forum 92, 377–392 (2016)
Bras-Amorós, M., de Mier, A.: Representation of numerical semigroups by Dyck Paths. Semigroup Forum 75, 676–681 (2007)
Bras-Amorós, M.: Numerical semigroups and codes. In: Martínez-Moro, E. (ed.) Algebraic Geometry Modeling in Information Theory. Series on Coding Theory and Cryptology, vol. 8, pp. 167–218. World Scientific, Hackensack (2013)
Casabella, L., D’Anna, M., García-Sánchez, P.A.: Apéry sets and the ideal class monoid of a numerical semigroup. Mediterr. J. Math. 21, 28 (2024)
Chappelon, J., García-Marco, I., MontejanoL, P., Ramírez Alfonsín, J.L.: Möbius function of semigroup posets through Hilbert series. J. Comb. Theory Ser. A 36, 238–251 (2015)
Chappelon, J., Ramírez Alfonsín, J.L.: On the Möbius function of the locally finite poset associated with a numerical semigroup. Semigroup Forum 87, 313–330 (2013)
Delgado, M., García-Sánchez, P.A., Morais, J.: NumericalSgps, a package for numerical semigroups, version 1.3.1, (Refereed GAP package) (2022). https://gap-packages.github.io/numericalsgps
Geroldinger, A., Zhong, Q.: A characterization of seminormal C-monoids. Boll. Unione Mat. Ital. 12, 583–597 (2019)
Moyano-Fernández, J.J., Uliczka, J.: Lattice paths with given number of turns and semimodules over numerical semigroups. Semigroup Forum 88, 631–646 (2014)
Rosales, J.C., García-Sánchez, P.A.: Numerical Semigroups, Developments in Mathematics, vol. 20. Springer, New York (2009)
The GAP Group: GAP Groups, Algorithms, and Programming, Version 4.12.2 (2022). https://www.gap-system.org
Tringali, S.: An abstract factorization theorem and some applications. J. Algebra 602, 352–380 (2022)
Zhu, D.G.: Sub-Fibonacci behavior in numerical semigroup enumeration. Comb. Theory 3(2), 26 (2023)
Acknowledgements
The author is partially supported by the grant number ProyExcel_00868 (Proyecto de Excelencia de la Junta de Andalucía) and by the Junta de Andalucía grant number FQM–343. He also acknowledges financial support from the grant PID2022-138906NB-C21 funded by MICIU/AEI/10.13039/501100011033 and by ERDF “A way of making Europe”, and from the Spanish Ministry of Science and Innovation (MICINN), through the “Severo Ochoa and María de Maeztu Programme for Centres and Unities of Excellence” (CEX2020-001105-M). The author would like to thank Marco D’Anna, Salvatore Tringali and the anonymous referee for their comments and suggestions.
Funding
Funding for open access publishing: Universidad de Granada/CBUA.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Nathan Kaplan.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
García-Sánchez, P.A. The isomorphism problem for ideal class monoids of numerical semigroups. Semigroup Forum 108, 365–376 (2024). https://doi.org/10.1007/s00233-024-10429-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-024-10429-7