English

Free augmented LD-systems

Group Theory 2007-05-23 v1

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(yz)=(xy)(xz)x * (y * z) = (x * y) * (x * z) and the other satisfying the mixed laws (xoy)z=x(yz)(x o y) * z = x * (y * z) and x(yoz)=(xy)o(xz)x * (y o z) = (x * y) o (x * z). We solve the word problem of the ALD laws, and prove that every element in the parenthesized braid group B_B\_\bullet of [Bri1, Dhb, Dhe] generates a free ALD-system of rank 1, thus getting a concrete realization of the latter structure.

Keywords

Cite

@article{arxiv.math/0507196,
  title  = {Free augmented LD-systems},
  author = {Patrick Dehornoy},
  journal= {arXiv preprint arXiv:math/0507196},
  year   = {2007}
}