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.
| Verfasserangaben: | Slavcho Shtrakov, Jörg KoppitzORCiDGND |
|---|---|
| DOI: | https://doi.org/10.1007/s00012-015-0359-7 |
| ISSN: | 0002-5240 |
| ISSN: | 1420-8911 |
| Titel des übergeordneten Werks (Englisch): | Algebra universalis |
| Verlag: | Springer |
| Verlagsort: | Basel |
| Publikationstyp: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Jahr der Erstveröffentlichung: | 2016 |
| Erscheinungsjahr: | 2016 |
| Datum der Freischaltung: | 22.03.2020 |
| Freies Schlagwort / Tag: | composition of terms; essential position in terms; stable variety |
| Band: | 75 |
| Seitenanzahl: | 22 |
| Erste Seite: | 85 |
| Letzte Seite: | 106 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Mathematik |
| Peer Review: | Referiert |
