Size of conjugacy class of subgroups equals index of normalizer

From Groupprops

Statement

Let be a group and be a subgroup of . Let denote the conjugacy class of subgroups of in , i.e., the set of all subgroups of that are Conjugate subgroups (?) to (note that ). Then, there is a bijection:

where is the Normalizer (?) of in and denotes the coset space. In particular:

In other words, the size of the conjugacy class of subgroups equals the index of in .

Facts used

  1. Group acts as automorphisms by conjugation
  2. Fundamental theorem of group actions