A category $K$ is called $\alpha $-determined if every set of non-isomorphic $K$-objects such that their endomorphism monoids are isomorphic has a cardinality less than $\alpha $. A quasivariety $Q$ is called $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 $Q$. We say that a variety $V$ is var-relatively alg-universal if there exists a proper subvariety $W$ of $V$ such that homomorphisms of $V$ whose image does not belong to $W$ contains a full subcategory isomorphic to the category of all graphs. A semigroup variety $V$ is nearly $J$-trivial if for every semigroup $S\in V$ any $ J$-class containing a group is a singleton. We prove that for a nearly $J$-trivial variety $V$ the following are equivalent: $V$ is $Q$-universal; $ V$ is var-relatively alg-universal; $V$ is $\alpha $-determined for no cardinal $\alpha $; $V$ contains at least one of the three specific semigroups. Dually, for a nearly $J$-trivial variety $V$ the following are equivalent: $V$ is $3$-determined; $V$ is not var-relatively alg-universal; the lattice of all subquasivarieties of $V$ is finite; $V$ is a subvariety of one of two special finitely generated varieties.
@article{108013,
author = {Marie Demlov\'a and V\'aclav Koubek},
title = {On universality of semigroup varieties},
journal = {Archivum Mathematicum},
volume = {042},
year = {2006},
pages = {357-386},
zbl = {1152.20046},
mrnumber = {2283018},
language = {en},
url = {http://dml.mathdoc.fr/item/108013}
}
Demlová, Marie; Koubek, Václav. On universality of semigroup varieties. Archivum Mathematicum, Tome 042 (2006) pp. 357-386. http://gdmltest.u-ga.fr/item/108013/
Some open question related to the problem of Birkhoff and Maltsev, Studia Logica 78 (2004), 357–378. (2004) | MR 2108035
$Q$-universal quasivarieties of algebras, Proc. Amer. Math. Soc. 120 (1994), 1053–1059. (1994) | MR 1172942
Lattices of quasivarieties of $3$-element algebras, J. Algebra 166 (1994), 181–210. (1994) | MR 1276823
Finite-to-finite universal quasivarieties are $Q$-universal, Algebra Universalis 46 (2001), 253–283. (2001) | MR 1835799
Quasivarieties of idempotent semigroups, Internat. J. Algebra Comput. 13 (2003), 733–752. (2003) | MR 2028101
Varieties of idempotent semigroups, Algebra i Logika 9 (1970), 255–273. (in Russian) (1970) | MR 0297897
The Algebraic Theory of Semigroups, AMS, Providence, (vol. 1 1961, vol. 2 1967). ((vol. 1 1961, vol. 2 1967))
Endomorphism monoids of bands, Semigroup Forum 38 (1989), 305–329. (1989) | MR 0982011
Endomorphism monoids in varieties of bands, Acta Sci. Math. (Szeged) 66 (2000), 477–516. (2000) | MR 1804205
Weaker universalities in semigroup varieties, Novi Sad J. Math. 34 (2004), 37–86. (2004) | MR 2136462
Weak alg-universality and $Q$-universality of semigroup quasivarieties, Comment. Math. Univ. Carolin. 46 (2005), 257–279. (2005) | MR 2176891
On subquasivariety lattices of some varieties related with distributive $p$-algebras, Algebra Universalis 21 (1985), 205–214. (1985) | MR 0835971 | Zbl 0589.08007
The subvariety lattice of the variety of distributive double $ p$-algebras, Bull. Austral. Math. Soc. 31 (1985), 377–387. (1985) | MR 0801597 | Zbl 0579.06012
All varieties of bands, Semigroup Forum 1 (1970), 172–179. (1970) | MR 0271257 | Zbl 0206.30401
The lattice of equational classes of idempotent semigroups, J. Algebra 15 (1970), 195–224. (1970) | MR 0263953 | Zbl 0194.02701
Semivarieties of idempotent semigroups, Proc. London Math. Soc. 22 (1971), 667–680. (1971) | MR 0292967
Minimal group–universal varieties of semigroups, Algebra Universalis 21 (1985), 111-122. (1985) | MR 0835975
How comprehensive is the category of semigroups?, J. Algebra 11 (1969), 195–212. (1969) | MR 0237611
Relations (graphs) with finitely generated semigroups, Monatsh. Math. 68 (1964), 213–217. (1964) | MR 0168684
Symmetric relations (undirected graphs) with given semigroups, Monatsh. Math. 69 (1965), 318–322. (1965) | MR 0188082
Any boundable binding category contains a proper class of mutually disjoint copies of itself, Algebra Universalis 1 (1971), 97–103. (1971) | MR 0285580
Graphs with given subgraphs represent all categories, Comment. Math. Univ. Carolin. 18 (1977), 115–127. (1977) | MR 0457276 | Zbl 0355.18006
Graphs with given subgraphs represent all categories II, Comment. Math. Univ. Carolin. 19 (1978), 249–264. (1978) | MR 0498229 | Zbl 0375.18004
Algebras determined by their endomorphism monoids, Cahiers Topologie Géom. Différentielle Catég. 35 (1994), 187–225. (1994) | MR 1295117
Universal varieties of semigroups, J. Austral. Math. Soc. Ser. A 36 (1984), 143–152. (1984) | MR 0725742
Equimorphy in varieties of distributive double $p$-algebras, Czechoslovak Math. J. 48 (1998), 473–544. (1998) | MR 1637938
On relatively universality and $Q$-universality, Studia Logica 78 (2004), 279–291. (2004) | MR 2108030
Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories, North Holland, Amsterdam, 1980. (1980) | MR 0563525
On example concerning testing categories, Comment. Math. Univ. Carolin. 18 (1977), 71–75. (1977) | MR 0432730
Varieties with a finite number of subquasivarieties, Sib. Math. J. 22 (1981), 168–187. (1981) | MR 0638015 | Zbl 0491.08011
Varieties with countable number of subquasivarieties, Sib. Math. J. 25 (1984), 148–163. (1984) | MR 0746951
The lattice of quasivarieties of semigroups, Algebra Universalis 21 (1985), 172–180. (1985) | MR 0855737 | Zbl 0599.08014
Ordered sets, semilattices, distributive lattices and Boolean algebras with homomorphic endomorphism semigroups, Fund. Math. 68 (1970), 31–50. (1970) | MR 0272686 | Zbl 0197.28902
Bands with isomorphic endomorphism semigroups, J. Algebra 96 (1985), 548–565. (1985) | MR 0810545 | Zbl 0579.20064