Monoids of elementary transformations are associated to certain equational varieties in order to describe the corresponding free objects; in some regular cases, these monoids reduce to groups, and the word problem for the free objects of the variety is connected with the existence of normal forms for the members of the associated group.
No takes yet. Share an insight, caveat, or question.
Patrick Dehornoy (1993) studied this question.