If a group acts properly discontinuously, cocompactly, and isometrically on a proper geodesic metric space, then the group is finitely generated and every orbit map from a word metric is a quasi-isometry.
New to topics? Read the docs here!
New to topics? Read the docs here!