= Solution
This is the <Baumslag-Solitar group> $G=\operatorname{BS}(1,2)$. Its defining relation gives, by <mathematical induction>,
$$
b^nab^{-n}=a^{2^n}.
$$
In the cyclic subgroup $H=\langle a\rangle$ with generator $a$,
$$
d_H(1,a^{2^n})=2^n,
$$
whereas in $G$, with generators $a,b$,
$$
d_G(1,a^{2^n})\leq2n+1.
$$
If inclusion were a $(\lambda,\varepsilon)$-<quasi-isometric embedding>, its lower bound would imply
$$
\lambda^{-1}2^n-\varepsilon\leq2n+1
$$
for every $n$, which is impossible because an <exponential function> eventually dominates every <linear function>. Hence $H$ is not quasi-isometrically embedded; it is an <exponentially distorted subgroup>.
Back to article page
