We prove that the group of left self-distributivity, a cousin of Thompson's group F and of Artin's braid group that describes the geometry of the identity x(yz) = (xy)(xz), admits a bi-invariant linear ordering. To this end, we define a partial action of this group on finite binary trees that preserves a convenient linear ordering.
Cite this article
Patrick Dehornoy, The group of self-distributivity is bi-orderable. Comment. Math. Helv. 76 (2001), no. 1, pp. 161–182