Identities on Lie or Jordan-group-graded associative algebras. (Q2438894)

Let \(G\) be a group and let \(A\) be an associative algebra over a field (of arbitrary characteristic). Assume \(A=\bigoplus_{g\in G}A_g\) is a direct sum decomposition of the vector space \(A\). Then if \(A_gA_h\subseteq A_{gh}\) for any \(g,h\in G\) the corresponding grading on \(A\) is associative. The vector space \(A\) equipped with the Lie bracket \([a,b]=ab-ba\) is a Lie algebra denoted by \(A^-\). Considering it with the symmetric product \(a\circ b=ab+ba\) yields a Jordan algebra denoted by \(A^+\). The \(G\)-grading on the vector space \(A\) is a Lie grading if it is actually a \(G\)-grading on the Lie algebra \(A^-\); it is a Jordan grading whenever it is a grading on the Jordan algebra \(A^+\). It is easy to see that if \(G\) is Abelian these three notions coincide, and if \(G\) is nonabelian they may be different. It is well known that if \(A\) is associative and \(G\)-graded, \(G\) a finite group, and the neutral component \(A_1\) satisfies a polynomial identity of degree \(d\) then \(A\) is PI and satisfies an identity of degree bounded by a function of \(d\) and \(|G|\). Here the authors extend this result to the case of associative algebras with a Lie or Jordan grading. Applications to the identities of algebras with involution are deduced as well.