How can one construct families of cocompact discrete subgroups of the topological group $\text{SL}_2(\mathbb{C})$? Here quaternion algebra's might help, I believe, but I have some difficulties with the construction.