Explicit left orders on free groups extending the lexicographic order on free monoids

For every finitely generated free group, we construct an explicit left order extending the lexicographic order on the free monoid generated by the positive letters. The order is defined by a left, free action on the orbit of 0 of a free group of piecewise linear homeomorphisms of the line. The membership in the positive cone is decidable in linear time in the length of the input word. The positive cone forms a context-free language closed under word reversal.

RésuméPour tout groupe libre fini engendré, nous construisons explicitement un ordre à gauche qui étend lʼordre lexicographique sur le monoïde libre engendré par les lettres positives. Cet ordre est défini par une action à gauche, libre, sur lʼorbite de 0 dʼun groupe libre dʼhoméomorphismes de la droite linéaires par morceaux. Lʼappartenance au cône positif est décidable en temps linéaire par rapport à la longueur du mot. Le cône positif forme un langage non contextuel fermé par image miroir.