2000 Mathematics Subject Classification. 16R30. The first author was partially supported by Grant MM1106/2001 of the Bulgarian National Science Fund.
<ph f="cmbx">Generators of Invariants of Two </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mn>4</mn> <mo>×</mo> <mn>4</mn> </math> <ph f="cmr"> </ph><ph f="cmbx">Matrices</ph>

### Vesselin Drensky and Liliya Sadikova

Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, 1113 Sofia, Bulgaria E-mail address : drensky@math.bas.bg Fachgruppe Informatik, RWTH Aachen, 52056 Aachen, Germany E-mail address : sadikova@stce.rwth-aachen.de
• Abstract. Over a field of characteristic 0, the algebra of invariants of several $n×n$  matrices under simultaneous conjugation by $G{L}_{n}$  is generated by traces of products of generic matrices. In this paper we have found, in terms of representation theory of $G{L}_{2}$  , a minimal set of generators of the algebra of invariants of two $4×4$  matrices. The proof is purely combinatorial and involves computer calculations with standard functions of Maple.

Introduction

Let $K$  be a field of characteristic 0 and let ${C}_{nd}$  be the pure trace algebra generated by all traces of products $\text{tr}\left({X}_{{i}_{1}}\cdots {X}_{{i}_{k}}\right)$  of the generic $n×n$  matrices ${X}_{i}=\left({x}_{pq}^{\left(i\right)}\right)$  , $p,q=1,\dots ,n$  , $i=1,\dots ,d$  . The algebra ${C}_{nd}$  coincides with the algebra of invariants of the general linear group $G{L}_{n}=G{L}_{n}\left(K\right)$  acting by simultaneous conjugation on $d$  matrices of size $n×n$  .
For a background on the algebras of matrix invariants see, e.g. [F, DF. Traditionally, a result giving the explicit generators of the algebra of invariants of a linear group $G$  is called a first fundamental theorem of the invariant theory of $G$  and a result describing the relations between the generators a second fundamental theorem.
Classical invariant theory implies that ${C}_{nd}$  is finitely generated. By the Noether normalization theorem ${C}_{nd}$  contains a homogeneous set of algebraically independent elements $\left\{{f}_{1},\dots ,{f}_{k}\right\}$  called a homogeneous system of parameters, where $k=\left(d-1\right){n}^{2}+1$  is the transcendence degree of the quotient field of ${C}_{nd}$  , such that ${C}_{nd}$  is integral over the polynomial algebra $S=K\left[{f}_{1},\dots ,{f}_{k}\right]$  . A more precise result, see Van den Bergh [V, gives that ${C}_{nd}$  is a finitely generated free module over a suitable chosen $S$  . An upper bound for the generating set of the algebra ${C}_{nd}$  is given in terms of PI-algebras. By the Nagata-Higman theorem the polynomial identity ${x}^{n}=0$  implies the identity ${x}_{1}\cdots {x}_{N}=0$  for some $N=N\left(n\right)$  . If $N$  is minimal with this property, then ${C}_{nd}$  is generated by traces of products $\text{tr}\left({X}_{{i}_{1}}\cdots {X}_{{i}_{k}}\right)$  of degree $k\le N$  . This estimate is sharp if $d$  is sufficiently large. The values of $N\left(n\right)$  are between $n\left(n+1\right)/2$  and ${n}^{2}$  , bounds obtained respectively by Kuzmin [Kuand Razmyslov [R(see also [DFfor an exposition of the results in [Ku). The only explicitly known values of $N\left(n\right)$  are $N\left(2\right)=3$  and $N\left(3\right)=6$  (an old result of Dubnov [Du), and $N\left(4\right)=10$  (a result of Vaughan-Lee [VL). Recently, Shestakov and Zhukavets [SZobtained that the class of nilpotency of 2-generated nil algebras of nil index 5 is 15. All these results agree with the conjecture of Kuzmin [Kuthat $N\left(n\right)=n\left(n+1\right)/2$  .
Explicit minimal sets of generators of ${C}_{nd}$  are found in few cases only. By a theorem of Sibirskii [S, ${C}_{2d}$  is generated by $\text{tr}\left({X}_{i}\right)$  , $1\le i\le d$  , $\text{tr}\left({X}_{i}{X}_{j}\right)$  , $1\le i\le j\le d$  , $\text{tr}\left({X}_{i}{X}_{j}{X}_{k}\right)$  , $1\le i  . Teranishi [T1found the following system of generators of ${C}_{32}$  :
 $\begin{array}{c}\text{tr}\left(X\right),\text{tr}\left(Y\right),\text{tr}\left({X}^{2}\right),\text{tr}\left(XY\right),\text{tr}\left({Y}^{2}\right),\end{array}$
 $\begin{array}{c}\end{array}$
 $\begin{array}{c}\text{tr}\left({X}^{3}\right),\text{tr}\left({X}^{2}Y\right),\text{tr}\left(X{Y}^{2}\right),\text{tr}\left({Y}^{3}\right),\text{tr}\left({X}^{2}{Y}^{2}\right),\text{tr}\left({X}^{2}{Y}^{2}XY\right),\end{array}$
where $X$  , $Y$  are generic $3×3$  matrices. He showed that the first ten of these generators form a homogeneous system of parameters of ${C}_{32}$  and ${C}_{32}$  is a free module with generators 1 and $\text{tr}\left({X}^{2}{Y}^{2}XY\right)$  over the polynomial algebra on these ten elements. Abeasis and Pittaluga [APfound a system of generators of ${C}_{3d}$  , for any $d\ge 2$  , in terms of representation theory of the symmetric and general linear groups, in the spirit of its use in theory of PI-algebras. Teranishi [T1, T2found also a minimal set of generators and a homogeneous system of parameters of ${C}_{42}$  , all of them being traces of products of the generators.
It has turned out that the systems of generators of Sibirskii [Sfor ${C}_{2d}$  and of Teranishi [T1for ${C}_{32}$  are not very convenient if we want to find the defining relations of the algebra. (Compare the relation for ${C}_{23}$  found by Sibirskii [Swith the defining relations for ${C}_{2d}$  of one of the authors [D2with respect to another natural system of generators.) Also, it follows from the description of the generators of ${C}_{32}$  , that $\text{tr}\left({X}^{2}{Y}^{2}XY\right)$  satisfies a quadratic equation with coefficients depending on the other ten generators. The explicit (but very complicated) form of the equation was found by Nakamoto [N, over $\mathbb{Z}$  , with respect to a slightly different system of generators.
A much simple relation with respect to the system of generators of ${C}_{32}$  in [APwas found by Aslaksen, Drensky and Sadikova in [ADS.
The purpose of the present paper is to find a minimal system of generators of ${C}_{42}$  in the spirit of the work of Abeasis and Pittaluga [APused in their description of the generators of ${C}_{nd}$  . Applied to ${C}_{42}$  , the idea in [APis the following. The general linear group $G{L}_{2}$  acts canonically on the free associative algebra $K〈x,y〉$  and this induces an action on the pure trace algebra $P\left(x,y\right)=K\left[\text{tr}\left({z}_{1}\cdots {z}_{k}\right)|{z}_{i}=x,y,i=1,\dots ,k,k=1,2,\dots \right],$  and on the algebra ${C}_{42}$  (because ${C}_{42}$  is a homomorphic image of $P\left(x,y\right)$  under the natural homomorphism extending the map $x\to X$  , $y\to Y$  , where $X$  and $Y$  are two generic $4×4$  matrices). The algebra ${C}_{42}$  has a system of generators of degree $\le 10$  . Without loss of generality we may assume that this system consists of traces of products $\text{tr}\left({Z}_{1}\cdots {Z}_{k}\right)$  , ${Z}_{i}=X,Y$  . Let ${T}_{k}$  be the subalgebra of ${C}_{42}$  generated by all traces $\text{tr}\left({Z}_{1}\cdots {Z}_{l}\right)$  of degree $l\le k$  , ${Z}_{i}=X,Y$  . Clearly, ${T}_{k}$  is also a $G{L}_{2}$  -submodule of ${C}_{42}$  . Let ${C}_{42}^{\left(k+1\right)}$  be the homogeneous component of degree $k+1$  of ${C}_{42}$  . Then the intersection ${T}_{k}\cap {C}_{42}^{\left(k+1\right)}$  is a $G{L}_{2}$  -module and has a complement ${G}_{k+1}$  in ${C}_{42}^{\left(k+1\right)}$  , which is the $G{L}_{2}$  -module of the “new” generators of degree $k+1$  .
We may assume that ${G}_{k+1}$  is a submodule of the $G{L}_{2}$  -module spanned by traces of products $\text{tr}\left({Z}_{1}\cdots {Z}_{k+1}\right)$  of degree $k+1$  . The $G{L}_{2}$  -module of the generators of ${C}_{42}$  is $G={G}_{1}\oplus {G}_{2}\oplus \cdots \oplus {G}_{10}.$  The authors of [APwork with the multilinear elements in the free algebra which are consequences of the polynomial identity ${x}^{n}=0$  . Instead, we prefer to work directly in the algebras $P\left(x,y\right)$  and ${C}_{42}$  with more essential use of representation theory of the general linear group, in the spirit of [D1. Our main result is that the minimal generating $G{L}_{2}$  -module $G$  of ${C}_{42}$  decomposes as
 $\begin{array}{c}G=W\left(1,0\right)\oplus W\left(2,0\right)\oplus W\left(3,0\right)\oplus W\left(4,0\right)\oplus W\left(2,2\right)\oplus W\left(3,2\right)\end{array}$
 $\begin{array}{c}\oplus W\left(4,2\right)\oplus W\left(3,3\right)\oplus W\left(4,3\right)\oplus W\left(5,3\right)\oplus W\left(4,4\right)\oplus W\left(6,3\right)\oplus W\left(5,5\right),\end{array}$
 $\begin{array}{}\end{array}$
where $W\left({\lambda }_{1},{\lambda }_{2}\right)$  is the irreducible $G{L}_{2}$  -module corresponding to the partition $\left({\lambda }_{1},{\lambda }_{2}\right)$  . For $\lambda =\left({\lambda }_{1},{\lambda }_{2}\right)\ne \left(5,5\right)$  , one may choose as a generator of $W\left({\lambda }_{1},{\lambda }_{2}\right)$  the element ${w}_{\lambda }\left(X,Y\right)=\text{tr}\left(\left(XY-YX{\right)}^{{\lambda }_{2}}{X}^{{\lambda }_{1}-{\lambda }_{2}}\right).$  For $\lambda =\left(5,5\right)$  a generator of $W\left(5,5\right)$  is ${w}_{\left(5,5\right)}\left(X,Y\right)=\text{tr}\left(\left(XY-YX{\right)}^{3}\left({X}^{2}{Y}^{2}-XYYX-YXXY+{Y}^{2}{X}^{2}\right)\right).$  It seems to us that our generators are more convenient than the usual ones, if we want to find a system of defining relations of ${T}_{42}$  . Most of the computations are performed with Maple, using standard functions only. Some of the obtained relations and technical results may be used for concrete calculations with traces of generic $4×4$  matrices.

1 Preliminaries

The group $G{L}_{2}$  acts in a canonical way on the vector space with basis $\left\{x,y\right\}$  and this action induces a diagonal action on the free algebra $K〈x,y〉$  : $g\left({z}_{1}\cdots {z}_{k}\right)=g\left({z}_{1}\right)\cdots g\left({z}_{k}\right),{z}_{i}=x,y,g\in G{L}_{2}.$  The action of $G{L}_{2}$  on $K〈x,y〉$  induces an action on the pure trace algebra $P\left(x,y\right)$  :
$g\left(\text{tr}\left({z}_{1}\cdots {z}_{k}\right)\right)=\text{tr}\left(g\left({z}_{1}\right)\cdots g\left({z}_{k}\right)\right),{z}_{i}=x,y,g\in G{L}_{2}.$  If we fix the generic $n×n$  matrices $X,Y$  , the algebra of invariants ${C}_{n2}$  becomes a homomorphic image of $P\left(x,y\right)$  under the natural homomorphism extending the map $x\to X$  , $y\to Y$  and the $G{L}_{2}$  action is transferred on ${C}_{n2}$  . The $G{L}_{2}$  -module $K〈x,y〉$  is a direct sum of irreducible polynomial modules, described in terms of partitions $\lambda =\left({\lambda }_{1},{\lambda }_{2}\right)$  . We denote by $W\left(\lambda \right)$  the corresponding $G{L}_{2}$  -module.
The $G{L}_{2}$  -submodules and factor modules $W$  of $K〈x,y〉$  inherit its natural bigrading which counts the entries of $x$  and $y$  in each monomial. We denote by ${W}^{\left(p,q\right)}$  the corresponding homogeneous component. The formal power series $H\left(W,t,u\right)={\sum }_{p,q\ge 0}\text{dim}\left({W}^{\left(p,q\right)}\right){t}^{p}{u}^{q}$  is called the Hilbert series of $W$  . The Hilbert series of $W\left(\lambda \right)$  is the Schur function ${S}_{\lambda }\left(t,u\right)$  which, in the case of two variables, has the very simple form ${S}_{\lambda }\left(t,u\right)=\left(tu{\right)}^{{\lambda }_{2}}\left({t}^{{\lambda }_{1}-{\lambda }_{2}}+{t}^{{\lambda }_{1}-{\lambda }_{2}-1}u+\cdots +t{u}^{{\lambda }_{1}-{\lambda }_{2}-1}+{u}^{{\lambda }_{1}-{\lambda }_{2}}\right).$  The Hilbert series of $W$  plays the role of its character, and $W=\oplus {W}^{\oplus m\left(\lambda \right)}\left(\lambda \right),m\left(\lambda \right)\in \mathbb{N}\cup \left\{0\right\},$  i.e. $W\left(\lambda \right)$  participates in $W$  with multiplicity $m\left(\lambda \right)$  , if and only if $H\left(W,t,u\right)=\sum m\left(\lambda \right){S}_{\lambda }\left(t,u\right).$  The Hilbert series of ${C}_{42}$  was calculated by Teranishi [T2, with some misprints in the expression, and, corrected, by Berele and Stembridge [BS:
 $\begin{array}{c}H\left({C}_{42},t,u\right)=\frac{{P}_{C}\left(t,u\right)}{\left(1-t\right)\left(1-u\right){Q}_{C}\left(t,u\right)},\end{array}$ (1)
${P}_{C}\left(t,u\right)=\left(1-{e}_{2}+{e}_{2}^{2}\right)\left(1-{e}_{1}{e}_{2}+{e}_{1}{e}_{2}^{2}+{e}_{1}^{2}{e}_{2}^{2}+{e}_{1}{e}_{2}^{3}-{e}_{1}{e}_{2}^{4}+{e}_{2}^{6}\right),$  ${e}_{1}=t+u,{e}_{2}=tu,$  ${Q}_{C}\left(t,u\right)=\left(1-{t}^{2}\right)\left(1-{t}^{3}\right)\left(1-{t}^{4}\right)\left(1-{u}^{2}\right)\left(1-{u}^{3}\right)\left(1-{u}^{4}\right)$  $\left(1-tu{\right)}^{2}\left(1-{t}^{2}u{\right)}^{2}\left(1-t{u}^{2}{\right)}^{2}\left(1-{t}^{3}u\right)\left(1-t{u}^{3}\right)\left(1-{t}^{2}{u}^{2}\right).$  We shall need the decomposition as a sum of Schur functions of the first 11 homogeneous components ${h}_{n}\left(t,u\right)$  of the symmetric formal power series
 $\begin{array}{c}h\left(t,u\right)=\frac{{P}_{C}\left(t,u\right)}{{Q}_{C}\left(t,u\right)}=\left(1-t\right)\left(1-u\right)H\left({C}_{42},t,u\right)={\sum }_{n\ge 0}{h}_{n}\left(t,u\right).\end{array}$ (2)
Using the formula
 $\begin{array}{c}\frac{1}{1-z}=1+z+{z}^{2}+\cdots ,\end{array}$ (3)
direct calculations show that
 $\begin{array}{c}\begin{array}{c}{h}_{0}=1,{h}_{1}=0,{h}_{2}={t}^{2}+tu+{u}^{2}={S}_{\left(2,0\right)}\left(t,u\right),\\ {h}_{3}={S}_{\left(3,0\right)}\left(t,u\right),{h}_{4}=2{S}_{\left(4,0\right)}\left(t,u\right)+2{S}_{\left(2,2\right)}\left(t,u\right),\\ {h}_{5}={S}_{\left(5,0\right)}\left(t,u\right)+{S}_{\left(4,1\right)}\left(t,u\right)+2{S}_{\left(3,2\right)}\left(t,u\right),\\ {h}_{6}=3{S}_{\left(6,0\right)}\left(t,u\right)+{S}_{\left(5,1\right)}\left(t,u\right)+5{S}_{\left(4,2\right)}\left(t,u\right)+{S}_{\left(3,3\right)}\left(t,u\right),\\ {h}_{7}=2{S}_{\left(7,0\right)}\left(t,u\right)+2{S}_{\left(6,1\right)}\left(t,u\right)+5{S}_{\left(5,2\right)}\left(t,u\right)+4{S}_{\left(4,3\right)}\left(t,u\right),\\ {h}_{8}=4{S}_{\left(8,0\right)}\left(t,u\right)+2{S}_{\left(7,1\right)}\left(t,u\right)+10{S}_{\left(6,2\right)}\left(t,u\right)+6{S}_{\left(5,3\right)}\left(t,u\right)+8{S}_{\left(4,4\right)}\left(t,u\right),\\ {h}_{9}=3{S}_{\left(9,0\right)}\left(t,u\right)+3{S}_{\left(8,1\right)}\left(t,u\right)+10{S}_{\left(7,2\right)}\left(t,u\right)+13{S}_{\left(6,3\right)}\left(t,u\right)+8{S}_{\left(5,4\right)}\left(t,u\right),\\ {h}_{10}=5{S}_{\left(10,0\right)}\left(t,u\right)+4{S}_{\left(9,1\right)}\left(t,u\right)+16{S}_{\left(8,2\right)}\left(t,u\right)\\ +16{S}_{\left(7,3\right)}\left(t,u\right)+24{S}_{\left(6,4\right)}\left(t,u\right)+5{S}_{\left(5,5\right)}\left(t,u\right).\\ \end{array}\end{array}$ (4)
Any submodule $W\left(\lambda \right)=W\left({\lambda }_{1},{\lambda }_{2}\right)$  of $K〈x,y〉$  is generated by a unique, up to a multiplicative constant, homogeneous element ${w}_{\lambda }\left(x,y\right)$  of degree ${\lambda }_{1}$  and ${\lambda }_{2}$  with respect to $x$  and $y$  , respectively, called the highest weight vector of $W\left(\lambda \right)$  .
It is characterized by the following property, see [DEP, ADFand [Kfor the version which we need. We state it for two variables only. The homogeneous polynomial ${w}_{\lambda }\left(x,y\right)\in K〈x,y〉$  of degree $\left({\lambda }_{1},{\lambda }_{2}\right)$  is a highest weight vector for some $W\left({\lambda }_{1},{\lambda }_{2}\right)$  if and only if $\delta \left({w}_{\lambda }\left(x,y\right)\right)=0$  , where $\delta$  is the derivation of $K〈x,y〉$  defined by $\delta \left(x\right)=0$  , $\delta \left(y\right)=x$  . If ${W}_{i}$  , $i=1,\dots ,k$  , are $k$  isomorphic copies of $W\left(\lambda \right)$  and ${w}_{i}\in {W}_{i}$  are highest weight vectors, then the highest weight vector of any submodule $W\left(\lambda \right)$  of the direct sum ${W}_{1}\oplus \cdots \oplus {W}_{k}$  has the form ${\xi }_{1}{w}_{1}+\cdots +{\xi }_{k}{w}_{k}$  for some ${\xi }_{i}\in K$  .
Any $k$  linearly independent highest weight vectors can serve as generators of the $G{L}_{2}$  -module ${W}_{1}\oplus \cdots \oplus {W}_{k}$  . Of course, similar arguments work for submodules and homomorphic images of the $G{L}_{2}$  -module $K〈x,y〉$  .
The multiplicity of $W\left(\lambda \right)$  in $K〈x,y〉$  is equal to the degree $d\left(\lambda \right)$  of the corresponding irreducible representation of the symmetric group ${S}_{k}$  , $k={\lambda }_{1}+{\lambda }_{2}$  , or, equivalently, to the number of standard $\lambda$  -tableaux. For the standard $\lambda$  -tableau ${T}_{\sigma }$  $=$  $\sigma \left(1\right)$  $\cdots$  $\sigma \left(2{\lambda }_{2}-1\right)$  $\sigma \left(2{\lambda }_{2}+1\right)$  $\cdots$  $\sigma \left(k\right)$  $\sigma \left(2\right)$  $\cdots$  $\sigma \left(2{\lambda }_{2}\right)$  corresponding to $\sigma \in {S}_{k}$  , $k={\lambda }_{1}+{\lambda }_{2}$  , we associate a highest weight vector $w\left({T}_{\sigma }\right)$  in $K〈x,y〉$  . When $\sigma =\varepsilon$  is the identity of ${S}_{k}$  we fix $w\left({T}_{\varepsilon }\right)=\left(xy-yx{\right)}^{{\lambda }_{2}}{x}^{{\lambda }_{1}-{\lambda }_{2}}$  $={\sum }_{{\rho }_{1},\dots ,{\rho }_{s}\in {S}_{2}}\text{sign}\left({\rho }_{1}\cdots {\rho }_{s}\right){z}_{{\rho }_{1}\left(1\right)}{z}_{{\rho }_{1}\left(2\right)}\cdots {z}_{{\rho }_{s}\left(1\right)}{z}_{{\rho }_{s}\left(2\right)}{x}^{{\lambda }_{1}-{\lambda }_{2}},$  where ${z}_{1}=x$  , ${z}_{2}=y$  , $s={\lambda }_{2}$  . For $\sigma$  arbitrary, we define $w\left({T}_{\sigma }\right)$  in a similar way, but the skew-symmetries are in positions $\left(\sigma \left(1\right),\sigma \left(2\right)\right),\dots ,\left(\sigma \left(2s-1\right),\sigma \left(2s\right)\right)$  instead of the positions $\left(1,2\right),\dots ,\left(2s-1,2s\right)$  (and the positions with fixed $x$  are $\sigma \left(2s+1\right),\dots ,\sigma \left(k\right)$  instead of $2s+1,\dots ,k$  ). For the standard $\left(p,q\right)$  -tableau $T$  $=$  ${a}_{1}$  $\cdots$  ${a}_{q}$  ${a}_{q+1}$  $\cdots$  ${a}_{p}$  ${b}_{1}$  $\cdots$  ${b}_{q}$  we denote the corresponding highest weight vector $\text{tr}\left(w\left(T\right)\right)$  by $w\left(T\right)=w\left(\begin{array}{cccccc}{a}_{1}& \cdot \cdot \cdot & {a}_{q}& {a}_{q+1}& \cdot \cdot \cdot & {a}_{p}\\ {b}_{1}& \cdot \cdot \cdot & {b}_{q}& & \\ \end{array}\right).$

2 The $G{L}_{2}$  -modules of formal traces

We denote by ${U}_{n}$  the vector subspace of all traces of formal products of length $n$  in the variables $x$  and $y$  in the pure trace algebra $P\left(x,y\right)$  .
Proposition 2.1. The $G{L}_{2}$  -modules ${U}_{n}$  spanned by the traces of the products of length $n\le 10$  are decomposed as follows: ${U}_{1}=W\left(1\right),{U}_{2}=W\left(2\right),{U}_{3}=W\left(3\right),{U}_{4}=W\left(4\right)\oplus W\left(2,2\right),$  ${U}_{5}=W\left(5\right)\oplus W\left(3,2\right),{U}_{6}=W\left(6\right)\oplus 2W\left(4,2\right)\oplus W\left(3,3\right),$  ${U}_{7}=W\left(7\right)\oplus 2W\left(5,2\right)\oplus 2W\left(4,3\right),$  ${U}_{8}=W\left(8\right)\oplus 3W\left(6,2\right)\oplus 3W\left(5,3\right)\oplus 3W\left(4,4\right),$  ${U}_{9}=W\left(9\right)\oplus 3W\left(7,2\right)\oplus 6W\left(6,3\right)\oplus 4W\left(5,4\right),$  ${U}_{10}=W\left(10\right)\oplus 4W\left(8,2\right)\oplus 7W\left(7,3\right)\oplus 10W\left(6,4\right)\oplus 4W\left(5,5\right).$
• Proof. We calculate the Hilbert series $H\left({U}_{n},t,u\right)$  of ${U}_{n}$  . Since $H\left({U}_{n},t,u\right)$  is a symmetric polynomial in $t,u$  , it is sufficient to count the number ${h}_{nk}$  of traces of degree $k$  with respect to $x$  and $n-k$  with respect to $y$  , $k\ge n-k$  . There is one trace depending on $x$  only, $\text{tr}\left({x}^{n}\right)$  , and one trace, $\text{tr}\left({x}^{n-1}y\right)$  , of degree $\left(n-1,1\right)$  .
Hence ${h}_{n0}={h}_{n1}=1$  and we may consider the case $k\le n-2$  only. Since the traces are invariant under cyclic permutation, we may assume that they are of the form $\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}\cdots {x}^{{a}_{p}}{y}^{{b}_{p}}\right),$  where ${a}_{i},{b}_{i}>0$  and ${a}_{1}+\cdots +{a}_{p}=k$  , ${b}_{1}+\cdots +{b}_{p}=n-k$  . We order the words ${x}^{{a}_{1}}{y}^{{b}_{1}}\cdots {x}^{{a}_{p}}{y}^{{b}_{p}}$  comparing lexicographically the $2p$  -tuples $\left({a}_{1},\dots ,{a}_{p},{b}_{1},\dots ,{b}_{p}\right)$  and fix the representative of $\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}\cdots {x}^{{a}_{p}}{y}^{{b}_{p}}\right)$  to be as high as possible.
Cases $n=1,2,3$  . These cases are obvious because the coefficients ${h}_{nk},{h}_{n,n-k}$  of $H\left({U}_{n},t,v\right)$  are equal to 1 for $k=0,1$  and $H\left({U}_{1},t,v\right)=t+u={S}_{\left(1\right)}\left(t,u\right),$  $H\left({U}_{2},t,u\right)={t}^{2}+tu+{u}^{2}={S}_{\left(2\right)}\left(t,u\right),$  $H\left({U}_{3},t,u\right)={t}^{3}+{t}^{2}u+t{u}^{2}+{u}^{3}={S}_{\left(3\right)}\left(t,u\right).$  This means that ${U}_{1}=W\left(1\right)$  , ${U}_{2}=W\left(2\right)$  and ${U}_{3}=W\left(3\right)$  .
Case $n=4$  . The only elements of degree $\left(2,2\right)$  are $\text{tr}\left({x}^{2}{y}^{2}\right),\text{tr}\left(xyxy\right)$  and this implies $H\left({U}_{4},t,u\right)={t}^{4}+{t}^{3}u+2{t}^{2}{u}^{2}+t{u}^{3}+{u}^{4}={S}_{\left(4\right)}\left(t,u\right)+{S}_{\left({2}^{2}\right)}\left(t,u\right),$  and hence ${U}_{4}=W\left(4\right)\oplus W\left(2,2\right)$  .
Case $n=5$  . The traces of degree $\left(3,2\right)$  are $\text{tr}\left({x}^{3}{y}^{2}\right)$  , $\text{tr}\left({x}^{2}yxy\right)$  and $H\left({U}_{5},t,u\right)={t}^{5}+{t}^{4}u+2{t}^{3}{u}^{2}+2{t}^{2}{u}^{3}+t{u}^{4}+{u}^{5}={S}_{\left(5\right)}\left(t,u\right)+{S}_{\left(3,2\right)}\left(t,u\right),$  which gives ${U}_{5}=W\left(5\right)\oplus W\left(3,2\right)$  . Case $n=6$  . The traces of degree $\left(4,2\right)$  are $\text{tr}\left({x}^{4}{y}^{2}\right)$  , $\text{tr}\left({x}^{3}yxy\right)$  , $\text{tr}\left({x}^{2}y{x}^{2}y\right)$  , these of degree $\left(3,3\right)$  are $\text{tr}\left({x}^{3}{y}^{3}\right)$  , $\text{tr}\left({x}^{2}{y}^{2}xy\right)$  , $\text{tr}\left({x}^{2}yx{y}^{2}\right)$  , $\text{tr}\left(xyxyxy\right)$  , and $H\left({U}_{6},t,u\right)={t}^{6}+{t}^{5}u+3{t}^{4}{u}^{2}+4{t}^{3}{u}^{3}+3{t}^{2}{u}^{4}+t{u}^{5}+{u}^{6}$  $={S}_{\left(6\right)}\left(t,u\right)+2{S}_{\left(4,2\right)}\left(t,u\right)+{S}_{\left({3}^{2}\right)}\left(t,u\right),$  ${U}_{6}=W\left(6\right)\oplus 2W\left(4,2\right)\oplus W\left(3,3\right).$  Case $n=7$  . The traces of degree $\left(5,2\right)$  are $\text{tr}\left({x}^{5}{y}^{2}\right)$  , $\text{tr}\left({x}^{4}yxy\right)$  , $\text{tr}\left({x}^{3}y{x}^{2}y\right)$  , these of degree $\left(4,3\right)$  are $\text{tr}\left({x}^{4}{y}^{3}\right)$  , $\text{tr}\left({x}^{3}{y}^{2}xy\right)$  , $\text{tr}\left({x}^{3}yx{y}^{2}\right)$  , $\text{tr}\left({x}^{2}{y}^{2}{x}^{2}y\right)$  , $\text{tr}\left({x}^{2}yxyxy\right)$  and $H\left({U}_{7},t,u\right)={t}^{7}+{t}^{6}u+3{t}^{5}{u}^{2}+5{t}^{4}{u}^{3}+5{t}^{3}{u}^{4}+3{t}^{2}{u}^{5}+t{u}^{6}+{u}^{7}$  $={S}_{\left(7\right)}\left(t,u\right)+2{S}_{\left(5,2\right)}\left(t,u\right)+2{S}_{\left(4,3\right)}\left(t,u\right),$  ${U}_{7}=W\left(7\right)\oplus 2W\left(5,2\right)\oplus 2W\left(4,3\right).$  Case $n=8$  . The traces of degree $\left(6,2\right)$  are $\text{tr}\left({x}^{6}{y}^{2}\right),\text{tr}\left({x}^{{a}_{1}}y{x}^{{a}_{2}}y\right),\left({a}_{1},{a}_{2}\right)=\left(5,1\right),\left(4,2\right),\left(3,3\right),$  and ${h}_{82}=4$  , the traces of degree $\left(5,3\right)$  are $\text{tr}\left({x}^{5}{y}^{3}\right),$  $\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}\right),\left({a}_{1},{a}_{2}\right)=\left(4,1\right),\left(3,2\right),\left({b}_{1},{b}_{2}\right)=\left(2,1\right),\left(1,2\right),$  $\text{tr}\left({x}^{{a}_{1}}y{x}^{{a}_{2}}y{x}^{{a}_{3}}y\right),\left({a}_{1},{a}_{2},{a}_{3}\right)=\left(3,1,1\right),\left(2,2,1\right),$  ${h}_{83}=7$  . Finally, the traces of degree $\left(4,4\right)$  are $\text{tr}\left({x}^{4}{y}^{4}\right),\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}\right),$  $\left({a}_{1},{a}_{2}\right)=\left(3,1\right),\left({b}_{1},{b}_{2}\right)=\left(3,1\right),\left(2,2\right),\left(1,3\right),$  $\left({a}_{1},{a}_{2}\right)=\left(2,2\right),\left({b}_{1},{b}_{2}\right)=\left(3,1\right),\left(2,2\right),$  $\text{tr}\left({x}^{2}{y}^{{b}_{1}}x{y}^{{b}_{2}}x{y}^{{b}_{3}}\right),\left({b}_{1},{b}_{2},{b}_{3}\right)=\left(2,1,1\right),\left(1,2,1\right),\left(1,1,2\right),$  $\text{tr}\left(xyxyxyxy\right).$  Hence ${h}_{84}=10$  , $H\left({U}_{8},t,u\right)={t}^{8}+{t}^{7}u+4{t}^{6}{u}^{2}+7{t}^{5}{u}^{3}+10{t}^{4}{u}^{4}+7{t}^{3}{u}^{5}+4{t}^{2}{u}^{6}+t{u}^{7}+{u}^{8}$  $={S}_{\left(8\right)}\left(t,u\right)+3{S}_{\left(6,2\right)}\left(t,u\right)+3{S}_{\left(5,3\right)}\left(t,u\right)+3{S}_{\left(4,4\right)}\left(t,u\right),$  ${U}_{8}=W\left(8\right)\oplus 3W\left(6,2\right)\oplus 3W\left(5,3\right)\oplus 3W\left(4,4\right).$  Case $n=9$  . The traces of degree $\left(7,2\right)$  are $\text{tr}\left({x}^{7}{y}^{2}\right),\text{tr}\left({x}^{{a}_{1}}y{x}^{{a}_{2}}y\right),\left({a}_{1},{a}_{2}\right)=\left(6,1\right),\left(5,2\right),\left(4,3\right),$  and ${h}_{92}=4$  , these of degree $\left(6,3\right)$  are $\text{tr}\left({x}^{6}{y}^{3}\right),\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}\right),$  $\left({a}_{1},{a}_{2}\right)=\left(5,1\right),\left(4,2\right),\left({b}_{1},{b}_{2}\right)=\left(2,1\right),\left(1,2\right),\left({a}_{1},{a}_{2}\right)=\left(3,3\right),\left({b}_{1},{b}_{2}\right)=\left(2,1\right),$  $\text{tr}\left({x}^{{a}_{1}}y{x}^{{a}_{2}}y{x}^{{a}_{3}}y\right),\left({a}_{1},{a}_{2},{a}_{3}\right)=\left(4,1,1\right),\left(3,2,1\right),\left(3,1,2\right),\left(2,2,2\right),$  ${h}_{93}=10$  . The traces of degree $\left(5,4\right)$  are $\text{tr}\left({x}^{5}{y}^{4}\right),\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}\right),\left({a}_{1},{a}_{2}\right)=\left(4,1\right),\left(3,2\right),\left({b}_{1},{b}_{2}\right)=\left(3,1\right),\left(2,2\right),\left(1,3\right),$  $\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}{x}^{{a}_{3}}{y}^{{b}_{3}}\right),$  $\left({a}_{1},{a}_{2},{a}_{3}\right)=\left(3,1,1\right),\left(2,2,1\right),\left({b}_{1},{b}_{2},{b}_{3}\right)=\left(2,1,1\right),\left(1,2,1\right),\left(1,1,2\right),$  $\text{tr}\left({x}^{2}yxyxyxy\right),$  ${h}_{94}=14$  . The Hilbert series and the decomposition of ${U}_{9}$  are, respectively, $H\left({U}_{9},t,u\right)={t}^{9}+{t}^{8}u+4{t}^{7}{u}^{2}+10{t}^{6}{u}^{3}+14{t}^{5}{u}^{4}$  $+14{t}^{4}{u}^{5}+10{t}^{3}{u}^{6}+4{t}^{2}{u}^{7}+t{u}^{8}+{u}^{9}$  $={S}_{\left(9\right)}\left(t,u\right)+3{S}_{\left(7,2\right)}\left(t,u\right)+6{S}_{\left(6,3\right)}\left(t,u\right)+4{S}_{\left(5,4\right)}\left(t,u\right),$  ${U}_{9}=W\left(9\right)\oplus 3W\left(7,2\right)\oplus 6W\left(6,3\right)\oplus 4W\left(5,4\right).$  Case $n=10$  . The traces of degree $\left(8,2\right)$  are $\text{tr}\left({x}^{8}{y}^{2}\right),\text{tr}\left({x}^{{a}_{1}}y{x}^{{a}_{2}}y\right),\left({a}_{1},{a}_{2}\right)=\left(7,1\right),\left(6,2\right),\left(5,3\right),\left(4,4\right),$  and ${h}_{10,2}=5$  , these of degree $\left(7,3\right)$  are $\text{tr}\left({x}^{7}{y}^{3}\right),\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}\right),$  $\left({a}_{1},{a}_{2}\right)=\left(6,1\right),\left(5,2\right),\left(4,3\right),\left({b}_{1},{b}_{2}\right)=\left(2,1\right),\left(1,2\right),$  $\text{tr}\left({x}^{{a}_{1}}y{x}^{{a}_{2}}y{x}^{{a}_{3}}y\right),\left({a}_{1},{a}_{2},{a}_{3}\right)=\left(5,1,1\right),\left(4,2,1\right),\left(4,1,2\right),\left(3,3,1\right),\left(3,2,2\right),$  ${h}_{10,3}=12$  . The traces of degree $\left(6,4\right)$  are $\text{tr}\left({x}^{6}{y}^{4}\right),\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}\right),\left({a}_{1},{a}_{2}\right)=\left(5,1\right),\left(4,2\right),\left({b}_{1},{b}_{2}\right)=\left(3,1\right),\left(2,2\right),\left(1,3\right),$  $\left({a}_{1},{a}_{2}\right)=\left(3,3\right),\left({b}_{1},{b}_{2}\right)=\left(3,1\right),\left(2,2\right),$  $\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}{x}^{{a}_{3}}{y}^{{b}_{3}}\right),$  $\left({a}_{1},{a}_{2},{a}_{3}\right)=\left(4,1,1\right),\left(3,2,1\right),\left(3,1,2\right),\left({b}_{1},{b}_{2},{b}_{3}\right)=\left(2,1,1\right),\left(1,2,1\right),\left(1,1,2\right),$  $\left({a}_{1},{a}_{2},{a}_{3}\right)=\left(2,2,2\right),\left({b}_{1},{b}_{2},{b}_{3}\right)=\left(2,1,1\right),$  $\text{tr}\left({x}^{{a}_{1}}y{x}^{{a}_{2}}y{x}^{{a}_{3}}y{x}^{{a}_{4}}y\right),\left({a}_{1},{a}_{2},{a}_{3},{a}_{4}\right)=\left(3,1,1,1\right),\left(2,2,1,1\right),\left(2,1,2,1\right),$  ${h}_{10,4}=22$  . Finally, the traces of degree $\left(5,5\right)$  are $\text{tr}\left({x}^{5}{y}^{5}\right),\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}\right),$  $\left({a}_{1},{a}_{2}\right)=\left(4,1\right),\left(3,2\right),\left({b}_{1},{b}_{2}\right)=\left(4,1\right),\left(3,2\right),\left(2,3\right),\left(1,4\right),$  $\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}{x}^{{a}_{2}}{y}^{{b}_{2}}{x}^{{a}_{3}}{y}^{{b}_{3}}\right),$  $\left({a}_{1},{a}_{2},{a}_{3}\right)=\left(3,1,1\right),\left(2,2,1\right),$  $\left({b}_{1},{b}_{2},{b}_{3}\right)=\left(3,1,1\right),\left(1,3,1\right),\left(1,1,3\right),\left(2,2,1\right),\left(2,1,2\right),\left(1,2,2\right),$  $\text{tr}\left({x}^{2}{y}^{{b}_{1}}x{y}^{{b}_{2}}x{y}^{{b}_{3}}x{y}^{{b}_{4}}\right),$  $\left({b}_{1},{b}_{2},{b}_{3},{b}_{4}\right)=\left(2,1,1,1\right),\left(1,2,1,1\right),\left(1,1,2,1\right),\left(1,1,1,2\right),$  $\text{tr}\left(xyxyxyxyxy\right),$  hence ${h}_{10,5}=26$  . The Hilbert series and the decomposition of ${U}_{10}$  are, respectively, $H\left({U}_{10},t,u\right)={t}^{10}+{t}^{9}u+5{t}^{8}{u}^{2}+12{t}^{7}{u}^{3}+22{t}^{6}{u}^{4}$  $+26{t}^{5}{u}^{5}+22{t}^{4}{u}^{6}+12{t}^{3}{u}^{7}+5{t}^{2}{u}^{8}+t{u}^{9}+{u}^{10},$  $={S}_{\left(10\right)}\left(t,u\right)+4{S}_{\left(8,2\right)}\left(t,u\right)+7{S}_{\left(7,3\right)}\left(t,u\right)+10{S}_{\left(6,4\right)}\left(t,u\right)+4{S}_{\left(5,5\right)}\left(t,u\right),$  ${U}_{10}=W\left(10\right)\oplus 4W\left(8,2\right)\oplus 7W\left(7,3\right)\oplus 10W\left(6,4\right)\oplus 4W\left(5,5\right).$
Lemma 2.2. For $\lambda =\left({\lambda }_{1},{\lambda }_{2}\right)⊢n$  , $n\le 10$  , the following trace polynomials form a basis of the subspace of ${U}_{n}$  consisting of all $\lambda$  -highest weight vectors:
$\lambda =\left(n\right)$  , $n\ge 1$  : $w=w\left(\begin{array}{ccc}1& \cdot \cdot \cdot & n\\ \end{array}\right)=\text{tr}\left({x}^{n}\right);$  $\lambda =\left(2,2\right)$  : $w=\frac{1}{2}w\left(\begin{array}{cc}1& 3\\ 2& 4\\ \end{array}\right)=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)=-\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right);$  $\lambda =\left(3,2\right)$  : $w=w\left(\begin{array}{ccc}1& 3& 5\\ 2& 4& \\ \end{array}\right)=\text{tr}\left(\left[x,y{\right]}^{2}x\right)=-\text{tr}\left({x}^{3}{y}^{2}\right)+\text{tr}\left({x}^{2}yxy\right);$  $\lambda =\left(4,2\right)$  : ${w}_{1}=w\left(\begin{array}{cccc}1& 3& 5& 6\\ 2& 4& & \\ \end{array}\right)=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)=-\text{tr}\left({x}^{4}{y}^{2}\right)+2\text{tr}\left({x}^{3}yxy\right)-\text{tr}\left({x}^{2}y{x}^{2}y\right),$  ${w}_{2}=w\left(\begin{array}{cccc}1& 2& 5& 6\\ 3& 4& & \\ \end{array}\right)=\text{tr}\left({x}^{4}{y}^{2}\right)-\text{tr}\left({x}^{2}y{x}^{2}y\right);$  $\lambda =\left(3,3\right)$  : $w=\frac{1}{3}w\left(\begin{array}{ccc}1& 3& 5\\ 2& 4& 6\\ \end{array}\right)=\text{tr}\left({x}^{2}{y}^{2}xy\right)-\text{tr}\left({x}^{2}yx{y}^{2}\right);$  $\lambda =\left(5,2\right)$  : ${w}_{1}=w\left(\begin{array}{ccccc}1& 3& 5& 6& 7\\ 2& 4& & & \\ \end{array}\right)=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{3}\right)=-\text{tr}\left({x}^{5}{y}^{2}\right)+2\text{tr}\left({x}^{4}yxy\right)-\text{tr}\left({x}^{3}y{x}^{2}y\right)\right),$  ${w}_{2}=w\left(\begin{array}{ccccc}1& 2& 5& 6& 7\\ 3& 4& & & \\ \end{array}\right)=\text{tr}\left({x}^{5}{y}^{2}\right)-\text{tr}\left({x}^{3}y{x}^{2}y\right);$  $\lambda =\left(4,3\right)$  : ${w}_{1}=w\left(\begin{array}{cccc}1& 3& 5& 7\\ 2& 4& 6& \\ \end{array}\right)=\text{tr}\left({x}^{3}{y}^{2}xy\right)-\text{tr}\left({x}^{3}yx{y}^{2}\right),$  ${w}_{2}=w\left(\begin{array}{cccc}1& 2& 5& 7\\ 3& 4& 6& \\ \end{array}\right)=-\text{tr}\left({x}^{4}{y}^{3}\right)+2\text{tr}\left({x}^{3}{y}^{2}xy\right)$  $+\text{tr}\left({x}^{3}yx{y}^{2}\right)-\text{tr}\left({x}^{2}{y}^{2}{x}^{2}y\right)-\text{tr}\left({x}^{2}yxyxy\right);$  $\lambda =\left(6,2\right)$  : ${w}_{1}=w\left(\begin{array}{cccccc}1& 3& 5& 6& 7& 8\\ 2& 4& & & & \\ \end{array}\right)$  $=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{4}\right)=-\text{tr}\left({x}^{6}{y}^{2}\right)+2\text{tr}\left({x}^{5}yxy\right)-\text{tr}\left({x}^{4}y{x}^{2}y\right),$  ${w}_{2}=w\left(\begin{array}{cccccc}1& 2& 5& 6& 7& 8\\ 3& 4& & & & \\ \end{array}\right)=\text{tr}\left({x}^{6}{y}^{2}\right)-\text{tr}\left({x}^{4}y{x}^{2}y\right),$  ${w}_{3}=w\left(\begin{array}{cccccc}1& 3& 4& 6& 7& 8\\ 2& 5& & & & \\ \end{array}\right)=-\text{tr}\left({x}^{6}{y}^{2}\right)+\text{tr}\left({x}^{5}yxy\right)+\text{tr}\left({x}^{4}y{x}^{2}y\right)-\text{tr}\left({x}^{3}y{x}^{3}y\right);$  $\lambda =\left(5,3\right)$  : ${w}_{1}=w\left(\begin{array}{ccccc}1& 3& 5& 7& 8\\ 2& 4& 6& & \\ \end{array}\right)$  $=\text{tr}\left({x}^{4}{y}^{2}xy\right)-\text{tr}\left({x}^{4}yx{y}^{2}\right)-\text{tr}\left({x}^{3}{y}^{2}{x}^{2}y\right)+\text{tr}\left({x}^{3}y{x}^{2}{y}^{2}\right),$  ${w}_{2}=w\left(\begin{array}{ccccc}1& 2& 5& 7& 8\\ 3& 4& 6& & \\ \end{array}\right)=-\text{tr}\left({x}^{5}{y}^{3}\right)+2\text{tr}\left({x}^{4}{y}^{2}xy\right)$  $-2\text{tr}\left({x}^{3}{y}^{2}{x}^{2}y\right)+2\text{tr}\left({x}^{3}y{x}^{2}{y}^{2}\right)-\text{tr}\left({x}^{2}y{x}^{2}yxy\right),$  ${w}_{3}=w\left(\begin{array}{ccccc}1& 3& 5& 6& 8\\ 2& 4& 7& & \\ \end{array}\right)=\text{tr}\left({x}^{4}{y}^{2}xy\right)-\text{tr}\left({x}^{4}yx{y}^{2}\right);$  $\lambda =\left(4,4\right)$  : ${w}_{1}=\frac{1}{2}w\left(\begin{array}{cccc}1& 3& 5& 7\\ 2& 4& 6& 8\\ \end{array}\right)=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{4}\right)=-2\text{tr}\left({x}^{2}{y}^{2}xyxy\right)+2\text{tr}\left({x}^{2}yx{y}^{2}xy\right)$  $-2\text{tr}\left({x}^{2}yxyx{y}^{2}\right)+\text{tr}\left({x}^{2}{y}^{2}{x}^{2}{y}^{2}\right)+\text{tr}\left(xyxyxyxy\right),$  ${w}_{2}=w\left(\begin{array}{cccc}1& 2& 5& 7\\ 3& 4& 6& 8\\ \end{array}\right)=\text{tr}\left({x}^{3}{y}^{3}xy\right)-2\text{tr}\left({x}^{3}{y}^{2}x{y}^{2}\right)+\text{tr}\left({x}^{3}yx{y}^{3}\right)$  $-\text{tr}\left({x}^{2}{y}^{2}xyxy\right)+2\text{tr}\left({x}^{2}yx{y}^{2}xy\right)-\text{tr}\left({x}^{2}yxyx{y}^{2}\right)-2\text{tr}\left({x}^{2}{y}^{3}{x}^{2}y\right)+2\text{tr}\left({x}^{2}{y}^{2}{x}^{2}{y}^{2}\right),$  ${w}_{3}=\frac{1}{2}w\left(\begin{array}{cccc}1& 2& 5& 6\\ 3& 4& 7& 8\\ \end{array}\right)=\text{tr}\left({x}^{4}{y}^{4}\right)-2\text{tr}\left({x}^{3}{y}^{2}x{y}^{2}\right)+\text{tr}\left({x}^{2}yx{y}^{2}xy\right)$  $-2\text{tr}\left({x}^{2}{y}^{3}{x}^{2}y\right)+2\text{tr}\left({x}^{2}{y}^{2}{x}^{2}{y}^{2}\right);$  $\lambda =\left(7,2\right)$  : ${w}_{1}=w\left(\begin{array}{ccccccc}1& 3& 5& 6& 7& 8& 9\\ 2& 4& & & & & \\ \end{array}\right)$  $=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{5}\right)=-\text{tr}\left({x}^{7}{y}^{2}\right)+2\text{tr}\left({x}^{6}yxy\right)-\text{tr}\left({x}^{5}y{x}^{2}y\right),$  ${w}_{2}=w\left(\begin{array}{ccccccc}1& 2& 5& 6& 7& 8& 9\\ 3& 4& & & & & \\ \end{array}\right)=\text{tr}\left({x}^{7}{y}^{2}\right)-\text{tr}\left({x}^{5}y{x}^{2}y\right),$  ${w}_{3}=w\left(\begin{array}{ccccccc}1& 2& 4& 6& 7& 8& 9\\ 3& 5& & & & & \\ \end{array}\right)=\text{tr}\left({x}^{6}yxy\right)-\text{tr}\left({x}^{4}y{x}^{3}y\right);$  $\lambda =\left(6,3\right)$  : ${w}_{1}=w\left(\begin{array}{cccccc}1& 3& 5& 7& 8& 9\\ 2& 4& 6& & & \\ \end{array}\right)=\text{tr}\left(\left[x,y{\right]}^{3}{x}^{3}\right)=\text{tr}\left({x}^{5}{y}^{2}xy\right)-\text{tr}\left({x}^{5}yx{y}^{2}\right)$  $-\text{tr}\left({x}^{4}{y}^{2}{x}^{2}y\right)+\text{tr}\left({x}^{4}y{x}^{2}{y}^{2}\right)-\text{tr}\left({x}^{3}y{x}^{2}yxy\right)+\text{tr}\left({x}^{3}yxy{x}^{2}y\right),$  ${w}_{2}=w\left(\begin{array}{cccccc}1& 2& 5& 7& 8& 9\\ 3& 4& 6& & & \\ \end{array}\right)=-\text{tr}\left({x}^{6}{y}^{3}\right)+2\text{tr}\left({x}^{5}{y}^{2}xy\right)$  $-2\text{tr}\left({x}^{4}{y}^{2}{x}^{2}y\right)+\text{tr}\left({x}^{4}y{x}^{2}{y}^{2}\right)+\text{tr}\left({x}^{3}{y}^{2}{x}^{3}y\right)-\text{tr}\left({x}^{3}y{x}^{2}yxy\right),$  ${w}_{3}=w\left(\begin{array}{cccccc}1& 2& 4& 7& 8& 9\\ 3& 5& 6& & & \\ \end{array}\right)$  $=\text{tr}\left({x}^{5}yx{y}^{2}\right)-\text{tr}\left({x}^{5}{y}^{2}xy\right)+\text{tr}\left({x}^{4}y{x}^{2}{y}^{2}\right)-\text{tr}\left({x}^{4}{y}^{2}{x}^{2}y\right),$  ${w}_{4}=w\left(\begin{array}{cccccc}1& 3& 5& 6& 8& 9\\ 2& 4& 7& & & \\ \end{array}\right)=\text{tr}\left({x}^{5}{y}^{2}xy\right)-\text{tr}\left({x}^{5}yx{y}^{2}\right)+\text{tr}\left({x}^{4}y{x}^{2}{y}^{2}\right)$  $-\text{tr}\left({x}^{4}yxyxy\right)-\text{tr}\left({x}^{3}{y}^{2}{x}^{3}y\right)+\text{tr}\left({x}^{3}y{x}^{2}yxy\right)+\text{tr}\left({x}^{3}yxy{x}^{2}y\right)-\text{tr}\left({x}^{2}y{x}^{2}y{x}^{2}y\right),$  ${w}_{5}=w\left(\begin{array}{cccccc}1& 3& 5& 6& 7& 9\\ 2& 4& 8& & & \\ \end{array}\right)$  $=\text{tr}\left({x}^{5}{y}^{2}xy\right)-\text{tr}\left({x}^{5}yx{y}^{2}\right)+\text{tr}\left({x}^{3}y{x}^{2}yxy\right)-\text{tr}\left({x}^{3}yxy{x}^{2}y\right),$  ${w}_{6}=w\left(\begin{array}{cccccc}1& 2& 4& 6& 8& 9\\ 3& 5& 7& & & \\ \end{array}\right)=-\text{tr}\left({x}^{5}{y}^{2}xy\right)+2\text{tr}\left({x}^{4}y{x}^{2}{y}^{2}\right)$  $+\text{tr}\left({x}^{4}yxyxy\right)-\text{tr}\left({x}^{3}{y}^{2}{x}^{3}y\right)-\text{tr}\left({x}^{3}yxy{x}^{2}y\right);$  $\lambda =\left(5,4\right)$  : ${w}_{1}=w\left(\begin{array}{ccccc}1& 3& 5& 7& 9\\ 2& 4& 6& 8& \\ \end{array}\right)=\text{tr}\left({x}^{3}{y}^{2}{x}^{2}{y}^{2}\right)-\text{tr}\left({x}^{3}{y}^{2}xyxy\right)$  $+\text{tr}\left({x}^{3}yx{y}^{2}xy\right)-\text{tr}\left({x}^{3}yxyx{y}^{2}\right)-\text{tr}\left({x}^{2}{y}^{2}{x}^{2}yxy\right)+\text{tr}\left({x}^{2}yxyxyxy\right),$  ${w}_{2}=w\left(\begin{array}{ccccc}1& 2& 5& 7& 9\\ 3& 4& 6& 8& \\ \end{array}\right)=\text{tr}\left({x}^{4}{y}^{3}xy\right)-\text{tr}\left({x}^{4}{y}^{2}x{y}^{2}\right)$  $-\text{tr}\left({x}^{3}{y}^{3}{x}^{2}y\right)+\text{tr}\left({x}^{3}yxyx{y}^{2}\right)+\text{tr}\left({x}^{2}{y}^{2}{x}^{2}yxy\right)-\text{tr}\left({x}^{2}yxyxyxy\right),$  ${w}_{3}=w\left(\begin{array}{ccccc}1& 2& 4& 7& 9\\ 3& 5& 6& 8& \\ \end{array}\right)=\text{tr}\left({x}^{4}{y}^{3}xy\right)-\text{tr}\left({x}^{4}yx{y}^{3}\right)$  $-\text{tr}\left({x}^{3}{y}^{3}{x}^{2}y\right)+\text{tr}\left({x}^{3}y{x}^{2}{y}^{3}\right)-\text{tr}\left({x}^{3}{y}^{2}xyxy\right)+\text{tr}\left({x}^{3}yxyx{y}^{2}\right),$  ${w}_{4}=w\left(\begin{array}{ccccc}1& 2& 3& 4& 9\\ 5& 6& 7& 8& \\ \end{array}\right)=\text{tr}\left({x}^{5}{y}^{4}\right)-\text{tr}\left({x}^{4}{y}^{3}xy\right)$  $+\text{tr}\left({x}^{4}{y}^{2}x{y}^{2}\right)-\text{tr}\left({x}^{4}yx{y}^{3}\right)-\text{tr}\left({x}^{3}yx{y}^{2}xy\right)+\text{tr}\left({x}^{2}yxyxyxy\right);$  $\lambda =\left(8,2\right)$  : ${w}_{1}=w\left(\begin{array}{cccccccc}1& 3& 5& 6& 7& 8& 9& 10\\ 2& 4& & & & & & \\ \end{array}\right)=-\text{tr}\left({x}^{8}{y}^{2}\right)+2\text{tr}\left({x}^{7}yxy\right)-\text{tr}\left({x}^{6}y{x}^{2}y\right),$  ${w}_{2}=w\left(\begin{array}{cccccccc}1& 3& 4& 6& 7& 8& 9& 10\\ 2& 5& & & & & & \\ \end{array}\right)$  $=-\text{tr}\left({x}^{8}{y}^{2}\right)+\text{tr}\left({x}^{7}yxy\right)+\text{tr}\left({x}^{6}y{x}^{2}y\right)-\text{tr}\left({x}^{5}y{x}^{3}y\right),$  ${w}_{3}=w\left(\begin{array}{cccccccc}1& 3& 4& 5& 7& 8& 9& 10\\ 2& 6& & & & & & \\ \end{array}\right)$  $=-\text{tr}\left({x}^{8}{y}^{2}\right)+\text{tr}\left({x}^{7}yxy\right)+\text{tr}\left({x}^{5}y{x}^{3}y\right)-\text{tr}\left({x}^{4}y{x}^{4}y\right),$  ${w}_{4}=w\left(\begin{array}{cccccccc}1& 3& 4& 5& 6& 8& 9& 10\\ 2& 7& & & & & & \\ \end{array}\right)$  $=-\text{tr}\left({x}^{8}{y}^{2}\right)+\text{tr}\left({x}^{7}yxy\right)-\text{tr}\left({x}^{5}y{x}^{3}y\right)+\text{tr}\left({x}^{4}y{x}^{4}y\right);$  $\lambda =\left(7,3\right)$  : ${w}_{1}=w\left(\begin{array}{ccccccc}1& 3& 5& 7& 8& 9& 10\\ 2& 4& 6& & & & \\ \end{array}\right),$  ${w}_{2}=w\left(\begin{array}{ccccccc}1& 3& 5& 6& 8& 9& 10\\ 2& 4& 7& & & & \\ \end{array}\right),$  ${w}_{3}=w\left(\begin{array}{ccccccc}1& 3& 5& 6& 7& 9& 10\\ 2& 4& 8& & & & \\ \end{array}\right),$  ${w}_{4}=w\left(\begin{array}{ccccccc}1& 3& 5& 6& 7& 8& 10\\ 2& 4& 9& & & & \\ \end{array}\right),$  ${w}_{5}=w\left(\begin{array}{ccccccc}1& 2& 5& 6& 7& 9& 10\\ 3& 4& 8& & & & \\ \end{array}\right),$  ${w}_{6}=w\left(\begin{array}{ccccccc}1& 3& 4& 7& 8& 9& 10\\ 2& 5& 6& & & & \\ \end{array}\right),$  ${w}_{7}=w\left(\begin{array}{ccccccc}1& 2& 3& 7& 8& 9& 10\\ 4& 5& 6& & & & \\ \end{array}\right);$  $\lambda =\left(6,4\right)$  : ${w}_{1}=w\left(\begin{array}{cccccc}1& 3& 5& 7& 9& 10\\ 2& 4& 6& 8& & \\ \end{array}\right),$  ${w}_{2}=w\left(\begin{array}{cccccc}1& 2& 3& 4& 5& 6\\ 7& 8& 9& 10& & \\ \end{array}\right),$  ${w}_{3}=w\left(\begin{array}{cccccc}1& 2& 3& 7& 9& 10\\ 4& 5& 6& 8& & \\ \end{array}\right),$  ${w}_{4}=w\left(\begin{array}{cccccc}1& 2& 5& 7& 9& 10\\ 3& 4& 6& 8& & \\ \end{array}\right),$  ${w}_{5}=w\left(\begin{array}{cccccc}1& 2& 5& 6& 9& 10\\ 3& 4& 7& 8& & \\ \end{array}\right),$  ${w}_{6}=w\left(\begin{array}{cccccc}1& 2& 5& 6& 7& 10\\ 3& 4& 8& 9& & \\ \end{array}\right),$  ${w}_{7}=w\left(\begin{array}{cccccc}1& 3& 4& 7& 8& 10\\ 2& 5& 6& 9& & \\ \end{array}\right),$  ${w}_{8}=w\left(\begin{array}{cccccc}1& 2& 4& 6& 8& 10\\ 3& 5& 7& 9& & \\ \end{array}\right),$  ${w}_{9}=w\left(\begin{array}{cccccc}1& 3& 4& 5& 8& 9\\ 2& 6& 7& 10& & \\ \end{array}\right),$  ${w}_{10}=w\left(\begin{array}{cccccc}1& 3& 4& 7& 9& 10\\ 2& 5& 6& 8& & \\ \end{array}\right);$  $\lambda =\left(5,5\right)$  : ${w}_{1}=w\left(\begin{array}{ccccc}1& 3& 5& 7& 9\\ 2& 4& 6& 8& 10\\ \end{array}\right),$  ${w}_{2}=w\left(\begin{array}{ccccc}1& 3& 5& 7& 8\\ 2& 4& 6& 9& 10\\ \end{array}\right),$  ${w}_{3}=w\left(\begin{array}{ccccc}1& 3& 5& 6& 7\\ 2& 4& 8& 9& 10\\ \end{array}\right),$  ${w}_{4}=w\left(\begin{array}{ccccc}1& 2& 3& 4& 9\\ 5& 6& 7& 8& 10\\ \end{array}\right).$
• Proof. For each $\lambda ⊢n$  , the number of highest weight vectors ${w}_{i}$  given above, coincides with the multiplicity of $W\left(\lambda \right)$  in ${U}_{n}$  . The explicit form of ${w}_{i}$  is obtained by direct calculations. It is sufficient to prove that the ${w}_{i}$  s are linearly independent in ${U}_{n}$  . For most of the cases it is almost obvious. In the more complicated cases the linear independence is obtained by calculating the rank of the matrix with entries equal to the coefficients of some of $\text{tr}\left({x}^{{a}_{1}}{y}^{{b}_{1}}\cdots {x}^{{a}_{p}}{y}^{{b}_{p}}\right)$  in the expression of ${w}_{i}$  . For example, for $\lambda =\left(6,3\right)$  we compare the coefficients of $\text{tr}\left({x}^{6}{y}^{3}\right),\text{tr}\left({x}^{5}{y}^{2}xy\right),\text{tr}\left({x}^{5}yx{y}^{2}\right),\text{tr}\left({x}^{4}{y}^{2}{x}^{2}y\right),\text{tr}\left({x}^{4}y{x}^{2}{y}^{2}\right),\text{tr}\left({x}^{3}y{x}^{2}yxy\right)$  in the presentation of ${w}_{1},\dots ,{w}_{6}$  and obtain the matrix $\left(\begin{array}{cccccc}0& 0& 1& 0& 1& 0\\ 1& 1& -1& -1& -1& 2\\ -1& -1& -1& 0& -1& -2\\ -1& 0& 1& 0& 1& 0\\ 1& 1& -1& 2& 0& 0\\ -1& 1& 0& 0& 0& -1\\ \end{array}\right).$  Its rank is equal to 6, and this gives that the trace polynomials ${w}_{1},\dots ,{w}_{6}$  are linearly independent in ${U}_{9}$  .

