Abstract (EN):
J. Rhodes asked during the Chico Conference in 1986 for the calculation of joins of semigroup pseudovarieties. This paper proves that the join J boolean OR H of the pseudovariety J of J-trivial semigroups and of any a-strongly decidable pseudovariety V of completely regular semigroups is decidable. This problem was proposed by the first author for V = G, the pseudovariety of finite groups.
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica