I'm trying to prove that the quaternion group $H^*$ is isomorphic to the direct product $S^3\times R^+$ where $S^3$ is the 3-sphere which has unit length 1. And $R^+$ being the group of positive real numbers.
We know that there's a relationship which exists between the groups in which that $\{x=R, x>0\}$ but I do not know how to carry on any further.
Could someone help?
Hint: the 3-sphere is the set of unit vectors in Euclidean 4-space and the quaternions (including 0) are a model of 4-space.