zbMATH — the first resource for mathematics

A formal inverse to the Cayley-Hamilton theorem. (English) Zbl 0618.16014
A Q-algebra with trace is defined to be an algebra R together with an R- linear map tr: \(R\to R\), such that, for a,b\(\in R:\) (i) \(tr(a)b=btr(a)\), (ii) \(tr(ab)=tr(ba)\), (iii) \(tr(tr(a)b)=tr(a)tr(b)\). For such an algebra R, n a positive integer, R is said to satisfy the nth Cayley-Hamilton identity if, for all \(r\in R\), \(\chi_ r^{(n)}(r)=0\) where \[ \chi_ r^{(n)}(t)=\prod^{n}_{i=1}(t-t_ i)\quad and\quad \sum^{n}_{i=1}t^ k_ i=tr(r^ k). \] The main theorem of this paper is: If R is a Q-algebra with trace satisfying the nth Cayley Hamilton identity, then R can be embedded as a subring of the ring \(M_ n(A)\) over a commutative ring A.
Reviewer: M.Beattie

16Rxx Rings with polynomial identity
16S50 Endomorphism rings; matrix rings
Full Text: DOI
[1] {\scM. Artin and W. Schelter}, Smooth algebras (preprint).
[2] De Concini, C; Procesi, C, Symmetric functions, conjugacy classes and the flag variety, Invent. math., 64, 203-219, (1981) · Zbl 0475.14041
[3] Procesi, C, Rings with polynomial identities, () · Zbl 0148.01804
[4] Procesi, C, The invariant theory of n × n matrices, Advan. in math., 19, 306-381, (1976) · Zbl 0331.15021
[5] Procesi, C, Trace identities and standard diagrams, () · Zbl 0432.15020
[6] Small, L, An example in PI-rings, J. algebra, 17, 434-436, (1971) · Zbl 0226.16021
[7] Tanisaki, T, Defining ideals of the closures of the conjugacy classes and representations of the Weyl groups, Tôhoku math. J., 34, 575-585, (1982) · Zbl 0544.14030
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.