Normalizer subgroup

cosmos 16th October 2017 at 11:58pm
Conjugation action

The Stabilizer subgroup of a set HH under the Conjugation action (vid)

Normalizer of HH (N(H)N(H)) is equal to GG iff HH is a Normal subgroup.

H|H| divides N(H)|N(H)| (N(H)|N(H)| divides G|G|). both because they are subgroups (Lagrange's theorem). Let cc be the number by which H|H| divides N(H)|N(H)|, i.e. the number of different conjugate subgroups to HH (that is subgroups we get by applying Conjugation action to HH). This is the number of elements in the orbit of HH under this action. Then by the Orbit-stabilizer theorem, G=N(H)c|G| = |N(H)|c. ?? See here why. But don't see why it is related to orbit-stabilizer... He may have made a mistake..