Schreier index-rank inequality

ID: schreier-index-rank-inequality

If has finite index in a finitely generated group , then Schreier's lemma gives
Equality holds when is a free group of finite rank.

New to topics? Read the docs here!