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=\{\alpha \in T_n:(\forall x \in X_n) \ x\alpha \leq x\}$ be the subsemigroup of all order-decreasing maps of $T_n$, and let $O_n=\{\alpha \in T_n:(\forall x ,y\in X_n) \ x \leq y \Rightarrow x\alpha \leq y\alpha\}$ 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.