# Wreath product of subgroup with symmetric group

I am going through Generic Quantum Fourier Transforms by Moore et al. I would like to put the screenshot of the section I am confused about below.

So, Why does $H$ need to be of size $poly(n)$ for the sequence to become true? What happens when $|H| >>$poly(n)\$?