A carregar...
Publicação
Representations of the free profinite object over DA
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 283.25 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
In this paper, we extend to DA some techniques developed by Almeida and Weil, and Almeida and Zeitoun for the pseudovariety R to obtain representations of the implicit operations on DA: by labeled trees of finite height, by quasi-ternary labeled trees, and by labeled linear orderings. We prove that two implicit operations are equal over DA if and only if they have the same representation, for any of the three representations. We end the paper by relating these representations.
Descrição
Palavras-chave
Pseudovariety DA Profinite semigroups Representations
Contexto Educativo
Citação
Editora
World Scientific Publishing