S=\bigl\{ H\leqslant G\ \big|\ \lvert H \rvert = p^k\bigr\}