Patrick Dehornoy
An associative operation on monogenic left distributive systems

Comment.Math.Univ.Carolinae 36,1 (1995) 1-6.

Abstract:Term substitution induces an associative operation on the free objects of any equational variety. In the case of left distributivity, the construction can be extended to any monogenic structure.

Keywords: non-associative binary systems
AMS Subject Classification: 20N02

PDF