
We will generalize Skryabin's Freeness Theorem [1111.
Skryabin , S. ( 2007 ). Projectivity and freeness over comodule algebras . Trans. Amer. Math. Soc. 359 : 2597 – 2623 .
[CrossRef], [Web of Science ®]
View all references]to quasi-Hopf algebras. We will show that for a finite dimensional quasi-Hopf algebra H and a right coideal subalgebra K
H all (H, K)-quasi Hopf bimodules are free K-modules, in particular, H is a free right and left K-module.