On a sublattice of the lattice of congruences on a θ-regular semigroup

Let S be a regular semigroup. The lattice of all idempotent-separating congruences on S and the lattice of all group congruences on S are both modular sublattices of the full lattice of congruences on S. It is evident that the set theoretical union of these two sublattices, (S), is also a sublattice of the full lattice of congruences on S. It is natural to ask: Under what conditions is the sublattice (S) modular? In this paper we obtain a necessary and sufficient condition for the sublattice (S) to be modular when S is what we call a θ-regular semigroup. Bisimple ω-semigroups and simple regular ω-semigroups are θ-regular semigroups and so this paper extends the work of Munn [5] and Baird [1].