4
$\begingroup$

So I've been reading a little bit into ideas around quaternions and octonions. I just read the following explanation that introduces them as what happens when you have complex numbers and you then ask "but what if there was another square root of $-1$?":

http://www.askamathematician.com/2015/02/q-quaternions-and-octonions-what/

Now I've skim-read different things and seen a few different ways of introducing and explaining how complex numbers, quaternions and octonions relate to each other, however this particular explanation made me curious.

See, when we get introduced to complex numbers, it's not as a "oh what if there was an extra square root to $-1$" question, but a "there should be a square root to $-1$ but with only real numbers it's undefined". That is, there's an actual equation ${x}^{2} = -1$ that you're trying to solve and can't with only real numbers.

My main question then - is there a similar equation or problem where, with only real and complex numbers, you cannot solve it without introducing quaternions? And similarly again for octonions?

Finally, if instead the way the website above introduces these concepts is, in some sense, fundamental, then what exactly is special about the number $-1$? For instance, why not introduce new number systems based on defining new square roots of some completely different number(s)?

$\endgroup$
  • 4
    $\begingroup$ There actually is an interesting number system obtain by defining a new number $\epsilon^2=0$. These are called the [Dual Numbers])(en.wikipedia.org/wiki/Dual_number) $\endgroup$ – Tyberius Sep 16 '17 at 23:19
  • 2
    $\begingroup$ "cannot solve it without" - that's a bit strict, I think. One could certainly choose to work instead with certain $4\times 4$ matrices with properties that allow that system to be isomorphic to the quaternions. The quaternions just happen to be a convenient and compact representation. And as already mentioned, the dual numbers are a very useful system. Have a look at the "split-complex numbers" as well. $\endgroup$ – J. M. is a poor mathematician Sep 16 '17 at 23:25
  • $\begingroup$ youtube.com/watch?v=3BR8tK-LuB0 might be a good start ? $\endgroup$ – user451844 Sep 16 '17 at 23:27
  • $\begingroup$ The motivation for constructing the quaternions is more geometric than purely algebraic. Hamilton wanted 3D rotations the way complex numbers yield 2D rotations, so wanted a 3D number system equipped with a multiplicative norm. However, the norm didn't work out to be multiplicative... until he realized that $ij$ (the product of $i$ and the new $j$) must be linearly independent, i.e. jut out in a 4th dimension. Then it becomes more evident the relations they must satisfy in order for multiplicativity to be achieved, after which we get 3D and 4D rotations via quaternions. $\endgroup$ – anon Sep 17 '17 at 15:00
1
$\begingroup$

There's nothing too special about looking at square roots of $-1$. It's clear by the fundamental theorem of algebra if you want more than 2 square roots of a number you have to go beyond $\mathbb C$. If we want to get more square roots of various numbers, we need to consider more general rings, algebras, etc., such as the quaternions or matrix algebras.

But, if you want a (finite-dimensional, associative) division ring over $\mathbb R$, then all you have are $\mathbb C$ and $\mathbb H$, Hamilton's quaternions. You can construct $\mathbb H$ by adjoining to $\mathbb C$ another square root $j$ of any negative real number (what's important here is that $j^2$ is not already a square in $\mathbb R$) such that $ij = -ji$.

That said, while looking for more square roots of numbers is an amusing way to introduce $\mathbb H$, there are more motivated ways to introduce $\mathbb H$ (Hamilton's geometric motivations, factoring numbers of the form $x^2+y^2+z^2+w^2$, looking for (skew)fields beyond $\mathbb C$, ...).

$\endgroup$

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.