On the algebraic structure of the Schr\"{o}der monoid

TL;DR

This paper investigates the algebraic structure of certain semigroups related to order-decreasing transformations on finite chains, establishing their properties, ranks, and generating sets, with explicit formulas for these ranks.

Contribution

It introduces and analyzes the algebraic properties of the Schröder monoid and related semigroups, providing explicit rank formulas and demonstrating their abundance and idempotent generation.

Findings

All considered semigroups are abundant and idempotent generated.

Ranks of Rees quotients match the ranks of their two-sided ideals.

Explicit formulas for ranks involve binomial coefficients and powers of two.

Abstract

Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{LS}_{n}$ be the semigroup consisting of all isotone and order-decreasing partial transformations on $[n]$. Moreover, let $\mathcal{SS}_{n} = \{\alpha \in \mathcal{LS}_{n} : \, 1 \in \text{Dom } \alpha\}$ be the subsemigroup of $\mathcal{LS}_{n}$, consisting of all transformations in $\mathcal{LS}_{n}$ each of whose domain contains $1$. For $1 \leq p \leq n$, let $K(n,p) = \{\alpha \in \mathcal{LS}_{n} : \, |\text{Im } \, \alpha| \leq p\}$ and $M(n,p) = \{\alpha \in \mathcal{SS}_{n} : \, |\text{Im } \alpha| \leq p\}$ be the two-sided ideals of $\mathcal{LS}_{n}$ and $\mathcal{SS}_{n}$, respectively. Furthermore, let ${RLS}_{n}(p)$ and ${RSS}_{n}(p)$ denote the Rees quotients of $K(n,p)$ and $M(n,p)$, respectively. It is shown in this article that for any $S \in \{\mathcal{SS}_{n}, \mathcal{LS}_{n}, {RLS}_{n}(p), {RSS}_{n}(p)\}$, $S$ is abundant and idempotent generated for all values of $n$. Moreover, the ranks of the Rees quotients ${RLS}_{n}(p)$ and ${RSS}_{n}(p)$ are shown to be equal to the ranks of the two-sided ideals $K(n,p)$ and $M(n,p)$, respectively. Finally, these ranks are computed to be $\sum\limits_{k=p}^{n} \binom{n}{k} \binom{k-1}{p-1}$ and $\binom{n-1}{p-1}2^{n-p}$, respectively.