Morita's conjecture on the abelianization of derivations of a free Lie algebra
Let FnF_nFn be the free group of rank nnn, let Ln\mathcal{L}_nLn be the free Lie algebra associated with the lower central series of FnF_nFn, and let Der+(Ln)\mathrm{Der}^+(\mathcal{L}_n)Der+(Ln) be t…