Identities and central polynomials with involution for the Grassmann algebra (Q2193201)

Let \(F\) be an infinite field of characteristic \(p\ne 2\), and denote by \(E\) the infinite dimensional Grassmann (or exterior) algebra over \(F\). Assume that \(\varphi\) is an involution on \(E\). The Grassmann algebra plays a prominent role in PI theory. It is the most natural example of a PI algebra in characteristic 0 that does not satisfy any standard identity. In positive characteristic it serves to build examples of T-ideals that are not finitely based. The paper under review studies the identities with involution for \(E\) over any infinite field of characteristic different from 2. The authors describe a basis of these identities with involution. It turns out that in characteristic 0, the triple commutators where one plugs symmetric or skew-symmetric (with respect to \(\varphi\)) variables in every possible way, generate the ideal of the identities. If the characteristic of the field is \(p>2\) then one has to add the \(p\)th power of a skew variable in order to generate the ideal. It should be noted that the characteristic 0 case was settled by \textit{N. Anisimov} [Commun. Algebra 29, No. 9, 4211--4230 (2001; Zbl 0999.16021)]. Here, the authors give a new proof of Anisimov's result. The authors also describe the \(\varphi\)-central polynomials for \(E\). They describe a finite generating set of the T-space of \(\varphi\)-central polynomials for \(E\) in characteristic 0. When the characteristic of \(F\) is \(p>2\) they give once again a generating set. This set is infinite; moreover, the authors prove it cannot be substituted by any finite set of generators.