Some notes on strongly E*-unitary inverse semigroups

Abstract

In this paper, we give a direct proof that every strongly \(\user1{E}^ * --\user1{unitary}\) inverse semigroup can be embedded into a 0-semidirect product of a semilattice with zero by a group. As a corollary, we obtain a new proof of the structure theory of strongly \(\user1{E}^ * --\user1{unitary}\) inverse semigroups described in [1]. We also prove that the strongly \(\user1{E}^ * --\user1{unitary}\) inverse semigroups are precisely \(\user1{E}^ * -\user1{unitary}\) inverse semigroups equipped with a \(\user1{0 - restricted}\), idempotent pure prehomomorphism to a primitive inverse semigroup.