Abstract
In our earlier article (Can and Sakran in Port Math 81(1–2): 21–55, 2024) we initiated a study of the complement-finite submonoids of the group of integer points of a unipotent linear algebraic group. In the present article, we continue to develop tools and techniques for analyzing our monoids. In particular, we initiate a theory of ideals for unipotent numerical monoids.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This article builds on the observation that the theory of generalized numerical monoids is part of a broader family of finitely generated monoids that naturally emerge within algebraic groups. Our primary objective here is to determine several structural invariants of these more general monoids, while shedding new light on generalized numerical semigroups, which form a fast developing area of research in semigroup theory. We name here only a few of the most relevant articles since the actual list is very long: [3, 7,8,9,10, 13, 14, 21]. Here, by a generalized numerical monoid, we mean a co-finite submonoid of \({\mathbb {N}}^n\) for some positive integer n. Aside from their direct relation to commutative algebra [4, 12], such commutative monoids arise in coding theory as multipoint Weierstrass semigroups [2, 6, 16,17,18, 22]. The setup of our theory, which we will maintain throughout this article is as follows.
Let \(\textbf{U}(n,{{\mathbb {C}}})\) denote the unipotent group consisting of all upper triangular unipotent matrices of size n with entries from \({{\mathbb {C}}}\). Let G be a closed subgroup of \(\textbf{U}(n,{\mathbb {C}})\). The group of integer points of G is denoted by \(G_{{\mathbb {Z}}}\). We set
Then \(G({\mathbb {N}})\) is a submonoid of \(G_{{\mathbb {Z}}}\). We call a finitely generated submonoid \(\mathscr {S}\subset G({\mathbb {N}})\), where the set \(G({\mathbb {N}}) {\setminus } \mathscr {S}\) is finite, a unipotent numerical monoid in G. For example, if G is given by the unipotent algebraic group
which we denote by \(\textbf{P}(n,{{\mathbb {C}}})\), then we recover all generalized numerical monoids of [14] as unipotent numerical monoids. If we employ semialgebraic topology and consider semialgebraic groups, then we recover the theory of affine \({\mathscr {C}}\)-semigroups, introduced in [15], as part of our theory as well.
A tool that we introduce in our paper is a notion of a semigroup of relative ideals. Here, a relative right ideal of a unipotent numerical monoid \(\mathscr {S}\) is a subset \(\mathscr {I}\subseteq G({\mathbb {N}})\) such that
A relative left ideal is defined similarly. It is a subset \(\mathscr {I}\subseteq G({\mathbb {N}})\) such that \(\mathscr{S}\mathscr{I}\subseteq \mathscr {I}\). Finally, we call a subset \(\mathscr {I}\subseteq G({\mathbb {N}})\) that is both a left and right relative ideal a two-sided relative ideal of \(\mathscr {S}\). For brevity, we will subsequently refer to a two-sided relative ideal simply as a ‘relative ideal.’ Before proceeding to articulate our results, we will state our rationale concerning the definitions of relative right (or relative left) ideals. We could adopt a more generalized approach, considering subsets \(\mathscr {I} \subset G_{{\mathbb {Z}}}\) where \(\mathscr{I}\mathscr{S}\subseteq \mathscr {I}\) holds, along with an additional condition, such as requiring the existence of an element \(A\in \mathscr {S}\) such that \(A\mathscr {I} \subset \mathscr {S}\). However, using this broader definition complicates our presentation, potentially obscuring the focus of our article. Instead of pursuing this cumbersome route, which is unnecessary for our purposes, we have opted to work specifically with the subsets of \(G({\mathbb {N}})\).
The set of all relative ideals of \({\mathscr {S}}\), denoted by \(Rel_T({\mathscr {S}})\), forms a monoid under the product \(({\mathscr {I}},{\mathscr {J}})\mapsto {{\mathscr {I}}}{{\mathscr {J}}}:=\{AB \mid A\in {\mathscr {I}}\text { and } B\in {\mathscr {J}}\}\), where \(\{{\mathscr {I}},{\mathscr {J}}\}\subset Rel_T({\mathscr {S}})\). The neutral element of \(Rel_T({\mathscr {S}})\) is given by \({\mathscr {S}}\). In the sequel, we will prove that \(Rel_T({\mathscr {S}})\) is closed under finite intersections and finite unions. Furthermore, our monoid has two important submonoids, denoted \(Rel_T({\mathscr {S}},\supseteq )\) and \(Rel_T({\mathscr {S}},\subseteq )\), which are sublattices. The former submonoid consists of relative ideals of \({\mathscr {S}}\) contained in \({\mathscr {S}}\). The latter submonoid, which is finite, consists of relative ideals that contain \({\mathscr {S}}\). It is worth mentioning that while we have both left and right-sided versions of these objects, our discussion in the introduction is limited to the two-sided version for the sake of simplicity in our presentation. Our first main result is the following assertion.
Theorem 1.1
An element \(\mathscr {T}\) of \(Rel_T(\mathscr {S},\subseteq )\) is an idempotent if and only if \(\mathscr {T}\) is a unipotent numerical monoid. Furthermore, if \(\mathscr {S}\) is commutative, then the idempotents of \(Rel_T(\mathscr {S},\subseteq )\) form a band.
By fixing a unipotent numerical monoid \(\mathscr {S}\), we actually fix several interesting partial orders on the group of integer points of G. For A and B from \(G_{{\mathbb {Z}}}\), we have
-
1.
\(A \le _{\mathscr {S},r} B \iff BA^{-1}\in \mathscr {S}\),
-
2.
\(A \le _{\mathscr {S},l} B \iff A^{-1}B\in \mathscr {S}\),
-
3.
\(A \le _{\mathscr {S},t} B \iff \{A^{-1}B, BA^{-1}\}\subset \mathscr {S}\).
Let us call these partial orders collectively the \(\mathscr {S}\)-orders on \(G_{{\mathbb {Z}}}\).
Theorem 1.2
If \(\le \) is an \(\mathscr {S}\)-order on \(G_{{\mathbb {Z}}}\), then the pair \((G({\mathbb {N}}),\le )\) is a locally finite poset.
Just as the torsion monoid of a unipotent numerical monoid \(\mathscr {S}\) has a strong order theoretic structure, the semigroups of ideals of \(\mathscr {S}\) also have a strong order theoretic property. We observe that, for a subset \(\mathscr {I}\subseteq \mathscr {S}\), the complement \(\mathscr {S}\setminus \mathscr {I}\) is a lower order ideal of the poset \((\mathscr {S},\le _{\mathscr {S},l})\) if and only if \(\mathscr {I}\) is a right ideal of \(\mathscr {S}\). Similarly, \(\mathscr {S}\backslash \mathscr {I}\) is a lower order ideal of the poset \((\mathscr {S},\le _{\mathscr {S},r})\) if and only if \(\mathscr {I}\) is a left ideal of \(\mathscr {S}\).
Two fundamental invariants of a numerical semigroup S are its Frobenius number and the set of pseudo-Frobenius elements. For unipotent numerical monoids, there are various sets that serve similar purposes. However, the Frobenius number is replaced by the Frobenius set. We proceed to introduce these important gadgets.
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(\mathscr {I}\) be a subset of \(\mathscr {S}\). The left Frobenius set of \(\mathscr {I}\) is defined by \(\texttt{F}_l(\mathscr {I}):= \{ A \in G({\mathbb {N}}) \mid A \notin \mathscr {S} \text { and } A(G({\mathbb {N}})^*)\subseteq \mathscr {I}\}\). The left pseudo-Frobenius set of \(\mathscr {I}\) is defined by \(\texttt{PF}_l(\mathscr {I}):= \{ A \in G({\mathbb {N}}) \mid A \notin \mathscr {S} \text { and } AS^*\subseteq \mathscr {I}\}\). The right sided as well as the two-sided versions of these sets are denoted by \(\texttt{F}_r(\mathscr {I}),\texttt{F}_t(\mathscr {I}), \texttt{PF}_r(\texttt{I})\), and \(\texttt{PF}_t(\mathscr {I})\). The definitions of these sets are similar to those of \(\texttt{F}_l(\mathscr {I})\) and \(\texttt{PF}_l(\mathscr {I})\). Notice that the inclusions \(\texttt{F}_l(\mathscr {I}) \subseteq \texttt{PF}_l(\mathscr {I})\), \(\texttt{F}_r(\mathscr {I})\subseteq \texttt{PF}_r(\mathscr {I})\), and \(\texttt{F}_t(\mathscr {I})\subseteq \texttt{PF}_t(\mathscr {I})\) always hold true. However, often these inclusions are strict inclusions.
We call a unipotent numerical monoid \(\mathscr {S}\) irreducible if there are no two unipotent numerical monoids \(\mathscr {T}_1\) and \(\mathscr {T}_2\), properly containing \(\mathscr {S}\) such that \(\mathscr {T}_1\cap \mathscr {T}_2 = \mathscr {S}\). The following theorems indicate that both Frobenius and the pseudo-Frobenius sets are critical notions for investigating the irreducibility.
Theorem 1.3
Let \(\mathscr {S}\) be a unipotent numerical monoid. If one of the following conditions hold true, then \(\mathscr {S}\) is irreducible:
-
(1)
If \(|\texttt{F}_l(\mathscr {S})|=1\) and for every \(A\in G({\mathbb {N}}){\setminus } \mathscr {S}\) we have \(\texttt{F}_l(\mathscr {S}) \cap A \mathscr {S} \ne \emptyset \);
-
(2)
If \(|\texttt{F}_r(\mathscr {S})|=1\) and for every \(A\in G({\mathbb {N}}){\setminus } \mathscr {S}\) we have \(\texttt{F}_r(\mathscr {S}) \cap \mathscr {S}A \ne \emptyset \);
-
(3)
If \(|\texttt{F}_t(\mathscr {S})|=1\) and for every \(A\in G({\mathbb {N}}){\setminus } \mathscr {S}\) we have \(\texttt{F}_t(\mathscr {S}) \cap \mathscr {S}A \cap A\mathscr {S} \ne \emptyset \).
In Theorem 1.3, the assumptions \(|\texttt{F}_l (\mathscr {S})|=|\texttt{F}_r (\mathscr {S})|=|\texttt{F}_t (\mathscr {S})|=1\) are crucial as the following counter-example shows.
Example 1.4
In Fig. 1, we depicted a commutative unipotent numerical monoid \(\mathscr {S}\) in \(\textbf{P}(3,{\mathbb {N}})\cong {\mathbb {N}} \times {\mathbb {N}}\). The shaded boxes indicate the lattice points that are contained in \(\mathscr {S}\). Hence, \(\mathscr {S}\) is given by
Since \(\mathscr {S}\) is commutative, the left, the right, and the two-sided Frobenius sets of \(\mathscr {S}\) are all equal. It is given by \(\texttt{F}_t(\mathscr {S}) = \{ (0,3), (3,0) \}\). It is easy to check that for every \(A\in \textbf{P}(3,{\mathbb {N}}) \setminus \mathscr {S}\) we have \(\texttt{F}_t(\mathscr {S}) \cap A \mathscr {S} \ne \emptyset \). However, \(\mathscr {S}\) is not irreducible since it is given by the intersection \(\mathscr {S}_1 \cap \mathscr {S}_2\), where
We show in Example 6.8 that the converse of Theorem 1.3 may fail to be true. In other words, there are irreducible unipotent numerical monoids such that \(\texttt{F}_l(\mathscr {S}) \cap A \mathscr {S} = \emptyset \) for some \(A\in G({\mathbb {N}}){\setminus } \mathscr {S}\).
Theorem 1.5
Let \(\mathscr {S}\) be a unipotent numerical monoid. If \(\mathscr {S}\) is irreducible, then we have \(|\texttt{F}_t(\mathscr {S})|=1\).
The converse of Theorem 1.5 also need not hold true. Simple counter examples exist already for the commutative cases.
The set of special gaps of a unipotent numerical monoid \(\mathscr {S}\) is the subsets \(\texttt{SG}(\mathscr {S})\subseteq \texttt{PF}_t(\mathscr {S})\) consisting of elements \(A\in \texttt{PF}_t(\mathscr {S})\) such that \(A^2 \in \mathscr {S}\). One of our main results is the following lattice theoretic characterization of the irreducible monoids.
Theorem 1.6
Let \(\mathscr {S}\) be a unipotent numerical monoid. Then \(\mathscr {S}\) is irreducible if and only if the torsion monoid \(Rel_T(\mathscr {S},\subseteq )\) has a unique minimal nontrivial idempotent and the two-sided Frobenius set of \(\mathscr {S}\) equals the set of special gaps.
A key concept in the study of numerical semigroups is the notion of a symmetric numerical semigroup. It has various equivalent descriptions, one of which is that for all \(x\in {{\mathbb {Z}}}\setminus S\), the Frobenius number \(|\texttt{F}(S)| - x\) is an element of S. Then it is known that S is irreducible. In our setup, an adaptation of this definition is suggested by Theorem 1.3. We call an irreducible unipotent numerical monoid symmetric if for every \(A\in G({\mathbb {N}})\setminus \mathscr {S}\) we have
Along similar lines, we call an irreducible unipotent numerical monoid pseudo-symmetric if the following two conditions are satisfied:
-
1.
there exists an element \(B\in G({\mathbb {N}})\setminus \mathscr {S}\) such that \(B^2 \in \texttt{F}_t(\mathscr {S})\), and
-
2.
for every \(A\in G({\mathbb {N}})\setminus (\mathscr {S} \sqcup \{B\})\) we have \(\texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \ne \emptyset \) or \( \texttt{F}_t(\mathscr {S})\cap \mathscr {S}A \ne \emptyset \).
An interesting property of the symmetric unipotent numerical monoids is that their Frobenius sets overlap with their pseudo-Frobenius sets (Proposition 8.4). We subsequently show by an example that this property need not hold for every pseudo-symmetric unipotent numerical monoid.
The definitions of symmetric and pseudo-symmetric unipotent numerical monoids allow us to partition the set of all irreducible unipotent numerical monoids. In this regard, we have the following result.
Theorem 1.7
Let \(\mathscr {S}\) be a unipotent numerical monoid. If \(\mathscr {S}\) is irreducible, then \(\mathscr {S}\) is either symmetric or pseudo-symmetric.
In fact, to establish this theorem, we prove an even stronger result (Theorem 8.6) within the main body of the text.
Let \(\mathscr {X}\) be a subset of \(G({\mathbb {N}})\). Let \(\leqslant \) be a partial order on \(G({\mathbb {N}})\) such that \(\textbf{1}_n\) is the unique minimal element with respect to \(\leqslant \). For \(A\in G({\mathbb {N}})\) and the poset \((\mathscr {X},\leqslant )\), we will use the following notation:
Note that we always have \(\texttt{n}(G({\mathbb {N}}) {\setminus } \mathscr {X},A, \leqslant ) = \texttt{g}(\mathscr {X},A, \leqslant )\). Hereafter we use \(\preceq \) to denote the partial order \(\le _{G({\mathbb {N}}),t}\) on \(G({\mathbb {N}})\).
Theorem 1.8
Let \(\mathscr {S}\) be a symmetric unipotent numerical monoid in \(G({\mathbb {N}})\) such that \(\texttt{F}_t(\mathscr {S}) = \{C\}\) for some \(C\in G({\mathbb {N}}){\setminus } \mathscr {S}\). If the additional condition \(\texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \cap \mathscr {S}A \ne \emptyset \) holds, then we have
In a recent publication [11], Delgado, García-Sánchez, and Rosales highlighted several important unsolved problems in the theory of numerical semigroups. It would be fascinating to explore how these problems might naturally extend to our non-commutative framework.
We are now ready to describe the structure of our paper and mention some additional results. In Sect. 2 we setup our notation and recall a few facts that were established in our earlier work [5]. In Sect. 3 we discuss the minimal generating sets of unipotent numerical monoids. We introduce the noncommutative analogs of the Apéry sets. For example, if A is an element of the complement \(G({\mathbb {N}})\setminus \mathscr {S}\), then the associated left Apéry set is defined by \(\texttt{Ap}_l(\mathscr {S}, A):= \{ B\in \mathscr {S} \mid A^{-1}B\notin \mathscr {S}\}\). We prove in Theorem 3.2 that \(\texttt{Ap}_l(\mathscr {S},A) \cup \{A\}\) is a generating set for \(\mathscr {S}\). Also in this section we show that the unique minimal generating set of \(\mathscr {S}\) is given by \(\mathscr {S}^*\setminus (\mathscr {S}^* \mathscr {S}^*)\). This is our Theorem 3.3. In Sect. 4 we initiate the theory of relative ideals for unipotent numerical monoids. Theorem 1.1 is proven in this section. In Sect. 5, we discuss the minimal generating sets of relative ideals. We prove our Theorem 1.2. In addition we show that a subset \(\mathscr {I}\subseteq \mathscr {S}\) is a right ideal if and only if the complement \(\mathscr {S}\setminus \mathscr {I}\) is a lower order ideal of the poset \((\mathscr {S},\le _{\mathscr {S},l})\). We record this result as Theorem 5.4. As we indicated earlier, one of the most important ingredients of our work is a notion of a (right, left, or two-sided) Frobenius set. We introduce this concept in Sect. 6, and we prove our Theorem 1.3. Then in Sect. 7, we introduce the corresponding pseudo-Frobenius sets. We prove Theorem 1.5 in that section. Additionally, we discuss the relationships between the pseudo-Frobenius sets and the Apéry sets, generalizing the well-known situation from the setting of numerical semigroups to the unipotent numerical monoids. The last result of Sect. 7 relates the irreducibility of unipotent numerical monoid to its torsion monoid and the set of special gaps. More precisely, we prove Theorem 1.6. Finally, in Sect. 8, we discuss the symmetric and pseudo-symmetric unipotent numerical monoids. We prove our Theorems 1.7 and 1.8.
2 Notation and preliminaries
The set of positive integers (resp. nonnegative integers) is denoted by \({{\mathbb {Z}}}_+\) (resp. \({\mathbb {N}}\)). For \(n\in {{\mathbb {Z}}}_+\), the \(n\times n\) identity matrix will be denoted by \(\textbf{1}_n\). Let \(\mathscr {M}\) be a monoid. Let \(*\) denote the multiplication in \(\mathscr {M}\). Let \(\mathscr {B} \subset \mathscr {M}\). We denote by \(\langle \mathscr {B} \rangle \) the submonoid generated by \(\mathscr {B}\) and the unit e of \(\mathscr {M}\), that is,
We call \(\mathscr {M}\) a cancellative monoid if for all \(a, b, c \in \mathscr {M}\) the following implications hold true:
-
Left cancellation law: if \( a* b = a*c \), then \( b = c \).
-
Right cancellation law: if \( b*a = c*a \), then \( b = c \).
In other words, a cancellative monoid is a monoid in which the cancellation property holds for both left and right multiplication. For example, if \(\mathscr {M}\) is a submonoid of a group, then \(\mathscr {M}\) is automatically a cancellative monoid. All unipotent numerical monoids that we consider in this article are cancellative monoids.
Let \(n\in {{\mathbb {Z}}}_+\). Hereafter, G will denote either the full unipotent group \(\textbf{ U}(n,{{\mathbb {C}}})\) or a closed subgroup of \(\textbf{ U}(n,{{\mathbb {C}}})\) such that \(G({\mathbb {N}})\) is finitely generated. In addition we require that \(G_{{\mathbb {Z}}}\) is the group completion of the monoid \(G({\mathbb {N}})\). This is indeed the case for the group \(\textbf{U}(n,{{\mathbb {Z}}})\) since both \(\textbf{U}(n,{\mathbb {N}})\) and \(\textbf{U}(n,{{\mathbb {Z}}})\) are generated by the same set of elements, which we will review below.
We observe that when \(n=2\), the unipotent numerical monoids in \(\textbf{U}(n,{{\mathbb {Z}}})\) coincide with the numerical semigroups in \({\mathbb {N}}\). Consequently, our results in this article can be regarded as extensions of some fundamental concepts of numerical semigroups into a noncommutative framework. It is worth mentioning for motivational purposes that the theory of numerical semigroups is a classical subject in algebra, finding applications in algebraic geometry, coding theory, cryptography, number theory, and combinatorics. Comprehensive introductory material on numerical semigroups can be found in the monographs [1] and [20]. The natural extensions of numerical semigroups are termed ‘generalized numerical semigroups.’ These semigroups are finitely generated co-finite submonoids of \({\mathbb {N}}^{n-1}\). In particular, they are commutative monoids. For a deeper understanding of finitely generated cancellative commutative monoids, readers are directed to the monograph [19]. These resources also offer comprehensive bibliographies, serving as valuable gateways to the commutative semigroup literature.
Let \(\mathscr {S}\) be a unipotent numerical monoid in \(G({\mathbb {N}})\). Many important features of \(\mathscr {S}\) become visible once it is intersected with the k-th fundamental unipotent monoid defined by
where \(k\in {{\mathbb {Z}}}_+\). The generating number of \(\mathscr {S}\), denoted \(\texttt{r}(\mathscr {S})\), is the smallest positive integer \(k\in {{\mathbb {Z}}}_+\) such that \((\textbf{U}(n,{\mathbb {N}})_{k}\cap G({\mathbb {N}})) \subseteq \mathscr {S}\). The following sets are among the essential ingredients of unipotent numerical monoids:
-
\(\texttt{Gaps}(\mathscr {S}):= G({\mathbb {N}}) \setminus \mathscr {S}\) and \(\texttt{g}(\mathscr {S}):= |\texttt{Gaps}(\mathscr {S}) |\),
-
\(\texttt{N}(\mathscr {S}):= \{\textbf{ 1}_n \} \cup \mathscr {S} {\setminus } \textbf{U}(n,{{\mathbb {C}}})_{\texttt{r}(\mathscr {S})}\) and \(\texttt{n}(\mathscr {S}):=|\texttt{N}(\mathscr {S})|\).
Let \(\textbf{d}_G\) denote the dimension of the ambient algebraic group G. While the concept of dimension has not been explicitly defined, for simplicity, we refer to \(\textbf{d}_G\) as the dimension of \({\mathscr {S}}\) as well. Next, we define
Let us identify for \(\textbf{U}(n,{\mathbb {N}})\) (\(n\ge 2\)) the unique minimal system of generators. Let \(\{i,j\} \subset \{1,\dots , n\}\). The (i, j)-th elementary matrix of size n is the matrix
When the integer n is evident from the context, we will exclude it from the notation of elementary matrices. The following simple observation was recorded in [5].
Proposition 2.1
The set \(\{ E_{i,j}:\ 1\le i < j \le n\}\) is the unique minimal generating set for \(\textbf{U}(n,{\mathbb {N}})\).
The monoid \(\textbf{U}(n,{\mathbb {N}})\) is filtered by the fundamental monoids. Indeed, for \(k\in {\mathbb {N}}\), let us denote by \(M_k\) the \((k+1)\)-th fundamental monoid of \(\textbf{U}(n,{\mathbb {N}})\). Then we have the containments,
Recall from the introduction that \(\textbf{P}(n,{{\mathbb {C}}})\) is the closed subgroup of \(\textbf{U}(n,{{\mathbb {C}}})\) whose only nonzero terms are on its first row and the main diagonal. The k-th fundamental monoid of \(\textbf{P}(n,{\mathbb {N}})\) is defined by
Similarly to the monoid \(\textbf{U}(n,{\mathbb {N}})\), the commutative monoid \(\textbf{P}(n,{\mathbb {N}})\) is filtered by the fundamental monoids as well. For \(k\in {\mathbb {N}}\), let \(M_k'\) denote \(\textbf{P}(n,{\mathbb {N}})_{k+1}\). Then we have
A partial order on \(\textbf{U}(n,{{\mathbb {Z}}})\) that we make use of is the entrywise order, which is defined as follows:
where \(A=(a_{ij})_{1\le i,j\le n}\) and \(B=(b_{ij})_{1\le i,j\le n}\) are from \(G_{{\mathbb {Z}}}\).
One of our notational conventions regarding partial orders is as follows: if \((P, \le )\) is a partially ordered set, then \(\max _\le (P)\) denotes the set of maximal elements of P, not the maximum element of P.
We close this section by introducing one more notation. For \(\mathscr {I}\subseteq G({\mathbb {N}})\), we denote by \(\mathscr {I}^*\) the set difference
3 Apéry sets of unipotent numerical monoids
A numerical semigroup is a complement-finite subsemigroup of \({\mathbb {N}}\). Let S be a numerical semigroup. The subsemigroup of nonzero elements of S is typically denoted by \(S^*\). Let \(n\in S^*\). The Apéry set, denoted by \(\mathop {Ap}(n,S)\), is the set of elements \(x\in S\) such that x can not be decomposed as \(x=n+s\) for any \(s\in S\). Equivalently, we have
These sets provide essential tools for the study of a numerical semigroup. Our goal in this section is to generalize the Apéry sets to the setting of the unipotent numerical monoids.
Definition 3.1
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(A\in \mathscr {S}^*\). The left Apéry set of \((\mathscr {S},A)\) is defined by
The right Apéry set of \((\mathscr {S},A)\) is defined by
The two-sided Apéry set of \((\mathscr {S},A)\) is defined by
Note that we always have
Theorem 3.2
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(A\in \mathscr {S}^*\). Then we have
-
1.
\(L_l:=\texttt{Ap}_l(\mathscr {S},A) \cup \{A\}\) is a generating set for \(\mathscr {S}\).
-
2.
\(L_r:=\texttt{Ap}_r(\mathscr {S},A) \cup \{A\}\) is a generating set for \(\mathscr {S}\).
Proof
The proof of (2) is very similar to the proof of (1). We will prove (1) only.
Since \(A^{-1}\) has a negative entry, we see that \(\textbf{ 1}_n\in \texttt{Ap}_l(\mathscr {S},A)\). Now let \(B\in \mathscr {S}^*\). If \(B\in L_l\), then we have nothing to prove. We proceed with the assumption that \(B\in {\mathscr {S}}\backslash L_l\). Since B is not an element of \(\texttt{Ap}_l(\mathscr {S},A)\), we have \(A^{-1}B\in \mathscr {S}^*\). If \(A^{-1}B\) is an element of \(\texttt{Ap}_l(\mathscr {S},A)\), then by writing B in the form \(B= A(A^{-1}B)\) we see that \(B \in \langle L_l\rangle \). Let us assume that \(A^{-1}B\) is not an element of \(\texttt{Ap}_l(\mathscr {S},A)\). Then we have \(A^{-2}B\in \mathscr {S}^*\). If \(A^{-2}B\in \texttt{Ap}_l(\mathscr {S},A)\), then the proof is finished since we can write \(B=A^2 (A^{-2}B)\). We now assume that \(A^{-2}B\notin \texttt{Ap}_l(\mathscr {S},A)\). Then we have \(A^{-3}B\in \mathscr {S}^*\). Continuing inductively, we notice that this process must stop after a finite number of steps since at least one entry of \(A^{-r}B\), \(r=0,1,2,\dots \) continues to decrease indefinitely. Hence, we conclude that for some \(k\in \mathbb { N}\) the product \(A^{-k}B\) is an element of \(\texttt{Ap}_l(\mathscr {S},A)\). But this means that \(B=A^k\,(A^{-k}B)\), implying \(B\in \langle L_l\rangle \). This finishes the proof of our theorem. \(\square \)
After proving the existence of a minimal generating set for \(\mathscr {S}\) we will show that the two-sided Apéry set is also a generating set.
In our earlier work, we proved that the unipotent numerical monoids have a unique minimal generating set. Now we write down a practical description of such a generating set.
Theorem 3.3
Let \(\mathscr {S}\) be a unipotent numerical monoid in \(G({\mathbb {N}})\), where G is a closed subgroup of \(\textbf{U}(n,{{\mathbb {C}}})\). Then the unique minimal generating set of \(\mathscr {S}\) is given by \(\mathscr {S}^*{\setminus } (\mathscr {S}^* \mathscr {S}^*)\).
Proof
Let \(k\ge 2\), and define
We know from [5, Lemma 2.9] that \({\mathscr {Q}}_k\sqcup \{\text {sporadic elements}\}\), where k is the generating number of \(\mathscr {S}\), is a generating set for \(\mathscr {S}\) despite the fact that it might be non-minimal. Let \({\mathscr {A}}=\mathscr {S}^*\setminus (\mathscr {S}^*\mathscr {S}^*)\) and \({\mathscr {B}}\) be another minimal generating set. Let \(B\in {\mathscr {B}}{\setminus } {\mathscr {A}}\). Then \(B\in \mathscr {S}^*\mathscr {S}^*\). Therefore, we have two elements \(A,C\in \mathscr {S}^*\) such that \(B=AC\). Since A and C are contained in \(\langle {\mathscr {B}}\rangle \), we see that \({\mathscr {B}}\setminus \{B\}\) is a generating set, contradicting the minimality of \({\mathscr {B}}\). In conclusion, we have \({\mathscr {B}}\setminus {\mathscr {A}}=\emptyset \). In other words, \({\mathscr {B}}\subseteq {\mathscr {A}}\) holds.
For the reverse inclusion, let \(A\in {\mathscr {A}}\). Then we write A as a product of the elements of \({\mathscr {B}}\) as follows: \(A=\prod _{i}B_i^{n_i}\) where \(B_i\in {\mathscr {B}}\) for every i. Since \(A\in {\mathscr {A}}\), we have a unique index i such that \(n_i=1\), and \(n_j=0\) for every \(j\ne i\). Hence, \(A=B_i\in {\mathscr {B}}\) implying that \({\mathscr {A}}\subseteq {\mathscr {B}}\). This finishes the proof of our theorem. \(\square \)
Corollary 3.4
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(A\in \mathscr {S}\). Then \(L_{t}:= \{A\}\cup \texttt{Ap}_{t}(\mathscr {S},A)\) is a generating set for \(\mathscr {S}\).
Proof
We already know that \(L_l:= \texttt{Ap}_{t}(\mathscr {S},A) \cup \{A\}\) and \(L_r:=\texttt{Ap}_{t}(\mathscr {S},A) \{A\}\) are generating sets for \(\mathscr {S}\). Let \(\mathscr {E}=\mathscr {S}^*\setminus (\mathscr {S}^*\mathscr {S}^*)\) denote the unique minimal generating set of \(\mathscr {S}\). Then \(\mathscr {E}\) is a subset of both \(L_l\) and \(L_r\). Otherwise, for \(A\in \mathscr {E} {\setminus } L_l\), the element A does not belong to the subset \(\langle L_l \rangle \), which is absurd. But it is evident from the definitions that \(L_{t}= L_l \cap L_r\). Hence, \(L_{t}\) contains \(\mathscr {E}\). This finishes the proof of our assertion. \(\square \)
4 Semigroups of relative ideals
Throughout this section, we assume that \(\mathscr {S}\) is a unipotent numerical monoid of a unipotent algebraic subgroup \(G\subset \textbf{U}(n,{{\mathbb {C}}})\). The cases we have in mind are \(G= \textbf{U}(n,{{\mathbb {C}}})\) or \(G=\textbf{P}(n,{{\mathbb {C}}})\). The following notational conventions will be used throughout the paper.
Let \(\mathscr {I}\) and \(\mathscr {J}\) be two subsets of \(\mathscr {S}\). The set \(\{ XY\mid X\in \mathscr {I},\ Y\in \mathscr {J} \}\) will be denoted by \(\mathscr{I}\mathscr{J}\). We now proceed to define the notion of a relative ideal.
Recall that a subset \(\mathscr {I} \subseteq G({\mathbb {N}})\) is called a relative right ideal of \(\mathscr {S}\) if the inclusion \(\mathscr {I}\mathscr {S} \subseteq \mathscr {I}\) holds.
Example 4.1
Both \(\mathscr {S}\) and its maximal subsemigroup \(\mathscr {S}^*\) are automatically right relative ideals of \(\mathscr {S}\).
We denote the set of all relative right ideals by \(Rel_R(\mathscr {S})\). Now, if T is a semigroup, an element \(e\in T\) is said to be a right identity element of T if \(xe =x\) holds for all \(x\in T\).
Proposition 4.2
The product \((\mathscr {I},\mathscr {J}) \mapsto \mathscr{I}\mathscr{J}\) endows \(Rel_R(\mathscr {S})\) with a structure of a semigroup. Furthermore, the relative right ideal \(\mathscr {S}\) is a right identity element of \(Rel_R(\mathscr {S})\).
Proof
First of all, if \((\mathscr {I},\mathscr {J}) \in Rel_R(\mathscr {S})\times Rel_R(\mathscr {S})\), then
is a relative right ideal of \(\mathscr {S}\). This follows from the following simple observation:
The associativity of the product \((\mathscr {I},\mathscr {J}) \mapsto \mathscr{I}\mathscr{J}\) follows from the associativity of the matrix multiplication. We already pointed out in Example 4.1 that \(\mathscr {S} \in Rel_R(\mathscr {S})\). Since for every relative right ideal \(\mathscr {I}\) of \(\mathscr {S}\) we have \(\mathscr {I}\mathscr {S}\subseteq \mathscr {I}\), and since \(\mathscr {S}\) contains the identity matrix \(\textbf{1}_n\), we see that \(\mathscr {I}\mathscr {S} = \mathscr {I}\). Therefore, \(\mathscr {S}\) is a right identity element of \(Rel_R(\mathscr {S})\). This finishes the proof of our proposition. \(\square \)
Recall that a relative left ideal of \(\mathscr {S}\) is a subset \(\mathscr {I}\subseteq G({\mathbb {N}})\) such that \(\mathscr {S} \mathscr {I} \subseteq \mathscr {I}\). A subset \(\mathscr {I}\subseteq \mathscr {S}\) is said to be a relative (two-sided) ideal of \(\mathscr {S}\) if it is both a relative right ideal and a relative left ideal of \(\mathscr {S}\). A right ideal (resp. left ideal, resp. ideal) of \(\mathscr {S}\) is a relative right (resp. left, resp. two-sided) ideal \(\mathscr {I}\subset G({\mathbb {N}})\) such that \(\mathscr {I}\subseteq \mathscr {S}\). We call a right (resp. left, resp. two-sided) ideal of \(\mathscr {S}\) proper if \(\mathscr {I}\ne \mathscr {S}\).
Example 4.3
Let \(\mathscr {S}\) be a unipotent numerical monoid in \(\textbf{U}(n,{\mathbb {N}})\). Recall that \(\texttt{r}(\mathscr {S})\) denotes the generating number of \(\mathscr {S}\). Let k be an integer such that \(k\ge \texttt{r}(\mathscr {S})\). Then the k-th fundamental monoid \(\textbf{U}(n,{\mathbb {N}})_k\) is an ideal of \(\mathscr {S}\).
Similarly to how the semigroup \(Rel_R(\mathscr {S})\) is constructed, we can analogously construct semigroups corresponding to relative left ideals and relative ideals. These semigroups are denoted as \(Rel_L(\mathscr {S})\) and \(Rel_{T}(\mathscr {S})\), respectively.
Theorem 4.4
The set \(Rel_T(\mathscr {S})\) is a monoid with the identity element \(\mathscr {S}\).
Proof
The semigroup property of \(Rel_T(\mathscr {S})\) is evident. It is also evident that the relative ideal \(\mathscr {S}\) serves as both the right identity and the left identity element for the product \((\mathscr {I},\mathscr {J})\mapsto \mathscr{I}\mathscr{J}\), where \(\{\mathscr {I},\mathscr {J}\}\subset Rel_T(\mathscr {S})\). \(\square \)
We have two remarks in order.
Remark 4.5
There are no nontrivial invertible elements in \(Rel_T(\mathscr {S})\). Indeed, if \(\mathscr {I}\) is an invertible element of \(Rel_T(\mathscr {S})\) such that \(\mathscr {I}\ne \mathscr {S}\), then there exists \(\mathscr {J}\in Rel_T(\mathscr {S})\) such that \(\mathscr{I}\mathscr{J}=\mathscr {S}\). This means that both \(\mathscr {I}\) and \(\mathscr {J}\) contains \(\textbf{1}_n\). It follows that 1) \(\mathscr {S}\subseteq \mathscr {I}\), and 2) \(\mathscr {I}\subseteq \mathscr{I}\mathscr{J}=\mathscr {S}\). Then we find that \(\mathscr {I}=\mathscr {S}\), which is absurd.
Remark 4.6
Let \(\mathscr {S}\) be a commutative unipotent numerical monoid. Then we have
The elements \(\mathscr {I}\in Rel_T(\mathscr {S})\) such that \(\textbf{1}_n\in \mathscr {I}\) form a finite submonoid of \(Rel_T(\mathscr {S})\). Indeed, if \(\mathscr {I}\) and \(\mathscr {J}\) are two relative ideals containing \(\textbf{ 1}_n\), then \(\textbf{1}_n\) is still an element of \(\mathscr{I}\mathscr{J}\). Furthermore, in this case we have \(\mathscr {I}\cup \mathscr {J}\subseteq \mathscr{I}\mathscr{J}\). Finally, if a relative ideal \(\mathscr {I}\) contains \(\textbf{1}_n\), then it contains the whole unipotent numerical monoid \(\mathscr {S}\). It follows that there are only finitely many relative ideals \(\mathscr {I}\) of \(\mathscr {S}\) such that \(\textbf{1}_n\in \mathscr {I}\).
Definition 4.7
Let \(\mathscr {S}\) be a unipotent numerical monoid. The torsion monoid of \(\mathscr {S}\) is the finite submonoid
Lemma 4.8
Let \(\mathscr {I}\) be an element of \(Rel_T(\mathscr {S},\subseteq )\). Then \(\mathscr {I}\) is a unipotent numerical monoid if and only if \(\mathscr {I}\) is an idempotent.
Proof
If \(\mathscr {I}^2=\mathscr {I}\) holds, then \(\mathscr {I}\) is closed under multiplication. Since \(\textbf{1}_n\in \mathscr {I}\) and \(\mathscr {S}\subseteq \mathscr {I}\), \(\mathscr {I}\) is a completement finite submonoid of \(G({\mathbb {N}})\).
Conversely, if \(\mathscr {I}\) is a unipotent numerical monoid, then \(\mathscr {I}\) is closed under products, that is, \(\mathscr {I}^2\subseteq \mathscr {I}\). In particular, since \(\textbf{1}_n\in \mathscr {I}\), we see that \(\mathscr {I}^2 = \mathscr {I}\). \(\square \)
Theorem 4.9
Let \(\mathscr {S}\) be a unipotent numerical monoid. Then the semigroups \(Rel_R(\mathscr {S})\), \(Rel_L(\mathscr {S})\), and \(Rel_T(\mathscr {S})\) are closed under finite intersections and finite unions.
Proof
We will prove our theorem for \(Rel_R(\mathscr {S})\) only since the proofs of the other two cases are similar.
Let \(\mathscr {I}\) and \(\mathscr {J}\) be two relative right ideals of \(\mathscr {S}\). Then we have
-
1.
\((\mathscr {I}\cup \mathscr {J}) \mathscr {S} = (\mathscr {I}\mathscr {S}) \cup (\mathscr {J}\mathscr {S}) \subseteq (\mathscr {I}\cup \mathscr {J})\), and
-
2.
\((\mathscr {I}\cap \mathscr {J}) \mathscr {S} \subseteq (\mathscr {I}\mathscr {S}) \cap (\mathscr {J}\mathscr {S}) \subseteq (\mathscr {I}\cap \mathscr {J})\).
Hence, the proof of our theorem follows. \(\square \)
Notation 4.10
Hereafter, the set of all idempotents of a semigroup X will be denoted by E(X). The neutral element of X will be referred to as the trivial idempotent of X.
Corollary 4.11
Let \(\mathscr {S}\) be a unipotent numerical monoid. Then \(Rel_T(\mathscr {S},\subseteq )\) is closed under unions and intersections. In particular, the set of idempotents \(E(Rel_T(\mathscr {S},\subseteq ))\) is a lattice.
Proof
The fact that the monoid \(Rel_T(\mathscr {S},\subseteq )\) is closed under finite unions and finite intersections is clear from Theorem 4.9. Since \(Rel_T(\mathscr {S},\subseteq )\) is finite and contains \(G({\mathbb {N}})\) as the unique maximal element, to show that \(E(Rel_T(\mathscr {S},\subseteq ))\) is a lattice, it suffices to show that \(E(Rel_T(\mathscr {S},\subseteq ))\) is closed under intersections. Let \(\mathscr {I}\) and \(\mathscr {J}\) be two idempotents from \(Rel_T(\mathscr {S},\subseteq )\). To this end, we observe that
The reverse inclusion automatically holds since \(\textbf{1}_n \in \mathscr {I} \cap \mathscr {J}\). Hence, the intersection \(\mathscr {I}\cap \mathscr {J}\) is an idempotent as well. This finishes the proof of our corollary. \(\square \)
In general, \(Rel_T(\mathscr {S},\subseteq )\) and its set of idempotents \(E(Rel_T(\mathscr {S},\subseteq ))\) are not equal.
Example 4.12
Let \(\mathscr {S}\) denote the k-th fundamental monoid of \(\textbf{P}(n,{\mathbb {N}})\). Then each element of \(Rel_T(\mathscr {S},\subseteq )\) is of the form \(\mathscr {S} \cup \bigcup _{A\in \mathscr {A}} A\mathscr {S}\), where \(\mathscr {A}\) is a subset of the gap set of \(\mathscr {S}\). We want to emphasize that not every element of \(Rel_T(\mathscr {S},\subseteq )\) is a unipotent numerical monoid. Indeed, on the left side of Fig. 2, we have a relative ideal of \(\mathscr {S}:=\textbf{P}(3,{\mathbb {N}})_2\), which is a unipotent numerical monoid itself. On the right side of the same figure, we have a relative ideal that is not a unipotent numerical monoid. The points colored in blue are the minimal generators of the ideals.
The idempotents of \(Rel_T(\mathscr {S},\subseteq )\) are given by
In Fig. 3, we have the Hasse diagram of the lattice of idempotents \(E(Rel_T(\mathscr {S},\subseteq ))\).
An idempotent semigroup is a semigroup whose elements are idempotents. Such semigroups are often referred to as bands.
Proposition 4.13
Let \(\mathscr {S}\) be a unipotent numerical monoid. If \(\mathscr {S}\) is commutative, then \(E(Rel_T(\mathscr {S},\subseteq ))\) is a commutative band.
Proof
It suffices to show that if \(\mathscr {I}\) and \(\mathscr {J}\) are two idempotent ideals from \(Rel_T(\mathscr {S},\subseteq )\), then \((\mathscr {I}\mathscr {J})^2 = \mathscr {I}\mathscr {J}\) and \(\mathscr {I}\mathscr {J} = \mathscr {J}\mathscr {I}\). Since \(\mathscr {S}\) is commutative, the elements of \(\mathscr {I}\) and \(\mathscr {J}\) commute with each other, showing that \(\mathscr {I}\mathscr {J}=\mathscr {J}\mathscr {I}\). In particular, we have
This finishes the proof. \(\square \)
Remark 4.14
In the proof of Proposition 4.13, replacing \(Rel_T(\mathscr {S},\subseteq )\) with \(Rel_T(\mathscr {S})\), we see that if \(\mathscr {S}\) is a commutative unipotent numerical monoid, then the idempotents of \(Rel_T(\mathscr {S})\) form a commutative band.
We are now ready to prove the first stated theorem from the introduction. Let us recall its statement for the convenience of the reader.
An element \(\mathscr {T}\) of \(Rel_T(\mathscr {S},\subseteq )\) is an idempotent if and only if \(\mathscr {T}\) is a unipotent numerical monoid. Furthermore, if \(\mathscr {S}\) is commutative, then the idempotents of \(Rel_T(\mathscr {S},\subseteq )\) form a band.
Proof of Theorem 1.1
The proof follows readily from Lemma 4.8 and Proposition 4.13. \(\square \)
Recall that a unipotent numerical monoid \(\mathscr {S}\) is called irreducible if it cannot be written as an intersection of the form \(\mathscr {S}={\mathscr {T}}_1 \cap {\mathscr {T}}_2\), where \({\mathscr {T}}_i\) (\(i\in \{1,2\}\)) is a unipotent numerical monoid properly containing \(\mathscr {S}\). The torsion monoid of \(\mathscr {S}\) captures this property in a lattice theoretic way. We will discuss this connection in a greater detail after we introduce the pseudo-Frobenius sets.
5 Generating sets and order ideals
In this section, we discuss the generating sets of relative ideals in relation with the partial orders that we introduced in the introduction section.
Let \(\mathscr {I}\) be a relative right ideal of \(\mathscr {S}\). A subset \({\mathscr {E}}\subseteq \mathscr {I}\) is called a set of generators for \(\mathscr {I}\) if every element \(D\in \mathscr {I}\) can be written in the form \(D=AB\) for some \(A\in {\mathscr {E}}\) and \(B\in \mathscr {S}\). In other words, a subset \({\mathscr {E}}\subset \mathscr {I}\) is a set of generators for \(\mathscr {I}\) if \(\mathscr {I}\) is given by
A relative right ideal is said to be finitely generated if it has a finite set of generators.
Lemma 5.1
The set \(\mathscr {I}\setminus \mathscr {I}^*\mathscr {S}^*\) is the unique minimal generating set for \(\mathscr {I}\).
Proof
Let \(\mathscr {F}\) denote \(\mathscr {I}\setminus \mathscr {I}^*\mathscr {S}^*\). The fact that \(\mathscr {F}\) must be a part of any generating set for \(\mathscr {I}\) does not require a proof.
Let \(X_0\in \mathscr {I}^*\mathscr {S}^*\). Then \(X_0 = X_1A_1\) for some \(X_1\in \mathscr {I}^*\) and \(A_1\in \mathscr {S}^*\). Assume that \(X_1\notin \mathscr {F}\). Then, there exists \(X_2 \in \mathscr {I}^*\) and \(A_2\in \mathscr {S}^*\) such that \(X_1 = X_2 A_2\). Hence, we have \(X_0 = X_2 A_2A_1\). We proceed inductively to construct decompositions,
where \(A_i \in \mathscr {S}^*\) and \(X_i\in \mathscr {I}^*\) for \(i=1,2,\dots \). But since all matrices involved in these decompositions are from \(G({\mathbb {N}})\), in each decomposition, the entries of the matrices get smaller. Hence, this process terminates after finitely many iterations. At the end, we arrive at a decomposition
where \(X_r \in \mathscr {I}{\setminus } (\mathscr {I}^*\mathscr {S}^*)\) and \(A_r A_{r-1} \cdots A_2 A_1\in \mathscr {S}^*\). It follows that the set \(\mathscr {I}\setminus (\mathscr {I}^*\mathscr {S}^*)\) is a minimal generating set for the relative right ideal \(\mathscr {I}\). \(\square \)
The generating set of a relative right ideal has a convenient interpretation via the partial orders that we described in the introduction.
Lemma 5.2
Let \(\mathscr {I}\) be a relative right ideal. Then the unique minimal generating set of \(\mathscr {I}\) is given by the set of minimal elements of \(\mathscr {I}^*\) with respect to \(\le _{\mathscr {S},l}\), denoted \(\textrm{Minimals}_{\le _{\mathscr {S},l}} \mathscr {I}^*\).
Proof
Since every element \(B\in \mathscr {I}^*\) is greater than or equal to some minimal element \(A\in \textrm{Minimals}_{\le _{\mathscr {S},l}} \mathscr {I}^*\), we have \(B\in A\mathscr {S}\). But this means that \(\textrm{Minimals}_{\le _{\mathscr {S},l}} \mathscr {I}^*\) generates \(\mathscr {I}\). Hence, the unique minimal generating set \(\mathscr {I}\setminus \mathscr {I}^*\mathscr {S}^*\) is contained in \(\textrm{Minimals}_{\le _{\mathscr {S},l}} \mathscr {I}^*\). Conversely, suppose A is an element of the minimum under \(\le _{\mathscr {S}, l}\) of \(\mathscr {I}^*\), then A cannot be contained in \(\mathscr {I}^* \mathscr {S}^*\). Otherwise, this would contradict the minimality of A. Therefore, A is an element of \(\mathscr {I}{\setminus } \mathscr {I}^*\mathscr {S}^*\). This finishes the proof of our assertion. \(\square \)
In the rest of this section we establish an important combinatorial characterization of the ideals of a unipotent numerical monoid. We continue with the discussion of a general order theoretic property. Let G denote either \(\textbf{U}(n,{{\mathbb {C}}})\) or \(\textbf{P}(n,{{\mathbb {C}}})\). We recall the statement of Theorem 1.2 from the introduction:
Let \(\le \) denote one of the following partial orders: \(\le _{\mathscr {S},l}\), \(\le _{\mathscr {S},r}\), or \(\le _{\mathscr {S},t}\). Then \((G({\mathbb {N}}),\le )\) is a locally finite poset.
Proof of Theorem 1.2
Without loss of generality we will assume that \(\le \) is the order \(\le _{\mathscr {S},l}\). The proofs of the other cases are similar.
Let [A, B] be an interval in \((G({\mathbb {N}}),\le )\). Then for every \(C\in [A,B]\) we have \(A\le C\) and \(C\le B\). Equivalently, for every \(C\in [A,B]\) we have \(A^{-1}C \in \mathscr {S}\) and \(C^{-1}B \in \mathscr {S}\). Also, equivalently, for every \(C\in [A,B]\) we have \(C\in A\mathscr {S}\) and \(B\in C\mathscr {S}\). It follows that if A, B, and C are given by \(A=(a_{ij})_{1\le i,j\le n}\), \(B=(b_{ij})_{1\le i,j\le n}\), and \(C=(c_{ij})_{1\le i,j\le n}\), then \(a_{ij}\le c_{ij} \le b_{ij}\) for every \(1\le i,j\le n\). Now, let us assume towards a contradiction that the interval [A, B] has infinitely many elements. Then there are infinitely many matrices \(C(l):= (c_{ij}(l))_{1\le i,j\le n}\), \(l=1,2,\dots \) in [A, B] such that \(C(l) \in A\mathscr {S}\) and \(B\in C(l)\mathscr {S}\). But then there exists a matrix coordinate (i, j), where \(1\le i < j\le n\), such that \(c_{ij}(l) \rightarrow \infty \) as \(l\rightarrow \infty \). This means that \(b_{ij}\rightarrow \infty \) as \(l\rightarrow \infty \). Clearly, this is impossible since the entries of B are fixed integers. Therefore, [A, B] has only finitely many elements. \(\square \)
We proceed to characterize the ideals of \(\mathscr {S}\) by using \(\mathscr {S}\)-orders.
Definition 5.3
Let \((P,\le )\) be a poset. A subset \(L\subseteq P\) is called a lower order ideal of P if for every \(y\in L\) and \(x\in P\), the relation \(x\le y\) implies that \(x\in L\).
Theorem 5.4
Let \(\mathscr {I}\) be a subset of \(\mathscr {S}\). Then the following statements are equivalent:
-
(1)
\(\mathscr {S}\setminus \mathscr {I}\) is a lower order ideal of the poset \((\mathscr {S},\le _{\mathscr {S},l})\).
-
(2)
\(\mathscr {I}\) is a right ideal of \(\mathscr {S}\).
Proof
Let us assume that \(\mathscr {S}\setminus \mathscr {I}\) is a lower order ideal of \((\mathscr {S},\le _{\mathscr {S},l})\). This means that if \(B\in \mathscr {S}{\setminus } \mathscr {I}\) and \(A\in \mathscr {S}\) are two elements such that \(A \le _{\mathscr {S},l} B\), then A is an element of \(\mathscr {S}{\setminus } \mathscr {I}\) as well. Let \(X\in \mathscr {I}\) and \(Y\in \mathscr {S}\). We assume towards a contradiction that \(XY\notin \mathscr {I}\). Then \(XY\in \mathscr {S}{\setminus } \mathscr {I}\) as \(\mathscr {I}\subseteq \mathscr {S}\). Since \(Y\in \mathscr {S}\), the relation \(X \le _{\mathscr {S},l} XY\) holds. Then the lower order ideal property of \(\mathscr {S}\setminus \mathscr {I}\) implies that \(X\in \mathscr {S}{\setminus } \mathscr {I}\), contradicting our initial assumption that \(X\in \mathscr {I}\). This shows that (1) implies (2).
Conversely, we assume that \(\mathscr {I}\) is a right ideal of \(\mathscr {S}\). Let \(A\in \mathscr {S}\) and \(B\in \mathscr {S}\setminus \mathscr {I}\) be two elements such that \(A\le _{\mathscr {S},l} B\). We will show that \(A\in \mathscr {S}{\setminus } \mathscr {I}\). Now, \(A\le _{\mathscr {S},l} B\) implies that \(A^{-1}B\in \mathscr {S}\) or that \(B\in A\mathscr {S}\). Of course, if A is an element of \(\mathscr {I}\), then \(A\mathscr {S}\subset \mathscr {I}\) implies that \(B\in \mathscr {I}\), contradicting our initial assumption that \(B\in \mathscr {S}{\setminus } \mathscr {I}\). Therefore, we have \(A\in \mathscr {S}{\setminus } \mathscr {I}\) as claimed. This shows that (2) implies (1).
Hence, the proof of our theorem is complete. \(\square \)
Remark 5.5
The proof of our theorem extends naturally to left ideals and two-sided ideals of \(\mathscr {S}\). However, for brevity, we omit the statements and proofs here.
6 Frobenius sets
As we mentioned in the introduction, a noncommutative unipotent numerical monoid has several Frobenius sets. Recall that the Frobenius sets of a subset \(\mathscr {I}\subseteq \mathscr {S}\), where \(\mathscr {S}\) is a unipotent numerical monoid, are defined by
In particular, we have
Notice that the Frobenius sets are always non-empty since every maximal element with respect to the entrywise order in \(G(\mathbb { N})\backslash \mathscr {S}^*\) is an element of the Frobenius set. We proceed with another remark.
Remark 6.1
If A and B are two elements from \(\texttt{F}_l (\mathscr {S})\), then there is no \(C\in G({\mathbb {N}})^*\) such that \(A = BC\). Indeed, if we assume the existence of such an element \(C\in G({\mathbb {N}})^*\), then we find that \(BC=A \in G({\mathbb {N}})\setminus \mathscr {S}\), which is absurd since \(B\in \texttt{F}_l(\mathscr {S})\). Likewise, it is easy to see that for \(\{A,B\}\subseteq \texttt{F}_r(\mathscr {S})\) (resp. \(\{A,B\}\subseteq \texttt{F}_t(\mathscr {S})\)) there is no \(C\in G({\mathbb {N}})^*\) such that \(A=CB\) (resp. there is no \(\{C,D\}\subset G({\mathbb {N}})^*\) s.t. \(A=BC=DB\)).
Example 6.2
We will show in this example that, in general, the left and the right Frobenius sets do not agree. Let \(\mathscr {S}\) be the unipotent numerical monoid in \(G({\mathbb {N}}):= \textbf{U}(3,{\mathbb {N}})\) defined by
where \(\texttt{N}(\mathscr {S})\) consists of matrices
where (a, b, c) is an element of the set
It is straightforward to check that the right Frobenius set of \(\mathscr {S}\) is given by
The left Frobenius set of \(\mathscr {S}\) is given by
Clearly, we have \(\texttt{F}_r(\mathscr {S})\ne \texttt{F}_l(\mathscr {S})\).
Proposition 6.3
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(\texttt{F}\) denote one of \(\texttt{F}_l(\mathscr {S})\), \(\texttt{F}_r(\mathscr {S})\), or \(\texttt{F}_{t}(\mathscr {S})\). Then the union \(\mathscr {S} \cup \texttt{F}\) is a unipotent numerical monoid. Furthermore, if \(\texttt{F}=\texttt{F}_t(\mathscr {S})\), then \(\mathscr {S}\cup \texttt{C}\) is a unipotent numerical monoid for any subset \(\texttt{C}\subseteq \texttt{F}\).
Proof
We will prove our claim for \(\texttt{F}=\texttt{F}_l(\mathscr {S})\) only. The proofs of the other two cases are similar.
Let A and B be two elements from \(\mathscr {S} \cup \texttt{F}\). We will show that \(AB\in \mathscr {S} \cup \texttt{F}\). We have essentially four cases to consider:
-
1.
Both A and B are from \(\mathscr {S}\). In this case, we always have \(AB\in \mathscr {S}\).
-
2.
\(A\in \texttt{F}\) and \(B\in \mathscr {S}\). In this case, since \(A\in \texttt{F}\), we have \(AB\in \mathscr {S}\).
-
3.
\(A\in \mathscr {S}\) and \(B\in \texttt{F}\). In this case, we will show below that \(AB\in \mathscr {S}\cup \texttt{F}\).
-
4.
Both A and B are from \(\texttt{F}\). In this case, we will show below that \(AB\in \mathscr {S}\).
Let us continue with the third case. For every \(C\in G({\mathbb {N}})^*\) we have \(BC\in \mathscr {S}\). At the same time, since \(A\in \mathscr {S}\), the membership \(BC \in \mathscr {S}\) implies that \((AB)C = A(BC) \in \mathscr {S}\). In other words, we have \(AB\in \texttt{F}\) or \(AB\in \mathscr {S}\). Finally, let us handle the fourth case. Let \(\{A,B\}\subseteq \texttt{F}\). Then the assumption \(A\in \texttt{F}\) implies that \(AB\in \mathscr {S}\). In conclusion, we see that if \(\{A,B\}\subseteq \mathscr {S}\cup \texttt{F}\), then \(AB \in \mathscr {S}\cup \texttt{F}\). For the last assertion, if \(\texttt{F}=\texttt{F}_t(\mathscr {S})\), then for every \(A\in \mathscr {S}\) and \(B,B'\in \texttt{F}\), we have \(\{AB,BA,BB'\}\subset \mathscr {S}\subseteq \mathscr {S}\cup \texttt{F}\). Hence, \(\mathscr {S}\cup \texttt{C}\) is a unipotent numerical monoid for every subset \(\texttt{C}\subseteq \texttt{F}\). This finishes the proof of our proposition. \(\square \)
Frobenius sets are quite useful for characterizing irreducibility.
Theorem 6.4
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(\texttt{F}(\cdot )\) denote one of \(\texttt{F}_l(\cdot )\), \(\texttt{F}_r(\cdot )\), or \(\texttt{F}_{t}(\cdot )\). Suppose \(|\texttt{F}(\mathscr {S})|=1\). Then the following statements are equivalent:
-
(1)
\(\mathscr {S}\) is irreducible.
-
(2)
\(\mathscr {S}\) is maximal with respect to set inclusion in the set of unipotent numerical monoids \({\mathscr {T}}\) such that \(\texttt{F}(\mathscr {S}) \cap {\mathscr {T}} = \emptyset \).
Proof
We will prove our theorem for \(\texttt{F}=\texttt{F}_l\) only. The other cases are proven similarly.
(1)\(\Rightarrow \)(2). Let \({\mathscr {T}}\) be a unipotent numerical monoid of \(G({\mathbb {N}})\) such that \(\mathscr {T}\cap \texttt{F}(\mathscr {S}) = \emptyset \) and \(\mathscr {S}\subseteq \mathscr {T}\). Since \({\mathscr {T}} \cap \texttt{F}({\mathscr {T}}) = \emptyset \), evidently, \(\mathscr {S}\) is given by the intersection \({\mathscr {T}} \cap (\mathscr {S} \cup \texttt{F}(\mathscr {S}))\). By Proposition 6.3, the set \(\mathscr {S}\cup \texttt{F}(\mathscr {S})\) is a unipotent numerical monoid. Since \(\mathscr {S}\cap \texttt{F}(\mathscr {S}) = \emptyset \), the irreducibility of \(\mathscr {S}\) implies that \({\mathscr {T}}=\mathscr {S}\). This finishes the proof of our assertion on the maximality of \(\mathscr {S}\).
(2)\(\Rightarrow \)(1). Let us assume that \(\mathscr {S}\) can be written as the intersection \({\mathscr {T}}_1\cap {\mathscr {T}}_2\), where \({\mathscr {T}}_i\) (\(i\in \{1,2\}\)) is a unipotent numerical monoid. Let \(\texttt{F}(\mathscr {S})=\{C\}\). Since \(C G({\mathbb {N}})^*\subseteq \mathscr {S} = \mathscr {T}_1\cap \mathscr {T}_2\), one of the following holds:
-
1.
\(C\in \texttt{F}(\mathscr {T}_1) \cap \texttt{F}(\mathscr {T}_2)\), or
-
2.
either \(C\in \mathscr {T}_1\) or \(C\in \mathscr {T}_2\), but not both.
If \(C\in \texttt{F}(\mathscr {T}_1) \cap \texttt{F}(\mathscr {T}_2)\) holds, then \(\texttt{F}(\mathscr {S}) \cap \mathscr {T}_i = \emptyset \) for \(i\in \{1,2\}\). Since \(\mathscr {S}\) is maximal with respect to this property, we find that \(\mathscr {T}_i = \mathscr {S}\) for some \(i\in \{1,2\}\). In other words, \(\mathscr {S}\) is irreducible. Now, if \(C\in \mathscr {T}_1\) then \(\texttt{F}(\mathscr {S})\cap \mathscr {T}_2=\emptyset \), which by hypothesis implies \(\mathscr {S}=\mathscr {T}_2\). We can apply a similar argument if \(C\in \mathscr {T}_2\) holds. Hence, we see that \(\mathscr {S}\) is irreducible. This finishes the proof of our theorem. \(\square \)
Given the additional assumption \(|\texttt{F}(\mathscr {S})|=1\), we obtain a closely related characterization of irreducible unipotent numerical monoids. In the next section, we will show, following the introduction of the ‘set of special gaps’ of a unipotent numerical monoid, that if \(\mathscr {S}\) is irreducible, then \(|\texttt{F}(\mathscr {S})|=1\).
Theorem 6.5
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(\texttt{F}(\mathscr {S}) \in \{ \texttt{F}_l(\mathscr {S}),\texttt{F}_r(\mathscr {S}),\texttt{F}_t(\mathscr {S})\}\). If \(|\texttt{F}(\mathscr {S})|=1\) holds, then the following statements are equivalent:
-
(1)
\(\mathscr {S}\) is irreducible.
-
(2)
\(\mathscr {S}\) is maximal with respect to set inclusion in the set of unipotent numerical monoids \({\mathscr {T}}\) such that \(\texttt{F}({\mathscr {T}}) = \texttt{F}(\mathscr {S})\).
-
(3)
\(\mathscr {S}\) is maximal with respect to set inclusion in the set of unipotent numerical monoids \({\mathscr {T}}\) such that \(\texttt{F}(\mathscr {S}) \cap {\mathscr {T}} = \emptyset \).
Proof
First, we prove our theorem for \(\texttt{F}=\texttt{F}_l\). The proof of the case of \(\texttt{F}=\texttt{F}_r\) is very similar, so, we omit it.
(1)\(\Rightarrow \)(2). Let \({\mathscr {T}}\) be a unipotent numerical monoid of \(G({\mathbb {N}})\) such that \(\texttt{F}({\mathscr {T}}) = \texttt{F}(\mathscr {S})\). Let us assume that \({\mathscr {T}}\supseteq \mathscr {S}\). Since \({\mathscr {T}} \cap \texttt{F}({\mathscr {T}}) = \emptyset \), evidently, \(\mathscr {S}\) is given by the intersection \({\mathscr {T}} \cap (\mathscr {S} \cup \texttt{F}(\mathscr {S}))\). By Proposition 6.3, the set \(\mathscr {S}\cup \texttt{F}(\mathscr {S})\) is a unipotent numerical monoid. But then the irreducibility of \(\mathscr {S}\) implies that \({\mathscr {T}}=\mathscr {S}\). This shows that \(\mathscr {S}\) is maximal.
(2)\(\Rightarrow \)(3). Let us assume that \(\mathscr {S}\) is contained in a unipotent numerical monoid \({\mathscr {T}}\) such that \(\texttt{F}(\mathscr {S}) \cap {\mathscr {T}} = \emptyset \). We will show that \(\mathscr {S}=\mathscr {T}\).
First, let us assume that there exists \(A\in \texttt{F}(\mathscr {S}){\setminus } \texttt{F}(\mathscr {T})\). This means that \(AG({\mathbb {N}})^*\subset \mathscr {S}\) but there exists \(C\in G({\mathbb {N}})^*\) such that \(AC \in \mathscr {S}\setminus \mathscr {T}\). Since \(\mathscr {S}\) is a subset of \(\mathscr {T}\) and since AC is an element of \(\mathscr {S}\), the last statement is absurd. In other words, we have \(\texttt{F}(\mathscr {S})\setminus \texttt{F}(\mathscr {T})=\emptyset \), implying that \(\texttt{F}(\mathscr {S})\subseteq \texttt{F}(\mathscr {T})\).
Next, let us assume that \(A\in \texttt{F}(\mathscr {T}){\setminus } \texttt{F}(\mathscr {S})\). This means that \(AG({\mathbb {N}})^*\subset \mathscr {T}\) but there exists \(C\in G({\mathbb {N}})^*\) such that \(AC \in \mathscr {T}{\setminus } \mathscr {S}\). If for some \(E\in G({\mathbb {N}})^*\) the element ACE is still not in \(\mathscr {S}\), then we replace C by CE. Then we repeat this procedure continually. Since \(G({\mathbb {N}})\setminus \mathscr {S}\) is a finite set, our procedure will come to an end after a finite number of replacements. The resulting element, which we still denote by AC has the property that \(AC\notin \mathscr {S}\) but \(AC G(\mathbb { N})^*\subseteq \mathscr {S}\). Said differently, we found an element AC of \(\texttt{F}(\mathscr {S})\). But we already know that \(\texttt{F}(\mathscr {S})\subseteq \texttt{F}(\mathscr {T})\). By Remark 6.1 (2), this is absurd since the elements of \(\texttt{F}(\mathscr {T})\) can not be obtained from each other by multiplying by an element from \(G({\mathbb {N}})^*\). Hence, we conclude that \(\texttt{F}(\mathscr {S})= \texttt{F}(\mathscr {T})\). Now, our assumption on the maximality of \(\mathscr {S}\) implies that \(\mathscr {S}= \mathscr {T}\). This finishes the proof of (2)\(\Rightarrow \)(3).
(3)\(\Rightarrow \)(1). We already know this implication from Theorem 6.4. Hence, the proof of our theorem is complete for \(\texttt{F} \in \{ \texttt{F}_l, \texttt{F}_r\}\).
We now proceed under the assumption that \(\texttt{F}=\texttt{F}_t\). The proofs of the implications (1)\(\Rightarrow \)(2) and (3)\(\Rightarrow \)(1) remain valid in this case. We are left with proving the assertion (2)\(\Rightarrow \)(3). This part of the proof will be a subtle adaptation of the arguments used for the similar implication in the case of \(\texttt{F}=\texttt{F}_l\). To distinguish the Frobenius sets here, we will employ subscripts.
Let us assume that \(\mathscr {S}\) is contained in a unipotent numerical monoid \({\mathscr {T}}\) such that \(\texttt{F}_t(\mathscr {S}) \cap {\mathscr {T}} = \emptyset \). We will show that \(\mathscr {S}=\mathscr {T}\).
First, let us assume that there exists \(A\in \texttt{F}_t(\mathscr {S}){\setminus } \texttt{F}_t(\mathscr {T})\). Since \(A\notin \texttt{F}_t(\mathscr {T})\) we know that either \(A\notin \texttt{F}_l(\mathscr {T})\) or \(A\notin \texttt{F}_r(\mathscr {T})\). Without loss of generality, we may assume that \(A\notin \texttt{F}_l(\mathscr {T})\). This means that there exists \(C\in G({\mathbb {N}})^*\) such that \(AC \notin \mathscr {T}\). Now, since \(A\in \texttt{F}_t(\mathscr {S}) \subset \texttt{F}_l(\mathscr {S})\), we know that A is an element of \(G({\mathbb {N}}) {\setminus } \mathscr {S}^*\) such that \(AG({\mathbb {N}})^*\subseteq \mathscr {S}\). In particular, we know that \(AC\in \mathscr {S}\). But this is absurd since we assumed that \(\mathscr {S}\subseteq \mathscr {T}\). In conclusion, we have \(\texttt{F}_t(\mathscr {S})\subseteq \texttt{F}_t(\mathscr {T})\). We emphasize our previous observation that the inclusion \(\texttt{F}_l(\mathscr {S})\subseteq \texttt{F}_l(\mathscr {T})\) holds as well. This reiteration will be useful in the next paragraph.
Next, let us assume that \(A\in \texttt{F}_t(\mathscr {T}){\setminus } \texttt{F}_t(\mathscr {S})\). By using the argument as in the previous paragraph, we may assume without loss of generality that \(A\in \texttt{F}_l(\mathscr {T}){\setminus } \texttt{F}_l(\mathscr {S})\). This means that 1) \(AG({\mathbb {N}})^*\subseteq \mathscr {T}\), and 2) there exists \(C\in G({\mathbb {N}})^*\) such that \(AC \notin \mathscr {S}\). If for some \(E\in G({\mathbb {N}})^*\) the element ACE is still not in \(\mathscr {S}\), then we replace C by CE. Then we repeat this procedure continually. Since \(G({\mathbb {N}})\setminus \mathscr {S}\) is a finite set, our procedure will come to an end after a finite number of replacements. The resulting element, which we still denote by AC has the property that \(AC\notin \mathscr {S}\) but \(AC G(\mathbb { N})^*\subseteq \mathscr {S}\). Said differently, we found an element AC of \(\texttt{F}_l(\mathscr {S})\). But we already know that \(\texttt{F}_l(\mathscr {S})\subseteq \texttt{F}_l(\mathscr {T})\). By Remark 6.1 (2), this is absurd since the elements of \(\texttt{F}_l(\mathscr {T})\) can not be obtained from each other by multiplying by an element from \(G({\mathbb {N}})^*\). Hence, we conclude that there is no such A. In other words, we obtained the equality \(\texttt{F}_t(\mathscr {S})= \texttt{F}_t(\mathscr {T})\). Now, our assumption on the maximality of \(\mathscr {S}\) implies that \(\mathscr {S}= \mathscr {T}\). This finishes the proof of (2)\(\Rightarrow \)(3). \(\square \)
We now present a sufficient condition for the irreducibility of a unipotent numerical monoid that will be useful when we investigate the symmetric and pseudo-symmetric unipotent numerical monoids. We note that this theorem was stated as Theorem 1.3 in the introduction.
Theorem 6.6
Let \(\mathscr {S}\) be a unipotent numerical monoid. If one of the following conditions hold true, then \(\mathscr {S}\) is irreducible:
-
(1)
\(|\texttt{F}_l(\mathscr {S})|=1\) and for every \(A\in G({\mathbb {N}}){\setminus } \mathscr {S}\) we have either \(\texttt{F}_l(\mathscr {S}) \cap A \mathscr {S} \ne \emptyset \) or \(\texttt{F}_l(\mathscr {S}) \cap \mathscr {S} A\ne \emptyset \);
-
(2)
\(|\texttt{F}_r(\mathscr {S})|=1\) and for every \(A\in G({\mathbb {N}}){\setminus } \mathscr {S}\) we have either \(\texttt{F}_r(\mathscr {S}) \cap \mathscr {S}A \ne \emptyset \) or \(\texttt{F}_r(\mathscr {S}) \cap A\mathscr {S} \ne \emptyset \);
-
(3)
\(|\texttt{F}_t(\mathscr {S})|=1\) and for every \(A\in G({\mathbb {N}}){\setminus } \mathscr {S}\) we have either \(\texttt{F}_t(\mathscr {S}) \cap \mathscr {S}A \ne \emptyset \) or \(\texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \ne \emptyset \).
Proof
We will prove (1) only. The other assertions are proven similarly.
Let \(\mathscr {S}\) be a unipotent numerical monoid such that \(|\texttt{F}_l(\mathscr {S})|=1\) and for every \(A\in G({\mathbb {N}})\setminus \mathscr {S}\) we have either \(\texttt{F}_l(\mathscr {S}) \cap A \mathscr {S} \ne \emptyset \) or \(\texttt{F}_l(\mathscr {S}) \cap \mathscr {S} A\ne \emptyset \). We assume towards a contradiction that \(\mathscr {S}\) is reducible. Then, by Theorem 6.4, there exists a unipotent numerical monoid \(\mathscr {T}\), properly containing \(\mathscr {S}\), such that \(\mathscr {T}\cap \texttt{F}_l(\mathscr {S}) = \emptyset \). Let \(A\in \mathscr {T}{\setminus } \mathscr {S}\). Then, by the hypothesis of our theorem, we have either \(\texttt{F}_l(\mathscr {S}) \cap A \mathscr {S} \ne \emptyset \) or \(\texttt{F}_l(\mathscr {S}) \cap \mathscr {S} A\ne \emptyset \). In other words, there exists \(B\in \mathscr {S}\) such that either \(AB\in \texttt{F}_l(\mathscr {S})\) or \(BA\in \texttt{F}_l(\mathscr {S})\) holds. Since \(\mathscr {S}\) is a subset of \(\mathscr {T}\) we see that both A and B are from \(\mathscr {T}\). It follows that either \(AB\in \mathscr {T}\) or \(BA\in \mathscr {T}\) holds. But this contradicts our assumption that \(\mathscr {T}\cap \texttt{F}_l(\mathscr {S})=\emptyset \). Therefore, \(\mathscr {S}\) is an irreducible unipotent numerical monoid. \(\square \)
Example 6.7
Let \(\mathscr {S}\subset \textbf{P}(3,{\mathbb {N}})\) be the unipotent numerical monoid defined as in Fig. 4. The points colored in blue represent the minimal generators.
Then we have
Now we check the condition (1) in Theorem 6.6:
In these equalities, the second summands on the left hand side are from \(\mathscr {S}\) while the first summands are from \(\texttt{Gap}(\mathscr {S})\). Hence, according to Theorem 6.6, \(\mathscr {S}\) is an irreducible unipotent numerical monoid.
We will show by an example that the converse of Theorem 6.6 need not be true.
Example 6.8
Let \({\mathscr {S}} \subset \textbf{P}(3,{\mathbb {N}})\) be the commutative unipotent numerical monoid defined as in Fig. 5. The points colored in blue are the minimal generators of the monoid. In this example, the Frobenius set of \({\mathscr {S}}\) is given by \(\texttt{F}_t({\mathscr {S}}) = \{ (2,2) \}\). Let \(A:= (1,1)\). It is easy to check that neither \(\texttt{F}_t({\mathscr {S}}) \cap A {\mathscr {S}} \ne \emptyset \) nor \(\texttt{F}_t({\mathscr {S}}) \cap {\mathscr {S}} A \ne \emptyset \) holds. Hence, part (3) of Theorem 6.6 fails. Note that since \({\mathscr {S}}\) is commutative, we do not need to check parts (1) and (2) of Theorem 6.6. This provides an example where the converse of Theorem 6.6 does not hold. Nevertheless, in this case, \({\mathscr {S}}\) is irreducible. There are several ways to see this. A direct calculation can be performed, and one method involves using the “special gaps" of a generalized numerical semigroup, as described in [8, Proposition 2.5]. Another useful approach is presented in [8, Theorem 5.7]. Given that the genus of \({\mathscr {S}}\) is 5, we have \(2\texttt{g}({\mathscr {S}}) - 1 = 9\). At the same time, the unique element F of the Frobenius set of \({\mathscr {S}}\) is given by \(F = (F^{(1)}, F^{(2)}) = (2,2)\). Since \((F^{(1)} + 1)(F^{(2)} + 1) = 9 = 2\texttt{g}({\mathscr {S}}) - 1\), according to [8, Theorem 5.7], \({\mathscr {S}}\) is “pseudo-symmetric” and hence irreducible. (Later in this article, we will introduce pseudo-symmetric unipotent numerical semigroups, which generalize pseudo-symmetric generalized numerical semigroups.)
7 Pseudo-Frobenius sets
Let \(\mathscr {S}\) be a unipotent numerical monoid. Let \(\mathscr {I}\) be a relative right ideal of \(\mathscr {S}\). We now introduce the left pseudo-Frobenius set of \(\mathscr {I}\):
The right pseudo-Frobenius set of \(\mathscr {I}\) is defined by:
Finally, we define the two-sided pseudo-Frobenius set of \(\mathscr {I}\) here.
The left (resp. right, two-sided) pseudo-Frobenius set of \(\mathscr {S}\) as a unipotent numerical monoid is defined as the left (resp. right, two-sided) pseudo-Frobenius set of \(\mathscr {S}\) as a right ideal of itself.
Example 7.1
Let \(\mathscr {S}\) denote the commutative unipotent numerical monoid defined as in Fig. 6. The points colored in blue are the minimal generators of \(\mathscr {S}\).
It is easy to check that the pseudo-Frobenius set of \(\mathscr {S}\) is given by
which is also the Frobenius set of \(\mathscr {S}\).
The pseudo-Frobenius sets can be characterized as follows.
Proposition 7.2
We maintain our previous notation. Then we have
-
(1)
\(\texttt{PF}_l(\mathscr {I}) = \max _{\le _{\mathscr {S},l}} (G({\mathbb {N}}) {\setminus } \mathscr {I}^*)\),
-
(2)
\(\texttt{PF}_r(\mathscr {I}) = \max _{\le _{\mathscr {S},r}} (G({\mathbb {N}}) {\setminus } \mathscr {I}^*)\),
-
(3)
\(\texttt{PF}_{t}(\mathscr {I}) = \max _{\le _{\mathscr {S},l}} (G({\mathbb {N}}) {\setminus } \mathscr {I}^*)\cap \max _{\le _{\mathscr {S},r}} (G({\mathbb {N}}) {\setminus } \mathscr {I}^*)\).
Before proving our proposition, we have a preliminary observation.
Lemma 7.3
Let \(\mathscr {I}\) be a relative right ideal of \(\mathscr {S}\). Then we have the inclusion
Proof
Let \(A\in \max _{\le _{\mathscr {S},l}} (G({\mathbb {N}}) {\setminus } \mathscr {I}^*)\cap \max _{\le _{\mathscr {S},r}} (G({\mathbb {N}}) {\setminus } \mathscr {I}^*)\). Let B be an element of \(G(\mathbb { N})\backslash \mathscr {I}^*\) such that \(A\le _{\mathscr {S},t} B\). Then, since \(\{BA^{-1},A^{-1}B\}\subseteq \mathscr {S}\), we have the relations \(A\le _{\mathscr {S},l} B\) and \(A\le _{\mathscr {S},r} B\), implying that \(B=A\). \(\square \)
Proof of Proposition 7.2
-
(1)
Let \(A\in \texttt{PF}_l(\mathscr {I})\). Then \(AD\in \mathscr {I}\) for all \(D\in \mathscr {S}^*\). Let \(\textbf{B}\) denote the set of elements \(B\in G({\mathbb {N}}) {\setminus } \mathscr {I}\) such that \(A\le _{\mathscr {S},l} B\). This is nonempty since \(A\in \textbf{B}\). We assume towards a contradiction that there exists \(B\in \textbf{B} \setminus \{A\}\). The relation \(A\lneq _{\mathscr {S},l} B\) implies that there exists \(C\in \mathscr {S}^*\) such that \(A^{-1}B = C\). Since \(B= AC\), and since \(A\in \texttt{PF}_l(\mathscr {I})\), we see that \(B\in \mathscr {I}\). But this contradicts with our initial assumption that \(B\notin \mathscr {I}\). Therefore, \(\textbf{B} = \{A\}\). This observation shows that \(\texttt{PF}_l(\mathscr {I})\) is contained in the set of maximal elements of \(G({\mathbb {N}})\setminus \mathscr {I}\) with respect to the partial order \(\le _{\mathscr {S},l}\). Conversely, let \(A\in \max _{\le _{\mathscr {S},l}}(G({\mathbb {N}})\setminus \mathscr {I})\). We will show that \(A\in \texttt{PF}_l(\mathscr {I})\). Equivalently, we will show that \(A\mathscr {S}^* \subseteq \mathscr {I}\). Let us assume towards a contradiction that there exists \(B \in \mathscr {S}^*\) such that \(AB \notin \mathscr {I}\). We will compare AB with A. Since \(A^{-1}AB = B \in \mathscr {S}\), we see that \(A\le _{\mathscr {S},l} AB\). But A is a maximal element. It follows that \(A=AB\) or equivalently that \(\textbf{1}_n = B\) since \(G({\mathbb {N}})\) is a cancellative monoid. This contradicts with the fact that B is from \(\mathscr {S}^*\). Hence, A is an element of \(\texttt{PF}_l(\mathscr {I})\) as claimed. This finishes the proof of our first assertion.
-
(2)
The proof of this case is almost identical to the proof of (1) so we skip it.
-
(3)
Let \(A\in \texttt{PF}_t(\mathscr {I})\). Then \(\{AD,DA\}\subset \mathscr {I}\) for every \(D\in \mathscr {S}^*\). Let \(\textbf{B}_l\) and \(\textbf{ B}_r\) denote the sets of elements \(B_l,B_r\in G({\mathbb {N}}) {\setminus } \mathscr {I}\) such that \(A\le _{\mathscr {S},l} B_l\) and \(A\le _{\mathscr {S},r} B_r\), respectively. These are nonempty sets since \(A\in \textbf{B}_l\) and \(A\in \textbf{ B}_r\). We will show that \(\textbf{ B}_l=\textbf{B}_r=\{A\}\). Now, assume that \(B\in \textbf{ B}_l\backslash \{A\}\). Then \(A^{-1}B=C\in \mathscr {S}\), implying that \(B=AC\in \mathscr {I}\). This contradicts with the fact \(B\notin \mathscr {I}\). Hence, we have \(\textbf{ B}_l=\{A\}\). Similarly, we see that \(\textbf{ B}_r=\{A\}\). Thus we showed that \(A\in \max _{\le _{\mathscr {S},l}} (G({\mathbb {N}}) {\setminus } \mathscr {I})\cap \max _{\le _{\mathscr {S},r}} (G({\mathbb {N}}) {\setminus } \mathscr {I})\). Conversely, let \(A\in \max _{\le _{\mathscr {S},l}} (G({\mathbb {N}}) {\setminus } \mathscr {I})\cap \max _{\le _{\mathscr {S},r}} (G({\mathbb {N}}) {\setminus } \mathscr {I})\). We will show that \(A\in \texttt{PF}_{t}(\mathscr {I})\). Equivalently, we will show that \(A\mathscr {S}^*\cup \mathscr {S}^*A \subseteq \mathscr {I}\). Let us assume towards a contradiction that there exists \(B \in \mathscr {S}^*\) such that either \(AB \notin \mathscr {I}\) or \(BA \notin \mathscr {I}\). Without loss of generality, we assume that \(AB\notin \mathscr {I}\). We will compare AB with A but in the order \(\le _{\mathscr {S},l}\) not in the order \(\le _{\mathscr {S},t}\). Since \(A^{-1}AB = B \in \mathscr {S}\), we see that \(A\le _{\mathscr {S},l} AB\). But A is a maximal element of \(\max _{\le _{\mathscr {S},l}} (G({\mathbb {N}}) \setminus \mathscr {I})\) by assumption. It follows that \(A=AB\) or equivalently that \(\textbf{1}_n = B\) since \(G({\mathbb {N}})\) is a cancellative monoid. This contradicts with the fact that B is from \(\mathscr {S}^*\). Hence, A is an element of \(\texttt{PF}_{t}(\mathscr {I})\) as claimed. This finishes the proof of our proposition.
\(\square \)
Proposition 7.4
Let \(\mathscr {I}\) be a relative right ideal of \(\mathscr {S}\). Then we have the following assertions:
-
(1)
\(\texttt{PF}_{t}(\mathscr {I}) = \texttt{PF}_l(\mathscr {I}) \cap \texttt{PF}_r(\mathscr {I})\),
-
(2)
\(\texttt{F}_l(\mathscr {I}) \subseteq \texttt{PF}_l(\mathscr {I})\),
-
(3)
\(\texttt{F}_r(\mathscr {I}) \subseteq \texttt{PF}_r(\mathscr {I})\),
-
(4)
\(\texttt{F}_t(\mathscr {I}) \subseteq \texttt{PF}_t(\mathscr {I})\).
Proof
The first item follows immediately from Proposition 7.2. The assertions (2) and (3) follow from the definitions. Finally, (4) follows from (1), (2), and (3) and the definition of the two-sided Frobenius set. \(\square \)
We now investigate the relationship between the pseudo-Frobenius sets and the Apéry sets. Recall that the left and the right Apéry sets of an element \(A\in \mathscr {S}^*\) are defined by
Theorem 7.5
Let \(A\in \mathscr {S}^*\). Then we have
Proof
Let \(Z\in \texttt{PF}_{t}(\mathscr {S})\). Then, for \(A\in \mathscr {S}^*\), we have \(ZA\in \mathscr {S}\) and \(AZ \in \mathscr {S}\). Since \(A^{-1}AZ= Z \notin \mathscr {S}\), we see that \(AZ\in \texttt{Ap}_l(\mathscr {S},A)\). Likewise, since \(ZAA^{-1} = Z \notin \mathscr {S}\), we see that \(ZA \in \texttt{Ap}_r (\mathscr {S},A)\).
We proceed to show that AZ is a maximal element of \(\texttt{Ap}_l(\mathscr {S},A)\) with respect to \(\le _{\mathscr {S},l}\). This will show that Z is an element of \(A^{-1} \max _{\le _{\mathscr {S},l}} \texttt{Ap}_l(\mathscr {S},A)\). Let \(Y\in \texttt{Ap}_l(\mathscr {S},A)\) be such that \(AZ \lneq _{\mathscr {S},l} Y\). This means that \(Y=AZC\) for some \(C\in \mathscr {S}^*\). Since \(A^{-1}Y\notin \mathscr {S}\), we see that \(ZC\notin \mathscr {S}\). But this contradicts with our initial assumption that \(Z\in \texttt{PF}_{t}(\mathscr {S}) \subset \texttt{PF}_l(\mathscr {S})\). Hence, AZ is a maximal element of \(\texttt{Ap}_l(\mathscr {S},A)\) with respect to \(\le _{\mathscr {S},l}\). In particular, this argument shows that \(Z\in A^{-1} \max _{\le _{\mathscr {S},l}} \texttt{Ap}_l(\mathscr {S},A)\).
Next, we will show that ZA is a maximal element of \(\texttt{Ap}_r(\mathscr {S},A)\) with respect to \(\le _{\mathscr {S},r}\). This will show that Z is an element of \(\max _{\le _{\mathscr {S},r}} \texttt{Ap}_r(\mathscr {S},A) A^{-1}\). Let \(Y\in \texttt{Ap}_r(\mathscr {S},A)\) be such that \(ZA \lneq _{\mathscr {S},r} Y\). This means that \(Y=CZA\) for some \(C\in \mathscr {S}^*\). Since \(YA^{-1} \notin \mathscr {S}\), we see that \(CZ\notin \mathscr {S}\). But this contradicts with our initial assumption that \(Z\in \texttt{PF}_{t}(\mathscr {S}) \subseteq \texttt{PF}_r(\mathscr {S})\). Hence, ZA is a maximal element of \(\texttt{Ap}_r(\mathscr {S},A)\) with respect to \(\le _{\mathscr {S},r}\). In particular, this argument shows that \(Z\in (\max _{\le _{\mathscr {S},r}} \texttt{Ap}_r(\mathscr {S},A)) A^{-1}\). In conclusion, we showed that
Conversely, let \(Z \in A^{-1} \max _{\le _{\mathscr {S},l}} \texttt{Ap}_l(\mathscr {S},A)\). This means that \(AZ \in \max _{\le _{\mathscr {S},l}} \texttt{Ap}_l(\mathscr {S},A)\). Hence, \(AZ \in \mathscr {S}\) and \(Z=A^{-1}(AZ) \notin \mathscr {S}\). Assume that Z is not an element of \(\texttt{PF}_l(\mathscr {S})\). Then there is an element \(C\in \mathscr {S}^*\) such that \(ZC \notin \mathscr {S}\). Since \(AZ \in \mathscr {S}\) and \(C\in \mathscr {S}^*\), we see that AZC is an element of \(\mathscr {S}\). At the same time, we know that \(A^{-1}AZC=ZC\) is not an element of \(\mathscr {S}\). It follows that \(AZC \in \texttt{Ap}_l(\mathscr {S},A)\). But \(AZ \le _{\mathscr {S},l} AZC\) since \((AZ)^{-1} AZC = C \in \mathscr {S}\). Since AZ is a maximal element of \(\texttt{Ap}_l(\mathscr {S},A)\), we see that \(AZ = AZC\), hence \(\textbf{1}_n = C\). This contradicts with the fact that \(C\in \mathscr {S}^*\). It follows that \(Z\in \texttt{PF}_l(\mathscr {S})\). A similar argument shows that \(Z\in \texttt{PF}_r(\mathscr {S})\). Hence, we proved that
This finishes the proof of our theorem. \(\square \)
The proof of our previous theorem gives the proof of the following result, also.
Theorem 7.6
Let \(A\in \mathscr {S}^*\). Then we have
Definition 7.7
Let \(\mathscr {S}\) be a unipotent numerical monoid. The set of special gaps of \(\mathscr {S}\) is defined by
Lemma 7.8
Let \(A\in G({\mathbb {N}}) {\setminus } \mathscr {S}\). Then \(A\in \texttt{SG}(\mathscr {S})\) if and only if \(\mathscr {S} \cup \{A\}\) is a unipotent numerical monoid.
Proof
If \(A\in \texttt{SG}(\mathscr {S})\), then \(A\in \texttt{PF}_{t}(\mathscr {S})\). Hence, we already know that \(\{AX,XA\}\subset \mathscr {S}\) for every \(X\in \mathscr {S}^*\). At the same time, \(A\in \texttt{SG}(\mathscr {S})\) implies that \(A^2\in \mathscr {S}\). These observations show that \(\mathscr {S} \cup \{A\}\) is closed under multiplication. Since A is from \(G({\mathbb {N}})\), we proved that \(\mathscr {S} \cup \{A\}\) is a unipotent numerical monoid.
Conversely, if \(\mathscr {S} \cup \{A\}\) is a unipotent numerical monoid, it is a cancellative semigroup. In particular, we have \(A\mathscr {S}^*\subseteq \mathscr {S}\) and \(\mathscr {S}^*A\subseteq \mathscr {S}\). It follows that A is an element of \(\texttt{PF}_{t}(\mathscr {S})\). \(\square \)
We are now ready to prove our Theorem 1.5 from the introduction. Since it has an additional part, we state it as a theorem to be able to give a reference to it later.
Theorem 7.9
(Theorem 1.5) If \(\mathscr {S}\) is an irreducible unipotent numerical monoid, then \(\texttt{F}_t(\mathscr {S})=\texttt{SG}(\mathscr {S})\) and \(|\texttt{F}_t(\mathscr {S})|=1\).
Proof
We begin with the proof of \(\texttt{F}_t(\mathscr {S})=\texttt{SG}(\mathscr {S})\). It follows from definitions that \(\texttt{F}_t(\mathscr {S})\subseteq \texttt{PF}_t(\mathscr {S})\). Furthermore, for every \(A\in \texttt{F}_t(\mathscr {S})\) we have \(A^2 \in \mathscr {S}\). In other words, every element of \(\texttt{F}_t(\mathscr {S})\) is an element of \(\texttt{SG}(\mathscr {S})\). For the reverse inclusion, for \(D\in \texttt{SG}(\mathscr {S})\backslash \texttt{F}_t(\mathscr {S})\), by Lemma 7.8, \(\mathscr {S}\cup \{D\}\) is a unipotent numerical monoid such that \((\mathscr {S}\cup \{D\}) \cap \texttt{F}_t(\mathscr {S})=\emptyset \). Then we have \(\mathscr {S}=(\mathscr {S}\cup \{D\})\cap (\mathscr {S}\cup \texttt{F}_t(\mathscr {S}))\), which contradicts with the irreducibility of \(\mathscr {S}\).
We proceed to show that \(|\texttt{F}_t(\mathscr {S})|=1\). If \(\texttt{F}_t(\mathscr {S})\) contains two distinct elements then we find two distinct unipotent numerical monoids \(\mathscr {T}_1:= \mathscr {S}\sqcup \{A_1\}\) and \(\mathscr {T}_2:= \mathscr {S} \sqcup \{A_2\}\), where \(\{A_1,A_2\}\subseteq \texttt{F}_t(\mathscr {S})\) such that \(\mathscr {T}_1 \cap \mathscr {T}_2 = \mathscr {S}\). This contradicts with the irreducibility of \(\mathscr {S}\). Therefore, we conclude that \(|\texttt{F}_t(\mathscr {S})|=1\). This finishes the proof of our theorem. \(\square \)
We conclude this section by relating the irreducibility of \(\mathscr {S}\) to its torsion monoid and the set of special gaps. We will prove our Theorem 1.6 from the introduction, which states the following:
Let \(\mathscr {S}\) be a unipotent numerical monoid. Then \(\mathscr {S}\) is irreducible if and only if the following two conditions hold:
-
(1)
the torsion monoid \(Rel_T(\mathscr {S},\subseteq )\) has a unique minimal nontrivial idempotent, and
-
(2)
\(\texttt{F}_t(\mathscr {S})=\texttt{SG}(\mathscr {S})\).
Proof of Theorem 1.6
(\(\Rightarrow \)) Let \(\mathscr {S}\) be an irreducible unipotent numerical monoid. By Theorem 7.9, we know that \(\texttt{F}_t(\mathscr {S})=\texttt{SG}(\mathscr {S})\). We proceed to show (1). Let \(E(Rel_T(\mathscr {S},\subseteq ))\) denote the set of all idempotents of \(Rel_T(\mathscr {S},\subseteq )\).
We now assume that \(\mathscr {S}\) is an irreducible unipotent numerical monoid. Towards a contradiction, let us assume that \(E(Rel_T(\mathscr {S},\subseteq ))\) has two nontrivial distinct minimal idempotents, denoted by \(\mathscr {T}_1\) and \(\mathscr {T}_2\). Since we have \(\mathscr {T}_2\not \subseteq \mathscr {T}_1\) and \(\mathscr {T}_1\not \subseteq \mathscr {T}_2\), there exist \(A_1\in \mathscr {T}_1{\setminus } \mathscr {T}_2\) and \(A_2\in \mathscr {T}_2\setminus \mathscr {T}_1\). For these elements, we have \(A_1 \mathscr {S} \cup \mathscr {S} A_1\subseteq \mathscr {T}_1\) and \(A_2 \mathscr {S} \cup \mathscr {S} A_2 \subseteq \mathscr {T}_2\). It follows that \(A_1\notin A_2 \mathscr {S} \cup \mathscr {S} A_2\) and \(A_2\notin A_1 \mathscr {S} \cup \mathscr {S} A_1\).
For \(A\in G({\mathbb {N}})\), let us denote by \(\langle \mathscr {S},A\rangle \) the monoid generated by the set \(\mathscr {S}\cup A\). Observe that \(\mathscr {S}\subseteq \mathscr {S} \cup \{A\} \subseteq \langle \mathscr {S},A\rangle \) and that \(\langle \mathscr {S},A\rangle \) is a submonoid of \(G({\mathbb {N}})\). So, \(\langle \mathscr {S},A\rangle \) is a unipotent numerical monoid and also \(\langle \mathscr {S},A\rangle \in Rel_T(\mathscr {S},\subseteq )\).
We apply these observations to the monoids \(\langle \mathscr {S},A_1\rangle \) and \(\langle \mathscr {S},A_2\rangle \). By Lemma 4.8, these monoids are contained in the set of idempotents, \(E(Rel_T(\mathscr {S},\subseteq ))\). In fact, since \(A_i \notin \mathscr {S}\) (\(i\in \{1,2\}\)), they are nontrivial idempotents. Moreover, it follows from our previous observations on the properties of the elements \(A_1\) and \(A_2\) that
Since \(\langle \mathscr {S}, A_2\rangle \subseteq \mathscr {T}_2\), by the minimality of \(\mathscr {T}_2\), we have \(\langle \mathscr {S}, A_2\rangle = \mathscr {T}_2\). By the same argument, we have \(\langle \mathscr {S}, A_1\rangle = \mathscr {T}_1\). But now this contradicts with the fact that \(\mathscr {S}\) is irreducible. Hence, we conclude that there is only one minimal nontrivial idempotent.
(\(\Leftarrow \)) We assume that the torsion monoid has a unique minimal nontrivial idempotent and that \(\texttt{F}_t(\mathscr {S})=\texttt{SG}(\mathscr {S})\) holds. If \(\texttt{F}_t(\mathscr {S})\) contains two distinct elements \(C_1\) and \(C_2\), then by using Remark 6.1 and Proposition 6.3 we find two distinct minimal nontrivial idempotents \(\mathscr {S}\cup \{C_1\}\) and \(\mathscr {S}\cup \{C_2\}\) where \(C_1,C_2\in \texttt{F}_t(\mathscr {S})\), which is absurd. Hence, we know that \(|\texttt{F}_t(\mathscr {S})|=1\). It follows that \(\mathscr {S}\cup \texttt{F}_t(\mathscr {S})\) is the unique minimal nontrivial idempotent in \(E(Rel_T(\mathscr {S},\subseteq ))\).
We now assume towards a contradiction that \(\mathscr {S}\) is not irreducible. Then there exist unipotent numerical monoids \(\mathscr {T}_1,\dots , \mathscr {T}_r\) such that \(\mathscr {S}\subsetneq \mathscr {T}_i \subsetneq G({\mathbb {N}})\) for every \(i\in \{1,\dots , r\}\) and \(\bigcap _{i=1}^r \mathscr {T}_i = \mathscr {S}\). But since \(\mathscr {S}\cup \texttt{F}_t(\mathscr {S})\) is the unique minimal nontrivial idempotent, we have
implying
This contradicts with our initial assumption that \(\mathscr {S}\) is given by the intersection \( \bigcap _{i=1}^r \mathscr {T}_i\). Hence, we conclude that \(\mathscr {S}\) is irreducible. This finishes the proof of our theorem. \(\square \)
8 Irreducibility and the Pseudo-Frobenius elements
Let \(\mathscr {S}\) be a unipotent numerical monoid. We define left (resp. right, resp. two-sided) type of \(\mathscr {S}\) as the cardinality of \(\texttt{PF}_l(\mathscr {S})\) (resp. of \(\texttt{PF}_r(\mathscr {S})\), resp. of \(\texttt{PF}_t(\mathscr {S})\)). Notice that if
then we have \(|\texttt{PF}_t(\mathscr {S})|=1\) also. But the converse of this implication is not necessarily true as we will show in our next example.
Example 8.1
Let \(\mathscr {S}\) be the unipotent numerical monoid in \(G({\mathbb {N}}):= \textbf{U}(3,{\mathbb {N}})\) such that
where
Then the gap set of \(\mathscr {S}\) is given by
The following facts are easy to check:
-
1.
\(\mathscr {S}\) is irreducible.
-
2.
\(\texttt{F}_l(\mathscr {S}) = \texttt{F}_r(\mathscr {S}) =\texttt{F}_t(\mathscr {S}) = \left\{ \begin{bmatrix} 1 &{} 1 &{} 1 \\ 0 &{} 1 &{} 1 \\ 0 &{} 0 &{} 1 \end{bmatrix} \right\} \).
-
3.
\(\texttt{PF}_r(\mathscr {S})= \left\{ \begin{bmatrix} 1 &{} 0 &{} 0 \\ 0 &{} 1 &{} 1 \\ 0 &{} 0 &{} 1 \end{bmatrix}, \begin{bmatrix} 1 &{} 1 &{} 1 \\ 0 &{} 1 &{} 1 \\ 0 &{} 0 &{} 1 \end{bmatrix} \right\} \).
-
4.
\(\texttt{PF}_l(\mathscr {S})= \left\{ \begin{bmatrix} 1 &{} 1 &{} 0 \\ 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \end{bmatrix}, \begin{bmatrix} 1 &{} 1 &{} 1 \\ 0 &{} 1 &{} 1 \\ 0 &{} 0 &{} 1 \end{bmatrix} \right\} \).
In conclusion, there are irreducible unipotent numerical monoids \(\mathscr {S}\) such that
We present another example to motivate our definition of a symmetric unipotent numerical monoid.
Example 8.2
For the second example let \(\mathscr {S}\) be the unipotent numerical monoid in \(G({\mathbb {N}}):= \textbf{U}(3,{\mathbb {N}})\) such that
where \(\texttt{N}(\mathscr {S})\) consists of
where (a, b, c) is an element of the set
Let us use the triplet notation to represent the elements of \(\texttt{Gaps}(\mathscr {S})\) as well. Hence, we have
Then we have
At the same time, it is easy to check that \(|\texttt{F}_t(\mathscr {S})|\) has more than one element. Hence, by Theorem 1.5, we see that \(\mathscr {S}\) can not be irreducible.
It is noteworthy that for a numerical monoid \(S \subseteq {\mathbb {N}}\), if the analogous condition to (1) holds true, that is,
then the equality \(\texttt{g}(S) = \frac{\texttt{F}(S) + 1}{2}\) also holds true. These equivalent conditions imply that S is an irreducible numerical monoid. In fact, this is how “symmetric numerical monoids" are defined. Our example shows that such a property must be defined with greater precision.
In the rest of this section we discuss the refinements of the set of irreducible unipotent numerical monoids. We begin with recalling the definitions of symmetric and pseudo-symmetric unipotent numerical monoids from the introduction:
-
An irreducible unipotent numerical monoid is called symmetric if for every \(A\in G({\mathbb {N}})\setminus \mathscr {S}\) we have
$$\begin{aligned} \texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \ne \emptyset \quad \text { or }\quad \texttt{F}_t(\mathscr {S})\cap \mathscr {S}A \ne \emptyset . \end{aligned}$$ -
An irreducible unipotent numerical monoid is called pseudo-symmetric if there exists \(B\in G({\mathbb {N}})\setminus \mathscr {S}\) such that \(B^2 \in \texttt{F}_t(\mathscr {S})\) and for every \(A\in G({\mathbb {N}}){\setminus } (\mathscr {S} \sqcup \{B\})\) we have \(\texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \ne \emptyset \) or \(\texttt{F}_t(\mathscr {S})\cap \mathscr {S}A \ne \emptyset \).
Remark 8.3
If \(\mathscr {S}\) is symmetric, then there is no \(B\in G({\mathbb {N}}){\setminus } \mathscr {S}\) such that \(B^2 \in \texttt{F}_t(\mathscr {S})\). Otherwise, it follows from the defining condition that we have either \(B^2 \in \{BD, DB\}\) for some \(D\in \mathscr {S}\). This is absurd since \(\mathscr {S}\) is a cancellative monoid.
Proposition 8.4
Let \(\mathscr {S}\) be a symmetric unipotent numerical monoid. Then we have \(|\texttt{PF}_t(\mathscr {S})| = |\texttt{F}_t(\mathscr {S})|=1\).
Proof
Let \(A \in \texttt{PF}_t(\mathscr {S})\). Then \(A\in G({\mathbb {N}})\setminus \mathscr {S}\) and \((\mathscr {S}^*A \cup A\mathscr {S}^*) \subseteq \mathscr {S}^*\). Since \(\mathscr {S}\) is symmetric, we have either \(\texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \ne \emptyset \) or \(\texttt{F}_t(\mathscr {S})\cap \mathscr {S}A \ne \emptyset \). Hence, unless \(A\in \texttt{F}_t(\mathscr {S})\), we have \(\texttt{F}_t(\mathscr {S})\cap \mathscr {S}^* \ne \emptyset \). But (the left, the right, or the two-sided) Frobenius subsets of \(\mathscr {S}\) are always disjoint from \(\mathscr {S}\). This contradiction shows that the membership \(A\in \texttt{F}_t(\mathscr {S})\) holds true. It follows that \(\texttt{PF}_t(\mathscr {S})\) is a subset of \(\texttt{F}_t(\mathscr {S})\). Since the converse inclusion holds automatically, we find that \(\texttt{PF}_t(\mathscr {S}) = \texttt{F}_t(\mathscr {S})\). Finally, since \(\mathscr {S}\) is irreducible, by Theorem 1.5, we have \(|\texttt{F}_t(\mathscr {S})| = 1\). This finishes the proof of our proposition. \(\square \)
In an earlier version of our paper, we had used more stringent definitions for symmetric and pseudo-symmetric unipotent numerical monoids. An anonymous referee suggested that these earlier definitions be referred to by a different name. In light of the referee’s insightful suggestion, we now introduce the “strong” versions of symmetric and pseudo-symmetric unipotent numerical monoids.
Definition 8.5
We call an irreducible unipotent numerical monoid strongly symmetric if for every \(A\in G({\mathbb {N}})\setminus \mathscr {S}\) we have \(\texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \cap \mathscr {S}A \ne \emptyset \). We call an irreducible unipotent numerical monoid strongly pseudo-symmetric if the following two conditions are satisfied:
-
1.
there exists an element \(B\in G({\mathbb {N}})\setminus \mathscr {S}\) such that \(B^2 \in \texttt{F}_t(\mathscr {S})\), and
-
2.
for every \(A\in G({\mathbb {N}})\setminus (\mathscr {S} \sqcup \{B\})\) we have \(\texttt{F}_t(\mathscr {S}) \cap A\mathscr {S} \cap \mathscr {S}A \ne \emptyset \).
For this definition, we have the following result.
Theorem 8.6
Let \(\mathscr {S}\) be a unipotent numerical monoid. If \(\mathscr {S}\) is irreducible, then \(\mathscr {S}\) is either strongly symmetric or strongly pseudo-symmetric.
Proof
Since \(\mathscr {S}\) is irreducible, we know that \(|\texttt{F}_t(\mathscr {S}) | = 1\). Let C denote the unique element of \(\texttt{F}_t(\mathscr {S})\). We define
It is easy to check that \(C\in \mathscr {D}\). Let us assume that \(\mathscr {D}{\setminus } \{C\}\ne \emptyset \). Let H be an element from \(\max _{\le _e} (\mathscr {D}\setminus \{C\})\). We will show that \(\mathscr {S}\sqcup \{H\}\) is a unipotent numerical monoid. Let A and B be two elements from \(\mathscr {S}\sqcup \{H\}\). We check all mutually distinct cases:
-
(a)
We assume that both A and B are from \(\mathscr {S}\). Then we automatically have \(AB\in \mathscr {S}\sqcup \{H\}\).
-
(b)
We assume that \(A\in \mathscr {S}^*\) and \(B= H\). We will show that \(BA \in \mathscr {S}\). Of course, if BA is already an element of \(\mathscr {S}\), then there is nothing to do. Towards a contradiction, we proceed with the assumption that \(BA\notin \mathscr {S}\). Since B is a maximal element with respect to \(\le _e\), we see that \(BA\notin \mathscr {D}\). Hence we have one of the following conditions:
-
(1)
\(C = (BA)^2\),
-
(2)
\(C\in (BA)\mathscr {S}^*\cap \mathscr {S}^*(BA)\).
We proceed with (2). Then, since \(A \in {\mathscr {S}}^*\) and \(C\in (BA)\mathscr {S}^*\cap \mathscr {S}^*(BA)\), we have \(C \in B {\mathscr {S}}^*\). Let \(E, F \in {\mathscr {S}}^*\) be the elements such that \(C = BE = FBA\). Since B is from \({\mathscr {D}}\), we know that \(C \notin B {\mathscr {S}}^* \cap {\mathscr {S}}^* B\). Therefore, \(C\in B{\mathscr {S}}^*\) implies that \(C \notin {\mathscr {S}}^* B\). In particular, we observe that \(C \notin {\mathscr {S}}^* FB \cap FB {\mathscr {S}}^*\). We now have two additional observations regarding the element FB. First, we observe that \((FB)^2 \ne C\). Indeed, if we assume the contrary, then \(FBFB = FBA\) implies that \(FB = A\). It follows that \(FBA = A^2\), which is absurd. Secondly, we observe that \(FB \notin {\mathscr {S}}\). Otherwise, we would have \(FBA \in {\mathscr {S}}\), which is absurd. These observations imply that \(FB \in {\mathscr {D}}\). However, this leads to a contradiction since B is maximal with respect to \(\le _e\). Hence, item (2) is not possible. We proceed with (1). Let \(X:=BAB\). Then \(X\notin \mathscr {S}^*\). Otherwise, we would have \(C=XA \in \mathscr {S}^*\), which is absurd. It follows from the cancellative property of \(\mathscr {S}\) that \(X^2 \ne C\). We proceed to check whether the following membership holds or not:
$$\begin{aligned} C \in \mathscr {S}^* X \cap X \mathscr {S}^*. \end{aligned}$$(2)Let us assume that (2) is true. Then we have an element \(E\in \mathscr {S}^*\) such that
$$\begin{aligned} C = EBAB= BABA. \end{aligned}$$(3)We now observe that both \(Z:= EBA\) and \(Y:= ABA\) cannot be elements of \(\mathscr {S}^*\) at the same time. Otherwise, we see that \(C = B(ABA) \in B\mathscr {S}^*\) and \(C = (EBA)B \in \mathscr {S}^*B\). This means that \(C\in B\mathscr {S}^* \cap \mathscr {S}^* B\), which is not possible since B is from \(\mathscr {D}\). Let us proceed with the assumption that \(Y \notin \mathscr {S}^*\). Evidently, \(Y^2\ne C\). It is also true that \(C\notin Y\mathscr {S}^* \cap \mathscr {S}^* Y\). Otherwise, we find that \(C= LY\) for some \(L\in \mathscr {S}^*\). By the cancellative property of \(\mathscr {S}\), we see that \(B=L\), which is absurd. But all of these observations show that \(Y\in \mathscr {D}\), which contradicts with our assumption that B is maximal with respect to \(\le _e\). Thus, we may now assume that \(Z\notin \mathscr {S}^*\). Notice that \(Z^2 = EBAEBA\). If \(Z^2 = C\), then by the cancellative property of \(\mathscr {S}\), we see that \(EBAE= BA\), which is absurd. Finally, it is also true that \(C\notin Z\mathscr {S}^* \cap \mathscr {S}^* Z\). Otherwise, we find that \(C= LZ=LEBA\) for some \(L\in \mathscr {S}^*\). By using the cancellative property of \(\mathscr {S}\) once more, we see that \(LE= BA\). Since both L and E are from \(\mathscr {S}^*\), we see that \(LE \in \mathscr {S}^*\). However, by our initial assumption \(BA \notin \mathscr {S}^*\). Hence, we obtained our desired contradiction that item (1) is not possible neither.
-
(1)
-
(c)
We assume that \(A\in \mathscr {S}^*\) and \(B= H\). We will show that \(AB \in \mathscr {S}\). Once again, towards a contradiction, we assume that \(AB\notin \mathscr {S}\). As in part (b), the maximality of B implies that one of the following conditions must hold true:
-
(1)
\(C = (AB)^2\),
-
(2)
\(C\in (AB)\mathscr {S}^*\cap \mathscr {S}^*(AB)\).
We begin with (2). Then, since \(A \in {\mathscr {S}}^*\) and \(C\in (AB)\mathscr {S}^*\cap \mathscr {S}^*(AB)\), we have \(C \in {\mathscr {S}}^*B\). Let \(E, F \in {\mathscr {S}}^*\) be the elements such that \(C = EB = ABF\). Since B is from \({\mathscr {D}}\), we know that \(C \notin B {\mathscr {S}}^* \cap {\mathscr {S}}^* B\). Therefore, \(C\in {\mathscr {S}}^*B\) implies that \(C \notin B{\mathscr {S}}^* \). We will make some observations regarding the element BF. First, we observe that \((BF)^2 \ne C\). Indeed, if we assume the contrary, then \(BFBF = ABF\) implies that \(BF = A\). It follows that \(C=ABF = A^2\), which is absurd. Secondly, we observe that \(BF \notin {\mathscr {S}}\). Otherwise, we would have \(ABF \in {\mathscr {S}}\), which is absurd. Finally, we check if \(C\in \mathscr {S}^* BF \cap BF \mathscr {S}^*\) or not. Since \(BF\mathscr {S}^*\subset B\mathscr {S}^*\) and since we observed earlier that \(C \notin B{\mathscr {S}}^* \), we see that \(C\notin \mathscr {S}^* BF \cap BF \mathscr {S}^*\). These observations imply that \(BF \in {\mathscr {D}}\). However, this leads to a contradiction since B is maximal with respect to \(\le _e\). Hence, item (2) is not possible. We now consider (1). Let \(Y:=BAB\). Then \(Y\notin \mathscr {S}^*\). Otherwise, we find that \(C=AY\in \mathscr {S}^*\), which is absurd. It is also evident that \(Y^2 \ne C\). We proceed to check whether \(C\in Y\mathscr {S}^* \cap \mathscr {S}^*Y\) holds or not. Let us assume that it is true. Then there exist \(E\in \mathscr {S}^*\) such that
$$\begin{aligned} ABAB = C = YE = BABE. \end{aligned}$$We claim that both \(W:=ABA\) and \(Z:=ABE\) cannot be elements of \(\mathscr {S}^*\) at the same time. Otherwise, we see that \(C = (ABA)B \in \mathscr {S}^*B\) and \(C=B(ABE) \in B\mathscr {S}^*\), implying that \(C\in \mathscr {S}^*B\cap B\mathscr {S}^*\). This is absurd, since B is from \(\mathscr {D}\). We proceed with the assumption that \(W\notin \mathscr {S}^*\). Clearly, \(W^2\ne C\). It is also true that \(C\notin W\mathscr {S}^* \cap \mathscr {S}^* W\). Otherwise, there exists \(L\in \mathscr {S}^*\) such that \(ABAB = ABAL\). By the cancellative property of \(\mathscr {S}\), we see that \(B=L\) holds, which is absurd. These observations imply that \(W\in \mathscr {D}\). But this contradicts with the maximality of B with respect to \(\le _e\).
We now proceed with the assumption that \(Z\notin \mathscr {S}^*\). Note that \(Z^2\ne C\). Otherwise we would have \(ABEABE = ABAB\), implying \(EABE=AB\), which is absurd. Notice also that \(C\notin Z\mathscr {S}^* \cap \mathscr {S}^* Z\). Otherwise, we find that \(C= ZL = ABEL\). Then, by the cancellative property of \(\mathscr {S}\), we have \(AB=EL\in \mathscr {S}^*\), which contradicts with our initial assumption that \(AB\notin \mathscr {S}^*\). Hence, \(C\notin Z\mathscr {S}^* \cap \mathscr {S}^* Z\). Now all of these observations show that \(Z\in \mathscr {D}\). But, once again, this leads to a contradiction with the maximality of B with respect to \(\le _e\). Hence, (1) is not possible also.
-
(1)
-
(d)
We assume that \(A=B= H\). We will show that \(H^2\in \mathscr {S}\). Towards a contradiction, we assume that \(H^2 \notin \mathscr {S}\). Parts (b) and (c) show that for every \(A\in \mathscr {S}^*\) we have \(\{ AH, HA \} \subseteq \mathscr {S}^*\). Hence, it follows from the definition of the two-sided pseudo-Frobenius sets that \(H\in \texttt{PF}_t(\mathscr {S})\). At the same time, since H is a maximal element, we know that \(H^2 \notin \mathscr {D}\). This means that either \(H^4 = C\) or \(C\in H^2\mathscr {S}^* \cap \mathscr {S}^* H^2\). If \(H^4=C\) holds, then we claim that \(H^3\in \mathscr {D}\) has to hold. Let us assume that \(H^3\in \mathscr {S}\). Then \(C=H^4\) is an element of \(H\mathscr {S}^*\cap \mathscr {S}^*H\), which is absurd. Hence, we proceed with the assumption that \(H^3\in \texttt{G}(\mathbb { N})\backslash \mathscr {S}\). Now, if \(H^3\) is not an element of \(\mathscr {D}\), then we must have that \(C=H^4\in H^3\mathscr {S}^*\cap \mathscr {S}^* H^3\). Then it follows that \(H\in \mathscr {S}^*\), which is a contradiction. Hence, we proved our claim that \(H^3\) is contained in \(\mathscr {D}\) if \(C=H^4\) is assumed. But this contradicts with the maximality of H in \(\mathscr {D}{\setminus } \{C\}\). Therefore, the remaining possibility, that is, \(C\in H^2\mathscr {S}^*\cap \mathscr {S}^* H^2\) must be true. In this case, let \(A,B\in \mathscr {S}^*\) be two elements such that \(C=AH^2=H^2B\). By parts (b) and (c), we have \(AH,HB\in \mathscr {S}^*\). It follows that \(C\in H\mathscr {S}^*\cap \mathscr {S}^* H\), a contradiction. In conclusion, we have \(H^2\in \mathscr {S}\).
Hence, we showed that \(\mathscr {S} \sqcup \{H\}\) is a unipotent numerical monoid. We now have two unipotent numerical monoids \(\mathscr {S} \sqcup \{C\}\) and \(\mathscr {S}\sqcup \{H\}\), properly containing \(\mathscr {S}\), such that we have
This contradicts with our hypothesis that \(\mathscr {S}\) is irreducible. We proceed with the assumption that \(\mathscr {D} = \{ C\}\). It follows from the definition of \(\mathscr {D}\) that for every \(H \in G({\mathbb {N}}) {\setminus } \mathscr {S} \sqcup \{C\}\) such that \(H^2\ne C\) we have \(C\in H\mathscr {S}^*\cap \mathscr {S}^*H\). Equivalently, for every such H, we have \(\texttt{F}_t(\mathscr {S}) \cap H\mathscr {S}^* \cap \mathscr {S}^* H \ne \emptyset \). Therefore, we have \(\texttt{F}_t(\mathscr {S}) \cap H\mathscr {S} \cap \mathscr {S} H \ne \emptyset \) for every \(H\in G({\mathbb {N}}){\setminus } \mathscr {S}\) such that \(H^2 \ne C\). Now, on one hand, if there is no H in \(G({\mathbb {N}})\setminus \mathscr {S}\) such that \(H^2 = C\), then we readily see that \(\mathscr {S}\) is a symmetric unipotent numerical monoid. On the other hand, if there is such an H in \(G({\mathbb {N}})\setminus \mathscr {S}\), then we readily see that \(\mathscr {S}\) together with \(B:=H\) satisfy the conditions for \(\mathscr {S}\) being a pseudo-symmetric unipotent numerical monoid. Hence, we finished the proof of our theorem. \(\square \)
We are now ready to prove our Theorem 1.7 which states the following:
Let \(\mathscr {S}\) be a unipotent numerical monoid. If \(\mathscr {S}\) is irreducible, then \(\mathscr {S}\) is either symmetric or pseudo-symmetric.
Proof of Theorem 1.7
It is easy to check that every strongly symmetric unipotent numerical monoid is a symmetric unipotent numerical monoid. Similarly, every strongly pseudo-symmetric unipotent numerical monoid is a pseudo-symmetric unipotent numerical monoid. The rest of the proof follows from Theorem 8.6. \(\square \)
The strong symmetry property imposes severe restrictions on the left and the right Frobenius sets.
Corollary 8.7
If \(\mathscr {S}\) is a strongly symmetric unipotent numerical monoid, then we have
Proof
We already know the inclusions \(\texttt{F}_t(\mathscr {S}) \subseteq \texttt{F}_l(\mathscr {S})\) and \(\texttt{F}_t(\mathscr {S}) \subseteq \texttt{F}_r(\mathscr {S})\). By Proposition 8.4, we know that the two-sided Frobenius set has a unique element, \(\texttt{F}_t(\mathscr {S})=\{C\}\). Assume towards a contradiction that there is an element \(A\in \texttt{F}_l(\mathscr {S}) \setminus \texttt{F}_t(\mathscr {S})\). Since A is from \(G({\mathbb {N}})\setminus \mathscr {S}\), we know that \(\texttt{F}_t(\mathscr {S}) \cap A \mathscr {S}^* \cap \mathscr {S}^* A \ne \emptyset \). Hence, there exists \(B\in \mathscr {S}^*\) such that \(C=AB\). But, as we pointed in Remark 6.1, if A and C are two elements from \(\texttt{F}_l(\mathscr {S})\), then there is no element \(B\in G({\mathbb {N}})^*\) such that \(AB=C\). This contradiction shows that \( \texttt{F}_l(\mathscr {S}) = \texttt{F}_t(\mathscr {S})\). The equality \(\texttt{F}_r(\mathscr {S}) = \texttt{F}_t(\mathscr {S})\) is proven similarly. Hence, our proof is complete. \(\square \)
Recall our notation \(\preceq \) from the introduction. It denotes the partial order \(\le _{G({\mathbb {N}}),t}\) on \(G({\mathbb {N}})\). We are now ready to prove the Theorem 1.8. We recall its statement for the convenience of the reader.
Let \(\mathscr {S}\) be a strongly symmetric unipotent numerical monoid in \(G({\mathbb {N}})\) such that \(\texttt{F}_t(\mathscr {S}) = \{C\}\) for some \(C\in G({\mathbb {N}}){\setminus } \mathscr {S}\). Then we have
Proof of Theorem 1.8
By Propositions 8.4 and 7.4, we know that \(\{C\} = \texttt{F}_t(\mathscr {S})=\texttt{PF}_t(\mathscr {S})\). Let \(X\in G({\mathbb {N}})\backslash \mathscr {S}\). Then we have \(\texttt{F}_t(\mathscr {S})\cap X \mathscr {S}^* \cap \mathscr {S}^* X \ne \emptyset \), implying that \(X\preceq C\). This means that \(G({\mathbb {N}})\setminus \mathscr {S}\) is a subset of \(\texttt{g}(\mathscr {S},C,\preceq )\). But by definition, \(\texttt{g}(\mathscr {S},C,\preceq )\) is a subset of \(G({\mathbb {N}})\setminus \mathscr {S}\). Therefore we proved the following equalities of sets for symmetric numerical monoids:
It follows that \(\texttt{g}(\mathscr {S}) = | \texttt{g}(\mathscr {S},C,\preceq )|\).
Now, let us analyze the set \(\texttt{n}(\mathscr {S},C, \preceq )\). This is precisely the set of all elements \(A\in \mathscr {S}\) such that \(\{A^{-1}C, CA^{-1}\} \subseteq G({\mathbb {N}})\). In addition, since \(\texttt{n}(\mathscr {S},C, \preceq )\subset \mathscr {S}\), we must have that \(\{ A^{-1}C, CA^{-1} \} \cap \mathscr {S} = \emptyset \). Otherwise, we would have \(C\in \mathscr {S}\) which is absurd. In conclusion, the set \(\texttt{n}(\mathscr {S},C, \preceq )\) is precisely the set of all elements \(A\in \mathscr {S}\) such that \(CA^{-1}\in G({\mathbb {N}})\setminus \mathscr {S}\) and \(A^{-1}C\in G({\mathbb {N}})\setminus \mathscr {S}\). We define a map \(\varPsi :\texttt{g}(\mathscr {S},C,\preceq ) \rightarrow \texttt{n}(\mathscr {S},C,\preceq )\) as follows:
It is evident from the fact that \(\mathscr {S}\) is a cancellative monoid that \(\varPsi \) is an injective map. We claim that this map is onto. Let \(Y\in \texttt{n}(\mathscr {S},C,\preceq )\). We set \(X:=Y^{-1}C\). Then we know from the previous paragraph that \(X\in G({\mathbb {N}})\setminus \mathscr {S}\). Hence, we see that \(\varPsi (X) = CX^{-1} = C (Y^{-1}C)^{-1} = Y\). This finishes the proof of the fact that the sets \(\texttt{g}(\mathscr {S},C,\preceq )\) and \(\texttt{n}(\mathscr {S},C,\preceq )\) are in a bijection with each other. \(\square \)
The last proposition of our paper shows how our previous theorem generalizes a well-known property of the symmetric generalized numerical semigroups.
Proposition 8.8
Let \(\mathscr {S}\) be a strongly symmetric unipotent numerical monoid. Then we have
In particular, if G is the commutative unipotent numerical monoid \(\textbf{P}(n,{\mathbb {N}})\), then we have
where \(\text { vol }(\text { Cube }(C))\) stands for the volume of the convex hull of points \(P\in {\mathbb {N}}^{n}\), where P is obtained from the vector \((1,c_2,\dots , c_n)\) by setting some of the coordinates to 0. Here, \((1,c_2,\dots , c_n)\) is the first row of the matrix C.
Proof
Let \(\texttt{F}_t(\mathscr {S})\) be given by \(\{C\}\). By Propositions 8.4 and 7.4, we know that
This means that for every gap set element \(X\in G({\mathbb {N}}){\setminus } \mathscr {S}\), we have \(X\le _e C\). In particular, we see that
Since C is the unique maximal element of \(G({\mathbb {N}})\setminus \mathscr {S}\) with respect to \(\le _{\mathscr {S},t}\), (4) implies that
Then we see that
This finishes the proof of our first assertion.
We now proceed with the assumption that \(G= \textbf{P}(n,{\mathbb {N}})\). Then we notice that the orders \(\le _e\) and \(\preceq \) on a unipotent numerical monoid \(\mathscr {S}\) in G are the same. Indeed, an element \(B\in \mathscr {S}\) covers another element \(A\in \mathscr {S}\) in \(\le _e\) if and only if the difference \(B-A\) has all nonnegative entries. By using elementary matrices, we can express this as follows:
where \(E_{1,j}\) is the elementary unipotent matrix with 1 at its (1, j)-th entry. Hence, by Theorem 1.8, we see that \(| \texttt{n}(G({\mathbb {N}}),C,\le _e) | = 2\texttt{g}(S)\). Let \((1,c_2,\dots , c_n)\) denote the first row of C. Then \(|\texttt{n}(G({\mathbb {N}}),C,\le _e)|\) is given by the number of points in the hypercube whose vertices are obtained from \((1,c_2,\dots , c_n)\) by setting some of the coordinates to 0. But this proves our second assertion. Hence, the proof of our proposition is complete. \(\square \)
References
Assi, A., D’Anna, M., García-Sánchez, P.A.: Numerical Semigroups and Applications. RSME Springer Series, vol. 3, Springer, Cham (2020). https://doi.org/10.1007/978-3-030-54943-5
Beelen, P., Tutaş, N.: A generalization of the Weierstrass semigroup. J. Pure Appl. Algebra 207(2), 243–260 (2006). https://doi.org/10.1016/j.jpaa.2005.09.017
Bernardini, M., Tenório, W., Tizziotti, G.: The corner element of generalized numerical semigroups. Results Math. 77(4), 141–20 (2022). https://doi.org/10.1007/s00025-022-01682-9
Bhardwaj, O.P., Goel, K., Sengupta, I.: Affine semigroups of maximal projective dimension. Collect. Math. 74(3), 703–727 (2023). https://doi.org/10.1007/s13348-022-00370-9
Can, M.B., Sakran, N.: On generalized Wilf conjectures. Port. Math. 81(1–2), 21–55 (2024). https://doi.org/10.4171/pm/2112
Cisto, C., Delgado, M., García-Sánchez, P.A.: Algorithms for generalized numerical semigroups. J. Algebra Appl. 20(5), 2150079 (2021). https://doi.org/10.1142/S0219498821500791
Cisto, C., Delgado, M., García-Sánchez, P.A.: Algorithms for generalized numerical semigroups. J. Algebra Appl. 20(5), 2150079–24 (2021). https://doi.org/10.1142/S0219498821500791
Cisto, C., Failla, G., Peterson, C., Utano, R.: Irreducible generalized numerical semigroups and uniqueness of the Frobenius element. Semigroup Forum 99(2), 481–495 (2019). https://doi.org/10.1007/s00233-019-10040-1
Cisto, C., Failla, G., Utano, R.: On the generators of a generalized numerical semigroup. An. Ştiinţ. Univ. “Ovidius’’ Constanţa Ser. Mat 27(1), 49–59 (2019). https://doi.org/10.2478/auom-2019-0003
Cisto, C., Tenório, W.: On almost-symmetry in generalized numerical semigroups. Comm. Algebra 49(6), 2337–2355 (2021). https://doi.org/10.1080/00927872.2020.1870998
Delgado, M., García-Sánchez, P.A., Rosales, J.C.: Numerical semigroups problem list. Bull. Centro Internacional de Matemetica 7, 8–14 (2013)
Díaz-Ramírez, J.D., García-García, J.I., Marín-Aragón, D., Vigneron-Tenorio, A.: Characterizing affine \({\cal{C} }\)-semigroups. Ric. Mat. 71(1), 283–296 (2022). https://doi.org/10.1007/s11587-022-00693-6
DiPasquale, M., Gillespie, B.R., Peterson, C.: Quasi-polynomial growth of numerical and affine semigroups with constrained gaps. Semigroup Forum 107(1), 60–78 (2023). https://doi.org/10.1007/s00233-023-10366-x
Failla, G., Peterson, C., Utano, R.: Algorithms and basic asymptotics for generalized numerical semigroups in \({\mathbb{N}}^d\). Semigroup Forum 92(2), 460–473 (2016). https://doi.org/10.1007/s00233-015-9690-8
García-García, J.I., Marín-Aragón, D., Vigneron-Tenorio, A.: An extension of Wilf’s conjecture to affine semigroups. Semigroup Forum 96(2), 396–408 (2018). https://doi.org/10.1007/s00233-017-9906-1
Homma, M.: The Weierstrass semigroup of a pair of points on a curve. Arch. Math. (Basel) 67(4), 337–348 (1996). https://doi.org/10.1007/BF01197599
Kim, S.J.: On the index of the Weierstrass semigroup of a pair of points on a curve. Arch. Math. (Basel) 62(1), 73–82 (1994). https://doi.org/10.1007/BF01200442
Matthews, G.L.: Weierstrass pairs and minimum distance of Goppa codes. Des. Codes Cryptogr. 22(2), 107–121 (2001). https://doi.org/10.1023/A:1008311518095
Rosales, J.C., García-Sánchez, P.A.: Finitely Generated Commutative Monoids. Nova Science Publishers, Commack (1999)
Rosales, J.C., García-Sánchez, P.A.: Numerical Semigroups. Developments in Mathematics, vol. 20, Springer, New York (2009). https://doi.org/10.1007/978-1-4419-0160-6
Singhal, D., Lin, Y.: Frobenius allowable gaps of generalized numerical semigroups. Electron. J. Combin. 29(4), 4.12 (2022). https://doi.org/10.37236/10748
Tenório, W., Tizziotti, G.: On Weierstrass gaps at several points. Bull. Braz. Math. Soc. (N.S.) 50(2), 543–559 (2019). https://doi.org/10.1007/s00574-018-0116-6
Acknowledgements
The authors are grateful to the referee. The comments and remarks of the referee not only significantly improved the quality and the strength of this article but also clarified some of its obscurities. The first author gratefully acknowledges partial support from the Louisiana Board of Regents Grant, Contract No. LEQSF(2023-25)-RD-A-21.
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
Can, M.B., Sakran, N. Irreducible unipotent numerical monoids. Semigroup Forum (2024). https://doi.org/10.1007/s00233-024-10458-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00233-024-10458-2