Abstract
Let $D_n $ (${\cal O}_n$) be the semigroup of all finite order-decreasing (order-preserving) full transformations of an $n$-element chain, and let $D(n,r) = \{\alpha\in D_n: |\mbox{Im}\alpha| \leq r\}$ (${\cal C}(n,r) = D(n,r)\cap {\cal O}_n)$ be the two-sided ideal of $D_n $ ($D_n \cap {\cal O}_n$). Then it is shown that for $r \geq 2$, the Rees quotient semigroup $DP_r(n)= D(n,r) / D(n,r-1)$ (${\cal C}P_r(n)= {\cal C}(n,r)/{\cal C} (n,r-1)$) is an ${\cal R}$-trivial (${\cal J}$-trivial) idempotent-generated 0*-bisimple primitive abundant semigroup. The order of ${\cal C}P_r(n)$ is shown to be $1+ \left(\begin{array}{c} n-1 \\ r-1 \end{array} \right) \left(\begin{array}{c} n \\ r \end{array} \right)/(n-r+1)$. Finally, the rank and idempotent ranks of ${\cal C}P_r(n)\,(r<n)$ are both shown to be equal to $\left(\begin{array}{c} n-1 \\ r-1 \end{array} \right)$.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding authors
Additional information
Edited by John B. Fountain
Rights and permissions
About this article
Cite this article
Laradji, A., Umar, A. On Certain Finite Semigroups of Order-decreasing Transformations I. Semigroup Forum 69, 184–200 (2004). https://doi.org/10.1007/s00233-004-0101-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-004-0101-9