Consider the direct product of the unit 3-sphere with the positive real numbers:

$S^3 \times \mathbb R^{+}$

Prove that this group is isomorphic to the non-zero quaternions $H^{*}$ under multiplication.


  • $\begingroup$ What are your ideas so far? And what group structure do you have on $S^3$? $\endgroup$ – John Hughes Nov 18 '15 at 18:57
  • $\begingroup$ Well I'm thinking about considering the unit-1 sphere and the positive reals as that is a similar structure. Then to express this in polar form, however I am struggling with putting S3×R+ into polar form and then knowing what to do to firstly prove the homomorphism. I believe I will be okay proving injectivity and surjectivity after this. I also know that S3 is a subgroup of H* and S3 is not abelian $\endgroup$ – Jake Smith Nov 18 '15 at 19:03

The group of unit quaternions is isomorphic to $S^3$. So, decomposing a quaternion into its norm and a unit quaternion provides the required isomorphism:

$$f:\mathbb{H}^*\rightarrow S^3\times\mathbb{R}^+$$ $$f(x) = \left(\frac{x}{\lVert x \rVert},\lVert x \rVert\right)$$

  • $\begingroup$ Can you explain in a bit more detail please i'm unsure on how to proceed. $\endgroup$ – Jake Smith Nov 18 '15 at 19:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.