Publicação

Tameness of pseudovariety joins involving R

Ver documento

Detalhes bibliográficos
Resumo:In this paper, we establish several decidability results for pseudovariety joins of the form VvW, where V is a subpseudovariety of J or the pseudovariety R. Here, J (resp. R) denotes the pseudovariety of all J-trivial (resp. R-trivial) semigroups. In particular, we show that the pseudovariety VvW is (completely) kappa-tame when V is a subpseudovariety of J with decidable kappa-word problem and W is (completely) kappa-tame. Moreover, if W is a kappa-tame pseudovariety which satisfies the pseudoidentity x_1...x_ry^{\omega+1}zt^\omega = x_1... x_ryzt^\omega, then we prove that RvW is also kappa-tame. In particular the joins RvAb, RvG, RvOCR, and RvCR are decidable.
Autores principais:Almeida, Jorge
Outros Autores:Costa, José Carlos; Zeitoun, Marc
Assunto:Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation
Ano:2005
País:Portugal
Tipo de documento:artigo
Tipo de acesso:acesso aberto
Instituição associada:Universidade do Minho
Idioma:inglês
Origem:RepositóriUM - Universidade do Minho

Registos relacionados

Registos relacionados