Once again this month I found myself thinking about quaternions and related matters–partly for their own sake, and perhaps partly to take my mind off the news. You probably know something about this too. This editorial is not intended as a lesson, just a meditation on how elegant some bits of mathematics can be.<\/p>\n
You know that the complex numbers are generated from the real numbers by throwing in a square root for -1<\/span>, or, equivalently, modding out the ideal langle x^2+1 rangle<\/span> from the ring of polynomials. Amazingly, by assuming a solution for one previously-insoluble polynomial, we’ve solved them all — and laid the foundations for much of the important applied math of the twentieth century. The complex numbers behave very much like the real numbers, except that they can’t be ordered.<\/p>\n If instead we mod out <x^2><\/span> we get the textit{dual numbers}<\/span>, with “infinitesimal” elements: these can be considered as an alternative basis for at least som calculus, and are useful in geometry. If we mod out <x^2-1><\/span> we get the textit{double numbers}<\/span> with applications to special relativity. Neither of these rings is quite as useful as mathbb{C}<\/span>, but that’s a high standard!<\/p>\n This is such a good trick that people wanted to try it again. Hamilton, after fruitless efforts to devise a three-dimensional division algebra, tried four dimensions and developed the quaternions. It’s a surprise today to realize that quaternions were in use before vectors: vectors in fact supplanted them for much of the twentieth century, but quaternions staged a comeback recently as a blisteringly fast way to handle rotations of three-dimensional objects in graphics processing units.<\/p>\n There are two obvious ways to think of the quaternions. We can start with the real numbers, and create an associative algebra with {two}<\/span> square roots of -1<\/span>, with ij = - ji<\/span>. We then have a symmetry between i<\/span>, j<\/span>, and k := ij<\/span>. This is the Clifford algebra approach. Alternatively, we can use the Cayley-Dickson construction, and add another imaginary element to mathbb{C}<\/span>, constructing the quaternions as mathbb{H} := mathbb{C}+jmathbb{C}<\/span>. I’m omitting important details in both cases; but, either way, we get the quaternions. And they behave {somewhat}<\/span> like the complex numbers, but we have to give up commutativity.<\/p>\n If we repeat the Cayley-Dickson construction, we get the octonions mathbb{O} := mathbb{H}+kmathbb{H}<\/span>. This time the new algebra is nonassociative. (Like Inanna descending into the underworld, our algebra must surrender a property at each gateway.) As the Clifford algebras are constructed to be associative, the Clifford algebra with three generators cannot be the octonions, though they are related. However, the octonions do preserve a vestige of associativity: they are an alternative algebra, meaning that triples of the forms (xx)y=x(xy)<\/span> and (xy)y=x(yy)<\/span> associate.<\/p>\n Repeat the construction one more time, and Inanna loses her last attribute: the sedenions, mathbb{S} := mathbb{O}+ellmathbb{O}<\/span>, are merely power-associative, with (xx)x = x(xx)<\/span>. (You’ve been familiar with another non-alternating but power-associative operation — the mean, frac{x+y}{2}<\/span>— since elementary school!) Worse, the sedenion algebra has zero-divisors, and thus has no multiplicative norm. There’s little left to be lost in further repetitions of the construction.<\/p>\n Meanwhile, the Clifford algebras are just getting warmed up for a pattern of Bott periodicity. And there are hybrids between the two families of algebras. Fascinating stuff, isn’t it?<\/p>\n","protected":false},"author":11,"template":"","section":[15],"keyword":[],"class_list":["post-19568","article","type-article","status-publish","hentry","section-editorial"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":""},"author-3-given-names":{"type":"textfield","raw":""},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":""},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":""},"author-2-given-names":{"type":"textfield","raw":""},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":""},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Dawson"},"author-given-names":{"type":"textfield","raw":"Robert"},"author-honorific":{"type":"textfield","raw":""},"author-email":{"type":"email","raw":"rjmdawson@gmail.com"},"author-institution":{"type":"textfield","raw":"Saint Mary's University"},"author-cms-role":{"type":"textfield","raw":"Editor, CMS Notes"}},"unknown":{"downloadable-pdf":{"type":"file","raw":"https:\/\/notes.math.ca\/wp-content\/uploads\/2025\/05\/3-Inanna-and-the-Algebras-\u2013-CMS-Notes.pdf","attachment_id":19770},"article-toc-weight":{"type":"numeric","raw":"2"},"author-surname":{"type":"textfield","raw":"Dawson"},"author-given-names":{"type":"textfield","raw":"Robert"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/19568","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":29,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/19568\/revisions"}],"predecessor-version":[{"id":19599,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/19568\/revisions\/19599"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/media?parent=19568"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/section?post=19568"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/keyword?post=19568"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}