Correspondences of completely regular semigroups and -isomorphisms of semigroups

Abstract

A correspondence of a semigroup S is any subsemigroup of S × S, and the set of all correspondences of S, with the operations of composition and involution and the relation of set-theoretic inclusion, forms the bundle of correspondences of S, denoted by (S). For semigroups S and T, any isomorphism of (S) onto (T) is called a -isomorphism of S upon T. Similar notion can be introduced for other types of algebras and in the general frame of category theory. The principal goal of this paper is to study -isomorphisms of completely regular semigroups (that is, unions of groups) and of one other interesting class of semigroups.