On the Bifree Locally Inverse Semigroup Original Research Article

A class of regular semigroups closed under taking direct products, regular subsemigroups, and homomorphic images is an existence variety, (or e-variety) of regular semigroups. For an e-variety image of locally inverse or E-solid regular semigroups, the bifree objectBFimage(X) on a set X is the natural concept of a "free object" in image. Its existence has been proved by Y. T. Yeh. Using canonical forms of the elements of the bifree completely simple semigroup BFimageimage(X) we shall present two models of the bifree locally inverse semigroup BFimageimage(X). One is by means of a semidirect product of a semilattice by the bifree completely simple semigroup and is an analogue to Scheiblich′s model of the free inverse semigroup. The other description is in terms of canonical forms which are strongly related to Schein′s canonical forms for the elements of the free inverse semigroup. The proofs use the concept of bi-identities and are syntactical. As an application we get (new proofs of) the following results: (i) each locally inverse semigroup divides a semidirect product of a semilattice and a completely simple semigroup, (ii) the e-variety of all locally inverse semigroups is generated by either of the Mal′cev products imagering operatorimageimage and imagering operatorimageimage where image = semilattices, imageimage = completely simple semigroups, image = inverse semigroups, imageimage = rectangular bands.