The Gelfand-Kirillov dimension of rings with Hopf algebra action. (Q1403496)

Let \(k\) be a perfect field, \(H\) an irreducible cocommutative Hopf \(k\)-algebra and \(P(H)\) the space of primitive elements of \(H\). Suppose that \(H\) acts locally finitely on a \(k\)-algebra \(R\) and consider the associated smash product \(R\#H\). Assume that \(H\) is almost solvable with \(\dim_KP(H)=n\) and such that the sequences of divided powers are all infinite. Then the Gelfand-Kirillov dimension of \(R\#H\) is \(\text{GKdim}(R)+n\). This is an extension of the same result on the Gelfand-Kirillov dimension of the differential operator ring \(R\#U(G)\), where \(G\) is a finite-dimensional Lie algebra acting locally finitely on \(R\) [\textit{T. Guédénon}, Beitr. Algebra Geom. 43, No. 2, 351-363 (2002; Zbl 1014.16022)].