Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/21117
Título: | Tameness of joins involving the pseudovariety of local semilattices |
Autor(es): | Costa, José Carlos Nogueira, Conceição |
Palavras-chave: | Semigroup Local semillatice Tame pseudovariety Join of pseudovarieties Pseudoword Graph equation system |
Data: | 2-Jul-2012 |
Editora: | World Scientific and Engineering Academy and Society (WSEAS) |
Revista: | International Journal of Algebra and Computation |
Citação: | Costa, J. C. and Nogueira, C., “Tameness of joins involving the pseudovariety of local semilattices”, International Journal of Algebra and Computation 7 (2012) 1250060 (35 pages). |
Resumo(s): | In this paper we prove that, if V is a kappa-tame pseudovariety which satisfies the pseudoidentity xy^{\omega+1}z=xyz, then the pseudovariety join LSl v V is also kappa-tame. Here, LSl denotes the pseudovariety of local semilattices and kappa denotes the implicit signature consisting of the multiplication and the (omega-1)-power. As a consequence, we deduce that LSl v V is decidable. In particular the joins LSl v Ab, LSl v G, LSl v OCR and LSl v CR are decidable. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/21117 |
DOI: | 10.1142/S0218196712500609 |
ISSN: | 0218-1967 |
Versão da editora: | The original publication is available at www.worldscientific.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 | |
---|---|---|---|---|
CostaNogueira_IJAC-2012.pdf | Documento principal | 320,31 kB | Adobe PDF | Ver/Abrir |