FREE AUGMENTED LD-SYSTEMS

PATRICK DEHORNOY
DOI: https://doi.org/10.1142/s0219498807002144
2007-02-01
Journal of Algebra and Its Applications
Abstract:Define an augmented LD-system, or ALD-system, to be a set equipped with two binary operations, one satisfying the left self-distributivity law x * (y * z) = (x * y) * (x * z) and the other satisfying the mixed laws (x ◦ y) * z = x * (y * z) and x * (y ◦ z) = (x * y) ◦ (x * z). We solve the word problem of the ALD laws, and prove that every element in the parenthesized braid group B • of [2, 3, 5, 6] generates a free ALD-system of rank 1, i.e., that B • is a torsion-free ALD-system.
mathematics, applied
What problem does this paper attempt to address?