On Cayley-Hamilton's theorem and Amitsur-Levitzki's identity (Q1097938): Difference between revisions

Für Endomorphismen \(A_ 1,...,A_ p:\) \({\mathbb{C}}^ n\to {\mathbb{C}}^ n\) wird der Endomorphismus \(A_ 1\wedge...\wedge A_ p\) der p-ten äußeren Potenz von \({\mathbb{C}}^ n\) durch \[ (A_ 1\wedge...\wedge A_ p)(u_ 1\wedge...\wedge u_ p)=(1/p!)\sum_{\sigma \in {\mathfrak S}_ p}(sgn \sigma)A_ 1u_{\sigma 1}\wedge... \wedge A_ pu_{\sigma p} \] definiert. Weiter sei X ein Endomorphismus von \({\mathbb{C}}^ n \)mit dem charakteristischen Polynom \(Det(\lambda I- X)=\sum^{n}_{i=0}f_ i(X)\lambda^{n-i}\), und es gelte \(1\leq p\leq n\), \(r=n+1-p\). Verf. beweist als Verallgemeinerung des Satzes von Cayley- Hamilton (Fall \(p=1)\) die folgende Gleichung: \[ \sum^{r}_{\rho =0}f_{\rho}(X)\sum_{a_ 1+...+a_ p=\rho}X^{a_ 1}\wedge...\wedge X^{a_ p}=0 \] mit \(X^ 0=I\) und \(a_ 1,...,a_ p\geq 0.\) Aus ihr wird eine Verallgemeinerung der Identität von Amitsur- Levitzki hergeleitet: Der Endomorphismus \(A_ 1\otimes...\otimes A_ p\) des Raumes \(S^ p({\mathbb{C}}^ n\)) der symmetrischen Tensoren wird durch \[ (A_ 1\otimes...\otimes A_ p)(u_ 1\otimes...\otimes u_ p)=(1/p!)\sum_{\sigma \in {\mathfrak S}_ p}A_ 1u_{\sigma 1}...A_ pu_{\sigma p} \] definiert. Dann gilt für beliebige Endomorphismen \(X_ 1,...,X_{2n}\) von \({\mathbb{C}}^ n\) die Gleichung \(\sum_{\sigma \in {\mathfrak S}_{2n}}(sgn \sigma)(X_{\sigma 1}\circ X_{\sigma 2})\otimes... \otimes (X_{\quad \sigma (2n-1)}\circ X_{\sigma (2n)})=0.\)