Graded group actions and generalized \(H\)-actions compatible with gradings (Q6185979)

This article makes a number of interesting definitions generalizing the idea of a group or Hopf algebra acting on an algebra, among them: An algebra \(A=\oplus_{t\in T}A^{(t)}\) is graded by the set \(T\) for all \(s,t\in T\), \(A^{(s)}A^{(t)}\subseteq A^{(r)}\), for some \(r\in T\). In this case a linear transformation \(\varphi:A\rightarrow A\) is a graded pseudoauotomorphism if it preserves the grading and if for all \(s,t\in T\) and all \(a\in A^{(s)}\), \(b\in A^{(t)}\), \[\varphi(ab)=\alpha(s,t)\varphi(a)\varphi(b)+\beta(s,t)\varphi(b) \varphi(a),\] for some \(\alpha(s,t),\beta(s,t)\) in the base field. Obvious examples include isomorphisms and anti-automorphisms, as well as scalar multiples of them. The set of all graded pseudoauotomorphism of a graded algebra forms a group, which the author computes in a number of cases, including \(2\times2\) matrices with \(Z/2Z\)-grading. If a group \(G\) is equipped with a homomorphism to the group of graded pseudoauotomorphisms of \(A\), then \(A\) is said to have a \(T\)-graded \(G\)-action. This can be further extended to Hopf algebra actions. If \(A\) is finite dimensional with a \(T\)-graded \(G\)-action, and if either the characteristic of the base field is~0 or greater than the dimension, then the author proves that the Jacobson radical is \(G\)-invariant . This in turn permits him to prove an analogue of the Wedderburn-Artin theorem in the semisimple case. All of which leads up to a proof of the analogue of Amitsur's conjecture. In [Adv. Math. 140, No. 2, 145--155 (1998; Zbl 0920.16012)] \textit{A. Giambruno} and \textit{M. Zaicev} proved that if \(A\) is a finite dimensional, characteristic zero p.i.~algebra with codimension sequence \(\{c_n(A)\}\), then \(\lim_{n\rightarrow\infty} \sqrt[n]{c_n(A)}\) exists and is an integer. Making the natural definitions of \(G\)-identities and \(G\)-codimensions the same result holds here.