Symmetric polynomials in the free metabelian Lie algebras (Q2199759)

The symmetric group \(S_n\) of degree \(n\) is a subgroup of the automorphism group of the free metabelian Lie algebra \(F_n\) of rank \(n\), acting via permutation of the free generators. The Lie subalgebra \(F_n^{S_n}\) of invariants is not finitely generated as a Lie algebra. However, its intersection with the commutator ideal of \(F_n\) is naturally a module over \(K[X_n]^{S_n}\), the commutative algebra of symmetric polynomials in \(n\) indeterminates. In the paper the authors find explicit generators for this module. The case \(n=2\) was settled earlier in [\textit{Ş. Fındık} and \textit{N. Ş. Öğüşlü}, Int. J. Algebra Comput. 29, No. 5, 885--891 (2019; Zbl 1429.17008)].