The group of self-distributivity is bi-orderable
Author(s) -
Patrick Dehornoy
Publication year - 2001
Publication title -
commentarii mathematici helvetici
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.603
H-Index - 46
eISSN - 1420-8946
pISSN - 0010-2571
DOI - 10.1007/s000140050154
Subject(s) - mathematics , distributivity , combinatorics , invariant (physics) , group (periodic table) , braid , braid group , pure mathematics , discrete mathematics , distributive property , chemistry , materials science , organic chemistry , composite material , mathematical physics
. We prove that the group of left self-distributivity, a cousin of Thompson's group F and of Artin's braid group $ B_\infty $ 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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom