The geometry monoid of left self-distributivity (Q5939901)

The aim of this paper is to show how to overcome the problem by considering a sort of local version \(\Delta_t\) of the elements \(\Delta_n\) and analyzing the simple elements of \(M_{LD}\) defined as those elements that divide some \(\Delta_t\). In this approach, using the action of \(G_{LD}\) via self-distributivity provides one with useful intuitions. In particular, the author obtains with the equivalence of two natural notions of simple elements a convenient infinitary version of the well-known exchange lemma for Coxeter groups. The main results are that right least common multiples exist in the monoid \(M_{LD}\), and that every element of the group \(G_{LD}\) can be expressed as a fraction.