# Classification of a certain family of real division algebras

Let $A$ be a (non-commutative, not nessasarilly associative) division algebra over $\mathbb{R}$ such that $\mathbb{R}^3 \subset A$. Assume that for any two nonzero vectors $u, v \in \mathbb{R}^3$ we have the following property: if $\overset{\sim} u, \overset{\sim} v$ are obtained from $u, v$ by a rotation in a 2-plane containing $u, v$, then $\overset{\sim} u (\overset{\sim} v)^{-1}=uv^{-1}$. Show that $A \neq \mathbb{R}^3$. Classify all such algebras $A$.

I was told that this problem originally lead Hamilton to the invention of quaternions though I was not able to find any such recollection in his papers.

## migrated from mathoverflow.netApr 27 '18 at 10:10

This question came from our site for professional mathematicians.

• This looks like homework. What's the motivation? – David White Apr 25 '18 at 0:54
• "such that $\mathbb{R}^3\subset A$" is senseless (or has many possible meanings) – YCor Apr 25 '18 at 21:32