Group-graded algebras with polynomial identity

LetG be a finite group and letR=Σg∈GRg be any associative algebra over a field such that the subspacesRg satisfyRgRh⊆Rgh. We prove that ifR1 satisfies a PI of degreed, thenR satisfies a PI of degree bounded by an explicit function ofd and the order ofG. This result implies the following: ifH is a finite-dimensional semisimple commutative Hopfalgebra andR is anyH-module algebra withRH satisfying a PI of degreed, thenR satisfies a PI of degree bounded by an explicit function ofd and the dimension ofH.