Extensions of I-Bisimple Semigroups

Abstract

A bisimple semigroup S is called I-bisimple if Es, the set of idempotents of S, with its natural order is order-isomorphic to I, the set of integers, under the reverse of the usual order. In (9), the author completely determined the structure of I-bisimple semigroups mod groups; in this paper, he also gave an isomorphism theorem, a homomorphism theorem, an explicit determination of the maximal group homomorphic image, and a complete determination of the congruences for these semigroups.