- search hit 1 of 1
Stable varieties of semigroups and groupoids
- The paper deals with Sigma-composition and Sigma-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.
Author details: | Slavcho Shtrakov, Jörg KoppitzORCiDGND |
---|---|
DOI: | https://doi.org/10.1007/s00012-015-0359-7 |
ISSN: | 0002-5240 |
ISSN: | 1420-8911 |
Title of parent work (English): | Algebra universalis |
Publisher: | Springer |
Place of publishing: | Basel |
Publication type: | Article |
Language: | English |
Year of first publication: | 2016 |
Publication year: | 2016 |
Release date: | 2020/03/22 |
Tag: | composition of terms; essential position in terms; stable variety |
Volume: | 75 |
Number of pages: | 22 |
First page: | 85 |
Last Page: | 106 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Mathematik |
Peer review: | Referiert |