Solution

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

This is the Baumslag-Solitar group . Its defining relation gives, by mathematical induction,
In the cyclic subgroup with generator ,
whereas in , with generators ,
If inclusion were a -quasi-isometric embedding, its lower bound would imply
for every , which is impossible because an exponential function eventually dominates every linear function. Hence is not quasi-isometrically embedded; it is an exponentially distorted subgroup.

New to topics? Read the docs here!