Matrix identities with forms.

DOI10.1016/J.JPAA.2013.01.004zbMATH Open1294.16016arXiv1204.5554OpenAlexW1974539831WikidataQ112882004 ScholiaQ112882004MaRDI QIDQ392159FDOQ392159

Authors: Artem Lopatin 

Publication date: 13 January 2014

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

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.

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

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

zbMATH Keywords

characteristic polynomialstrace identitiesalgebras of matricesalgebras of matrix invariantsfinitely based T-idealsgeneric matricesidentities with forms

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• Indecomposable orthogonal invariants of several matrices over a field of positive characteristic
• Polynomial bound for the nilpotency index of finitely generated nil algebras
• Title not available (Why is that?)

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)