A Maschke type theorem for relative Hom-Hopf modules

In this paper, we prove a Maschke type theorem for the category of relative Hom-Hopf modules. In fact, we give necessary and sufficient conditions for the functor that forgets the $(H, \a)$-coaction to be separable. This leads to a generalized notion of integrals.
Comment: 15 pages to appear Czechoslovak Mathematical Journal