# Infinite order element

Find a group $G$ that contains elements $a$ and $b$ such that $a^2=e$, $b^2=e$, but the order of the element $ab$ is infinite.

My attempt:

Clearly $G$ cannot be abelian. So I looked at two commonly known non-abelian groups, namely

(ii) 2 by 2 matrices

Neither of these seem to work. Any help would be much appreciated, guys.

• Think of linear transformations of $\mathbb{R}^2$. Then we can imagine involutions $a,b$ as each flipping the plane 180 degrees over some line. If the angle between the two lines were just so... – basket Oct 2 '16 at 17:14

Consider $GL_2(R)$ $$A=\begin{pmatrix}-1 & 1\\0&1\end{pmatrix}, B = \begin{pmatrix}-1&0\\0&1\end{pmatrix}$$ $$A^2=B^2=I, (AB)^n = \begin{pmatrix}1&n\\0&1\end{pmatrix}$$
The simplest example is probably the free group on two elements $a, b$ with the only relations $a^2 = e$, $b^2 = e$. By the way, a finite group like symmetries of a triangle cannot have an element of infinite order.