English

On the small Schr\"{o}der semigroup $\mathcal{SS}^{\prime}_{n}$

Group Theory 2025-12-23 v1

Abstract

Let [n][n] be a finite nn-chain {1,2,,n}\{1, 2, \dots, n\}, and let LSn\mathcal{LS}_{n} be the Schr\"{o}der monoid, consisting of all isotone and order-decreasing partial transformations on [n][n]. Furthermore, let SSn={αLSn:1∉ Dom α}\mathcal{SS}^{\prime}_{n} = \{\alpha \in \mathcal{LS}_{n} : \, 1\not\in \text{ Dom } \alpha\} be the subsemigroup of LSn\mathcal{LS}_{n}, consisting of all transformations in LSn\mathcal{LS}_{n}, each of whose domain does not contain 11. For 1pn1 \leq p \leq n, let K(n,p)={αSSn:Imαp}K(n,p) = \{\alpha \in \mathcal{SS}^{\prime}_{n} : \, |Im \, \alpha| \leq p\} be the two-sided ideal of SSn\mathcal{SS}^{\prime}_{n}. Moreover, let RSSn(p){RSS}^{\prime}_{n}(p) denote the Rees quotient of K(n,p)K(n,p). It is shown in this article that for any SS in {SSn,K(n,p),RSSn(p)}\{\mathcal{SS}^{\prime}_{n}, K(n,p), {RSS}^{\prime}_{n}(p)\}, SS is right abundant for all values of nn, but not left abundant for all n2n \geq 2. In addition, the rank of the Rees quotient RSSn(p){RSS}^{\prime}_{n}(p) is shown to be equal to the rank of the two-sided ideal K(n,p)K(n,p), which is equal to (n1p1)+k=pn1(n1k)(k1p1)\binom{n-1}{p-1}+\sum\limits_{k=p}^{n-1}\binom{n-1}{k} \binom{k-1}{p-1}. Finally, the rank of SSn\mathcal{SS}^{\prime}_{n} is determined to be 3n43n-4.

Keywords

Cite

@article{arxiv.2512.19422,
  title  = {On the small Schr\"{o}der semigroup $\mathcal{SS}^{\prime}_{n}$},
  author = {Muhammad Mansur Zubairu and Abdullahi Umar and Fatma Salim Al-Kharousi},
  journal= {arXiv preprint arXiv:2512.19422},
  year   = {2025}
}

Comments

The research was conducted in 2024 at Sultan Qaboos University Oman