Past exam of the mathematics course of the University of Oxford / 2017 / Prelims / Mathematics I / 6 / b / iv

The stabilizer subgroup of $H$ for this conjugation group action is its normalizerIf it is all of $G$, the equality $gH{g}^{-1}=H$ holds for every $g\in G$, which is precisely the definition of a normal subgroup.

If instead $\mathrm{Stab}(H)=H$, the orbit-stabilizer theorem says that the group orbit of $H$ has size $[G:H]$. Every conjugate $gH{g}^{-1}$ is isomorphic to $H$, with group isomorphism $h\mapsto gh{g}^{-1}$, so this group orbit is a subset of $\Omega$. ThereforeThe group action need not be transitive on all of $\Omega$; this one group orbit supplies the lower bound.