Tameness of pseudovariety joins involving R

• Tipo: Artigo em Revista Científica Internacional
• Data: 2005

Autores

Almeida, J (Autor) FCUP; Costa, JC (Autor) Outra; Zeitoun, M (Autor) Outra

Revista

Título: Monatshefte für Mathematik

Vol. 146

Páginas: 89-111

ISSN: 0026-9255

Editora: Springer Nature

Indexação

ISI Web of Knowledge - 19 Citações

Scopus - 18 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Matemática

Outras Informações

ID Authenticus: P-000-16N

DOI: 10.1007/s00605-005-0324-1

Abstract (EN): In this paper, we establish several decidability results for pseudovariety joins of the form V boolean OR W, 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 V boolean OR W 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(r)y(omega+1)zt(omega) = x(1) ... x(r)yzt(omega), then we prove that R boolean OR W is also kappa-tame. In particular the joins R boolean OR Ab, R boolean OR G, R boolean OR OCR, and R boolean OR CR are decidable.

Idioma: Inglês

Tipo (Avaliação Docente): Científica