Matrix identities with forms.
From MaRDI portal
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.
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
- scientific article; zbMATH DE number 1431905 (Why is no real title available?)
- scientific article; zbMATH DE number 1438934 (Why is no real title available?)
- Algebraic invariants for a set of matrices
- Basis of the identities of the matrix algebra of order two over a field of characteristic \(p\neq 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
- INVARIANTS OF MIXED REPRESENTATIONS OF QUIVERS II: DEFINING RELATIONS AND APPLICATIONS
- Identities with involution for the matrix algebra of order two in characteristic \(p\).
- Invariant functions on matrices
- 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
- TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO
- The invariant theory of n n matrices
- Vector invariants of a class of pseudoreflection groups and multisymmetric syzygies
Cited in
(4)- scientific article; zbMATH DE number 4047879 (Why is no real title available?)
- Indecomposable orthogonal invariants of several matrices over a field of positive characteristic
- Polynomial bound for the nilpotency index of finitely generated nil algebras
- scientific article; zbMATH DE number 17842 (Why is no real title available?)
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)
