The lattice of inverse subsemigroups of a reduced inverse semigroup

An inverse semigroup R is said to be reduced (or proper) if ℛ∩σ= i (where σ is the minimum group congruence on R). McAlister has shown ([3], [4]) that every reduced inverse semigroup is isomorphic with a “P-semigroup” P(G, , ), for some semilattice , poset containing as an ideal, and group G acting on by order-automorphisms; (and, conversely, every P-semigroup is reduced). In [4], he also found the morphisms between P-semigroups, in terms of morphisms between the respective groups, and between the respective posets.