The lattice of full regular subsemigroups of a regular semigroup

Abstract

SynopsisAlthough the regular subsemigroups of a regular semigroup S do not, in general, form a lattice in any naturalway, it is shown that the full regular subsemigroups form a complete sublattice LF of the lattice of all subsemigroups; moreover this lattice has many of the nice features exhibited in (the special case of) the lattice of full inverse subsemigroups of an inverse semigroup, previously studied by one of the authors. In particular, LF is again a subdirect product of the corresponding lattices for each of the principal factors of S.A description of LF for completely 0-simple semigroups is given. From this, lattice-theoretic properties of LF may be found for completely semisimple semigroups. For instance, for any such combinatorial semigroup, LF is semimodular.