Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups
| Autoři | |
|---|---|
| Rok publikování | 2011 |
| Druh | Článek ve sborníku |
| Konference | Algebraic Foundations in Computer Science |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.doi.org/10.1007/978-3-642-24897-9_10 |
| Obor | Obecná matematika |
| Klíčová slova | identity problems; equations; unification; varieties of semigroups; varieties of unary semigroups |
| Popis | In this survey we consider three kinds of algorithmic questions concerning varieties of semigroups. We are interested in identity problems, in the solvability of a system of equations and in the structure of all solutions of a given system. We study them in significant varieties of semigroups, monoids, groups, completely simple semigroups, completely regular semigroups (in particular semigroups satisfying the identity x^r=x) and involutary semigroups (in particular star regular semigroups and inverse semigroups). |
| Související projekty: |