3 The new generators

We fix the generic $4×4$  matrices $X=\left({x}_{ij}\right)$  and $Y=\left({y}_{ij}\right)$  . Changing the variables on the diagonals of $X$  and $Y$  , we can present them in the form
 $\begin{array}{c}X=\frac{1}{4}\text{tr}\left(X\right)e+x,Y=\frac{1}{4}\text{tr}\left(Y\right)e+y,\end{array}$ (5)
where $e$  is the identity $4×4$  matrix and $x$  , $y$  are generic traceless matrices. As in the case of generic matrices without restrictions on the trace, we may assume that $x$  is diagonal. We fix the notation $x=\left(\begin{array}{cccc}{x}_{1}& 0& 0& 0\\ 0& {x}_{2}& 0& 0\\ 0& 0& {x}_{3}& 0\\ 0& 0& 0& -\left({x}_{1}+{x}_{2}+{x}_{3}\right)\\ \end{array}\right),$  $y=\left(\begin{array}{cccc}{y}_{11}& {y}_{12}& {y}_{13}& {y}_{14}\\ {y}_{21}& {y}_{22}& {y}_{23}& {y}_{24}\\ {y}_{31}& {y}_{32}& {y}_{33}& {y}_{34}\\ {y}_{41}& {y}_{42}& {y}_{43}& -\left({y}_{11}+{y}_{22}+{y}_{33}\right)\\ \end{array}\right),$  where ${x}_{1},{x}_{2},{x}_{3}$  , ${y}_{ij}$  are algebraically independent commuting variables. The algebra ${C}_{42}$  is generated by $\text{tr}\left(X\right),\text{tr}\left(Y\right)$  and the traces of products of $x$  and $y$  . We denote by ${C}_{0}$  the algebra generated by $\text{tr}\left({z}_{1}\cdots {z}_{k}\right)$  , ${z}_{i}=x,y$  , and $k\ge 2$  . Clearly,
 $\begin{array}{c}{C}_{42}\sim =K\left[\text{tr}\left(X\right),\text{tr}\left(Y\right)\right]{\otimes }_{K}{C}_{0},\end{array}$ (6)
