Semigroup presentations for test local groups

Detalhes bibliográficos
Autor(a) principal: Costa, José Carlos
Data de Publicação: 2015
Outros Autores: Nogueira, Conceição, Teixeira, M. Lurdes
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/32280
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.
id RCAP_a646ed423088a4532b4128dda4673279
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/32280
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Semigroup presentations for test local groupsLocal groupSemigroup presentationRees matrix semigroupPseudovarietyk -termCanonical formkappa-term?-termScience & TechnologyIn 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.Fundação para a Ciência e a Tecnologia (FCT), under the project PEst-C/MAT/UI0013/2011European Regional Development Fund, through the programme COMPETESpringerUniversidade do MinhoCosta, José CarlosNogueira, ConceiçãoTeixeira, M. Lurdes20152015-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/32280engCosta, J. C., Nogueira, C., & Teixeira, M. L. (2015). Semigroup presentations for test local groups. Semigroup Forum, 90(3), 731-752. doi: 10.1007/s00233-014-9656-20037-191210.1007/s00233-014-9656-2info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:05:26Zoai:repositorium.sdum.uminho.pt:1822/32280Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:55:52.400089Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Semigroup presentations for test local groups
title Semigroup presentations for test local groups
spellingShingle Semigroup presentations for test local groups
Costa, José Carlos
Local group
Semigroup presentation
Rees matrix semigroup
Pseudovariety
k -term
Canonical form
kappa-term
?-term
Science & Technology
title_short Semigroup presentations for test local groups
title_full Semigroup presentations for test local groups
title_fullStr Semigroup presentations for test local groups
title_full_unstemmed Semigroup presentations for test local groups
title_sort Semigroup presentations for test local groups
author Costa, José Carlos
author_facet Costa, José Carlos
Nogueira, Conceição
Teixeira, M. Lurdes
author_role author
author2 Nogueira, Conceição
Teixeira, M. Lurdes
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Costa, José Carlos
Nogueira, Conceição
Teixeira, M. Lurdes
dc.subject.por.fl_str_mv Local group
Semigroup presentation
Rees matrix semigroup
Pseudovariety
k -term
Canonical form
kappa-term
?-term
Science & Technology
topic Local group
Semigroup presentation
Rees matrix semigroup
Pseudovariety
k -term
Canonical form
kappa-term
?-term
Science & Technology
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015
2015-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/32280
url http://hdl.handle.net/1822/32280
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Costa, J. C., Nogueira, C., & Teixeira, M. L. (2015). Semigroup presentations for test local groups. Semigroup Forum, 90(3), 731-752. doi: 10.1007/s00233-014-9656-2
0037-1912
10.1007/s00233-014-9656-2
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132344596037632

Registros relacionados