Varieties of completely regular semigroups
Norman R. Reilly · Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics · 1985
Abstract If CS(respectively, O) denotes the class of all completely simple semigroups (respectively, semigroups that are orthodox unions of groups) then CS(respectively, O) is a variety of algebras with respect to the operations of multiplication and inversion. The main result shows that the lattice of subvarieties of is a precisely determined subdirect product of the lattice of subvarieties of CSand the lattice of subvarieties of O. A basis of identities is obtained for any variety in terms of bases of identities for . Several operators on the lattice of subvarieties of are also introduced and studied.