Why do quaternions exist? I want to believe they exist, but all I can think of are reasons they should not exist.

These are my reasons.

  1. The quaternions are defined by the following equation:

$$i^2 = j^2 = k^2 = ijk = -1$$

There are four equalities and three variables. There should be no solution.

  1. Somehow there's a workaround for dilemma $1$. They exist. So how do you define the quantity $ijkijk$? Is it interpreted as $(ijk)(ijk)$, or $-1 \times -1$, or $1$? Or is it interpreted as $(i^2)(j^2)(k^2)$, or $-1 \times -1 \times -1$, or $-1$? $ijkijk$ can't be two values at once.

  2. I read that quaternions are not multiplication commutative. Why multiplication commutative? Why not multiplication associative or some other property?

  3. Okay, so there is a reason for number 3. Why can't I define a new set of numbers where the multiplicative identity doesn't hold? Like: $1x = x + 1?$

I've been pondering these questions for a couple of days now, so I would really appreciate an answer.

  • 13
    $\begingroup$ #2 doesn't work since multiplication doesn't commute in the quaternions. $ab\ne ba$ in general for $a,b\in\mathbb H$ (where $\mathbb H$ is the set of quaternions) $\endgroup$ – Akiva Weinberger Aug 26 '15 at 22:14
  • 8
    $\begingroup$ see the part about 4 by 4 matrices with real entries en.wikipedia.org/wiki/Quaternion#Matrix_representations $\endgroup$ – Will Jagy Aug 26 '15 at 22:15
  • 3
    $\begingroup$ You can define a binary operation as you like and call it multiplication if you care - what properties it has, and whether they are useful properties are a different matter. Multiplication in most commonly studied algebraic structures is associative, and is often, but not always, commutative - it is associative but not commutative for the Quaternions. For the Octonions multiplication is neither commutative nor associative. Another important property is how multiplication and addition are related where both are defined - the distributive law. $\endgroup$ – Mark Bennet Aug 26 '15 at 22:20
  • 6
    $\begingroup$ So, since other users answered most of the false claims you've made, I'll just add that the reason why quaternions exist, is that they add convenience for certain things. Other than that, you don't have to introduce, or accept/believe in them, for that matter. Just like complex numbers were introduced to deal with arbitrary order polynomials, namely inability to solve them operating using real numbers only, quaternions (part of the so called hypercomplex numbers) were introduced to deal with 3D solid body rotations. $\endgroup$ – Kaster Aug 26 '15 at 22:35
  • 10
    $\begingroup$ One thing to note: mathematics lets you develop any system you please. Quaternions exist because someone drempt them up, and decided which properties they wanted applied to them. The answer to the question you didn't ask is: quaternions are important because their properties happen to have properties which are very effective at handling real-world applicable problems involving rotations. This raises them up from "mathematical oddity" to "something that actually gets used in science and engineering." $\endgroup$ – Cort Ammon Aug 27 '15 at 2:51
  1. They are not exactly variables, they are symbols. And we are just defining what happens when we apply a binary operator to them. You can always have more equations than variables, that doesn't mean you don't have a solution (even in your highschool algebra), it just means its possible there might not be a solution.

  2. You are assuming the quaternions are commutative to make your argument here. They are not. You cannot rearrange terms. ij is different than ji.

  3. Commutative means we can rearrange the terms. For example x * y = y * x. The quaternions are in fact associative which means (x * y) * z = x * (y * z). This is why it is not ambiguous to write x * y * z since the grouping doesn't matter. The quaternions are indeed associative. This is why $ijkijk$ is not ambiguous.

  4. You can define whatever kind of structure you want. The quaternions are a Group which have the identity property. However there are other algebraic structures, such as Magmas, which impose less restrictions

If you are really interested in detailed answers, check out some abstract algebra books from your local university library.

