Strongly rational comodules and semiperfect Hopf algebras over QF rings (Q1840485)

Let \(H\) be a Hopf algebra over a commutative quasi-Frobenius ring, and let \({\mathcal M}^H\) denote the category of all right \(H\)-comodules. The authors characterize in various ways the existence of a projective generator in \({\mathcal M}^H\).