Return to Revisions

The answer is "no". Let $G$ be a Tarski torsion-free monster, $H$ be the trivial subgroup. Then $(H,G]$ consists of $G$ and all cyclic subgroups of $G$, it has ACC and infinite length. If $K$ is a cyclic subgroup and $a$ is not in the cyclic centralizer $C(K)$, then the coset $aK$ contains two non-commuting elements, so it generates $G$ but no coset of $H$ generates $G$.