In mathematics, a spherical 3-manifold M is a 3-manifold of the form
where is a finite subgroup of O(4) acting freely by rotations on the 3-sphere . All such manifolds are prime, orientable, and closed. Spherical 3-manifolds are sometimes called elliptic 3-manifolds.