Subdirect products of regular semigroups

A nonempty subset X contained in anH-class of a regular semigroup S is called agroup coset in S if XX′X=X and X′XX′=X′ where X′ is the set of inverses of elements of X contained in anH-class of S. Let μ denote the maximum idempotent separating congruence on S. We show in Section 1 of this paper that the set K(S) of group cosets in S contained in the μ-classes of S is a regular semigroup with a suitably defined product. In Section 2, we describe subdirect products of twoinductive groupoids in terms of certain maps called ‘subhomomorphisms’. A special class of subdirect products, called S^*-direct products, is described in Section 3. In the remaining two sections, we give some applications of the construction of S^*-direct products for describing coextensions of regular semigroups and for providing a covering theorem for pseudo-inverse semigroups.