Finite-kernel quotient quasi-isometry

ID: finite-kernel-quotient-quasi-isometry

If a finitely generated group maps surjectively to with finite kernel, the quotient map is a quasi-isometry. After lifting a finite generating set of , the only possible extra length lies in the finite kernel and is therefore uniformly bounded.

New to topics? Read the docs here!