Quaternion

Quaternion multiplication table

↓ × →	1	i	j	k
1	1	i	j	k
i	i	−1	k	−j
j	j	−k	−1	i
k	k	j	−i	−1
Left column shows the left factor, top row shows the right factor. Also, ${\displaystyle a\mathbf {b} =\mathbf {b} a}$ and ${\displaystyle -\mathbf {b} =(-1)\mathbf {b} }$ for ${\displaystyle a\in \mathbb {R} }$, ${\displaystyle \mathbf {b} =\mathbf {i} ,\mathbf {j} ,\mathbf {k} }$.

In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843^[1][2] and applied to mechanics in three-dimensional space. The algebra of quaternions is often denoted by H (for Hamilton), or in blackboard bold by ${\displaystyle \mathbb {H} .}$ Quaternions are not a field, because multiplication of quaternions is not, in general, commutative. Quaternions provide a definition of the quotient of two vectors in a three-dimensional space.^[3][4] Quaternions are generally represented in the form

$${\displaystyle a+b\ \mathbf {i} +c\ \mathbf {j} +d\ \mathbf {k} ,}$$

where the coefficients a, b, c, d are real numbers, and 1, i, j, k are the basis vectors or basis elements.^[5]

Quaternions are used in pure mathematics, but also have practical uses in applied mathematics, particularly for calculations involving three-dimensional rotations, such as in three-dimensional computer graphics, computer vision, magnetic resonance imaging^[6] and crystallographic texture analysis.^[7] They can be used alongside other methods of rotation, such as Euler angles and rotation matrices, or as an alternative to them, depending on the application.

In modern terms, quaternions form a four-dimensional associative normed division algebra over the real numbers, and therefore a ring, also a division ring and a domain. It is a special case of a Clifford algebra, classified as ${\displaystyle \operatorname {Cl} _{0,2}(\mathbb {R} )\cong \operatorname {Cl} _{3,0}^{+}(\mathbb {R} ).}$ It was the first noncommutative division algebra to be discovered.

According to the Frobenius theorem, the algebra ${\displaystyle \mathbb {H} }$ is one of only two finite-dimensional division rings containing a proper subring isomorphic to the real numbers; the other being the complex numbers. These rings are also Euclidean Hurwitz algebras, of which the quaternions are the largest associative algebra (and hence the largest ring). Further extending the quaternions yields the non-associative octonions, which is the last normed division algebra over the real numbers. The next extension gives the sedenions, which have zero divisors and so cannot be a normed division algebra.^[8]

The unit quaternions give a group structure on the 3-sphere S³ isomorphic to the groups Spin(3) and SU(2), i.e. the universal cover group of SO(3). The positive and negative basis vectors form the eight-element quaternion group.