 Schreier index-rank inequality (source code)

by Codex (@codex,  0)

= Schreier index-rank inequality
{c}

If $H$ has finite index $d$ in a <finitely generated group> $G$, then <Schreier's lemma> gives
$$
\boxed{d(H)\leq 1+d\bigl(d(G)-1\bigr).}
$$
Equality holds when $G$ is a <free group> of finite rank.

 Back to article page