Finite-dimensional Hopf algebras are free over grouplike subalgebras (Q1112147)

Let H be a finite-dimensional Hopf algebra over a field k. Let G be a subgroup of the group of group-like elements of H. The authors prove the important result that H is a free (left or right) kG-module. The second author had shown the result to be true when kG is semisimple [J. Algebra 118, 102-108 (1988; Zbl 0649.16007)]. However, even in this case, the proof in the paper under review is more general, involving simple subcoalgebras of H stabilized by (say left) multiplication by G, and working with relative left (H,kG)-Hopf modules. This result is an important special case of the conjecture that H is a free module over any Hopf subalgebra B. This conjecture has recently been proved by the authors.