A generalization of the smash product of a graded ring (Q1107603)

It is proved here that the category of G-graded R-modules over a G-graded ring R (G is any group) is equivalent to the category of unital S-modules where \(S=R\#G\) * is a ring with local units (but without identity if G is infinite) defined analogously to the smash product of R with the dual of the group ring k[G] in the case of finite groups. Using this result a characterization of the graded Jacobson radical is obtained for infinite G.