A property of transformation semigroups. (Q1758231)

Let \(S\) be a semigroup. For \(a,b\in S\) we write \(a\leq b\) if \(a=xb=by\) and \(xa=a\) for some \(x,y\in S^1\). The author calls \(S\) right (left) quasiresiduated if for any \(a,b\in S\) there exists \(x\in S\) such that \(ax\leq b\) (resp. \(xa\leq b\)). If \(S\) has a zero element it makes sense to require that all \(a,b\) and \(x\) are nonzero. In this paper the author studies this property for several classes of semigroups including classical transformation semigroups, matrices and semigroups of (partial) linear transformations of vector spaces. It turns out that most of them are either left or right (\(0\)-)quasiresiduated, at least if the underlying set is finite or the underlying vector space is finite dimensional.