Cyclic-word presentation conjecture for the free associative Lie algebra
Let AnA_nAn be the free associative algebra on generators x1,…,xnx_1,\dots,x_nx1,…,xn, regarded as a Lie algebra with bracket [a,b]=a⋅b−b⋅a[a,b]=a\cdot b-b\cdot a[a,b]=a⋅b−b⋅a. For a monomial…