A construction of weakly inverse semigroups. (Q1034301)

The notion of a weakly inverse semigroup was introduced by \textit{B. R. Srinivasan}, [Math. Ann. 176, 324-333 (1968; Zbl 0157.04805)]. He showed that the semigroup \(\mathcal{PT}(X)\) of all partial transformations of a set \(X\) is a weakly inverse semigroup and every weakly inverse semigroup \(S\) can be embedded in \(\mathcal{PT}(S)\). The main result of the authors is a construction of weakly inverse semigroups proceeding from a structure called a weakly inverse system which consists of an inverse semigroup \(S^0\), a so-called weakly inverse biordered set \(E\) with a subsemilattice \(E_P\) which is isomorphic to the semilattice biordered set \(E^0\) of idempotents in \(S^0\) by means of a map \(\theta\colon E_P\to E^0\) and a map \(\varphi\) from \(E_P\) into \(\mathcal{PT}(E\cup S^0)\). A weakly inverse semigroup \(\Sigma\) can be constructed in \(\mathcal{PT}(S^0)\), called the weakly inverse hull of this weakly inverse system, and every weakly inverse semigroup can be constructed in this way. A necessary and sufficient condition for two weakly inverse hulls to be isomorphic is given.