Matrix identities with forms.

DOI10.1016/J.JPAA.2013.01.004MaRDI QIDQ392159zbMATH OpenOpenAlexWikidataFDO

Authors Artem Lopatin

Publication date 13 January 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.5554

zbMATH Keywords

algebras of matricesalgebras of matrix invariantscharacteristic polynomialsfinitely based T-idealsgeneric matricesidentities with formstrace identities

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Trace rings and invariant theory (associative rings and algebras) (16R30)

Abstract: Consider the algebra M(n,F) of n x n matrices over an infinite field F of arbitrary characteristic. An identity for M(n,F) with forms is such a polynomial in n x n generic matrices and in sigma_k(x), 0<kleq n, coefficients in the characteristic polynomial of monomials in generic matrices, that is equal to zero matrix. This notion is a characteristic free analogue of identities for M(n,F) with trace. In 1996 Zubkov established an infinite generating set for the T-ideal T(n) of identities for M(n,F) with forms. Namely, for t>n he introduced partial linearizations of sigma_t and proved that they together with the well-known free relations and the Cayley--Hamilton polynomial generate T(n) as a T-ideal. We show that it is enough to take partial linearizations of sigma_t for n<tleq 2n. In particular, the T-ideal T(n) is finitely based. Working over a field of characteristic different from two, we obtain a similar result for the ideal of identities with forms for the F-algebra generated by n x n generic and transpose generic matrices. These results imply that ideals of identities for the algebras of matrix GL(n)- and O(n)-invariants are generated by the well-known free relations together with partial linearizations of sigma_t for n<tleq 2n and partial linearizations of sigma_{t,r} for n<t+2rleq 2n, respectively.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 4047879
• A matrix identity and its applications
• Matrix identities involving multiplication and transposition.
• Formal matrices and their determinants
• scientific article; zbMATH DE number 1907864
• Functional identities on matrix algebras.
• Identities in matrix Lie algebras
• Identities among certain triangular matrices
• Formal matrices

Cites work

• Algebraic invariants for a set of matrices
• Basis of the identities of the matrix algebra of order two over a field of characteristic p 2
• Central polynomials in the matrix algebra of order two.
• Finite basing of the identities of a matrix algebra of second order over a field of characteristic zero
• Free relations for matrix invariants in the modular case
• scientific article; zbMATH DE number 1431905 (Why is no real title available?)
• scientific article; zbMATH DE number 1438934 (Why is no real title available?)
• Identities with involution for the matrix algebra of order two in characteristic \(p\).
• Invariant functions on matrices
• INVARIANTS OF MIXED REPRESENTATIONS OF QUIVERS II: DEFINING RELATIONS AND APPLICATIONS
• Invariants of several matrices
• On the characteristic polynomial of a sum of matrices
• On the nilindex of the radical of a relatively free associative algebra.
• Radical of a relatively free associative algebra over fields of positive characteristic
• Relations between \(O(n)\)-invariants of several matrices.
• Rings of matrix invariants in positive characteristic
• The invariant theory of n n matrices
• TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO
• Vector invariants of a class of pseudoreflection groups and multisymmetric syzygies

Cited in

(5)

• Polynomial bound for the nilpotency index of finitely generated nil algebras
• scientific article; zbMATH DE number 4047879 (Why is no real title available?)
• scientific article; zbMATH DE number 17842 (Why is no real title available?)
• scientific article; zbMATH DE number 1361263 (Why is no real title available?)
• Indecomposable orthogonal invariants of several matrices over a field of positive characteristic

This page was built for publication: Matrix identities with forms.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q392159)