Let G be a finite group. and let H be a subgroup of G, and call N(H) the normalizer of H in G defined as, {x|xHx^-1 = H}.
Prove that N(H) is a subgroup of G
and prove that |{xHx^-1|x in G}| = |G/N(H)|
The second part is a result of the counting formula which states that the size of the orbit is equal to the index of the stabilizer . and under the group action conjugation. The LHS is the orbit of H under conjugation, so these sets are equal in cardinality.
Plus there is a really easy bijection to establish this fact. by . Surjectivity is clear.
Injectivity and well-defined is also pretty obvious.