Abstract:There are theorems in the literature which are referred as Maschke type theorems, because of the attempt to generalize Maschke's classical theorem. Our remark is that all these theorems are in fact providing sufficient conditions for the separability of a certain forgetful functor. But, unlike classical Maschke's theorem, where the sufficient condition is also necessary, none of these theorems gives any necessary condition for the separability of the forgeful functor in question. Our job is to find a necessary and sufficient condition for the separability of the forgetful functor from the category of Doi-Hopf modules forgetting the comodule structure. As in the classical case, this functor is separable iff exists a certain "integral map" with a normalizing property. As particular cases, improved versions of "Maschke type" theorems are given. Other various applications are given. For example, keeping in mind that the category of Yetter-Drinfel'd modules is also a category of Doi-Hopf modules, we obtain the notion of quantum integral. For H a finite dimensional Hopf algebra, the existence of such a quantum integral is a necessary and sufficient condition for the Drinfel'd double to be a separable extension of H.

D4-Modules

On Modules with D-Koszul Towers

C4-Modules

Rudiment of Weak Doi-Hopf Π-Modules

On S C D F -Modules

Generalized Lifting Modules.

Doi-Hopf Modules, Yetter-Drinfel'D Modules And Frobenius Type Properties

Bases of q-Schur Module A(lambda)

[math]-Modules in Graphs

$\mathscr{D}$-modules on the basic affine space and large $\mathfrak{g}$-modules

Differential modules and Deformations of Free Complexes

Fiat Modules, Projective Modules and Free Modules

On iso-DICC modules

ON THE REGULARITY OF D-MODULES GENERATED BY RELATIVE CHARACTERS

Separable functors for Doi-Hopf modules. Applications

Quasi-Hereditary Algebras and Quadratic Forms,

Real simple modules over simply-laced quantum affine algebras and categorifications of cluster algebras

Extending Endo-Monomial Modules

On the Triviality of Gorenstein -Modules

Irreducible [math] -modules over a class of domains