2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/172116Using a noncommutative analog of Chevalley's decomposition of polynomials into symmetric polynomials times coinvariants due to Bergeron, Reutenauer, Rosas, and Zabrocki we compute the graded Frobenius series for their two sets of noncommutative harmonics with respect to the left action of the symmetric group (acting on variables). We use these results to derive the Frobenius series for the enveloping algebra of the derived free Lie algebra in n variables.13 pages. Expanded version of a paper to appear in "Journal of Combinatorial Theory, series A" (http://www.elsevier.com/locate/jcta)CombinatoricsRepresentation Theory16W50; 05A18; 05E05text