1 Definition and notation
A quaternion is a number from a four-dimensional algebra that extends the complex numbers. It is usually written in the form a + bi + cj + dk, where a, b, c, and d are real numbers. The symbols i, j, and k denote three distinct imaginary units with special multiplication laws. Quaternions are used to describe both scalar quantities and three-dimensional vector-like components within a single object.
1.1 Standard form
In standard notation, a quaternion q is expressed as q = a + bi + cj + dk. The real part is a, while b, c, and d are the coefficients of the imaginary basis elements. This format makes it possible to combine a real scalar with three orthogonal imaginary directions. The same quaternion may also be written as an ordered quadruple, such as (a, b, c, d), when coordinate-style representation is convenient.
1.2 Real and imaginary parts
The real part of a quaternion is the coefficient of 1, namely a. The remaining terms bi + cj + dk form its imaginary part, which can be treated as a three-component vector. This split is useful because many algebraic operations can be understood by separating scalar and vector contributions. Although the imaginary part resembles a vector, the full quaternion still follows its own multiplication rules.
1.3 Quaternion basis elements
The quaternion algebra is built from the basis elements 1, i, j, and k. The element 1 acts as the multiplicative identity. The elements i, j, and k are independent from one another and satisfy specific relations that distinguish quaternions from ordinary complex numbers. Together, these basis elements span the space of all quaternions over the real numbers.
2 History
Quaternions emerged in the 19th century from efforts to generalize complex numbers and to find a useful algebra for three-dimensional geometry. Their introduction marked an important step in the development of abstract algebra. Although they were once considered unconventional, quaternions later became central in many branches of mathematics and applied science.
2.1 Discovery by William Rowan Hamilton
William Rowan Hamilton discovered quaternions in 1843 after searching for a three-dimensional analogue of complex multiplication. According to the well-known account, he realized the key multiplication relations for i, j, and k while walking near Broom Bridge in Dublin. He then carved the defining equations into the bridge, associating the discovery with a memorable moment in mathematical history. Hamilton introduced quaternions as a four-part system rather than a direct three-dimensional extension.
2.2 Early development and adoption
After Hamilton’s discovery, quaternions were studied intensively by mathematicians interested in algebra and geometry. They influenced the later development of vector analysis, even as some of their original notation was replaced by more familiar vector methods. Over time, quaternions found applications in mechanics, rotation theory, and later in computing and engineering. Their practical value became especially clear when efficient ways of representing spatial orientation were needed.
3 Algebraic properties
Quaternions behave like numbers in many respects, but their multiplication differs significantly from ordinary real-number arithmetic. They form a noncommutative algebra over the real numbers. This means that addition works in a straightforward coordinate-wise manner, while multiplication requires attention to order and basis rules.
3.1 Addition and subtraction
Addition and subtraction of quaternions are performed component by component. If q1 = a1 + b1i + c1j + d1k and q2 = a2 + b2i + c2j + d2k, then their sum adds each corresponding coefficient. Subtraction follows the same pattern with componentwise differences. These operations make the set of quaternions into a four-dimensional real vector space.
3.2 Multiplication
Quaternion multiplication is defined by distributing terms and then applying the relations among the basis elements. Because the imaginary units do not commute in the usual way, the order of factors matters. The result of multiplying two quaternions generally has both scalar and vector parts. This structure is one reason quaternions are effective for encoding rotations.
3.2.1 Noncommutativity
In general, pq is not equal to qp for quaternions p and q. This noncommutative behavior is one of the defining features of the algebra. It contrasts with the arithmetic of real and complex numbers, where multiplication does commute. Noncommutativity gives quaternions distinctive algebraic power but also requires care in formulas and calculations.
3.2.2 Multiplication rules for i, j, and k
The basis elements satisfy i^2 = j^2 = k^2 = ijk = -1. From these relations follow the cyclic products ij = k, jk = i, and ki = j. Reversing the order changes the sign, so ji = -k, kj = -i, and ik = -j. These rules determine all quaternion multiplication through distributivity.
3.3 Conjugate
The conjugate of q = a + bi + cj + dk is q̄ = a - bi - cj - dk. Conjugation changes the sign of the imaginary part while leaving the real part unchanged. It resembles complex conjugation and is useful in simplifying products and defining the norm. For many calculations, q and q̄ appear as a paired expression.
3.4 Norm and modulus
| The norm of a quaternion q is defined by | q | = sqrt(a^2 + b^2 + c^2 + d^2). This quantity measures the length of the quaternion in four-dimensional space. It is also called the modulus in many contexts. A quaternion has zero norm only when all of its components are zero. |
|---|
3.4.1 Multiplicative property of the norm
| A key property of quaternion norm is multiplicativity: | pq | = | p | q | . This makes the norm especially useful in algebraic manipulation and in applications involving composition. It also implies that multiplying by a nonzero quaternion cannot collapse a nonzero quaternion to zero. The property supports the existence of inverses for all nonzero quaternions. |
|---|
3.5 Inverse
| Every nonzero quaternion has a multiplicative inverse. If q is nonzero, then q^-1 = q̄ / | q | ^2. This formula follows from the identity q q̄ = q̄ q = | q | ^2. The inverse allows division by quaternions, though the order of multiplication remains important because of noncommutativity. |
|---|
4 Geometric interpretation
Quaternions have a strong geometric meaning, especially in three-dimensional space. They provide a compact way to encode rotations and combine them through algebraic multiplication. This interpretation connects the algebraic structure of quaternions with spatial motion and orientation.
4.1 Relation to rotations in 3D
A three-dimensional rotation can be represented by a unit quaternion acting on a vector through quaternion multiplication. This approach avoids some of the singularities associated with other rotation descriptions. It also gives a smooth and efficient way to combine multiple rotations. For this reason, quaternions are widely used in geometry and motion systems.
4.2 Unit quaternions
A unit quaternion has norm 1. Such quaternions form a special subset that corresponds closely to rotations in three-dimensional space. Because their inverses are simply their conjugates, unit quaternions are particularly convenient in computation. They preserve lengths when used to transform spatial directions.
4.3 Axis-angle representation
Any 3D rotation can be described by an axis and an angle. A unit quaternion can encode this information by placing the axis direction in the imaginary part and the rotation angle in its scalar and vector components. This representation is compact and numerically stable. It is often preferred in applications where successive orientations must be updated smoothly.
5 Quaternion algebra
Quaternions are a central example of a finite-dimensional algebra over the real numbers. Their structure illustrates how algebraic systems can extend familiar arithmetic while preserving useful properties. They also serve as a foundational case in the study of division algebras.
5.1 Division algebras
A division algebra is an algebra in which every nonzero element has an inverse. The quaternions satisfy this condition over the real numbers. Unlike the real or complex numbers, however, quaternion multiplication is noncommutative. This places quaternions among the most important examples in algebraic classification.
5.2 Quaternion fields over the reals
Strictly speaking, quaternions do not form a field because fields require commutative multiplication. Instead, they form a skew field, also called a division ring. When considered over the real numbers, the quaternion algebra is a four-dimensional real algebra with identity. This distinction is essential in formal algebraic terminology.
5.3 Hamilton's quaternions
Hamilton’s quaternions refer to the original quaternion algebra discovered by William Rowan Hamilton. This algebra is usually denoted by H. It consists of all expressions a + bi + cj + dk with real coefficients and the multiplication rules described earlier. Hamilton’s construction became the standard model of quaternions in mathematics.
6 Coordinate and matrix representations
Quaternions can be represented in several equivalent ways. These forms help connect quaternion algebra with linear algebra, complex numbers, and computational methods. Each representation emphasizes a different aspect of the same underlying object.
6.1 Vector form
A quaternion can be written as a scalar part plus a three-dimensional vector part. In this form, q = a + v, where v = bi + cj + dk. This notation is especially useful when interpreting quaternions geometrically. It highlights the separation between the real coefficient and the spatial component.
6.2 4-dimensional matrix representation
Quaternion multiplication can be represented by linear transformations acting on four-dimensional vectors. In particular, left multiplication by a fixed quaternion corresponds to a 4 × 4 real matrix. This matrix form is useful for computation and for relating quaternions to linear algebra. It provides an alternative way to study their structure through matrix operations.
6.3 Relation to complex numbers
Complex numbers can be seen as a special case of quaternions when the coefficients of j and k are zero. In that case, a + bi behaves exactly like an ordinary complex number. Quaternions therefore extend the complex plane into four dimensions. They preserve some familiar features while introducing richer multiplication behavior.
7 Exponential and trigonometric forms
Just as complex numbers can be expressed in polar form, quaternions also admit exponential and trigonometric descriptions. These forms are especially useful for rotations and for understanding unit quaternions. They provide a bridge between algebraic expressions and geometric interpretation.
7.1 Quaternion exponential
The exponential of a quaternion is defined by a power series, much like the exponential function for real and complex numbers. When the quaternion has a purely imaginary part, the exponential produces expressions involving sine and cosine. This makes quaternion exponentials highly relevant to rotation formulas. They also play a role in continuous motion and interpolation.
7.2 Polar form
A nonzero quaternion can often be expressed as a product of its norm and a unit quaternion. This resembles the polar decomposition of complex numbers into magnitude and direction. In quaternion form, the unit factor captures rotational information. The decomposition is useful for separating scale from orientation.
7.3 Logarithm and powers
Quaternion logarithms are defined for suitable nonzero quaternions, especially unit quaternions. They are used to recover axis-angle data and to define fractional powers. Powers of quaternions can be constructed from exponential and logarithmic forms. These operations are common in interpolation and in theoretical analyses of rotation.
8 Applications
Quaternions are valued in many fields because they offer a compact and efficient way to handle spatial rotation. Their algebraic structure reduces some computational difficulties present in other orientation systems. As a result, they are widely used in both theoretical and practical settings.
8.1 Computer graphics
In computer graphics, quaternions are frequently used to represent and interpolate object orientation. They help avoid problems such as gimbal lock that can arise with Euler angles. Smooth transitions between orientations can be generated with quaternion-based interpolation methods. This makes them important in animation, simulation, and game engines.
8.2 Robotics and control
Robotic systems use quaternions to track and update the orientation of arms, tools, and mobile platforms. Their compact form is convenient for control algorithms that must process frequent rotational changes. Quaternions also support stable numerical methods in feedback systems. For these reasons, they are common in robotic motion planning and attitude control.
8.3 Physics and kinematics
In physics, quaternions are used to describe rotational motion and angular relationships. They appear in rigid-body dynamics, kinematics, and formulations of spatial orientation. Their algebra helps simplify calculations involving compound rotations. They are especially useful when continuous rotation needs to be represented without ambiguity.
8.4 Navigation and attitude estimation
Navigation systems, including those used in aerospace and autonomous vehicles, often rely on quaternions to represent attitude. They support efficient updates from sensor measurements such as gyroscopes and accelerometers. Because they avoid singularities found in some other orientation methods, they are well suited to estimation algorithms. Their use improves the robustness of orientation tracking.
9 Extensions and related concepts
Quaternions are part of a broader family of algebraic structures that generalize number systems and geometric transformations. Some related systems extend the quaternion idea in different directions, while others share similar methods for encoding motion. These connections make quaternions an important gateway to advanced algebra.
9.1 Dual quaternions
Dual quaternions extend quaternions by adding a dual number component. They are often used to represent rigid body motion, combining rotation and translation in one algebraic object. This makes them useful in robotics, animation, and geometric modeling. Dual quaternions preserve many of the computational advantages of ordinary quaternions.
9.2 Octonions
Octonions are an eight-dimensional extension of the quaternions. Unlike quaternions, octonion multiplication is not associative. They are less commonly used in applications but are important in higher algebra and theoretical studies. Their relation to quaternions shows how number systems can become increasingly complex as dimensions increase.
9.3 Clifford algebras
Clifford algebras generalize quaternion-like constructions to broader geometric settings. They provide a framework for combining scalars, vectors, and higher-dimensional elements in a unified algebra. Quaternions can be viewed as one of the simplest examples within this family. Clifford algebras are widely used in geometry, physics, and computer science.