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 |