Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-133/3/b/solution

Let be a finite generating set of , choose one lift for every , and put . The finite set
generates : 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. Hence
The 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!