| cite | improve this answer | |
  • $\begingroup$ @Danikar (from the answer) I don't go to any university yet. Perhaps there are some nice documents on the Internet that explain some detailed answers? $\endgroup$ – The Turtle Aug 26 '15 at 22:59
  • 6
    $\begingroup$ Even though you don't go to university, you can usually still get a library card to check out books. The great thing about a university library is that it is typically very underutilized by the actual students, so a lot of the books look for might be on the shelves. If you google free abstract algebra books, you should find a ton of books released by free online by professors. I can't necessarily vouch for any of them. When I was in school I tended to read a lot of Wikipedia, so that is also a very good internet resource. $\endgroup$ – zrbecker Aug 26 '15 at 23:08
  • $\begingroup$ @TheTurtle If you have a friend that goes to a University, you can ask them on your behalf to sign out books. $\endgroup$ – Jeel Shah Aug 27 '15 at 3:02
  • 9
    $\begingroup$ A mathematician who works above the ground sure calls it Lava, right? $\endgroup$ – null Aug 27 '15 at 13:03
  • 1
    $\begingroup$ I am not sure I agree on your point 4. You can not define a structure where x multiplied by the multiplicative identity produces something other than x. - So it depends on what OP means when he writes 1x=x+1. (You can of course define structures where there is no multiplicative identity, or there is a multiplicative identitity that is not the sucessor of the additive identity) $\endgroup$ – Taemyr Aug 27 '15 at 14:46

Presumably, you accept that quadruples of real numbers exist. Like, $(3,2.4,-\pi,6)$ is a thing that exists. It's just an ordered collection of four numbers.

One way to think about the quaternions is just that they are another way of writing quadruples. So, instead of writing $(3,2.4,-\pi,6)$, we can write $3+2.4i-\pi j+6k$, and think of it as a notational difference.

Then, we define what $+$ and $\times$ means for these entities. We can define $+$ to mean anything we want, here; let's go with the following definition: $$(a,b,c,d)+(A,B,C,D):=(a+A,b+B,c+C,d+D)$$ (where $:=$ means "is defined to be equal to"). Similarly, we can define multiplication in a similar way; I won't write it out in the general case, but we can define it to be such that, in the new notation, $ijk=-1$, etc.

Then, the rest of the work is just to go through a bunch of properties, one by one, and see if they work.

  • Is addition commutative? Yes.

  • Does the distributive property hold? Yes.

  • Does every nonzero quaternion have a multiplicative inverse? Yes. (Hard to show but doable)

  • Are multiplication and addition associative? Yes.

  • Does multiplication commute? No.

  • etc.

Of course, what I haven't touched on is why they're defined this way. Or why so many of the properties above seem to coincidentally hold. But I hope that I've convinced you that these numbers exist, since you can think of $a+bi+cj+dk$ to be another way of writing the ordered quadruple $(a,b,c,d)$.

| cite | improve this answer | |

Your logic for #1 is faulty. Just because you have four equations for three variables, there is nothing that concludes that there is no solution. For example, there exists a solution for the system of equations:

$$x^2=1\\ y^2=1\\ z^2=1\\ xyz=1$$

even though there are four equations for three variables.

For #2, you forgot that quaternions do not commute, thus, the expression $ijkijk$ is not equal to $iijjkk$. The expression can, however, be interpreted as$(ijk)(ijk)$ or $i(j(k(i(jk))))$ or any other combination of parentheses. No matter how you place the parentheses, the result will be $1$.

For #3: The quaternions are associative but not commutative. That is the property of the multiplication we defined.

For #4: Sure, you can define such a set. Why not? The thing is that unlike quaternions, the structure you will create will not have as nice a structure as quaternions, which are the only $4$ dimensional vector space over $\mathbb R$ on which multiplication is defined in such a way that we have a division ring.

| cite | improve this answer | |

It is easy to check multiplication is not commutative from the axioms you mentioned. For instance:

From $ijk=-1$ and $k^2=-1$, one deduces $$(ijk)k=-k=(ij)k^2=-ij,\enspace\text{whence}\enspace ij=k.$$ Similarly, we have $\;jk=i,\enspace ki=j$. We deduce: $$ ji=-jk^2i=-(jk)(ki)=-ij.$$

| cite | improve this answer | |

The quaternions are an example of a finite-dimensional associative real division algebra. Frobenius proved that there are only three: the reals, the complex numbers, and the quaternions (the octonions are nonassociative). So if you are inclined to believe division algebras exist, then the quaternions probably do.

On the other hand, it is a consequence of Bott's demonstration of a conjecture by Hirzebruch on the Pontrjagin classes of vector bundles over n-spheres that the sphere $S^{n-1}$ is parallelizable only for $n-1$ equal to 1, 3, or 7. So if you believe 3-spheres exist and that you can parallelize them (put an everywhere full-rank smooth vector field on them), then you should believe that $\mathbf R^4$ possesses a bilinear product operation without zero divisors, and hence that the quaternions exist. But you don't have to.

| cite | improve this answer | |

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