= Solution
Put
$$
u=\begin{pmatrix}1&2\\0&1\end{pmatrix},
\qquad
v=\begin{pmatrix}1&0\\2&1\end{pmatrix}.
$$
For every nonzero <integer> $n$,
$$
u^n=\begin{pmatrix}1&2n\\0&1\end{pmatrix},
\qquad
v^n=\begin{pmatrix}1&0\\2n&1\end{pmatrix}.
$$
Let
$$
A=\{(x,y):|x|>|y|\},
\qquad
B=\{(x,y):|x|<|y|\}.
$$
These are disjoint nonempty subsets of $\mathbb R^2$. If $(x,y)\in B$, then
$$
|x+2ny|\geq2|n||y|-|x|>|y|,
$$
so $u^n(B)\subseteq A$. Similarly, if $(x,y)\in A$, then
$$
|2nx+y|\geq2|n||x|-|y|>|x|,
$$
so $v^n(A)\subseteq B$.
The <ping-pong lemma> now identifies the subgroup generated by $u$ and $v$ with
$$
\langle u\rangle*\langle v\rangle
\cong\mathbb Z*\mathbb Z
\cong F_2.
$$
Both generators have infinite order, so this is a <free group> of rank two inside the <special linear group> $\operatorname{SL}_2(\mathbb Z)$.
Back to article page
