Representations of the free profinite object over DA

Detalhes bibliográficos
Autor(a) principal: Moura, Ana
Data de Publicação: 2011
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/10400.22/11164
Resumo: 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.
id RCAP_4466bf254200fa4b8e16105b87d2f41f
oai_identifier_str oai:recipp.ipp.pt:10400.22/11164
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 Representations of the free profinite object over DAPseudovariety DAProfinite semigroupsRepresentationsIn 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.World Scientific PublishingRepositório Científico do Instituto Politécnico do PortoMoura, Ana2018-03-21T14:28:21Z20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.22/11164eng10.1142/S0218196711006467info: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-03-13T12:53:13Zoai:recipp.ipp.pt:10400.22/11164Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T17:31:32.019567Repositó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 Representations of the free profinite object over DA
title Representations of the free profinite object over DA
spellingShingle Representations of the free profinite object over DA
Moura, Ana
Pseudovariety DA
Profinite semigroups
Representations
title_short Representations of the free profinite object over DA
title_full Representations of the free profinite object over DA
title_fullStr Representations of the free profinite object over DA
title_full_unstemmed Representations of the free profinite object over DA
title_sort Representations of the free profinite object over DA
author Moura, Ana
author_facet Moura, Ana
author_role author
dc.contributor.none.fl_str_mv Repositório Científico do Instituto Politécnico do Porto
dc.contributor.author.fl_str_mv Moura, Ana
dc.subject.por.fl_str_mv Pseudovariety DA
Profinite semigroups
Representations
topic Pseudovariety DA
Profinite semigroups
Representations
description 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.
publishDate 2011
dc.date.none.fl_str_mv 2011
2011-01-01T00:00:00Z
2018-03-21T14:28:21Z
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/10400.22/11164
url http://hdl.handle.net/10400.22/11164
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1142/S0218196711006467
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 World Scientific Publishing
publisher.none.fl_str_mv World Scientific Publishing
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_ 1799131410163826688

Registros relacionados