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!