Quasi-identities on matrices and the Cayley-Hamilton polynomial. (Q2346048)

From MaRDI portal
Revision as of 02:56, 18 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Quasi-identities on matrices and the Cayley-Hamilton polynomial.
scientific article

    Statements

    Quasi-identities on matrices and the Cayley-Hamilton polynomial. (English)
    0 references
    0 references
    0 references
    0 references
    29 May 2015
    0 references
    The trace identities of the full matrix algebra of order \(n\) over a field of characteristic 0 were described by Procesi and independently by Razmyslov. These all follow from the Cayley-Hamilton polynomial. Recall that one can write, using Newton's formulae, the coefficients of the characteristic polynomial of a matrix in terms of traces of powers of the matrix. The paper under review deals with quasi-identities, so let us recall what this is. Take a set \(X=\{x_k\}\) of noncommuting variables and let \(\{x_{ij}^{(k)}\mid 1\leq i,j\leq n\}\) be commuting ones. Form the free associative algebra \(C(X)\) on the variables \(X\) over the polynomial algebra of all \(x_{ij}^{(k)}\); its elements are the quasi-polynomials. (One may consider the ring of scalars of \(C(X)\) as the algebra of polynomial functions on the matrix algebra of order \(n\).) The authors define in a natural way a trace in \(C(X)\), and study whether the trace quasi-identities for the \(n\times n\) matrices are generated by the Cayley-Hamilton polynomial. They describe large classes of trace quasi-identities that follow from the Cayley-Hamilton polynomial. Nevertheless there exist classes of (antisymmetric) quasi-identities which do not follow from the Cayley-Hamilton polynomial, and the authors describe one such class.
    0 references
    functional identities
    0 references
    quasi-polynomials
    0 references
    quasi-identities
    0 references
    Cayley-Hamilton identity
    0 references
    T-ideals
    0 references
    trace identities
    0 references
    polynomial identities
    0 references
    matrix algebras
    0 references
    algebras with trace
    0 references
    Azumaya algebras
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references