The structure of 0-bisimple strongly E *-unitary inverse monoids

We introduce a class of strongly E ^*-unitary inverse semigroups S _i (G, P) (i = 1,2) determined by a group G and a submonoid P of G and give an embedding theorem for S _i (G, P). Moreover we characterize 0-bisimple strongly E ^*-unitary inverse monoids and 0-bisimple strongly F ^*-inverse monoids by using S _i (G, P).