The Mal'tsev product of quasivarieties of normal bands (Q1121305)

Normal bands are semigroups satisfying the laws \(x^ 2=x\) and \(axya=ayxa\). The Mal'tsev product of quasivarieties \({\mathfrak M}\) and \({\mathfrak N}\) of normal bands is defined as follows: \({\mathfrak M}\circ {\mathfrak N}=\{B|\) B is a normal band on which there exists a congruence \(\theta\) all of whose classes are in \({\mathfrak M}\) and B/\(\theta\in {\mathfrak N}\}.\) The authors study the groupoid Q of quasivarieties of normal bands under Mat'tsev product. They prove the following theorem: The groupoid Q is the (lattice-ordered) monoid with identity t, generated by \(\ell\), s, r, subject to the relations \(\ell^ 2=\ell\), \(s^ 2=s\), \(r^ 2=r\), \(\ell r=r\ell\), \((s\ell)^ 2=\ell s\), \((sr)^ 2=rs\). They also describe the subgroupoid of Q generated by \(\{\) \(\ell,r\}\).