Invariants of free Lie algebras (Q5943760)

Let \(L\) be a free Lie algebra of rank \(n\) over a principal ideal domain \(K\). The purpose of this paper is to show that the set of invariants \(L(B)\) of \(L\) is not a finitely generated free Lie algebra for \(B = \text{SL}(n)\). The same result holds for \(B = H(n)\), the matrices of determinant one or minus one. The same result also holds if \(S\) is the Lie algebra generated by the Lie invariants of \(H(n)\) when \(K\) is a field.