A construction of regular semigroups with quasiideal regular *-transversals

Abstract

Let $S$ be a semigroup and let “$\ast$ ” be a unary operation on S satisfying the following identities: $$xx^{\ast} x = x, x^{\ast} xx^{\ast} = x^{\ast},\; x^{\ast \ast \ast} = x^{\ast},\; (xy^{\ast} )^{\ast} = y^{\ast \ast} x^{\ast},\; (x^{\ast} y)^{\ast} = y^{\ast} x^{\ast \ast}.$$ Then S\ast = \{ x\ast | x \in S\} is called a regular \ast -transversal of $S$ in the literatures. We propose a method for the construction of regular semigroups with quasiideal regular $\ast$ -transversals based on the use of fundamental regular semigroups and regular $\ast$ -semigroups.