The Stabilizer subgroup of a set under the Conjugation action (vid)
Normalizer of () is equal to iff is a Normal subgroup.
divides ( divides ). both because they are subgroups (Lagrange's theorem). Let be the number by which divides , i.e. the number of different conjugate subgroups to (that is subgroups we get by applying Conjugation action to ). This is the number of elements in the orbit of under this action. Then by the Orbit-stabilizer theorem, . ?? See here why. But don't see why it is related to orbit-stabilizer... He may have made a mistake..