On the Dominions of Certain Semigroups of Transformations

Abstract

In the full transformation semigroup $T_n$ on a finite chain $X_n$, let $D_n=\{α\in T_n:(\forall x \in X_n) \ xα\leq x\}$ be the subsemigroup of all order-decreasing maps of $T_n$, and let $O_n=\{α\in T_n:(\forall x ,y\in X_n) \ x \leq y \Rightarrow xα\leq yα\}$ be the subsemigroup of all order-preserving maps of $T_n$. The Catalan monoid $C_n$ is a semigroup of all order-decreasing and order-preserving full transformations of $X_n$. In this paper, it is shown that $O_n$ is closed in $T_n$. Also, the dominion of $D_n$ and the dominion of $C_n$ in $T_n$, denoted by $Dom_{T_n}(D_n)$ and $Dom_{T_n}(C_n)$, are characterized, and it is shown that they are regular idempotent-generated subsemigroups of $T_n$. Moreover, a formula for the number of their elements and their idempotents is given.