Quasi-isometry criterion for a group homomorphism

ID: quasi-isometry-criterion-for-a-group-homomorphism

For finitely generated groups , a group homomorphism is a quasi-isometry exactly when its kernel is finite and its image is a finite-index subgroup of . The finite kernel controls collapse of distances, and finite index is exactly the coarse-surjectivity condition.

New to topics? Read the docs here!