An algebra with the identity $x\circ (y\circ z-z\circ y)= (x\circ y)\circ z-(x\circ z)\circ y$ is called right-symmetric. A right-symmetric algebra with the identity $x\circ(y\circ z)= y\circ(x\circ z)$ is called Novikov. We describe bases of free right-symmetric algebras and free Novikov algebras and give realizations of them in terms of trees. The free Lie algebra is obtained as a Lie subalgebra of the free right-symmetric algebra. We use our methods to study identities of Witt algebras.
Homology Homotopy Appl.
4(2):
165-190
(2002).