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.
Type de document :
Article dans une revue
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2016, Vol. 17 no. 3 (3), pp.179-202
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01352849
Contributeur : Coordination Episciences Iam <>
Soumis le : mardi 16 août 2016 - 15:11:46
Dernière modification le : jeudi 7 septembre 2017 - 01:03:45
Document(s) archivé(s) le : jeudi 17 novembre 2016 - 10:32:58

Fichier

2507-9937-1-PB.pdf
Accord explicite pour ce dépôt

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

31

Téléchargements de fichiers

91