Regularity and Green's relations on semigroups of transformations with restricted range that preserve an equivalence (Q2308105): Difference between revisions

Let \(X\) be a set. Then \(T(X)\) is the full transformation semigroup of \(X\). Let \(Y\) be a subset of \(X\) and \(T(X, Y)\) the set of all functions from \(X\) into \(Y\), which forms a subsemigroup of \(T(X)\). Take an equivalence \(E\) on \(X\) and consider a subsemigroup \(T_E(X, Y) = \{ \alpha \in T(X, Y) : (\forall (x, y) \in E)\; (x \alpha, y \alpha) \in E\}\) of \(T(X, Y)\). The authors give a necessary and sufficient condition for \(T_E(X, Y)\) to be regular and characterize Green's relations on \(T_E(X, Y)\).