Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-13T07:22:50.221Z Has data issue: false hasContentIssue false
  • English
  • Français

Universal varieties of semigroups

Part of: Semigroups Special categories Algebraic structures

Published online by Cambridge University Press:  09 April 2009

V. Koubek  and
J. Sichler
V. Koubek
Affiliation:
MFF KU Malostranské nám. 25 Praha 1 Czechoslovakia
J. Sichler
Affiliation:
Department of Mathematics University of Manitoba Winnipeg, ManitobaCanadaR3T 2N2
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

A category V is called universal (or binding) if every category of algebras is isomorphic to a full subcategory of V. The main result states that a semigroup variety V is universal if and only if it contains all commutative semigroups and fails the identity xnyn = (xy)n for every n ≥ 1. Further-more, the universality of a semigroup variety V is equivalent to the existence in V of a nontrivial semigroup whose endomorphism monoid is trivial, and also to the representability of every monoid as the monoid of all endomorphisms of some semigroup in V. Every universal semigroup variety contains a minimal one with this property while there is no smallest universal semigroup variety.

MSC classification

Secondary: 18B15: Embedding theorems, universal categories 20M07: Varieties and pseudovarieties of semigroups 20M15: Mappings of semigroups 08A35: Automorphisms, endomorphisms
Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 36 , Issue 2 , April 1984 , pp. 143 - 152
Copyright
Copyright © Australian Mathematical Society 1984

References

[1]Fuchs, L., Infinite abelian groups, Volume II (Academic Press, 1973).Google Scholar
[2]Goralč, P. and Koubek, V., ‘Minimal group universal varieties of semigroups’, to appear.Google Scholar
[3]Hedrlin, Z. and Lambek, J., ‘How comprehensive is the category of semigroups’, J. Algebra 11 (1969), 195–212.CrossRefGoogle Scholar
[4]Hedrlin, Z. and Pultr, A., ‘Relations (graphs) with given infinite semigroups’, Monatsh. Math. 68 (1964), 421–425.CrossRefGoogle Scholar
[5]Hedrlin, Z. and Sichler, J., ‘Any boundable binding category contains a proper class of mutualy disjoint copies of itself’, Algebra Universalis I (1971), 97–103.CrossRefGoogle Scholar
[6]Pultr, A. and Sichler, J., ‘Primitive classes of algebras with two unary idempotent operations, containing all algebraic categories as full subcategories’, Comment. Math. Univ. Carolinae 10 (1969), 425–445.Google Scholar
[7]Pultr, A. and Trnková, V., Combinatorial, algebraic and topological representations of groups, semigroups and categories (North-Holland, 1980).Google Scholar
[8]Sichler, J., ‘Testing categories and strong universality’, Canad. J. Math. 25 (1973), 370–385.CrossRefGoogle Scholar
[9]Sichler, J., ‘Group universal unary varieties’, Algebra Universalis 11 (1980), 12–21.Google Scholar
[10]Sichler, J., ‘A(1,1) can be strongly embedded into the category of semigroups’, Comment. Math. Univ. Carolinae 9 (1968), 257–262.Google Scholar
[11]Trnková, V., ‘Strong embedding of category of all groupoids into category of semigroups’, Comment. Math. Univ. Carolinae 9 (1968), 251–256.Google Scholar
[12]Vopěnka, P., Pultr, A. and Hedrlin, Z., ‘A rigid relation exists on any set’, Comment. Math. Univ. Carolinae 6 (1965), 149–155.Google Scholar