Monomorphisms of transformation semigroups (Q1067013)

S is any semigroup of partial transformations on a set X which contains the identity \(i_ X\) but may or may not contain the empty transformation e. Furthermore, S covers X. That is to say, for each \(x\in X\), there exists \(A\subseteq X\) such that \(x\in A\) and \(A_ x\in S\) where \(A_ x\) is the constant function with domain A which carries everything into the point x. An endomorphism \(\phi\) of S absorbs constants if whenever \(A_ x(i_ X\phi)=A_ x\) for an idempotent constant \(A_ x\in S\), then \(B_ x\in S\phi\) for some idempotent constant \(B_ x\). Finally, the term transitive has the usual meaning and S is 2-transitive if for all a,b,x,y,\(\in X\) with \(a\neq b\) and \(x\neq y\), \(a\alpha =x\) and \(b\alpha =y\) for some \(\alpha\in S\). It is shown that if S is transitive and \(\phi\) is a monomorphism from S to S which absorbs constants and fixes e, in the event \(e\in S\), then there exist partial transformations \(\lambda\) and \(\mu\) on X such that \(\mu \lambda =i_ X\) and \(\alpha \phi =\lambda \alpha \mu\) for all \(\alpha\in S\). It is shown further that if S is 2- transitive and \(\phi\) is an endomorphism which absorbs constants and fixes e if \(e\in S\), then \(\phi\) is either injective or maps everything to a single idempotent. The author then concludes by investigation the monomorphisms of the full symmetric inverse semigroup which fix the empty transformation.