Milnor–Švarc lemma
= Milnor–Švarc lemma
{c}
{wiki}
If a <group> has a <properly discontinuous group action> by <isometries> that is also a <cocompact group action> on a nonempty <proper metric space> that is a <geodesic metric space>, then the <group> is finitely generated and every <orbit map> from the <word metric> for any finite <generating set of a group> is a <quasi-isometry>. Finite stabilizers are permitted.