A consequence of the Nielsen-Schreier theorem is the following: If a group generated by $n$ elements, then every subgroup of finite index $k$ is generated by $kn−k+1$ elements. See also this aops discussion.
Martin Brandenburg
- 63.1k
- 13
- 207
- 424