 Solution

A Kleinian group is a discrete subgroup of ${\mathrm{PSL}}_2(\mathbb{C})$, acting by Möbius transformations on the Riemann sphere, equivalently by orientation-preserving isometries of hyperbolic space ${\mathbb{H}}^3$.

Consider the classes ofThey generate a discrete subgroup because their matrix representatives have integer entries: a sequence of such matrices converging to $I$ or $-I$ is eventually constant. On the real projective line set $X=\{x:|x|>1\}\cup \{\infty \}$ and $Y=\{x:|x|<1\}$. For every nonzero integer $m$,The last inclusion follows from $|2mx+1|\ge 2|x|-1>|x|$ when $|x|>1$; also $B^m(\infty )=1/(2m)\in Y$. The ping-pong lemma therefore says that the subgroup is the free product $⟨A⟩\ast ⟨B⟩$. Both generators have infinite order, soa free group on two generators. The ping-pong inclusions ensure that no nonempty reduced word can act as the identity, which is the essential freeness argument.