THE DIMENSION OF IRREDUCIBLE MODULES FOR TRANSITIVE MODULE ALGEBRAS

We prove that for a semisimple Hopf algebra H, if A is a transitive H-module algebra and M is an irreducible A-module, then dim(A) divides dim(M)²dim(H).