Weak alg-universality and $Q$-universality of semigroup quasivarieties
Commentationes Mathematicae Universitatis Carolinae, Tome 46 (2005) no. 2, pp. 257-279
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library
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.
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.
Classification :
08C15, 18B15, 20M07, 20M99
Keywords: semigroup quasivariety; full embedding; $f\!f$-alg-universality; $Q$-universality
Keywords: semigroup quasivariety; full embedding; $f\!f$-alg-universality; $Q$-universality
@article{CMUC_2005_46_2_a3,
author = {Demlov\'a, M. and Koubek, V.},
title = {Weak alg-universality and $Q$-universality of semigroup quasivarieties},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {257--279},
year = {2005},
volume = {46},
number = {2},
mrnumber = {2176891},
zbl = {1120.20059},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CMUC_2005_46_2_a3/}
}
TY - JOUR AU - Demlová, M. AU - Koubek, V. TI - Weak alg-universality and $Q$-universality of semigroup quasivarieties JO - Commentationes Mathematicae Universitatis Carolinae PY - 2005 SP - 257 EP - 279 VL - 46 IS - 2 UR - http://geodesic.mathdoc.fr/item/CMUC_2005_46_2_a3/ LA - en ID - CMUC_2005_46_2_a3 ER -
Demlová, M.; Koubek, V. Weak alg-universality and $Q$-universality of semigroup quasivarieties. Commentationes Mathematicae Universitatis Carolinae, Tome 46 (2005) no. 2, pp. 257-279. http://geodesic.mathdoc.fr/item/CMUC_2005_46_2_a3/