Functional identities in one variable. (Q397983)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Functional identities in one variable. |
scientific article |
Statements
Functional identities in one variable. (English)
0 references
12 August 2014
0 references
Let \(A\) be an algebra over a field \(F\). The authors require \(F\) to be of characteristic 0 but several of their results, as they mention, hold under weaker assumptions on the field. A commuting map \(q\colon A\to A\) is a map such that \(q(a)a=aq(a)\) for all \(a\in A\). If \(A\) and \(B\) are two algebras then a map \(q\colon A\to B\) is the trace of a \(d\)-linear map if there is a \(d\)-linear map \(M\colon A^d\to B\) with \(q(a)=M(a,\ldots,a)\), \(a\in A\). A major contribution of the paper under review is the following theorem. Let \(A\) be a centrally closed prime algebra. If \(q\) is a commuting trace of a \(d\)-linear map then \(q\) is of the so-called standard form. Recall that \(q\) is of standard form if \(q(a)=\sum_{i=0}^d\mu_i(a)a_i\) where \(\mu_i\) are traces of \((d-i)\)-linear maps \(A^{d-i}\to A\). This is obtained first by means of a (quite nontrivial) reduction to the case when \(A\) is a matrix algebra and then passing to the algebra of generic matrices which enables the use of methods from commutative algebra. The authors also consider various applications of the above theorem in the context of functional identities. They obtain a description of the traces of \(d\)-linear maps \(q_i\) in centrally closed prime algebras such that \(\sum_{i=0}^ma^iq_i(a)a^{m-i}\in F\) for all \(a\in A\).
0 references
functional identities
0 references
commuting maps
0 references
traces
0 references
matrix algebras
0 references
centrally closed prime algebras
0 references
Cayley-Hamilton theorem
0 references
generic matrix algebras
0 references
0 references