Study of an identity

Abstract

We solve the word problem of the identity $x(yz)=(xy)(yz)$ by investigating a certain group describing the geometry of that identity. We also construct a concrete realization of the free system of rank~1 relative to the above identity