Matrix identities with forms

• Autores: A. A. Lopatin
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 217, Nº 11, 2013, págs. 2056-2075
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • Consider the algebra Mn(F) of n �~ n matrices over an infinite field F of arbitrary characteristic. An identity for Mn(F) with forms is such a polynomial in n �~ n generic matrices and in �Ðk(x), 1 . k . 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 Mn(F) with trace and it can be applied to the problem of investigation of identities for Mn(F). In 1996 Zubkov established an infinite generating set for the T-ideal Tn of identities forMn(F) with forms. Namely, for t > n he introduced partial linearizations of �Ðt and proved that they together with the well-known free relations and the Cayley.

    Hamilton polynomial �Ôn generate Tn as a T-ideal. We show that it is enough to take partial linearizations of �Ðt for n < t . 2n. In particular, the T-ideal Tn is finitely based.

    Working over a field of characteristic different from two, we obtain a similar result for the ideal T��n of identities with forms for the F-algebra generated by n �~ n generic and transpose generic matrices. It follows from our previous papers that the T-ideal T��n is generated by partial linearizations of �Ðt,r for t+2r > n, the well-known free relations, �Ôt,r for t+2r = n, and �Ät,r for t+2r = n.1, where �Ðt,r is the identity introduced by Zubkov in 2005 and �Ôt,r , �Ät,r are generalizations of the Cayley.Hamilton polynomial. We prove that it is enough to take partial linearizations of �Ðt,r for n < t +2r . 2n. In particular, the T-ideal T��n is finitely based.

    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 �Ðt for n < t . 2n and partial linearizations of �Ðt,r for n < t + 2r . 2n, respectively.