 An arithmetic hyperbolic three-manifold is the quotient of hyperbolic space formula_1 by an arithmetic Kleinian group.These manifolds include some particularly beautiful or remarkable examples.A quaternion algebra over a field formula_2 is a four-dimensional central simple formula_2-algebra.