A basis of a free metabelian associative algebra (Q1190737)

The authors give an explicit basis of the free metabelian (associative) algebra \(A_ n\) in \(n\) generators over a field \(k\) of characteristic zero. Recall that \(A_ n=k\langle X\rangle/T\) where \(k\langle X\rangle\) stands for the free associative algebra in \(n\) generators and \(T\) for the \(T\)-ideal generated by the commutators \([x,y,z]\).