In this paper, we derive some criteria for the projectivity of a module coalgebra over a finite dimensional Hopf algebra. In particular, we show that any Hopf algebra over a field of characteristic zero is faithfully flat over its group-like subHopf algebra. Finally, we prove that if B B is a finite dimensional subHopf algebra of a Hopf algebra A A , then B B is normal in A A if and only if A B + = B + A AB^+ = B^+A . This improves a result by S. Montgomery (1993).