Publicação
Semigroup presentations for test local groups
| Resumo: | In this paper we exhibit a type of semigroup presentations which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety LG of all finite local groups and use them as test-semigroups to prove that LG and S, the pseudovariety of all finite semigroups, verify the same kappa-identities involving kappa-terms of rank at most 1, where kappa denotes the implicit signature consisting of the multiplication and the (omega-1)-power. |
|---|---|
| Autores principais: | Costa, José Carlos |
| Outros Autores: | Nogueira, Conceição; Teixeira, M. Lurdes |
| Assunto: | Local group Semigroup presentation Rees matrix semigroup Pseudovariety k -term Canonical form kappa-term ?-term |
| Ano: | 2015 |
| 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: | In this paper we exhibit a type of semigroup presentations which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety LG of all finite local groups and use them as test-semigroups to prove that LG and S, the pseudovariety of all finite semigroups, verify the same kappa-identities involving kappa-terms of rank at most 1, where kappa denotes the implicit signature consisting of the multiplication and the (omega-1)-power. |
|---|