Fundamental regular semigroups with inverse transversals

Let C be a regular semigroup with an inverse transversal C° and let C be generated by its idempotents. Following W. D. Munn and T. E. Hall’s idea, in this paper, a fundamental regular semigroup T _C,C° with an inverse transversal T _C,C° ^° is constructed such that the following holds. For any regular semigroup S with an inverse transversal S° and 〈E(S)〉 = C, C° = C ∩ S°, there is a homomorphism φ from S to T _C,C° such that the kernel of φ is the maximum idempotent-separating congruence on S, and φ satisfies: (1) φ| _C is a homomorphism from C onto 〈E(T _C,C°)〉 ; (2) φ| _S° is a homomorphism from S° to T _C,C° °. In particular, S is fundamental if and only if S is isomorphic to a full subsemigroup of T _C,C°. Our fundamental regular semigroup T _C,C° is isomorphic to a subsemigroup of the Hall semigroup of C but it is easier to handle. Its elements are partial transformations, and the operation—although not the usual composition—is defined by means of composition.