On the decidability of the membership problem of the pseudovariety JvB

M. ZEITOUN

IBP-Litp 1994/34: Rapport de Recherche Litp / Litp research reports
23 pages - Décembre/December 1994 - Document en anglais.

Titre / Title: On the decidability of the membership problem of the pseudovariety JvB

Résumé : Le but de cet article est de prouver que la (pseudo)variété engendrée par JÈB, c'est-à-dire, le supremum de la variété des semigroupes J-triviaux et de celle des semigroupes idempotents est décidable.
Les techniques utilisées ont été développées par Almeida et sont basées sur l'étude du semigroupe topologique des opérations implicites.

Abstract : The aim of this article is to prove that the pseudovariety generated by JÈB, that is to say, the join of the pseudovariety of J-trivial semigroups and of the pseudovariety of idempotent semigroups, is decidable.
The techniques used were developed by Almeida and are based on the study of the topological semigroup of implicit operations.

Publications internes Litp 1994 / Litp research reports 1994