Definition: A 3-manifold of the form \(M \cong S^3/\Gamma\) where \(\pi_1(M) \cong \Gamma \leq {\operatorname{SO}}_4({\mathbf{R}})\).
-
If \(\Gamma\) is finite cyclic, \(M\) is a 3-dimensional lens space
-
Unsorted/Three-manifolds MOC with finite fundamental group are spherical.