Congruences induced by transitive representations of inverse semigroups
Mario Petrich, S. A. Rankin · Glasgow Mathematical Journal · 1987
Transitive group representations have their analogue for inverse semigroups as discovered by Schein [7]. The right cosets in the group case find their counterpart in the right ω-cosets and the symmetric inverse semigroup plays the role of the symmetric group. The general theory developed by Schein admits a special case discovered independently by Ponizovskiǐ [4] and Reilly [5]. For a discussion of this topic, see [1, §7.3] and [2, Chapter IV].