DOAJ Open Access 2016

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

Inna Mikhaylova

Lihat Sumber DOI

Abstrak

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.

Topik & Kata Kunci

Mathematics

Penulis (1)

Inna Mikhaylova

Format Sitasi

APA MLA BibTeX

Mikhaylova, I. (2016). A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups. https://doi.org/10.46298/dmtcs.2155

Akses Cepat

Lihat di Sumber doi.org/10.46298/dmtcs.2155

Informasi Jurnal

Tahun Terbit: 2016
Sumber Database: DOAJ
DOI: 10.46298/dmtcs.2155
Akses: Open Access ✓