Regularity and Green's relations on a semigroup of transformations with restricted range. (Q954840): Difference between revisions

Summary: Let \(T(X)\) be the full transformation semigroup on the set \(X\) and let \(T(X,Y)=\{\alpha\in T(X):X\alpha\subseteq Y\}\). Then \(T(X,Y)\) is a subsemigroup of \(T(X)\) determined by a nonempty subset \(Y\) of \(X\). In this paper, we give a necessary and sufficient condition for \(T(X,Y)\) to be regular. In the case that \(T(X,Y)\) is not regular, the largest regular subsemigroup is obtained and this subsemigroup is shown to determine the Green's relations on \(T(X,Y)\). Also, a class of maximal inverse subsemigroups of \(T(X,Y)\) is obtained.