A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups

Inna Mikhailova

Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as epigroup. We prove the following theorem ann…