No CrossRef data available.
Published online by Cambridge University Press: 09 April 2009
We show that every inverse semigroup is an idempotent separating homomorphic image of a convex inverse subsemigroup of a P-semigroup P(G, L, L), where G acts transitively on L. This division theorem for inverse semigroups can be applied to obtain a division theorem for pseudo-inverse semigroups.