Publication
Representations of the free profinite object over DA
dc.contributor.author | Moura, Ana | |
dc.date.accessioned | 2018-03-21T14:28:21Z | |
dc.date.available | 2018-03-21T14:28:21Z | |
dc.date.issued | 2011 | |
dc.description.abstract | 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. | pt_PT |
dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
dc.identifier.doi | 10.1142/S0218196711006467 | pt_PT |
dc.identifier.uri | http://hdl.handle.net/10400.22/11164 | |
dc.language.iso | eng | pt_PT |
dc.peerreviewed | yes | pt_PT |
dc.publisher | World Scientific Publishing | pt_PT |
dc.relation.ispartofseries | International Journal of Algebra and Computation;Volume 21, Issue 05 | |
dc.relation.publisherversion | https://www.worldscientific.com/doi/abs/10.1142/S0218196711006467 | pt_PT |
dc.subject | Pseudovariety DA | pt_PT |
dc.subject | Profinite semigroups | pt_PT |
dc.subject | Representations | pt_PT |
dc.title | Representations of the free profinite object over DA | pt_PT |
dc.type | journal article | |
dspace.entity.type | Publication | |
oaire.citation.endPage | 701 | pt_PT |
oaire.citation.startPage | 675 | pt_PT |
oaire.citation.title | International Journal of Algebra and Computation | pt_PT |
oaire.citation.volume | 21 (5) | pt_PT |
rcaap.rights | openAccess | pt_PT |
rcaap.type | article | pt_PT |