Defining relations of the noncommutative trace algebra of two \(3\times 3\) matrices. (Q863308): Difference between revisions

Let \(X_1,\dots,X_d\) be generic \(n\times n\) matrices over a field of characteristic 0, and denote by \(C_{nd}\) the commutative algebra generated by the traces of all products of the \(X_i\). This algebra is called the `pure trace algebra'. Assume that the general linear group \(\text{GL}_n\) acts on the \(d\)-tuples of \(n\times n\) matrices by simultaneous conjugation, then \(C_{nd}\) is the algebra of invariants under this action. One may consider further the algebra \(T_{nd}\) generated by all \(X_i\) and by \(C_{nd}\). It is the `mixed trace algebra', also called the `algebra of matrix concomitants'. It is well known that \(C_{nd}\) is finitely generated, and that \(T_{nd}\) is finitely generated as a module over \(C_{nd}\). In the paper under review the authors deal with the case \(n=3\) and \(d=2\). They first exhibit a polynomial subalgebra \(S\) of \(C_{nd}\) and a set of free generators of the \(S\)-module \(T_{32}\). A set of defining relations of \(T_{32}\) is found as well, and a Gröbner basis of the corresponding ideal is described.