Representations of the free profinite object over DA

Moura, Ana

http://hdl.handle.net/10400.22/11164

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
ART_2011_AMoura.pdf		283.25 KB	Adobe PDF	Download

Send Feedback

Authors

Moura, Ana

Abstract(s)

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.