Solution

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

Let be a retraction. Part (a) supplies a constant such that
The finite set generates . Put
If a shortest -word represents , applying the group homomorphism gives a -word for the same element of length at most . Hence
The inclusion is therefore bilipschitz and in particular a quasi-isometric embedding. Thus every finitely generated retract subgroup is quasi-isometrically embedded.

New to topics? Read the docs here!