Let $G$ be a group and $H$ a subgroup with finite index $d$. Then for any finite generating set $S$ of $G$, does $S^{\le k}$ contain a generating set of $H$ where $k$ is a constant depending only on $d$? When $S$ is symmetric, i.e. $S=S^{-1}$, the conclusion holds by Shalen-Wagreich's Lemma 3.4 and $k=2d-1$. But I wonder whether it still holds when $S$ is non-symmetric? Or is there a counterexample?
Does the Shalen-Wagreich lemma holds for non-symmetric generating sets?
dennis
- 145
- 4