Weak alg-universality and $Q$-universality of semigroup quasivarieties
Marie Demlová, Vácłav Koubek · Czech digital mathematics library · 2005
summary:In an earlier paper, the authors showed that standard semigroups $\bold M_1$, $\bold M_2$ and $\bold M_3$ play an important role in the classification of weaker versions of alg-universality of semigroup varieties. This paper shows that quasivarieties generated by $\bold M_2$ and $\bold M_3$ are neither relatively alg-universal nor $Q$-universal, while there do exist finite semigroups $\bold S_2$ and $\bold S_3$ generating the same semigroup variety as $\bold M_2$ and $\bold M_3$ respectively and the quasivarieties generated by $\bold S_2$ and/or $\bold S_3$ are quasivar-relatively $f\!f$-alg-universal and $Q$-universal (meaning that their respective lattices of subquasivarieties are quite rich). An analogous result on $Q$-universality of the variety generated by $\bold M_2$ was obtained by M.V. Sapir; the size of our semigroup is substantially smaller than that of Sapir's semigroup.