Skip to Main content Skip to Navigation
Journal articles

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

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01352849
Contributor : Coordination Episciences Iam <>
Submitted on : Tuesday, August 16, 2016 - 3:11:46 PM
Last modification on : Thursday, September 7, 2017 - 1:03:45 AM
Long-term archiving on: : Thursday, November 17, 2016 - 10:32:58 AM

File

2507-9937-1-PB.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-01352849, version 1

Collections

Citation

Inna Mikhaylova. A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2016, Vol. 17 no. 3 (3), pp.179-202. ⟨hal-01352849⟩

Share

Metrics

Record views

120

Files downloads

711