User:Tomruen/3-sphere symmetry groups