Finite-index subgroup quasi-isometry

ID: finite-index-subgroup-quasi-isometry

If is a finite-index subgroup of a finitely generated group , then is finitely generated and its inclusion into is a quasi-isometry. Finite generation follows from Schreier's lemma, while finitely many coset representatives give coarse surjectivity and uniformly bounded distortion.

New to topics? Read the docs here!