Abstract:
Let T
X be the full transformation semigroup on a nonempty set X and E be an equivalence on X. Then T
(X)=f∈T
X:x,y∈X,(f(x),f(y))∈E(x,y)∈E is a subsemigroup of TX of transformations reflecting the equivalence E. Fix an element θ∈T
(X) and define an operation ° on T
(X) by f°g=fθg where fθg denotes the composition of the maps g,θ and f in the usual sense. With respect to the new operation °, T
(X) forms a new semigroup which is called a sandwich semigroup of T
(X) and denoted by T
(X;θ). The regular elements of the sandwich transformation semigroup T
(X;θ) were characterized and a necessary and sufficient condition for the regular semigroup T
(X;θ) was presented.