A carregar...
Publicação
TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 362.25 KB | Adobe PDF |
Orientador(es)
Resumo(s)
In this paper we prove that, if V is a κ-tame pseudovariety which satisfies the pseudoidentity xy<jats:sup>ω+1</jats:sup>z = xyz, then the pseudovariety join LSl ∨ V is also κ-tame. Here, LSl denotes the pseudovariety of local semilattices and κ denotes the implicit signature consisting of the multiplication and the (ω – 1)-power. As a consequence, we deduce that LSl ∨ V is decidable. In particular the joins LSl ∨ Ab, LSl ∨ G, LSl ∨ OCR and LSl ∨ CR are decidable.
Descrição
Palavras-chave
Semigroup Local semillatice Tame pseudovariety Join of pseudovarieties Pseudoword Graph equation system
Contexto Educativo
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).
Editora
World Scientific Pub Co Pte Ltd
Licença CC
Sem licença CC