Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/3351
Título: | Tameness of pseudovariety joins involving R |
Autor(es): | Almeida, Jorge Costa, José Carlos Zeitoun, Marc |
Palavras-chave: | Semigroup Tame pseudovariety Join of pseudovarieties Systems of equations Rational constraints Implicit operation |
Data: | Out-2005 |
Editora: | Springer Verlag |
Revista: | Monatshefte für Mathematik |
Citação: | "Monatshefte für Mathematik". ISSN 0026-9255. 146:2 (2005) 89-111. |
Resumo(s): | 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. |
Tipo: | Artigo |
Descrição: | 2000 Mathematics Subject Classification: 20M07 (primary); 20M05, 20M35, 68Q70 (secondary). |
URI: | https://hdl.handle.net/1822/3351 |
DOI: | 10.1007/s00605-005-0324-1 |
ISSN: | 0026-9255 1436-5081 |
Versão da editora: | www.springerlink.com |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
AlmeidaCostaZeitoun_Rjoins_MfM2005.pdf | 295,11 kB | Adobe PDF | Ver/Abrir |