Sean Li Math 4340 Notes Spring 2013 Abstract Algebra Lecture 18 3/1/13 Theorem.

m. If G is a p-group then it contains a subgroup of every order pi for i = 0, . . . , k. |G| = i mi = i |Ogi | where gi is representative of the ith orbit. The order of the orbit divides the orbit of the group. Note the mi s are powers of p, but p mi for the mi = 1. So p|Z(G). (I was setting up OCaml on my computer.)