= Solution
Let $r=d(G)$ be the <rank of a group>, let $S$ be a generating set of size $r$, and suppose $[G:H]=d$. Choose a Schreier transversal adapted to a spanning tree in the <Schreier coset graph>. By <Schreier's lemma>, $H$ is generated by the elements
$$
ts\overline{ts}^{-1}
\qquad(t\in T, s\in S).
$$
There are $dr$ candidates. The $d-1$ oriented edges in the spanning tree give trivial candidates, leaving at most $dr-(d-1)$. This proves the <Schreier index-rank inequality>
$$
\boxed{d(H)\leq1+d\bigl(d(G)-1\bigr).}
$$
Back to article page
