The Strange Numbers That Birthed Modern Algebra

By Charlie Wood

Everything you could do with the real and complex numbers, you could do with the quaternions, except for one jarring difference. Whereas 2 × 3 and 3 × 2 both equal 6, order matters for quaternion multiplication. Mathematicians had never encountered this behavior in numbers before, even though it reflects how everyday objects rotate. Place your phone face-up on a flat surface, for example. Spin it 90 degrees to the left, and then flip it away from you. Note which way the camera points. Returning to the original position, flip it away from you first and then turn it to the left second. See how the camera points to the right instead? This initially alarming property, known as non-commutativity, turns out to be a feature the quaternions share with reality.

But a bug lurked within the new number system too. While a phone or arrow turns all the way around in 360 degrees, the quaternion describing this 360-degree rotation only turns 180 degrees up in four-dimensional space. You need two full rotations of the phone or arrow to bring the associated quaternion back to its initial state. (Stopping after one turn leaves the quaternion inverted, because of the way imaginary numbers square to –1.) For a bit of intuition about how this works, take a look at the rotating cube above. One turn puts a twist in the attached belts while the second smooths them out again. Quaternions behave somewhat similarly.

Upside-down arrows produce spurious negative signs that can wreak havoc in physics, so nearly 40 years after Hamilton’s bridge vandalism, physicists went to war with one another to keep the quaternion system from becoming standard. Hostilities broke out when a Yale professor named Josiah Gibbs defined the modern vector. Deciding the fourth dimension was entirely too much trouble, Gibbs decapitated Hamilton’s creation by lopping off the term altogether: Gibbs’ quaternion-spinoff kept the i, j, k notation, but split the unwieldy rule for multiplying quaternions into separate operations for multiplying vectors that every math and physics undergraduate learns today: the dot product and the cross product. Hamilton’s disciples labeled the new system a “monster,” while vector fans disparaged the quaternions as “vexatious” and an “unmixed evil.” The debate raged for years in the pages of journals and pamphlets, but ease of use eventually carried vectors to victory.

Quaternions would languish in the shadow of vectors until quantum mechanics revealed their true identity in the 1920s. While the normal 360 degrees suffice to fully rotate photons and other force particles, electrons and all other matter particles take two turns to return to their initial state. Hamilton’s number system had been describing these as-yet undiscovered entities, now known as “spinors,” all along.

Still, physicists never adopted quaternions in their day-to-day calculations, because an alternative scheme for dealing with spinors was found based on matrices. Only in the last few decades have quaternions experienced a revival. In addition to their adoption in computer graphics, where they serve as efficient tools for calculating rotations, quaternions live on in the geometry of higher-dimensional surfaces. One surface in particular, called a hyperkähler manifold, has the intriguing feature that it allows you to translate back and forth between groups of vectors and groups of spinors — uniting the two sides of the vector-algebra war. Since vectors describe force particles while spinors describe matter particles, this property holds extreme interest to physicists who wonder if a symmetry between matter and forces, called supersymmetry, exists in nature. (However, if it does, the symmetry would have to be severely broken in our universe.)

For mathematicians, meanwhile, quaternions never really lost their shine. “As soon as Hamilton invented the quaternions, everyone and his brother decided to make up their own number system,” Baez said. “Most were completely useless, but eventually … they led to what we now think of as modern algebra.” Today, abstract algebraists study a vast array of number systems in any number of dimensions and with all manner of exotic properties.

One not-so-useless construction turned out to be the fourth and final number system that permits a multiplication analog and an associated division, discovered shortly after the quaternions by Hamilton’s friend, John Graves. Some physicists suspect that these peculiar, eight-dimensional “octonions” may play a deep role in fundamental physics.

“I think there’s still a lot more to discover about geometry based on the quaternions,” said Nigel Hitchin, a geometer at the University of Oxford, “but if you want a new frontier, then it’s the octonions.”