QUASIVARIETIES OF IDEMPOTENT SEMIGROUPS (Q4469601)

The properties of lattices of subquasivarieties of algebras are extensively studied. One of the basic notions, defined by Sapir, says that a quasivariety \(\mathbb Q\) of algebras of finite type is \(Q\)-universal, if the lattice of all subquasivarieties of any quasivariety of finite type is a homomorphic image of a sublattice of the lattice of all subquasivarieties of \(\mathbb Q\). This paper studies the question which varieties of bands are \(Q\)-universal. We say that a band is normal if the identity \(xyzu=xzyu\) is satisfied and from a well-known result of J.~Gerhard and A.~Shafaat it follows that the variety of all normal bands is not \(Q\)-universal. Let \(\mathbb L\mathbb S\mathbb N\) (or \(\mathbb R\mathbb S\mathbb N\)) be the variety of all bands satisfying the identity \(xyzxz=xyz\) (or \(xzxyz=xyz\), respectively). The main result of the paper is that the varieties \(\mathbb L\mathbb S\mathbb N\) and \(\mathbb R\mathbb S\mathbb N\) are \( Q\)-universal. It is well known that any variety of bands, except five varieties, either is contained in the variety of normal bands or contains \(\mathbb L\mathbb S\mathbb N\) or \(\mathbb R\mathbb S\mathbb N\). At the end of the paper the authors announce a new result obtained by Sapir: that the varieties \(\mathbb L\mathbb Q\mathbb N\) and \(\mathbb R\mathbb Q\mathbb N\) (the varieties of bands determined by the identities \(xyxz=xyz\) and/or \(zxyx=zyx\)) are also \(Q\)-universal. Thus only for two varieties of bands (determined by the identities \(xyx=xy\) and/or \(xyx=yx\)) it remains unknown whether they are \(Q\)-universal.