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.
Language:
English
Type (Professor's evaluation):
Scientific