On actions of Hopf algebras with cocommutative coradical (Q5939606)

Let \(H\) be a finite dimensional Hopf algebra with a left integral \(t\) and \(A\) a left \(H\)-module algebra with a unit element and with the subalgebra of invariants \(A^H\). It is assumed that there exists an element \(a\in A\) such that \(t(a)=1\). If \(M\) is a simple \(A\)-module then it has finite length \(\leq\dim H\) as an \(A^H\)-module. Let \(J(R)\) be the Jacobson radical of any ring \(R\). It is shown that \(J(A^H)^{\dim H}\subseteq J(A)\cap A^H\subseteq J(A^H)\). If the element \(a\) commutes with each element of \(A^H\) then \(J(A)\cap A^H\subseteq J(A^H)\). Let the coradical of \(H\) be cocommutative. Then \(A^H\) is a PI-algebra if and only if \(A\) is a PI-algebra. If \(I\) is an \(H\)-invariant ideal of \(A\), then (i) the left annihilator of \(I^H\) in \(I\) is nilpotent; (ii) if \(a\) commutes with elements of \(I^H\) and \(L\) is a nilpotent left ideal of \(I^H\), then \(AL\) is nilpotent. Suppose now that \(H\) is a pointed finite dimensional Hopf algebra and \(A\), \(t\), \(a\) are as above. Then there exists a positive integer \(m\leq\dim H\) such that for all \(a_1,\dots,a_m\in A\) there exists a presentation of the product \(a_1\cdots a_m\) as a sum of monomials of the form \(b_0a_{i_1}b_1a_{i_2}\cdots a_{i_n}b_{i_n}\) where \(n<m\) and \(b_0,b_1,\dots,b_n\in A^H\). These results generalize and refine corresponding results of G. Bergman, I. M. Isaacs, S. Mongomery (the case of a finite automorphism group), D. Passman, W. Ferrer-Santos, M. Quinn, M. Cohen, S. Westreich, S. Zhu, A. Totok, the reviewer and some others.