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

dmtcs:2155 - Discrete Mathematics & Theoretical Computer Science, June 7, 2016, Vol. 17 no. 3 - https://doi.org/10.46298/dmtcs.2155
A proof of Zhil'tsov's theorem on decidability of equational theory of epigroupsArticle

Authors: Inna Mikhaylova 1

  • 1 Ural Federal University [Ekaterinburg]

Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as an epigroup. We prove the following theorem announced by Zhil'tsov in 2000: the equational theory of the class of all epigroups coincides with the equational theory of the class of all finite epigroups and is decidable. We show that the theory is not finitely based but provide a transparent infinite basis for it.


Volume: Vol. 17 no. 3
Section: Combinatorics
Published on: June 7, 2016
Submitted on: September 11, 2013
Keywords: finite basis proble,epigroup, finite semigroup, decidability of equational theory,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]

Consultation statistics

This page has been seen 366 times.
This article's PDF has been downloaded 370 times.