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!