Consider the diagonal action of $GL(n,\mathbb{C})$ on the variety of $k$-tuples of matrices, $\underbrace{M_{n\times n}(\mathbb{C}) \times \cdots \times M_{n \times n}(\mathbb{C})}_k$
through conjugation, then it is known that the ring of invariants 
$\mathbb{C}[\underbrace{M_{n\times n}(\mathbb{C}) \times \cdots \times M_{n\times n}(\mathbb{C})}_k]^{GL(n,\mathbb{C})}$
is generated by the functions obtained by first evaluating a non-commutative polynomial on the tuple of matrices and then applying the trace to the resulting matrix. So for example if $k=2$, we need to look at functions like $(A,B) \mapsto Tr(AB)$, $(A,B) \mapsto Tr((AB)^2 A)$, etc ..


Now asssuming this, suppose we are looking for the ring of invariants of tuples as before but now for the diagonal action of a reductive group $G$ on the variety of tuples $\underbrace{\mathfrak{g} \times \cdots \times \mathfrak{g}}_k$, then will it be true that the ring of invariants in this situation is also generated as above by first evaluating noncommutative polynomials and then taking trace, but now we do this on the matrices obtained by considering various representations of $\mathfrak{g}$ (or $G$), just like what happens in the case of $k=1$?.