4.II.12G

Geometry of Group Actions
Part II, 2008

What does it mean for a subgroup GG of the Möbius group to be discrete?

Show that a discrete group necessarily acts properly discontinuously in hyperbolic 3-space.

[You may assume that a discrete subgroup of a matrix group is a closed subset.]