The image of a representation of pseudowords over the aperiodics.

The pseudowords in a finitely generated free profinite aperiodic semigroup are faithfully represented by labeled linear orders induced by the factorizations of the pseudowords.

We address the problem of knowing which labeled linear orders are in the image of this representation.

This is joint work with Jorge Almeida, José Carlos Costa and Marc Zeitoun.