Prove: Let H be a finite group of permutations of the set Y. Suppose Y acts transitivity on Y. Then Y is a finite set, and |Y|divide |H|
Follow Math Help Forum on Facebook and Google+
It's a standard theorem that as H-sets where and and since acts transitively so we have and the result is immediate.