Abstract
A variety \({\mathbb{V}}\) is var-relatively universal if it contains a subvariety \({\mathbb{W}}\) such that the class of all homomorphisms that do not factorize through any algebra in \({\mathbb{W}}\) is algebraically universal. And \({\mathbb{V}}\) has an algebraically universal α-expansion \({\alpha\mathbb{V}}\) if adding α nullary operations to all algebras in \({\mathbb{V}}\) gives rise to a class \({\alpha\mathbb{V}}\) of algebras that is algebraically universal. The first two authors have conjectured that any varrelative universal variety \({\mathbb{V}}\) has an algebraically universal α-expansion \({\alpha\mathbb{V}}\) . This note contains a more general result that proves this conjecture.
Similar content being viewed by others
References
Demlová M., Koubek V.: Weaker universalities in semigroup varieties. Novi Sad J. Math. 34, 37–86 (2004)
Hedrlín Z., Mendelsohn E.: The category of graphs with a given subgraph, with applications to topology and algebra. Canad. J. Math. 21, 1506–1517 (1969)
Koubek V., Sichler J.: Almost universal varieties of monoids. Algebra Universalis 19, 330–334 (1984)
Kučcera L.: On the monoids of homomorphisms of semigroups with unity. Comment. Math. Univ. Carolin. 23, 369–381 (1982)
Pultr A., Trnková V.: Combinatorial Algebraic and Topological Representations of Groups, Semigroups and Categories. North Holland, Amsterdam (1980)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by V. Trnková.
The first author acknowledges the support of the project MSM6840770038 of the Czech Ministry of Education. The second author acknowledges the support of the project 1M0022162080 of the Czech Ministry of Education. Financial support of the NSERC of Canada is gratefully acknowledged by the second and third authors.
Rights and permissions
About this article
Cite this article
Demlová, M., Koubek, V. & Sichler, J. Relative universality and universality obtained by adding constants. Algebra Univers. 65, 179–184 (2011). https://doi.org/10.1007/s00012-011-0122-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-011-0122-7