Let $K$ be a field of characteristic 0, and consider $d$ generic $n\times n$ matrices $X_1,\ldots,X_d$ where $X_k = (x_{ijk})_{ij}$ and $ K[x_{ijk}]$ is the polynomial algebra in $n^2 \cdot d$ variables. Then $\textrm{GL}_n$ acts on $K[x_{ijk}]$ by simultaneous conjugation $$ (X_1,\ldots,X_d) \mapsto (gX_1g^{-1},\ldots,gX_dg^{-1}) , \ \ \ \ \ \ \ \ g \in \textrm{GL}_n $$ I am just beginning to try to understand the theory of matrix invariants $K[x_{ijk}]^{\textrm{GL}_n}$, for instance with the Drenksy's survey [*COMPUTING WITH MATRIX INVARIANTS*][1] and Procesi's [*The invariant theory of n × n matrices*][2]. In the latter we have - The algebra $K[x_{ijk}]^{\textrm{GL}_n}$ is generated by $\textrm{tr}(X_{k_1}\cdots X_{k_m})$ for products of $X_1,\ldots,X_d$ - The algebra $K[x_{ijk}]^{O(n)}$ for $O(n) \subseteq \textrm{GL}_n$ is generated by the trace $\textrm{tr}$ evaluated on products involving $X_k$ and $X_k^t$. - The algebra $K[x_{ijk}]^{U(n)}$ for $U(n) \subseteq \textrm{GL}_n$ is generated by the trace $\textrm{tr}$ evaluated on products involving $X_k$ and $X_k^*$. and many more results involving minimal generators and relations. My question is, what is the analogous scenario for $S_n \subseteq \textrm{GL}_n$ where $S_n$ is the finite subgroup of permutation matrices? Perhaps the analysis is much easier than the other cases, but I do not have a good reference. An explicit description of these invariants can be found in [Male's work on permutation-invariant random matrices][3] using an operad, but there is no reference to this problem there. There seems to be some connection with random matrices invariant by a subgroup of $\textrm{GL}_n$, and the evaluation (in expectation and in the limit) of its invariants. In particular, it would be interesting to know when these invariants are described by an operad, or if this is unique to $S_n$. [1]: https://arxiv.org/pdf/math/0506614 [2]: https://www.sciencedirect.com/science/article/pii/000187087690027X/pdf?md5=d3c7d73ed5de78eaaa90014581db7f7b&pid=1-s2.0-000187087690027X-main.pdf [3]: https://arxiv.org/pdf/1111.4662