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!