Matrix identities with forms. (Q392159)

Let \(R\) be the algebra generated by the generic \(n\times n\) matrices \(X_k\), \(k\geq 1\), over an infinite field. Denote by \(\sigma_t(A)\) the coefficients of the characteristic polynomial of \(A\), it is well known that the algebra of matrix \(GL_n\)-invariants \(R^{GL_n}\) is generated by the \(\sigma_t(A)\) where \(A\) are monomials in the \(X_k\). The algebra of concomitants (also called the algebra of \(n\times n\) generic matrices with forms), is generated by the \(X_k\) and \(fE\) where \(E\) is the identity matrix and \(f\in R^{GL_n}\). The identities with forms generalize the well known and widely studied trace identities. The paper under review studies the ideal \(T_n\) of identities with forms for the \(n\times n\) matrices. The author proves that \(T_n\) is finitely generated (as a \(T\)-ideal). Then this is transferred to the ideal of identities with forms for the algebra generated by generic matrices together with their transposes. As consequences the author deduces that the algebras of matrix \(GL_n\)- and \(O_n\)-invariants are generated by the known free relations and partial linearizations of the coefficients \(\sigma_t\) of the characteristic polynomial.