Embedding theorems for algebras with trace
Let \(F\) be a field, and \(A\) and \(B\) two \(F\)-algebras. If \(A\) is a subalgebra of \(B\) then clearly \(A\) satisfies all polynomial identities of \(B\), and possibly some more. A natural question arises: is the opposite true. That is, if \(A\) satisfies all polynomial identities of \(B\), can we embed \(A\) into \(B\)? One cannot expect an affirmative answer to this question in general. Hence a modification: if \(A\) satisfies the identities of \(B\), can one embed \(A\) into some scalar extension of \(B\)? In this case the answer is still negative in general. In 1987, \textit{C. Procesi} [J. Algebra 107, 63--74 (1987; Zbl 0618.16014)] proved a general theorem for algebras with trace: if \(A\) is a trace algebra satisfying all trace identities of the \(n\times n\) matrix algebra then \(A\) can be embedded (trace-preserving) into \(n\times n\) matrices over a commutative \(F\)-algebra, in characteristic 0. The present paper studies block-diagonal matrix algebras with trace, over a field \(F\) of characteristic 0. Let \(A_i=M_{n_i}(F)\), \(i=1\), 2, \dots, \(t\), and put \(n=n_1+n_2+\cdots+n_t\). Consider the block-diagonal matrix algebra \(A=\mathrm{diag}(A_1,A_2, \ldots, A_t)\) inside \(M_n(F)\), and define the trace of \(a=(\mathrm{diag}(a_1,a_2,\ldots,a_t)\) as \(tr(a_1)+tr(a_2)+\cdots+tr(a_t)\). More generally, if \(d=(d_1,d_2,\ldots,d_t)\) is a \(t\)-tuple of nonzero elements of \(F\) one defines a trace by means of \(d_1tr(a_1)+d_2tr(a_2)+\cdots+d_ttr(a_t)\). In case the \(d_i\) are all positive integers one can interpret the resulting algebra as a block-diagonal one in which the corresponding diagonal entries repeat \(d_i\) times each.\N\NDenote by \(M(n,d)\) the trace algebra just defined, where the \(d_i\in F\) are nonzero. The author studies the embedding problem for this algebra: if \(A\) satisfies all trace identities of \(M_(n,d)\) can one embed \(A\) into \(M(n,d)\) over some commutative \(F\)-algebra \(B\)? The main theorem of the paper states that if \(A\) satisfies the same trace identities as \(M(n,d)\) and if the pairs \((n_1,d_1)\), \((n_2,d_2)\), \dots, \((n_t,d_t)\) are all distinct then \(A\) can be embedded, trace-preserving, into \(M(n,d)\), the latter algebra over some commutative \(F\)-algebra \(B\).
- \(T\)-ideals of Cayley Hamilton algebras
- A formal inverse to the Cayley-Hamilton theorem
- Central polynomials for matrix rings
- scientific article; zbMATH DE number 50288 (Why is no real title available?)
- scientific article; zbMATH DE number 2146309 (Why is no real title available?)
- scientific article; zbMATH DE number 7314181 (Why is no real title available?)
- scientific article; zbMATH DE number 2241894 (Why is no real title available?)
- Minimal varieties of algebras of exponential growth.
- On codimension growth of finitely generated associative algebras
- Specialized symmetric functions and trace identities
- The invariant theory of n n matrices
- TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO
This page was built for publication: Embedding theorems for algebras with trace
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6924788)
