SEMISIMPLICITY OF LOCALLY FINITE A#H C-MODULES

Let k be a field, H a Hopf k-algebra with bijective antipode, A aleft H-module algebra and C a Hopf algebra with bijective antipode which is a left H-comodule algebra. We give sufficient conditions for the category of C-locally finite left A#H C-modules to be semisimple.