A carregar...
Publicação
Complete reducibility of the pseudovariety LS1
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints. | 426.61 KB | Adobe PDF |
Orientador(es)
Resumo(s)
In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints.
Descrição
Palavras-chave: Semigroup; pseudovariety; pseudoword; system of equations; implicit signature; complete tameness; complete reducibility; local semillatice; infinite word.
Palavras-chave
Semigroup pseudovariety pseudoword system of equations implicit signature complete tameness
Contexto Educativo
Citação
Costa, José Carlos; Nogueira, Conceição (2009). Complete Reducibility of the Pseudovariety Ls1. International Journal of Algebra and Computation. https://doi.org/10.1142/s021819670900507x.
Editora
World Scientific Pub Co Pte Ltd