Unification in varieties of completely simple semigroups

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.
Authors

POLÁK Libor

Year of publication 2000
Type Article in Proceedings
Conference Dorninger, D. (ed.) et al., Contributions to general algebra 12
MU Faculty or unit

Faculty of Science

Citation
Field General mathematics
Keywords unification; completely simple semigroups
Description We consider solvability of equations with constants in varieties VCS of all completely simple semigroups with subgroups in a given variety V of groups. An equation in n variables and m constants is solvable in VCS if and only if some of a certain system of m^{2n} equations is solvable in V. Moreover we discuss the structure of the sets of all solutions.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info