Publicação
On bases of identities for the ω-variety generated by locally testable semigroups
| Resumo: | Let LSl be the pseudovariety of local semilattices. It is well known that this pseudovariety coincides with the class of locally testable semigroups. In this paper, we exhibit an infinite basis of omega-identities for the omega-variety generated by LSl and we show that this omega-variety is not finitely based. |
|---|---|
| Autores principais: | Costa, José Carlos |
| Outros Autores: | Nogueira, Conceição |
| Assunto: | Semigroup Pseudovariety Locally testable Omega-term Word problem Identity basis Ciências Naturais::Matemáticas Ciências Naturais::Ciências da Computação e da Informação |
| Ano: | 2008 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | Let LSl be the pseudovariety of local semilattices. It is well known that this pseudovariety coincides with the class of locally testable semigroups. In this paper, we exhibit an infinite basis of omega-identities for the omega-variety generated by LSl and we show that this omega-variety is not finitely based. |
|---|