On Certain Finite Semigroups of Order-decreasing Transformations I

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)$.