Partial actions and an embedding theorem for inverse semigroups

We give a simple construction involving partial actions which permits us to obtain an easy proof of a weakened version of L. O’Carroll’s theorem on idempotent pure extensions of inverse semigroups.