JOINS OF INVERSE SEMIGROUP VARIETIES AND BAND VARIETIES

DOI10.1142/S0218196791000250MaRDI QIDQ4024635zbMATH OpenOpenAlexFDO

Authors Peter G. Trotter, Peter R. Jones

Publication date 8 February 1993

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196791000250

zbMATH Keywords

lattice of bivarietieslattice of varietiesorthodox semigroupsrectangular group varietiesvariety of bandsvariety of completely regular semigroupsvariety of regular bandsvariety of semilatticesvariety of unary semigroups

Mathematics Subject Classification ID

Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17) Inverse semigroups (20M18) Orthodox semigroups (20M19)

Review text

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.

Recommendations

• The join of the varieties of strict inverse Semigroups and rectangular bands
• The subvariety lattice of the join of two semigroup varieties.
• The lattice of varieties of bands
• scientific article; zbMATH DE number 4194021
• The lattice generated by some subvarieties of completely regular semigroups.

Cited in

(13)

• The subvariety lattice of the join of two semigroup varieties.
• Injectives in varieties of completely regular semigroups
• The lattice of varieties of bands
• The join of the varieties of strict inverse Semigroups and rectangular bands
• On existence varieties of locally inverse semigroups
• scientific article; zbMATH DE number 1047915 (Why is no real title available?)
• scientific article; zbMATH DE number 942730 (Why is no real title available?)
• scientific article; zbMATH DE number 777661 (Why is no real title available?)
• scientific article; zbMATH DE number 4194021 (Why is no real title available?)
• On the lattice of varieties of involution semigroups
• Formations of orthodox semigroups
• Free orthodox semigroups and free bands with inverse transversals.
• Some infinite chains in the lattice of varieties of inverse semigroups

This page was built for publication: JOINS OF INVERSE SEMIGROUP VARIETIES AND BAND VARIETIES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4024635)