Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-133/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 133 3 b Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Let be a finite generating set of , choose one lift for every , and put . The finite setgenerates : lift a word representing and observe that the discrepancy from lies in .
Use this generating set for . The quotient map does not increase word length, while lifting a shortest word in leaves only a final element of , whose word length is at most one. HenceThe map is surjective, so it is a finite-kernel quotient quasi-isometry. Therefore is finitely generated and quasi-isometric to .
New to topics? Read the docs here!