Maschke functors, semisimple functors and separable functors of the second kind: applications (Q1861499)

First the authors introduce separable functors of the second kind (or \(H\)-separable functors) and \(H\)-Maschke functors. \(H\)-separable functors are generalizations of separable functors. Various necessary and sufficient conditions for a functor to be \(H\)-separable or \(H\)-Maschke, in terms of generalized (co)Casimir elements (integrals, in the case of Hopf algebras), are given. It is shown that an \(H\)-separable functor is always \(H\)-Maschke, but the converse holds in particular situations. A special role is played by Frobenius functors and their relations to \(H\)-separability. These concepts are applied to modules, comodules, entwined modules, quantum Yetter-Drinfeld modules, relative Hopf modules. A structure theorem is presented for injective objects in the category of entwined modules.