- 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 |