and it is sufficient to find a minimal system of generators of ${C}_{0}$  . Our idea is the following. We want to build inductively the $G{L}_{2}$  -module $G$  of the a minimal system of generators. We start with the $G{L}_{2}$  -module ${G}_{1}=W\left(1\right)$  generated by $\text{tr}\left(X\right)$  , and further, we assume that the generators of higher degree are in ${C}_{0}$  . Assume that we have already found the module ${G}_{2}\oplus \cdots \oplus {G}_{n-1}$  of generators of degree $  of ${C}_{0}$  .
Then we consider the symmetric algebra $K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}\right]$  and all trace identities for ${M}_{4}\left(K\right)$  of the form $f\left(x,y\right)-g\left(x,y\right)=0$  , where $f\left(x,y\right)\in K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}\right]$  and $g\left(x,y\right)\in {U}_{n}$  . The elements $g\left(x,y\right)$  generate a $G{L}_{2}$  -submodule ${R}_{n}$  of ${U}_{n}$  . Then the $G{L}_{2}$  -submodule ${G}_{n}$  of ${U}_{n}$  is a complement of ${R}_{n}$  in ${U}_{n}$  . We may identify ${G}_{n}$  with a $G{L}_{2}$  -submodule of ${C}_{0}$  . We add ${G}_{n}$  to the module of generators and call it the $G{L}_{2}$  -module of new generators of degree $n$  . Then ${G}_{2}\oplus \cdots \oplus {G}_{10}$  is a $G{L}_{2}$  -module of generators of the algebra of invariants of two traceless $4×4$  matrices and $G={G}_{1}\oplus \left({G}_{2}\oplus \cdots \oplus {G}_{10}\right)$  is a minimal $G{L}_{2}$  -module of generators of ${C}_{42}$  . Let the homogeneous component of degree $n$  of $K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}\right]$  be $K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}{\right]}^{\left(n\right)}={\sum }_{\left({\lambda }_{1},{\lambda }_{2}\right)⊢n}p\left(\lambda \right)W\left(\lambda \right).$  Similarly, we have the decomposition ${U}_{n}={\sum }_{\left({\lambda }_{1},{\lambda }_{2}\right)⊢n}q\left(\lambda \right)W\left(\lambda \right)$  from Proposition 2.1 and the decomposition ${R}_{n}={\sum }_{\left({\lambda }_{1},{\lambda }_{2}\right)⊢n}r\left(\lambda \right)W\left(\lambda \right)\subset {U}_{n},$  with unknown multiplicities $r\left(\lambda \right)$  . If ${v}_{1},\dots ,{v}_{p\left(\lambda \right)}\in K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}{\right]}^{\left(n\right)}$  are linearly independent highest weight vectors of the direct sum of $p=p\left(\lambda \right)$  isomorphic copies of $W\left(\lambda \right)$  and ${w}_{1},\dots ,{w}_{q}\in {U}_{n}$  , $q=q\left(\lambda \right)$  , are linearly independent highest weight vectors in $qW\left(\lambda \right)\in {U}_{n}$  , then the highest weight vectors of the $G{L}_{2}$  -submodule $rW\left(\lambda \right)\subset {R}_{n}$  , $r=r\left(\lambda \right)$  , are all trace identities of the form $w\left(x,y\right)=\left({\xi }_{1}{v}_{1}+\cdots +{\xi }_{p}{v}_{p}\right)-\left({\eta }_{1}{w}_{1}+\cdots +{\eta }_{q}{w}_{q}\right)=0,$  where ${\xi }_{1},\dots ,{\xi }_{p},{\eta }_{1},\dots ,{\eta }_{q}$  are constants from the field $K$  . We consider the elements ${\xi }_{1},\dots ,{\xi }_{p}$  , ${\eta }_{1},\dots ,{\eta }_{q}$  as unknowns. The entries of the evaluation of $w\left(x,y\right)$  on the generic traceless matrices $x,y$  are equal to 0. In this way we obtain a linear homogeneous system with respect to the unknowns ${\xi }_{1},\dots ,{\xi }_{p}$  , ${\eta }_{1},\dots ,{\eta }_{q}$  , and with coefficients which are polynomials in ${x}_{1},{x}_{2},{x}_{3}$  and ${y}_{ij}$  . The module ${R}_{n}$  is generated by all ${\eta }_{1}{w}_{1}+\cdots +{\eta }_{q}{w}_{q}$  which correspond to solutions ${\xi }_{1},\dots ,{\xi }_{p}$  , ${\eta }_{1},\dots ,{\eta }_{q}$  .
The highest weight vectors ${w}_{1},\dots ,{w}_{q}$  are given in the previous section. In order to find ${v}_{1},\dots ,{v}_{p}$  , we need first to know the multiplicity $p\left(\lambda \right)$  of $W\left(\lambda \right)$  in $K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}{\right]}^{\left(n\right)}$  . If ${G}_{2}\oplus \cdots \oplus {G}_{n-1}={W}_{1}\oplus \cdots \oplus {W}_{m}$  , where the $G{L}_{2}$  -modules ${W}_{1},\dots ,{W}_{m}$  are irreducible, then $K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}\right]=K\left[{W}_{1}\right]\otimes \cdots \otimes K\left[{W}_{m}\right].$  If ${W}_{i}$  is homogeneous of degree ${d}_{i}$  , and ${W}_{i}^{{\otimes }_{s}{b}_{i}}$  denotes the ${b}_{i}$  symmetric power of ${W}_{i}$  , then $K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}{\right]}^{\left(n\right)}=\oplus \left({W}_{1}^{{\otimes }_{s}{b}_{1}}\otimes \cdots \otimes {W}_{m}^{{\otimes }_{s}{b}_{m}}\right),$  where the direct sum is on all $\left({b}_{1},\dots ,{b}_{m}\right)$  with ${b}_{1}{d}_{1}+\cdots +{b}_{m}{d}_{m}=n$  . The decomposition of ${W}_{i}^{{\otimes }_{s}{b}_{i}}$  can be obtained from the Hilbert series of $K\left[{W}_{i}\right]$  and this of the usual tensor product by the Littlewood-Richardson rule. Form computational point of view it is convenient to calculate the homogeneous component of degree $n$  of the Hilbert series of $K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}\right]$  . If $H\left({W}_{i},t,u\right)={a}_{i0}{t}^{{d}_{i}}+{a}_{i1}{t}^{{d}_{i}-1}u+\cdots +{a}_{i,{d}_{i}-1}t{u}^{{d}_{i}-1}+{a}_{i{d}_{i}}{u}^{{d}_{i}},{a}_{ij}\ge 0,$  is the Hilbert series of ${W}_{i}$  , then $H\left(K\left[{G}_{2}\oplus \cdots \oplus {G}_{n-1}\right],t,u\right){=}^{m}{{\prod }_{i=1}}^{{d}_{i}}{\prod }_{j=0}\frac{1}{\left(1-{t}^{j}{u}^{{d}_{i}-j}{\right)}^{{a}_{ij}}}.$  Then the homogeneous component of degree $n$  of the Hilbert series can be obtained using ( 3 ). The highest weight vectors can be found using the constructive approach with the derivations. We start the realization of this scheme step by step.
Lemma 3.1. For $n\le 5$  , the $G{L}_{2}$  -modules ${G}_{n}$  of the new generators of ${C}_{0}$  are ${G}_{2}=W\left(2,0\right),{G}_{3}=W\left(3,0\right),{G}_{4}=W\left(4,0\right)\oplus W\left(2,2\right),{G}_{5}=W\left(3,2\right).$
• Proof. By Proposition 2.1 ${U}_{2}\oplus {U}_{3}\oplus {U}_{4}\oplus {U}_{5}=W\left(2\right)\oplus W\left(3\right)\oplus W\left(4\right)\oplus W\left(2,2\right)\oplus W\left(5,0\right)\oplus W\left(3,2\right).$  Hence ${G}_{2}\oplus {G}_{3}\oplus {G}_{4}\oplus {G}_{5}$  is a homomorphic image of this module. We shall show that $W\left(5,0\right)$  belongs to the subalgebra generated by ${G}_{2}\oplus {G}_{3}\oplus {G}_{4}$  . Since $W\left(5,0\right)$  is generated by $\text{tr}\left({x}^{5}\right)$  , it is sufficient to show that $\text{tr}\left({x}^{5}\right)$  can be expressed in ${C}_{0}$  in terms of $\text{tr}\left({x}^{2}\right)$  , $\text{tr}\left({x}^{3}\right)$  , and $\text{tr}\left({x}^{4}\right)$  . By the Cayley-Hamilton theorem, $x$  satisfies an equation of degree 4 with coefficients depending on $\text{tr}\left({x}^{2}\right)$  , $\text{tr}\left({x}^{3}\right)$  , and $\text{tr}\left({x}^{4}\right)$  . Direct verification gives that ${x}^{4}-\frac{1}{2}\text{tr}\left({x}^{2}\right){x}^{2}-\frac{1}{3}\text{tr}\left({x}^{3}\right)x+\left(-\frac{1}{4}{\text{tr}}^{2}\left({x}^{2}\right)+\frac{1}{8}\text{tr}\left({x}^{4}\right)\right)e=0.$  Multiplying by $x$  , taking the trace, and using that $\text{tr}\left(x\right)=0$  , we obtain  $\begin{array}{c}\text{tr}\left({x}^{5}\right)-\frac{5}{6}\text{tr}\left({x}^{2}\right)\text{tr}\left({x}^{3}\right)=0.\end{array}$ (7)
(In the same way, by easy induction, we obtain that $\text{tr}\left({x}^{n}\right)\in K\left[\text{tr}\left({x}^{2}\right),\text{tr}\left({x}^{3}\right),\text{tr}\left({x}^{4}\right)\right]$  in ${C}_{0}$  for any $n\ge 5$  .) Hence, the $G{L}_{2}$  -module of the new generators of ${C}_{0}$  , of degree $\le 5$  , is a homomorphic image of the module $F=W\left(2\right)\oplus W\left(3\right)\oplus W\left(4\right)\oplus W\left(2,2\right)\oplus W\left(3,2\right).$  The Hilbert series of $F$  is $H\left(F,t,u\right)=\left({t}^{2}+tu+{u}^{2}\right)+\left({t}^{3}+{t}^{2}u+t{u}^{2}+{u}^{3}\right)$  $+\left({t}^{4}+{t}^{3}u+2{t}^{2}{u}^{2}+t{u}^{3}+{u}^{4}\right)+\left({t}^{3}{u}^{2}+{t}^{2}{u}^{3}\right)$  and the Hilbert series of the symmetric algebra of $F$  is $H\left(K\left[F\right],t,u\right)=\frac{1}{{q}_{2}\left(t,u\right){q}_{3}\left(t,u\right){q}_{4}\left(t,u\right){q}_{5}\left(t,u\right)},$   $\begin{array}{c}\begin{array}{c}{q}_{2}\left(t,u\right)=\left(1-{t}^{2}\right)\left(1-tu\right)\left(1-{u}^{2}\right),\\ {q}_{3}\left(t,u\right)=\left(1-{t}^{3}\right)\left(1-{t}^{2}u\right)\left(1-t{u}^{2}\right)\left(1-{u}^{3}\right),\\ {q}_{4}\left(t,u\right)=\left(1-{t}^{4}\right)\left(1-{t}^{3}u\right)\left(1-{t}^{2}{u}^{2}{\right)}^{2}\left(1-t{u}^{3}\right)\left(1-{u}^{4}\right),\\ {q}_{5}\left(t,u\right)=\left(1-{t}^{3}{u}^{2}\right)\left(1-{t}^{2}{u}^{3}\right).\\ \end{array}\end{array}$ (8)
The algebra $K\left[F\right]$  maps naturally on the subalgebra of ${C}_{0}$  generated by ${G}_{2}\oplus {G}_{3}\oplus {G}_{4}\oplus {G}_{5}$  , and the coefficients of the Hilbert series of $K\left[F\right]$  are bigger or equal to the corresponding coefficients of the Hilbert series of this subalgebra. By direct calculation, we compare the coefficients of the homogeneous components of degree $\le 5$  of the Hilbert series of $H\left(K\left[F\right],t,u\right)$  and $H\left({C}_{0},t,u\right)$  . We find that they coincide and this implies that the homogeneous components of degree $\le 5$  of $K\left[F\right]$  and ${C}_{0}$  are isomorphic as $G{L}_{2}$  -modules, completing the proof of the lemma.
In the following lemmas the elements ${w}_{i}$  are taken from Lemma 2.2. The relations have been found using the scheme described in the beginning of the section. The proofs are direct verifications, performed by Maple.
Lemma 3.2. For $\lambda =\left(4,2\right)$  , the following is a relation in ${C}_{0}$  : $6{w}_{1}-12{w}_{2}+6{v}_{1}+2{v}_{2}-3{v}_{3}-5{v}_{4}=0,$  where ${v}_{1}=\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)-{\text{tr}}^{2}\left({x}^{2}y\right),$  ${v}_{2}=3\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{2}\right)-6\text{tr}\left({x}^{3}y\right)\text{tr}\left(xy\right)+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{3}=\text{tr}\left({x}^{2}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{4}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\text{tr}\left({x}^{2}\right).$
Lemma 3.3. The following relations hold in ${C}_{0}$  :
For $\lambda =\left(5,2\right)$  : $-24{w}_{1}+18{v}_{1}+4{v}_{2}+16{v}_{3}-3{v}_{4}-4{v}_{5}=0,$  $24{w}_{2}+6{v}_{1}-4{v}_{2}+3{v}_{4}+4{v}_{5}=0,$  where ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=3\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{2}\right)-6\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)+\left(\text{tr}\left(xyxy\right)+2\text{tr}\left({x}^{2}{y}^{2}\right)\right)\text{tr}\left({x}^{3}\right),$  ${v}_{3}=\frac{1}{2}\left(\text{tr}\left(\left[x,y{\right]}^{2}\right)\text{tr}\left({x}^{3}\right),$  ${v}_{4}=\text{tr}\left({x}^{2}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left(x{y}^{2}\right)-2\text{tr}\left(xy\right)\text{tr}\left({x}^{2}y\right)+\text{tr}\left({y}^{2}\right)\text{tr}\left({x}^{3}\right),$  ${v}_{5}=\left(-\text{tr}\left({x}^{2}\right)\right)\text{tr}\left({y}^{2}\right)+{\text{tr}}^{2}\left(xy\right)\right)\text{tr}\left({x}^{3}\right).$  For $\lambda =\left(4,3\right)$  : $4{w}_{1}-8{w}_{2}-10{v}_{1}-4{v}_{2}+3{v}_{3}=0,$  where ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left(xy\right)-\text{tr}\left(\left[x,y{\right]}^{2}y\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{2}\right)$  $+\left(\text{tr}\left(xyxy\right)+2\text{tr}\left({x}^{2}{y}^{2}\right)\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right),$  ${v}_{3}={\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)\text{tr}\left(x{y}^{2}\right)$  $+\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)\text{tr}\left({x}^{2}y\right)+2{\text{tr}}^{2}\left(xy\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)\text{tr}\left({x}^{3}\right).$
Lemma 3.4. The following relations hold in ${C}_{0}$  :
For $\lambda =\left(6,2\right)$  : $12{w}_{1}-6{v}_{1}-4{v}_{2}-6{v}_{4}+3{v}_{7}=0,$  $24{w}_{2}-6{v}_{1}+8{v}_{2}-6{v}_{5}-2{v}_{6}+5{v}_{7}-6{v}_{8}+6{v}_{9}+3{v}_{10}=0,$  $48{w}_{3}+18{v}_{1}-40{v}_{2}-16{v}_{3}-8{v}_{4}+18{v}_{5}+10{v}_{6}-13{v}_{7}+2{v}_{8}-6{v}_{9}-9{v}_{10}=0,$  where ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left({x}^{3}\right),$  ${v}_{3}=\text{tr}\left({x}^{4}\right)\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)-3{\text{tr}}^{2}\left({x}^{3}y\right),$  ${v}_{4}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\text{tr}\left({x}^{4}\right),$  ${v}_{5}=\text{tr}\left({x}^{4}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right),$  ${v}_{6}=3\text{tr}\left({x}^{4}\right){\text{tr}}^{2}\left(xy\right)-6\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{7}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{8}=\text{tr}\left({x}^{3}\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)+\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\right),$  ${v}_{9}={\text{tr}}^{2}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)+{\text{tr}}^{2}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right),$  ${v}_{10}=\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right){\text{tr}}^{2}\left({x}^{2}\right).$  For $\lambda =\left(5,3\right)$  : $16{w}_{1}-8{w}_{2}-{v}_{1}-4{v}_{2}-4{v}_{3}+2{v}_{4}-{v}_{5}=0,$  $2{w}_{3}-{v}_{2}=0,$  where ${v}_{1}=-2\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left(xy\right)+\left(\text{tr}\left(\left[x,y{\right]}^{2}xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}yx\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=\left(\text{tr}\left({x}^{2}{y}^{2}xy\right)-\text{tr}\left({y}^{2}{x}^{2}yx\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{3}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left(\left[x,y{\right]}^{2}y\right)\text{tr}\left({x}^{3}\right),$  ${v}_{4}=\text{tr}\left({x}^{4}\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)-\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)$  $-2\text{tr}\left({x}^{3}y\right){\text{tr}}^{2}\left(xy\right)+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)-\text{tr}\left(x{y}^{3}\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{5}=-2\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left(xy\right)+2\text{tr}{x}^{2}y\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)$  $+\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)\text{tr}\left({x}^{2}\right)-\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right).$  For $\lambda =\left(4,4\right)$  : $-24{w}_{1}+12{w}_{2}-12{v}_{1}-4{v}_{2}+16{v}_{3}+{v}_{4}+16{v}_{5}=0,$  $-72{w}_{1}+24{w}_{3}-42{v}_{1}-20{v}_{2}+56{v}_{3}+3{v}_{4}+66{v}_{5}+6{v}_{6}+6{v}_{7}=0,$  where ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left({y}^{2}\right)-\left(\text{tr}\left(\left[x,y{\right]}^{2}xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}yx\right)\right)\text{tr}\left(xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}{y}^{2}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=3\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{4}\right)-12\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{3}\right)+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right){\right)}^{2},$  ${v}_{3}=\frac{1}{4}{\text{tr}}^{2}\left(\left[x,y{\right]}^{2}\right),$  ${v}_{4}=3\text{tr}\left({x}^{4}\right){\text{tr}}^{2}\left({y}^{2}\right)-12\text{tr}\left({x}^{3}y\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)$  $+2\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)+4\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right){\text{tr}}^{2}\left(xy\right)$  $-12\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+3\text{tr}\left({y}^{4}\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{5}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{6}=-\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left({y}^{2}\right)+{\text{tr}}^{2}\left({x}^{2}y\right)\text{tr}\left({y}^{2}\right)+\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)\text{tr}\left(xy\right)$  $-\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left(xy\right)-\text{tr}\left({x}^{2}y\right)\text{tr}\left({y}^{3}\right)\text{tr}\left({x}^{2}\right)+{\text{tr}}^{2}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{7}=\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right){\right)}^{2}.$
Lemma 3.5. The following relations hold in ${C}_{0}$  between the elements ${w}_{i}$  and the elements ${v}_{j}$  given below:
For $\lambda =\left(7,2\right)$  : $48{w}_{1}-16{v}_{1}-12{v}_{2}-12{v}_{3}-4{v}_{5}-16{v}_{7}-{v}_{9}+4{v}_{10}=0,$  $144{w}_{2}-24{v}_{1}+36{v}_{2}-24{v}_{4}-20{v}_{5}+48{v}_{6}+20{v}_{7}-24{v}_{8}+9{v}_{9}=0,$  $48{w}_{3}-12{v}_{2}-4{v}_{5}-8{v}_{7}-{v}_{9}+4{v}_{10}=0,$  ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left({x}^{3}\right),$  ${v}_{2}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left({x}^{4}\right),$  ${v}_{3}=\text{tr}\left(\left[x,y{\right]}^{2}x\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{4}=\text{tr}\left({x}^{4}\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)+\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)\right),$  ${v}_{5}=3\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)$  $+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}\right)-6\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right),$  ${v}_{6}=\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)-\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)$  $+\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{3}\right)\text{tr}\left(xy\right)-\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right),$  ${v}_{7}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{8}=\text{tr}\left({x}^{3}\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)-{\text{tr}}^{2}\left({x}^{2}y\right)\right),$  ${v}_{9}=\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)+\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{10}=\left(\text{tr}\left({x}^{3}\right){\text{tr}}^{2}\left(xy\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+\text{tr}\left(x{y}^{2}\right){\text{tr}}^{2}\left({x}^{2}\right)\right)\text{tr}\left({x}^{2}\right).$  For $\lambda =\left(6,3\right)$  : $-24{w}_{1}+48{w}_{2}-12{v}_{1}+3{v}_{2}-24{v}_{3}+36{v}_{4}+12{v}_{5}$  $-6{v}_{6}-2{v}_{7}+8{v}_{8}+7{v}_{9}+3{v}_{10}-15{v}_{11}-7{v}_{12}=0,$  $2{w}_{3}+{v}_{1}=0,$  $24{w}_{4}-12{v}_{1}-12{v}_{2}-12{v}_{3}-24{v}_{4}+6{v}_{5}-4{v}_{7}+4{v}_{8}-16{v}_{9}-6{v}_{11}-{v}_{12}=0,$  ${w}_{1}+{w}_{5}-{v}_{1}-{v}_{3}=0,$  $24{w}_{1}+48{w}_{6}+3{v}_{2}-24{v}_{3}-12{v}_{4}-18{v}_{5}$  $-6{v}_{6}-10{v}_{7}-4{v}_{8}-9{v}_{9}+3{v}_{10}+3{v}_{11}+6{v}_{12}=0,$  ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{3}x\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=2\text{tr}\left(\left[x,y\right]{x}^{2}\right)\text{tr}\left({x}^{2}y\right)-\left(\text{tr}\left(\left[x,y{\right]}^{2}xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}yx\right)\right)\text{tr}\left({x}^{3}\right),$  ${v}_{3}=\left(\text{tr}\left({x}^{2}{y}^{2}xy\right)-\text{tr}\left({y}^{2}{x}^{2}yx\right)\right)\left(\text{tr}\left({x}^{3}\right),$  ${v}_{4}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left({x}^{3}y\right)-\text{tr}\left(\left[x,y{\right]}^{2}y\right)\text{tr}\left({x}^{4}\right),$  ${v}_{5}=\left(\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left(xy\right)-\text{tr}\left(\left[x,y{\right]}^{2}y\right)\text{tr}\left({x}^{2}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{6}=\left(\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({y}^{2}\right)$  $+2\left(-\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{2}\right)+\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)\right)\text{tr}\left(xy\right)$  $+\left(2\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{2}\right)-\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}y\right)+\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{7}=\left(3\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{2}\right)-6\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left(xy\right)$  $+\left(-3\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{2}\right)+2\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}y\right)-3\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{8}=\left(\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{2}\right)$  $+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{9}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left(xy\right)-\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\right),$  ${v}_{10}={\text{tr}}^{2}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)+2{\text{tr}}^{3}\left({x}^{2}y\right),$  ${v}_{11}=\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)-\text{tr}\left({x}^{3}\right){\text{tr}}^{3}\left(xy\right)$  $-\text{tr}\left({x}^{2}y\right){\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)+\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right){\text{tr}}^{2}\left(xy\right),$  ${v}_{12}=-3\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)+2\text{tr}\left({x}^{3}\right){\text{tr}}^{3}\left(xy\right)$  $+3\text{tr}\left({x}^{2}y\right){\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-3\text{tr}\left(x{y}^{2}\right){\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left(xy\right)+\text{tr}\left({y}^{3}\right){\text{tr}}^{3}\left({x}^{2}\right).$  For $\lambda =\left(5,4\right)$  : ${w}_{1}-{v}_{3}=0,$  $24{w}_{2}+12{v}_{1}-6{v}_{2}+12{v}_{3}-6{v}_{4}-2{v}_{5}+2{v}_{6}+{v}_{7}=0,$  ${w}_{3}+{v}_{1}=0,$  $24{w}_{4}+6{v}_{2}+12{v}_{4}-4{v}_{6}+{v}_{7}+3{v}_{8}=0,$  ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{3}x\right)\text{tr}\left(xy\right)-\text{tr}\left(\left[x,y{\right]}^{3}y\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left(x{y}^{2}\right)$  $-\left(\text{tr}\left(\left[x,y{\right]}^{2}xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}yx\right)\right)\text{tr}\left({x}^{2}y\right)+\text{tr}\left(\left[x,y{\right]}^{2}{y}^{2}\right)\text{tr}\left({x}^{3}\right),$  ${v}_{3}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\text{tr}\left(\left[x,y{\right]}^{2}x\right),$  ${v}_{4}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{5}=\left(3\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{2}\right)-6\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({y}^{2}\right)$  $+\left(-\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{2}\right)$  $+3\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}y\right)-5\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left(xy\right)$  $+\left(\text{tr}\left({x}^{3}y\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{2}y\right)+2\text{tr}\left({y}^{4}\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{6}=\left(\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{2}\right)$  $+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left(xy\right)$  $+\left(-\text{tr}\left({x}^{3}y\right)\text{tr}\left({y}^{3}\right)+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left(x{y}^{2}\right)$  $-3\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{2}y\right)+\text{tr}\left({y}^{4}\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{7}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)+\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\right),$  ${v}_{8}=\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)+\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\right).$
Lemma 3.6. For $\lambda =\left(8,2\right)$  the elements ${w}_{i}$  and ${v}_{j}$  satisfy the following relations in ${C}_{0}$  : $360{w}_{1}-90{v}_{1}-45{v}_{2}-150{v}_{3}-90{v}_{6}-4{v}_{7}-36{v}_{8}$  $-80{v}_{9}-45{v}_{12}+{v}_{13}-10{v}_{14}+9{v}_{15}=0,$  $720{w}_{2}+90{v}_{1}+90{v}_{2}-420{v}_{3}+90{v}_{4}-90{v}_{5}-135{v}_{6}+90{v}_{8}$  $-80{v}_{9}+12{v}_{10}+9{v}_{11}+60{v}_{12}-2{v}_{13}-20{v}_{14}-18{v}_{15}-45{v}_{16}=0,$  $720{w}_{3}-90{v}_{1}-180{v}_{2}+90{v}_{4}+150{v}_{5}-195{v}_{6}+8{v}_{7}$  $+162{v}_{8}-12{v}_{10}-99{v}_{11}-150{v}_{12}+40{v}_{14}+45{v}_{16}=0,$  $1440{w}_{4}+270{v}_{2}-960{v}_{3}-240{v}_{5}-120{v}_{6}-16{v}_{7}-144{v}_{8}$  $-320{v}_{9}+30{v}_{10}+180{v}_{11}+195{v}_{12}-80{v}_{14}+90{v}_{15}-135{v}_{16}=0,$  where ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left({x}^{4}\right),$  ${v}_{2}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{3}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{4}={\text{tr}}^{2}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right)-2\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{3}y\right)\text{tr}\left(xy\right)+{\text{tr}}^{2}\left({x}^{4}\right)\left({y}^{2}\right),$  ${v}_{5}=\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}\right)-3{\text{tr}}^{2}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right),$  ${v}_{6}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{7}=5\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right){\text{tr}}^{2}\left({x}^{3}\right)-30\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{3}\right)$  $+3\text{tr}\left({x}^{4}\right)\left(2\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{3}\right)+3{\text{tr}}^{2}\left({x}^{2}y\right)\right),$  ${v}_{8}=\text{tr}\left({x}^{4}\right)\left(\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{3}\right)-{\text{tr}}^{2}\left({x}^{2}y\right)\right),$  ${v}_{9}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right){\text{tr}}^{2}\left({x}^{3}\right),$  ${v}_{10}=\left(5\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right){\text{tr}}^{2}\left({x}^{2}\right)-30\text{tr}\left({x}^{3}y\right)\text{tr}\left(xy\right)\text{tr}\left({x}^{2}\right)$  $+3\text{tr}\left({x}^{4}\right)\left(4{\text{tr}}^{2}\left(xy\right)+\text{tr}\left({y}^{2}\right)\text{tr}\left({x}^{2}\right)\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{11}=\text{tr}\left({x}^{4}\right)\left(\text{tr}\left({y}^{2}\right)\text{tr}\left({x}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{12}=\left(\text{tr}\left({x}^{2}{y}^{2}\right)-\text{tr}\left(xyxy\right)\right){\text{tr}}^{3}\left({x}^{2}\right),$  ${v}_{13}=5{\text{tr}}^{2}\left({x}^{3}\right)\text{tr}\left({x}^{3}\right)\left(\text{tr}\left({y}^{2}\right)\text{tr}\left({x}^{2}\right)+2{\text{tr}}^{2}\left(xy\right)\right)-30\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)\text{tr}\left({x}^{2}\right)$  $+3\left(2\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)+3{\text{tr}}^{2}\left({x}^{2}y\right)\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{14}={\text{tr}}^{2}\left({x}^{3}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{15}=\left(\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)-{\text{tr}}^{2}\left({x}^{2}y\right)\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{16}=\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right){\text{tr}}^{3}\left({x}^{2}\right).$
Lemma 3.7. In ${C}_{0}$  and for $\lambda =\left(7,3\right)$  , the elements ${w}_{1},\dots ,{w}_{7}$  and ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{3}{x}^{2}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=\text{tr}\left(\left[x,y{\right]}^{3}x\right)\text{tr}\left({x}^{3}\right),$  ${v}_{3}=\left(\text{tr}\left(\left[x,y{\right]}^{2}xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}yx\right)\right)\text{tr}\left({x}^{4}\right)-2\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left({x}^{3}y\right),$  ${v}_{4}=\left(\text{tr}\left({x}^{2}{y}^{2}xy\right)-\text{tr}\left({y}^{2}{x}^{2}yx\right)\right)\text{tr}\left({x}^{4}\right),$  ${v}_{5}=\left(\left(\text{tr}\left(\left[x,y{\right]}^{2}xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}yx\right)\right)\text{tr}\left({x}^{2}\right)-2\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left(xy\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{6}=\left(\text{tr}\left({x}^{2}{y}^{2}xy\right)-\text{tr}{y}^{2}{x}^{2}yx\right)\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{7}=\left(\text{tr}\left(\left[x,y{\right]}^{2}x\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left(\left[x,y{\right]}^{2}y\right)\text{tr}\left({x}^{3}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{8}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left(xy\right)-\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\right),$  ${v}_{9}=\left(-6{\text{tr}}^{2}\left({x}^{3}y\right)+2\text{tr}\left({x}^{4}\right)\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\right)\text{tr}\left(xy\right)$  $+\left(\text{tr}\left({x}^{3}y\right)\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)-3\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{3}\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{10}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}\right)\left(\text{tr}\left({x}^{4}\right)\text{tr}\left(xy\right)-\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right)\right),$  ${v}_{11}=\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)+6\text{tr}\left({x}^{3}y\right){\text{tr}}^{2}\left({x}^{2}y\right)$  $-2\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)+2\text{tr}\left(x{y}^{3}\right){\text{tr}}^{2}\left({x}^{3}\right),$  ${v}_{12}=-\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)+\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)+2\text{tr}\left({x}^{3}y\right){\text{tr}}^{2}\left({x}^{2}y\right)$  $-\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)+\text{tr}\left(x{y}^{3}\right){\text{tr}}^{2}\left({x}^{3}\right),$  ${v}_{13}=-\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)+\text{tr}\left({x}^{4}\right){\text{tr}}^{3}\left(xy\right)$  $+\text{tr}\left({x}^{3}y\right){\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right){\text{tr}}^{2}\left(xy\right),$  ${v}_{14}=\text{tr}\left({x}^{4}\right){\text{tr}}^{3}\left(xy-3\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right){\text{tr}}^{2}\left(xy\right)$  $+\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right){\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left(xy\right)-\text{tr}\left(x{y}^{3}\right){\text{tr}}^{3}\left({x}^{2}\right),$  ${v}_{15}={\text{tr}}^{2}\left({x}^{3}\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)-\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right){\text{tr}}^{2}\left(xy\right)$  $+\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+2{\text{tr}}^{2}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)-\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{16}=-2\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+2{\text{tr}}^{2}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)$  $+\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right){\text{tr}}^{2}\left({x}^{2}-\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right){\text{tr}}^{2}\left({x}^{2}\right),$  satisfy the relations $24{w}_{1}-12{v}_{1}-8{v}_{2}-18{v}_{4}+9{v}_{6}=0,$  $48{w}_{2}-24{v}_{2}+12{v}_{3}-24{v}_{4}-3{v}_{5}-8{v}_{7}+4{v}_{8}-12{v}_{10}+4{v}_{11}-2{v}_{15}-{v}_{16}=0,$  $48{w}_{3}-24{v}_{1}-8{v}_{2}+12{v}_{3}-12{v}_{4}-3{v}_{5}+6{v}_{6}-8{v}_{7}$  $+4{v}_{8}-12{v}_{10}+4{v}_{11}-2{v}_{15}-{v}_{16}=0,$  $12{w}_{4}-4{v}_{2}-3{v}_{6}=0,$  $48{w}_{5}-60{v}_{1}+8{v}_{2}+6{v}_{3}-24{v}_{4}+36{v}_{6}+10{v}_{7}$  $+4{v}_{8}-4{v}_{9}-10{v}_{10}+10{v}_{11}-12{v}_{12}+6{v}_{13}-2{v}_{15}-{v}_{16}=0,$  $48{w}_{6}-48{v}_{1}-8{v}_{2}-36{v}_{4}-3{v}_{5}+30{v}_{6}-32{v}_{7}$  $-20{v}_{8}-8{v}_{11}+24{v}_{12}-6{v}_{13}+6{v}_{14}-6{v}_{15}+3{v}_{16}=0,$  $12{w}_{7}-6{v}_{1}+4{v}_{2}+3{v}_{6}=0.$
Lemma 3.8. The relation ${\sum }_{i=1}^{10}{\alpha }_{i}{w}_{i}+{\sum }_{j=1}^{24}{\beta }_{j}{v}_{j}=0,$  holds in ${C}_{0}$  between ${w}_{i}$  and ${v}_{j}$  for $\lambda =\left(6,4\right)$  , where ${v}_{1}=\left(\text{tr}\left(\left[x,y{\right]}^{3}xy\right)+\text{tr}\left(\left[x,y{\right]}^{3}yx\right)\right)\text{tr}\left({x}^{2}\right)-2\text{tr}\left(\left[x,y{\right]}^{3}{x}^{2}\right)\text{tr}\left(xy\right),$  ${v}_{2}=\text{tr}\left(\left[x,y{\right]}^{4}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{3}=\text{tr}\left(\left[x,y{\right]}^{3}x\right)\text{tr}\left({x}^{2}y\right)-\text{tr}\left(\left[x,y{\right]}^{3}y\right)\text{tr}\left({x}^{3}\right),$  ${v}_{4}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\left(2\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left(xyxy\right)\right)$  $-3\left(\text{tr}\left(\left[x,y{\right]}^{2}xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}yx\right)\right)\text{tr}\left({x}^{3}y\right)+3\text{tr}\left(\left[x,y{\right]}^{2}{y}^{2}\right)\text{tr}\left({x}^{4}\right),$  ${v}_{5}=\frac{1}{2}\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\text{tr}\left(\left[x,y{\right]}^{2}\right),$  ${v}_{6}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right){\text{tr}}^{2}\left(xy\right)$  $-\left(\text{tr}\left(\left[x,y{\right]}^{2}yx\right)+\text{tr}\left(\left[x,y{\right]}^{2}xy\right)\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+\text{tr}\left(\left[x,y{\right]}^{2}{y}^{2}\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{7}=\text{tr}\left(\left[x,y{\right]}^{2}{x}^{2}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{8}={\text{tr}}^{2}t\left(\left[x,y{\right]}^{2}x\right),$  ${v}_{9}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)+\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\right),$  ${v}_{10}=\text{tr}\left(\left[x,y{\right]}^{2}x\right)\left(-\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)+\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)\right)$  $+\text{tr}\left(\left[x,y{\right]}^{2}y\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left(xy\right)-\text{tr}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\right),$  ${v}_{11}=\left(\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}{y}^{2}\right)+\text{tr}\left({x}^{4}\right)\text{tr}\left(xyxy\right)-2{\text{tr}}^{2}\left({x}^{3}y\right)\right)\text{tr}\left({y}^{2}\right)$  $+\left(-2\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{3}\right)+2\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}{y}^{2}\right)\right)\text{tr}\left(xy\right)$  $+\left(\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{4}\right)-2\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{3}\right)+\text{tr}\left({x}^{2}{y}^{2}\right)\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{12}=\left(\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}{y}^{2}\right)-{\text{tr}}^{2}\left({x}^{3}y\right)\right)\text{tr}\left({y}^{2}\right)$  $+\left(-\text{tr}\left({x}^{4}\right)\text{tr}\left(x{y}^{3}\right)+\text{tr}\left({x}^{3}y\right)\text{tr}\left(xyxy\right)\right)\text{tr}\left(xy\right)$  $+\left(\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{3}\right)-\text{tr}\left({x}^{2}{y}^{2}\right)\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{13}=\left(\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{4}\right)-4\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{3}\right)+{\text{tr}}^{2}\left({x}^{2}{y}^{2}\right)+2\text{tr}\left({x}^{2}{y}^{2}\right)\text{tr}\left(xyxy\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{14}=\left(-\text{tr}\left({x}^{4}\right)\text{tr}\left({y}^{4}\right)+4\text{tr}\left({x}^{3}y\right)\text{tr}\left(x{y}^{3}\right)-4\text{tr}\left({x}^{2}{y}^{2}\right)\text{tr}\left(xyxy\right)+{\text{tr}}^{2}\left(xyxy\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{15}=\text{tr}\left({x}^{4}\text{tr}\left({x}^{2}y\right)\text{tr}\left({y}^{3}\right)+\text{tr}\left({x}^{3}y\right)\left(-\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)-3\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)\right)$  $+\text{tr}\left({x}^{2}{y}^{2}\right)\left(3\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)+{\text{tr}}^{2}\left({x}^{2}y\right)\right)$  $+2\text{tr}\left(xyxy\right){\text{tr}}^{2}\left({x}^{2}y\right)-4\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)+\text{tr}\left({y}^{4}\right){\text{tr}}^{2}\left({x}^{3}\right),$  ${v}_{16}=\text{tr}\left({x}^{4}\right){\text{tr}}^{2}\left(x{y}^{2}\right)-4\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)+\text{tr}\left({x}^{2}{y}^{2}\right)\left(2\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)$  $+2{\text{tr}}^{2}\left({x}^{2}y\right)\right)+2\text{tr}\left(xyxy\right){\text{tr}}^{2}\left({x}^{2}y\right)-4\text{tr}\left(x{y}^{3}\right)\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)+\text{tr}\left({y}^{4}\right){\text{tr}}^{2}\left({x}^{3}\right),$  ${v}_{17}=\text{tr}\left({x}^{2}{y}^{2}\right)\left(-\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)+{\text{tr}}^{2}\left({x}^{2}y\right)\right)+\text{tr}\left(xyxy\right)\left(\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)-{\text{tr}}^{2}\left({x}^{2}y\right)\right),$  ${v}_{18}=\text{tr}\left({x}^{4}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right)\text{tr}\left({y}^{2}\right)$  $+\text{tr}\left({x}^{3}y\right)\left(-2\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)+2{\text{tr}}^{2}\left(xy\right)\right)\text{tr}\left(xy\right)$  $+\text{tr}\left({x}^{2}{y}^{2}\right)\text{tr}\left({x}^{2}\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{19}=\text{tr}\left({x}^{4}\right)\left(-\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)+{\text{tr}}^{2}\left(xy\right)\right)\text{tr}\left({y}^{2}\right)$  $+\text{tr}\left({x}^{3}y\right)\left(2\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-2{\text{tr}}^{2}\left(xy\right)\right)\text{tr}\left(xy\right)$  $+\text{tr}\left(xyxy\right)\text{tr}\left({x}^{2}\right)\left(-\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)+{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{20}=\text{tr}\left({x}^{4}\right)\text{tr}\left({x}^{2}{\text{tr}}^{2}\left({y}^{2}\right)-4\text{tr}\left({x}^{3}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)+4\text{tr}\left({x}^{2}{y}^{2}\right)\text{tr}\left({x}^{2}\right){\text{tr}}^{2}\left(xy\right)$  $+2\text{tr}\left(xyxy\right){\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-4\text{tr}\left(x{y}^{3}\right){\text{tr}}^{2}\left({x}^{2}\right)\text{tr}\left(xy\right)+\text{tr}\left({y}^{4}\right){\text{tr}}^{3}\left({x}^{2}\right),$  ${v}_{21}={\text{tr}}^{2}\left({x}^{3}\right){\text{tr}}^{2}\left({y}^{2}\right)-4\text{tr}\left({x}^{3}\right)\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)\text{tr}\left({y}^{2}\right)$  $+2{\text{tr}}^{2}\left({x}^{2}y\right)\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)+4\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right){\text{tr}}^{2}\left(xy\right)+\left(-2\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)$  $-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+\left(2\text{tr}\left({x}^{2}y\right)\text{tr}\left({y}^{3}\right)-{\text{tr}}^{2}\left(x{y}^{2}\right)\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{22}=\left(\left(\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)-{\text{tr}}^{2}\left({x}^{2}y\right)\right)\text{tr}\left({y}^{2}\right)$  $+\left(-\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)+\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)\right)\text{tr}\left(xy\right)$  $+\left(\text{tr}\left({x}^{2}y\right)\text{tr}\left({y}^{3}\right)-{\text{tr}}^{2}\left(x{y}^{2}\right)\right)\right)\text{tr}\left({x}^{2}\right),$  ${v}_{23}=\left(-\text{tr}\left({x}^{3}\right)\text{tr}\left(x{y}^{2}\right)+{\text{tr}}^{2}\left({x}^{2}y\right)\right){\text{tr}}^{2}\left(xy\right)$  $+\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{3}\right)-\text{tr}\left({x}^{2}y\right)\text{tr}\left(x{y}^{2}\right)\right)\text{tr}\left({x}^{2}\right)\text{tr}\left(xy\right)+\left(-\text{tr}\left({x}^{2}y\right)\text{tr}\left({y}^{3}\right)+{\text{tr}}^{2}\left(x{y}^{2}\right)\right){\text{tr}}^{2}\left({x}^{2}\right),$  ${v}_{24}=\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right){\right)}^{2}\text{tr}\left({x}^{2}\right),$  and ${\beta }_{1}=\frac{1}{4}\left({\alpha }_{3}+{\alpha }_{6}-{\alpha }_{7}-{\alpha }_{9}\right),$  ${\beta }_{2}=\frac{1}{24}\left(-6{\alpha }_{1}-3{\alpha }_{2}-8{\alpha }_{3}-8{\alpha }_{4}-17{\alpha }_{5}+2{\alpha }_{6}-5{\alpha }_{7}-{\alpha }_{8}-2{\alpha }_{9}-6{\alpha }_{10}\right),$  ${\beta }_{3}=\frac{1}{2}\left({\alpha }_{3}+{\alpha }_{4}-{\alpha }_{6}+{\alpha }_{7}-2{\alpha }_{9}\right),$  ${\beta }_{4}=\frac{1}{12}\left(-{\alpha }_{2}+{\alpha }_{3}+{\alpha }_{7}-{\alpha }_{9}\right),$  ${\beta }_{5}=\frac{1}{12}\left(-12{\alpha }_{1}-2{\alpha }_{2}+5{\alpha }_{3}-3{\alpha }_{4}+3{\alpha }_{6}+2{\alpha }_{7}+4{\alpha }_{9}-3{\alpha }_{10}\right),$  ${\beta }_{6}=\frac{1}{48}\left(-3{\alpha }_{2}-28{\alpha }_{3}-16{\alpha }_{4}-37{\alpha }_{5}+4{\alpha }_{6}-13{\alpha }_{7}-5{\alpha }_{8}-10{\alpha }_{9}-12{\alpha }_{10}\right),$  ${\beta }_{7}=\frac{1}{48}\left(-15{\alpha }_{2}-40{\alpha }_{3}-16{\alpha }_{4}-37{\alpha }_{5}+4{\alpha }_{6}-13{\alpha }_{7}-5{\alpha }_{8}-22{\alpha }_{9}-24{\alpha }_{10}\right),$  ${\beta }_{8}=\frac{1}{4}\left(-{\alpha }_{2}+{\alpha }_{3}+3{\alpha }_{4}+3{\alpha }_{5}-{\alpha }_{6}-{\alpha }_{7}+{\alpha }_{8}-3{\alpha }_{10}\right),$  ${\beta }_{9}=\frac{1}{12}\left(+3{\alpha }_{2}+5{\alpha }_{3}+2{\alpha }_{4}+5{\alpha }_{5}+{\alpha }_{6}+2{\alpha }_{7}+{\alpha }_{8}-{\alpha }_{9}\right),$  ${\beta }_{10}=\frac{1}{12}\left(-2{\alpha }_{3}+{\alpha }_{4}-2{\alpha }_{5}+2{\alpha }_{6}-2{\alpha }_{7}-4{\alpha }_{8}+{\alpha }_{9}-6{\alpha }_{10}\right),$  ${\beta }_{11}=\frac{1}{8}\left(+{\alpha }_{2}-{\alpha }_{3}-2{\alpha }_{4}+{\alpha }_{7}-{\alpha }_{9}+2{\alpha }_{10}\right),$  ${\beta }_{12}=\frac{1}{4}\left(-{\alpha }_{2}+7{\alpha }_{3}+2{\alpha }_{4}-2{\alpha }_{6}+{\alpha }_{7}+3{\alpha }_{9}+2{\alpha }_{10}\right),$  ${\beta }_{13}=\frac{1}{24}\left(+12{\alpha }_{1}-6{\alpha }_{2}+13{\alpha }_{3}+7{\alpha }_{4}-14{\alpha }_{5}-7{\alpha }_{6}-2{\alpha }_{7}-10{\alpha }_{8}+10{\alpha }_{9}+3{\alpha }_{10}\right),$  ${\beta }_{14}=\frac{1}{24}\left(+12{\alpha }_{1}+6{\alpha }_{2}+8{\alpha }_{3}+11{\alpha }_{4}+17{\alpha }_{5}-5{\alpha }_{6}+2{\alpha }_{7}+{\alpha }_{8}+5{\alpha }_{9}+9{\alpha }_{10}\right),$  ${\beta }_{15}=\frac{1}{12}\left(-{\alpha }_{2}-{\alpha }_{3}-2{\alpha }_{4}-8{\alpha }_{5}+2{\alpha }_{6}-{\alpha }_{7}-4{\alpha }_{8}+3{\alpha }_{9}\right),$  ${\beta }_{16}=\frac{1}{4}\left(+{\alpha }_{4}+3{\alpha }_{5}-{\alpha }_{6}+{\alpha }_{8}-{\alpha }_{9}-{\alpha }_{10}\right),$  ${\beta }_{17}=\frac{1}{12}\left(+{\alpha }_{2}-2{\alpha }_{3}-{\alpha }_{4}+2{\alpha }_{5}+{\alpha }_{6}+{\alpha }_{7}-2{\alpha }_{8}-3{\alpha }_{9}-3{\alpha }_{10}\right),$  ${\beta }_{18}=\frac{1}{48}\left(-15{\alpha }_{2}-64{\alpha }_{3}-22{\alpha }_{4}-43{\alpha }_{5}+10{\alpha }_{6}-19{\alpha }_{7}-11{\alpha }_{8}-28{\alpha }_{9}-36{\alpha }_{10}\right),$  ${\beta }_{19}=\frac{1}{48}\left(-9{\alpha }_{2}-46{\alpha }_{3}-22{\alpha }_{4}-43{\alpha }_{5}+10{\alpha }_{6}-13{\alpha }_{7}-11{\alpha }_{8}-22{\alpha }_{9}-24{\alpha }_{10}\right),$  ${\beta }_{20}=\frac{1}{96}\left(+9{\alpha }_{2}+4{\alpha }_{3}+10{\alpha }_{4}+25{\alpha }_{5}+2{\alpha }_{6}+{\alpha }_{7}+5{\alpha }_{8}+4{\alpha }_{9}\right),$  ${\beta }_{21}=\frac{1}{48}\left(+3{\alpha }_{2}+9{\alpha }_{3}-{\alpha }_{4}+3{\alpha }_{5}-{\alpha }_{6}+5{\alpha }_{7}+5{\alpha }_{8}+11{\alpha }_{10}\right),$  ${\beta }_{22}=\frac{1}{48}\left(-3{\alpha }_{2}+18{\alpha }_{3}+4{\alpha }_{4}+15{\alpha }_{5}-14{\alpha }_{6}+7{\alpha }_{7}+7{\alpha }_{8}+10{\alpha }_{10}\right),$  ${\beta }_{23}=\frac{1}{4}\left(+2{\alpha }_{3}+{\alpha }_{5}-{\alpha }_{6}+{\alpha }_{7}+{\alpha }_{8}+2{\alpha }_{10}\right),$  ${\beta }_{24}=\frac{1}{16}\left(+{\alpha }_{2}+2{\alpha }_{3}+{\alpha }_{5}+{\alpha }_{7}+{\alpha }_{8}+2{\alpha }_{10}\right).$
Lemma 3.9. For $\lambda =\left(5,5\right)$  in ${C}_{0}$  : ${w}_{1}-5{v}_{2}=0,$  ${w}_{2}-{w}_{3}+{v}_{1}-4{v}_{2}-{v}_{3}=0,$  ${w}_{3}+{w}_{4}-\frac{5}{2}{v}_{1}-{v}_{2}+2{v}_{3}=0,$  where ${v}_{1}=\text{tr}\left(\left[x,y{\right]}^{3}{x}^{2}\right)\text{tr}\left({y}^{2}\right)-\left(\text{tr}\left(\left[x,y{\right]}^{3}yx\right)+\text{tr}\left(\left[x,y{\right]}^{3}xy\right)\text{tr}\left(xy\right)+\text{tr}\left(\left[x,y{\right]}^{3}{y}^{2}\right)\text{tr}\left({x}^{2}\right),$  ${v}_{2}=\frac{1}{2}\left(\text{tr}\left({x}^{2}{y}^{2}xy\right)-\text{tr}\left({y}^{2}{x}^{2}yx\right)\right)\text{tr}\left(\left[x,y{\right]}^{2}\right),$  ${v}_{3}=\left(\text{tr}\left({x}^{2}{y}^{2}xy\right)-\text{tr}\left({y}^{2}{x}^{2}yx\right)\right)\left(\text{tr}\left({x}^{2}\right)\text{tr}\left({y}^{2}\right)-{\text{tr}}^{2}\left(xy\right)\right),$  ${v}_{4}=\left(\text{tr}\left({x}^{3}\right)\text{tr}\left({y}^{2}\right)-2\text{tr}\left({x}^{2}y\right)\text{tr}\left(xy\right)+\text{tr}\left(x{y}^{2}\right)\text{tr}\left({x}^{2}\right)\right)\text{tr}\left(\left[x,y{\right]}^{2}y\right)$  $-\left(\text{tr}\left({y}^{3}\right)\text{tr}\left({x}^{2}\right)-2\text{tr}\left(x{y}^{2}\right)\text{tr}\left(xy\right)+\text{tr}\left({x}^{2}y\right)\text{tr}\left({y}^{2}\right)\right)\text{tr}\left(\left[x,y{\right]}^{2}x\right).$
The following theorem is the main result of the paper.
Theorem 3.10. The minimal generating $G{L}_{2}$  -module $G$  of the pure trace algebra ${C}_{42}$  of two generic $4×4$  matrices decomposes as
 $\begin{array}{c}G=W\left(1,0\right)\oplus W\left(2,0\right)\oplus W\left(3,0\right)\oplus W\left(4,0\right)\oplus W\left(2,2\right)\oplus W\left(3,2\right)\end{array}$
 $\begin{array}{c}\oplus W\left(4,2\right)\oplus W\left(3,3\right)\oplus W\left(4,3\right)\oplus W\left(5,3\right)\oplus W\left(4,4\right)\oplus W\left(6,3\right)\oplus W\left(5,5\right).\end{array}$
 $\begin{array}{}\end{array}$
For all $\lambda =\left({\lambda }_{1},{\lambda }_{2}\right)\ne \left(5,5\right)$  , the module $W\left({\lambda }_{1},{\lambda }_{2}\right)$  is generated by the element ${w}_{\lambda }\left(X,Y\right)=\text{tr}\left(\left(XY-YX{\right)}^{{\lambda }_{2}}{X}^{{\lambda }_{1}-{\lambda }_{2}}\right).$  For $\lambda =\left(5,5\right)$  a generator of $W\left(5,5\right)$  is ${w}_{\left(5,5\right)}\left(X,Y\right)=\text{tr}\left(\left(XY-YX{\right)}^{3}\left({X}^{2}{Y}^{2}-XYYX-YXXY+{Y}^{2}{X}^{2}\right)\right).$
• Proof. Using ( 5 ), we may replace the elements $\text{tr}\left({Z}_{1}\cdots {Z}_{k}\right)$  , ${Z}_{i}=X,Y$  , $k\ge 2$  , modulo the subalgebra generated by products of traces of degree $  , with $\text{tr}\left({z}_{1}\cdots {z}_{k}\right)$  , where ${z}_{i}=x,y$  are generic traceless matrices. Hence, it is sufficient to show that the algebra ${C}_{0}$  has a minimal $G{L}_{2}$  -module of generators  $\begin{array}{c}\begin{array}{c}M=W\left(2,0\right)\oplus W\left(3,0\right)\oplus W\left(4,0\right)\oplus W\left(2,2\right)\oplus W\left(3,2\right)\\ \oplus W\left(4,2\right)\oplus W\left(3,3\right)\oplus W\left(4,3\right)\oplus W\left(5,3\right)\oplus W\left(4,4\right)\oplus W\left(6,3\right)\oplus W\left(5,5\right),\\ \end{array}\end{array}$ (9)
each $W\left({\lambda }_{1},{\lambda }_{2}\right)$  , $\left({\lambda }_{1},{\lambda }_{2}\right)\ne \left(5,5\right)$  , is generated by ${w}_{\lambda }\left(x,y\right)=\text{tr}\left(\left(xy-yx{\right)}^{{\lambda }_{2}}{x}^{{\lambda }_{1}-{\lambda }_{2}}\right),$  and for $\lambda =\left(5,5\right)$  a generator of $W\left(5,5\right)$  is  $\begin{array}{c}{w}_{\left(5,5\right)}\left(x,y\right)=\text{tr}\left(\left(xy-yx{\right)}^{3}\left({x}^{2}{y}^{2}-xyyx-yxxy+{y}^{2}{x}^{2}\right)\right).\end{array}$ (10)
There are three typical cases. We consider the image of the $G{L}_{2}$  -modules ${U}_{n}$  in ${C}_{0}$  under the natural homomorphism $\pi :P\left(x,y\right)\to {C}_{0}$  . We may assume that the generators of ${C}_{0}$  are in $\pi \left({U}_{2}\oplus \cdots \oplus {U}_{10}\right)$  . Lemma 3.1 allows to consider the cases $n\ge 6$  only.
Let $\lambda =\left(n\right)$  , $n=6,\dots ,10$  . This case was handled in Lemma 3.1. The only $G{L}_{2}$  -module $W\left(n\right)$  in $\pi \left({U}_{n}\right)$  is generated by $\text{tr}\left({x}^{n}\right)$  . By ( 7 ), $\text{tr}\left({x}^{5}\right)$  belongs to the subalgebra of ${C}_{0}$  generated by traces of lower degree. Similar equations hold for the other $n\ge 6$  . Hence, $W\left(n\right)$  does not participate in any minimal $G{L}_{2}$  -module of generators of ${C}_{0}$  for $n=6,\dots ,10$  .
Let $\lambda =\left(6,2\right)$  . By Proposition 2.1, $W\left(6,2\right)$  participates with multiplicity 3 in ${U}_{8}$  . The highest weight vectors of the three copies of $W\left(6,2\right)$  are ${w}_{1},{w}_{2},{w}_{3}$  from Lemma 2.2. By the relations in Lemma 3.4, $\pi \left({w}_{1}\right),\pi \left({w}_{2}\right),\pi \left({w}_{3}\right)$  are linear combinations of ${v}_{1},\dots ,{v}_{10}$  , and hence belong to the subalgebra of ${C}_{0}$  generated by the elements of degree $\le 7$  (and even of degree $\le 6$  ). Therefore, as in the case $\lambda =\left(n\right)$  , the minimal $G{L}_{2}$  -modules of generators of ${C}_{0}$  do not contain $W\left(6,2\right)$  .
The cases $\lambda =\left(5,2\right),\left(7,2\right),\left(5,4\right),\left(8,2\right),\left(7,3\right),\left(6,4\right)$  are similar.
Let $\lambda =\left(5,3\right)$  . By Proposition 2.1 again, $W\left(5,3\right)$  participates with multiplicity 3 in ${U}_{8}$  . The corresponding highest weight vectors are ${w}_{1},{w}_{2},{w}_{3}$  from Lemma 2.2, and the element ${w}_{1}$  is equal to $\text{tr}\left(\left(xy-yx{\right)}^{3}{x}^{2}\right)$  . By the relations in Lemma 3.4, $\pi \left({w}_{2}\right),\pi \left({w}_{3}\right)$  are linear combinations of $\pi \left({w}_{1}\right)$  and ${v}_{1},\dots ,{v}_{5}$  . Hence they belong to the subalgebra of ${C}_{0}$  generated by the elements of degree $\le 7$  and by the $G{L}_{2}$  -module generated by ${w}_{1}$  . In this way, the multiplicity of $W\left(5,3\right)$  in the minimal $G{L}_{2}$  -module of generators is bounded from above by 1. The cases $\lambda =\left(4,2\right),\left(4,3\right),\left(4,4\right),\left(6,3\right)$  are similar. The case $\lambda =\left(5,5\right)$  is analogous but one has to express the elements ${w}_{1},{w}_{3},{w}_{4}$  in terms of ${w}_{2}$  and ${v}_{1},{v}_{2},{v}_{3},{v}_{4}$  . It is easy to see that ${w}_{2}$  is equal to ( 10 ). Finally, the multiplicity of $W\left(3,3\right)$  in ${U}_{6}$  is already 1. In this way we obtain that the minimal $G{L}_{2}$  -module of generators of ${C}_{0}$  is a homomorphism image of the module $M$  from ( 9 ), and the algebra ${C}_{0}$  is a homomorphic image of the symmetric algebra $K\left[M\right]$  of $M$  .
Clearly, the coefficients of the Hilbert series of $K\left[M\right]$  are bigger or equal to the coefficients of the Hilbert series of ${C}_{0}$  . The Hilbert series of ${C}_{42}$  is given in ( 1 ). The factor $\left(1-t\right)\left(1-u\right)$  in its denominator corresponds to the polynomial algebra $K\left[\text{tr}\left(X\right),\text{tr}\left(Y\right)\right]$  in ( 6 ). Hence, the Hilbert series of ${C}_{0}$  is equal to $h\left(t,u\right)={P}_{C}\left(t,u\right)/{Q}_{C}\left(t,u\right)$  from ( 2 ). It follows from ( 9 ) that the Hilbert series of $K\left[M\right]$  is $H\left(K\left[M\right],t,u\right)=\frac{1}{{q}_{2}\left(t,u\right)\cdots {q}_{10}\left(t,u\right)},$  where ${q}_{2}\left(t,u\right),\dots ,{q}_{5}\left(t,u\right)$  are given in ( 8 ) and ${q}_{6}\left(t,u\right)=\left(1-{t}^{4}{u}^{2}\right)\left(1-{t}^{3}{u}^{3}{\right)}^{2}\left(1-{t}^{2}{u}^{4}\right),$  ${q}_{7}\left(t,u\right)=\left(1-{t}^{4}{u}^{3}\right)\left(1-{t}^{3}{u}^{4}\right),$  ${q}_{8}\left(t,u\right)=\left(1-{t}^{5}{u}^{3}\right)\left(1-{t}^{4}{u}^{4}{\right)}^{2}\left(1-{t}^{3}{u}^{5}\right),$  ${q}_{9}\left(t,u\right)=\left(1-{t}^{6}{u}^{3}\right)\left(1-{t}^{5}{u}^{4}\right)\left(1-{t}^{4}{u}^{5}\right)\left(1-{t}^{3}{u}^{6}\right),{q}_{10}\left(t,u\right)=\left(1-{t}^{5}{u}^{5}\right).$  By direct calculations we see that the coefficients of the homogeneous components of degree $\le 10$  of $H\left(K\left[M\right],t,u\right)$  are the same as the coefficients ${h}_{0},{h}_{1},\dots ,{h}_{10}$  from ( 4 ). This implies that the generators ( 9 ) satisfy no relations of degree $\le 10$  and competes the proof of the theorem.
Remark 3.11. Since $\text{tr}\left(\left[X,Y\right]\right)=0$  , the equation ( 7 ) gives that the element $\text{tr}\left(\left[X,Y{\right]}^{5}\right)$  of ${C}_{42}$  belongs to the subalgebra generated by traces of lower degree.
Remark 3.12. Calculating the first homogeneous components of the difference $H\left({C}_{0},t,u\right)-H\left(M,t,u\right)$  , we see that $H\left({C}_{0},t,u\right)-H\left(M,t,u\right)=\left({S}_{\left(7,5\right)}\left(t,u\right)+2{S}_{\left(6,6\right)}\left(t,u\right)\right)+\left({S}_{\left(8,5\right)}\left(t,u\right)+2{S}_{\left(7,6\right)}\left(t,u\right)\right)$  $+\left(2{S}_{\left(9,5\right)}\left(t,u\right)+6{S}_{\left(8,6\right)}\left(t,u\right)+2{S}_{\left(7,7\right)}\left(t,u\right)\right)$  $+\left(2{S}_{\left(10,5\right)}\left(t,u\right)+9{S}_{\left(9,6\right)}\left(t,u\right)+7{S}_{\left(8,7\right)}\left(t,u\right)\right).$  Hence, the $G{L}_{2}$  -modules of the defining relations of degree 12 and 13 are, respectively, $W\left(7,5\right)\oplus 2W\left(6,6\right)$  and $W\left(8,5\right)\oplus 2W\left(7,6\right)$  . In principle, the defining relations can be found as those in Lemmas 3.2 – 3.9, but the calculations should be more complicated.
Remark 3.13. The homogeneous system of parameters of ${C}_{42}$  found by Teranishi [T1, T2contains all traces of degree $\le 4$  and two elements of degree $\left(4,2\right)$  and $\left(2,4\right)$  , respectively. Translated in our language, we can choose for a homogeneous system of parameters of ${C}_{42}$  the elements $\text{tr}\left(X\right),\text{tr}\left(Y\right),\text{tr}\left({X}^{2}\right),\text{tr}\left(XY\right),\text{tr}\left({Y}^{2}\right),$  $\text{tr}\left({X}^{3}\right),\text{tr}\left({X}^{2}Y\right),\text{tr}\left(X{Y}^{2}\right),\text{tr}\left({Y}^{3}\right),$  $\text{tr}\left({X}^{4}\right),\text{tr}\left({X}^{3}Y\right),\text{tr}\left({X}^{2}{Y}^{2}\right),\text{tr}\left(X{Y}^{3}\right),\text{tr}\left({Y}^{4}\right),$  and the polynomials ${w}_{\left(4,2\right)}\left(X,Y\right)=\text{tr}\left(\left(XY-YX{\right)}^{2}{X}^{2}\right),{w}_{\left(4,2\right)}\left(Y,X\right)=\text{tr}\left(\left(XY-YX{\right)}^{2}{Y}^{2}\right)$  from Theorem 3.10.
References

1. S. Abeasis, M. Pittaluga, On a minimal set of generators for the invariants of $3×3$  matrices, Commun. Algebra 17 (1989), 487-499.
2. G. Almkvist, W. Dicks, E. Formanek, Hilbert series of fixed free algebras and noncommutative classical invariant theory, J. Algebra 93 (1985), 189-214.
3. H. Aslaksen, V. Drensky, L. Sadikova, Defining relations of invariants of two $3×3$  matrices, preprint.
4. A. Berele, J.R. Stembridge, Denominators for the Poincaré series of invariants of small matrices, Israel J. Math. 114 (1999), 157-175.
5. C. De Concini, D. Eisenbud, C. Procesi, Young diagrams and determinantal varieties, Invent. Math. 56 (1980), 129-165.
6. V. Drensky, Free Algebras and PI-Algebras, Springer-Verlag, Singapore, 1999.
7. V. Drensky, Defining relations for the algebra of invariants of $2×2$  matrices, Algebras and Representation Theory 6 (2003), 193-214.
8. V. Drensky, E. Formanek, Polynomial Identity Rings, Advanced Courses in Mathematics, CRM Barcelona, Birkhäuser (to appear).
9. J. Dubnov, Sur une généralisation de l'équation de Hamilton-Cayley et sur les invariants simultanés de plusieurs affineurs, Proc. Seminar on Vector and Tensor Analysis, Mechanics Research Inst., Moscow State Univ. 2/3 (1935), 351-367 (see also Zbl. für Math. 12 (1935), p. 176).
10. E. Formanek, The Polynomial Identities and Invariants of $n×n$  Matrices, CBMS Regional Conf. Series in Math. 78, Published for the Confer. Board of the Math. Sci. Washington DC, AMS, Providence RI, 1991.
11. P.E. Koshlukov, Polynomial identities for a family of simple Jordan algebras, Commun. Algebra 16 (1988), 1325-1371.
12. E.N. Kuzmin, On the Nagata-Higman theorem (Russian), in “Mathematical Structures, Computational Mathematics, Mathematical Modelling. Proc. Dedicated to the 60th Birthday of Acad. L. Iliev”, Sofia, 1975, 101-107.
13. K. Nakamoto, The structure of the invariant ring of two matrices of degree $3$  , J. Pure Appl. Algebra 166 (2002), No. 1-2, 125-148.
14. Yu.P. Razmyslov, Trace identities of full matrix algebras over a field of characteristic zero (Russian), Izv. Akad. Nauk SSSR, Ser. Mat. 38 (1974), 723-756. Translation: Math. USSR, Izv. 8 (1974), 727-760.
15. I. Shestakov, N. Zhukavets, On associative algebras satisfying the identity ${x}^{5}=0$  , Algebra Discrete Math. (Lugansk) (2004), No. 1, 112-120.
16. K.S. Sibirskii, Algebraic invariants for a set of matrices (Russian), Sib. Mat. Zh. 9 (1968), No. 1, 152-164. Translation: Siber. Math. J. 9 (1968), 115-124.
17. Y. Teranishi, The ring of invariants of matrices, Nagoya Math. J. 104 (1986), 149-161.
18. Y. Teranishi, Linear Diophantine equations and invariant theory of matrices, Commutative algebra and combinatorics (Kyoto, 1985), 259-275, Adv. Stud. Pure Math., 11, North-Holland, Amsterdam, 1987.
19. M. Van den Bergh, Explicit rational forms for the Poincaré series of the trace rings of generic matrices, Isr. J. Math. 73 (1991), 17-31.
20. M. R. Vaughan-Lee, An algorithm for computing graded algebras, J. Symbolic Comput. 16 (1993), 345-354.

Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, 1113 Sofia, Bulgaria E-mail address : drensky@math.bas.bg Fachgruppe Informatik, RWTH Aachen, 52056 Aachen, Germany E-mail address : sadikova@stce.rwth-aachen.de