The congruence lattice of a Reilly semigroup (Q755903)

The semigroups in the title are those of the form \({\mathcal B}(G,\alpha)\), where G is a group and \(\alpha\) an endomorphism, with a suitable product. These model the bisimple inverse \(\omega\)-semigroups [see the author's monograph ``Inverse semigroups'' (Wiley, New York, 1984; Zbl 0546.20053)]. Their idempotent separating congruences were described by \textit{N. R. Reilly} and \textit{W. D. Munn} [Proc. Glasg. Math. Assoc. 7, 184-192 (1966; Zbl 0149.265)]; they also showed that the remaining congruences are all group congruences. The latter were described by \textit{J. Ault} [Semigroup Forum 10, 351-366 (1975; Zbl 0299.20043)]. The purpose of the current paper is to describe the lattice further by computing all the meets and joins, in terms of these descriptions. This leads to a simple model for it as a ``sum'' of the two sublattices, consisting of the idempotent separating congruences and the group congruences, respectively.