Invariant theory in exterior algebras and Amitsur-Levitzki type theorems

This article discusses invariant theories in some exterior algebras, which are closely related to Amitsur-Levitzki type theorems.First we consider the exterior algebra on the vector space of square matrices of size n, and look at the invariants under conjugations. We see that the algebra of these invariants is isomorphic to the exterior algebra on an n-dimensional vector space. Moreover we give a Cayley-Hamilton type theorem for these invariants (the anticommutative version of the Cayley-Hamilton theorem). This Cayley-Hamilton type theorem can also be regarded as a refinement of the Amitsur-Levitzki theorem.We discuss two more Amitsur-Levitzki type theorems related to invariant theories in exterior algebras. One is a famous Amitsur-Levitzki type theorem due to Kostant and Rowen, and this is related to O(V)-invariants in Λ(Λ2(V)). The other is a new Amitsur-Levitzki type theorem, and this is related to GL(V)-invariants in Λ(Λ2(V)⊕S2(V⁎)).