Let $V$ be the space of $n$ by $n$ complex matrices with the conjugate action of the symmetric group $G=S_n$. Is any explicit set of generators for the invariant ring $C[V]^G$ known?

For a related question, invariants of the action of $G$ on the space of pairs of {1,...,n}, (this is a quotient ring of $C[V]^{G}$) see Sect. 2 of Algebraic invariants of graphs; a study based on computer exploration, by Nicolas M. Thiéry. However, the generating set given there is certainly very far from a minimal, and degrees are high. Sect. 10 of this paper also discusses the ring you are asking about. 


thanks for all the answers. I found a paper by Garcia and Stanton, "Group actions on Stanley Reisner rings and .." (Advances in Maths, 1984), which provides a reasonable answer to this question. Ketan Mulmuley 

