FG1 Seminar talk

2011-09-16
Libor Polak
Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups

Abstract:
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).