Size of conjugacy class of subgroups equals index of normalizer
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 .