JOINS OF INVERSE SEMIGROUP VARIETIES AND BAND VARIETIES (Q4024635)

The variety \(B\) of bands, when considered as a subvariety of the variety of completely regular semigroups, is a variety of unary semigroups. The authors are interested in the lattice \({\mathcal L}(I\vee B)\) of subvarieties of the join of the variety \(I\) of inverse semigroups and the variety \(B\), where this join is to be taken in the lattice of varieties of unary semigroups. It is found that the set \(L=\{ J\vee Q: J\in{\mathcal L}(I),\;Q\in{\mathcal L}(B)\}\) is a sublattice of \({\mathcal L}(I\vee B)\), and if \(V\in L\), then \(V = (V\cap I)\vee(V\cap B)\). If \(S\) is the variety of semilattices, then \(L\) is the disjoint union of the lattice of rectangular group varieties and a lattice isomorphic to \([S,I]\times[S,B]\). If \(RB\) is the variety of regular bands, then \(L\) contains the lattice \({\mathcal L}(I\vee RB)\). There are however uncountably many varieties in \({\mathcal L}(I\vee B)\) which are not in \(L\). A bivariety is a class of orthodox semigroups closed under the taking of homomorphic images, direct products and regular subsemigroups. For classes of bands and classes of inverse semigroups the concepts bivariety and variety coincide. If \(J\) and \(Q\) are sub(bi)varieties of \(I\) and \(B\) respectively, then the join of \(J\) and \(Q\) in the lattice of bivarieties contains the join \(J\vee Q\) of \(J\) and \(Q\) in the lattice of unary semigroup varieties, and this inclusion is strict if \(Q\nsubseteq S\). The set of all such joins in the lattice of all bivarieties nevertheless constitutes a sublattice of the lattice of bivarieties which is isomorphic to \(L\). Results obtained for the lattice \({\mathcal L}(I\vee B)\) find their analogue for the lattice of subbivarieties of the join of \(I\) and \(B\) in the lattice of bivarieties.