Proper extensions of weakly left ample semigroups

Summary

We consider proper (idempotent pure) extensions of weakly left ample semigroups. These are extensions that are injective in each <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\widetilde{\mathcal{R}}$-class. A graph expansion of a weakly left ample semigroup S is shown to be such an extension of S. Using semigroupoids acted upon by weakly left ample semigroups, we prove that any weakly left ample semigroup which is a proper extension of another such semigroup T is (2,1)-embeddable into a λ-semidirect product of a semilattice by T. Some known results, by O'Carroll, for idempotent pure extensions of inverse semigroups and, by Billhardt, for proper extensions of left ample semigroups follow from this more general situation.