Abstract
The paper deals with \({\sum}\) -composition and \({\sum}\) -essential composition of terms which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids is obtained. We use an abstract reduction system which simplifies the presentations of terms of type \({\tau = (2)}\) to study the variety of idempotent groupoids and s-stable varieties of groupoids. S-stable varieties are a variation of stable varieties, used to highlight replacement of subterms of a term in a deductive system instead of the usual replacement of variables by terms.
Similar content being viewed by others
References
Burris, S., Sankappanavar, H.: A Course in universal algebra. The millennium edition. http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra2012.pdf
Evans T.: The lattice of semigroup varieties. Semigroup Forum 2, 1–43 (1971)
Howie, J.M.: Fundamentals in semigroup theory. Oxford University Press, London (2003)
Klop, J.W., de Vrijer, R.: Term rewriting systems. Cambridge University Press (2003)
Polak L.: On hyperassociativity. Algebra Universalis 36, 363–378 (1996)
Polak L.: All solid varieties of semigroups. J. Algebra 219, 421–436 (1999)
Shtrakov S., Denecke K.: Essential variables and separable sets in universal algebra. Multiple Valued Logic: An International Journal 8, 165–181 (2002)
Shtrakov S.: Essential variables and positions in terms. Algebra Universalis 61, 381–397 (2009)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by M. Jackson.
Rights and permissions
About this article
Cite this article
Shtrakov, S., Koppitz, J. Stable varieties of semigroups and groupoids. Algebra Univers. 75, 85–106 (2016). https://doi.org/10.1007/s00012-015-0359-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-015-0359-7