![]() | ||
In abstract algebra, the split-quaternions or coquaternions are elements of a 4-dimensional associative algebra introduced by James Cockle in 1849 under the latter name. Like the quaternions introduced by Hamilton in 1843, they form a four dimensional real vector space equipped with a multiplicative operation. Unlike the quaternion algebra, the split-quaternions contain zero divisors, nilpotent elements, and nontrivial idempotents. (For example, 1⁄2(1 + j) is an idempotent zero-divisor, and i − j is nilpotent.) As a mathematical structure, they form an algebra over the real numbers, which is isomorphic to the algebra of 2 × 2 real matrices. For other names for split-quaternions see the Synonyms section below.
Contents
- Matrix representations
- Generation from split complex numbers
- Profile
- Pan orthogonality
- Counter sphere geometry
- Application to kinematics
- Synonyms
- References
The set {1, i, j, k} forms a basis. The products of these elements are
ij = k = −ji,jk = −i = −kj,ki = j = −ik,i2 = −1,j2 = +1,k2 = +1,and hence ijk = 1. It follows from the defining relations that the set {1, i, j, k, −1, −i, −j, −k} is a group under coquaternion multiplication; it is isomorphic to the dihedral group of a square.
A coquaternion
q = w + xi + yj + zk, has a conjugate q* = w − xi − yj − zk.Due to the anti-commutative property of its basis vectors, the product of a coquaternion with its conjugate is given by an isotropic quadratic form:
Given two coquaterions p and q, one has N(p q) = N(p) N(q), showing that N is a quadratic form admitting composition. This algebra is a composition algebra and N is its norm. Any q ≠ 0 such that N(q) = 0 is a null vector, and its presence means that coquaternions form a "split composition algebra", and hence a coquaternion is also called a split quaternion.
When the norm is non-zero, then q has a multiplicative inverse, namely q*/N(q). The set
U = {q : qq* ≠ 0}is the set of units. The set P of all coquaternions forms a ring (P, +, •) with group of units (U, •). The coquaternions with N(q) = 1 form a non-compact topological group SU(1,1), shown below to be isomorphic to SL(2, R).
Historically coquaternions preceded Cayley's matrix algebra; coquaternions (along with quaternions and tessarines) evoked the broader linear algebra.
Matrix representations
Let
q = w + xi + yj + zk,and consider u = w + xi, and v = y + zi as ordinary complex numbers with complex conjugates denoted by u* = w − xi, v* = y − zi. Then the complex matrix
represents q in the ring of matrices, i.e. the multiplication of split-quaternions behaves the same way as the matrix multiplication. For example, the determinant of this matrix is
uu* − vv* = qq*.The appearance of the minus sign, where there is a plus in H, distinguishes coquaternions from quaternions. The use of the split-quaternions of norm one (qq* = 1) for hyperbolic motions of the Poincaré disk model of hyperbolic geometry is one of the great utilities of the algebra.
Besides the complex matrix representation, another linear representation associates coquaternions with 2 × 2 real matrices. This isomorphism can be made explicit as follows: Note first the product
and that the square of each factor on the left is the identity matrix, while the square of the right hand side is the negative of the identity matrix. Furthermore, note that these three matrices, together with the identity matrix, form a basis for M(2, R). One can make the matrix product above correspond to jk = −i in the coquaternion ring. Then for an arbitrary matrix there is the bijection
which is in fact a ring isomorphism. Furthermore, computing squares of components and gathering terms shows that qq* = ad − bc, which is the determinant of the matrix. Consequently there is a group isomorphism between the unit quasi-sphere of coquaternions and SL(2, R) = {g ∈ M(2, R) : det g = 1}, and hence also with SU(1, 1): the latter can be seen in the complex representation above.
For instance, see Karzel and Kist for the hyperbolic motion group representation with 2 × 2 real matrices.
In both of these linear representations the norm is given by the determinant function. Since the determinant is a multiplicative mapping, the norm of the product of two coquaternions is equal to the product of the two separate norms. Thus coquaternions form a composition algebra. As an algebra over the field of real numbers, it is one of only seven such algebras.
Generation from split-complex numbers
Kevin McCrimmon has shown how all composition algebras can be constructed after the manner promulgated by L. E. Dickson and Adrian Albert for the division algebras C, H, and O. Indeed, he presents the multiplication rule
to be used when producing the doubled product in the real-split cases. As before, the doubled conjugate
If a and b are split-complex numbers and split-quaternion
then
Profile
The subalgebras of P may be seen by first noting the nature of the subspace {zi + xj + yk : x, y, z ∈ R}. Let
r(θ) = j cos(θ) + k sin(θ)The parameters z and r(θ) are the basis of a cylindrical coordinate system in the subspace. Parameter θ denotes azimuth. Next let a denote any real number and consider the coquaternions
p(a, r) = i sinh a + r cosh av(a, r) = i cosh a + r sinh a.These are the equilateral-hyperboloidal coordinates described by Alexander Macfarlane and Carmody.
Next, form three foundational sets in the vector-subspace of the ring:
E = {r ∈ P: r = r(θ), 0 ≤ θ < 2π}J = {p(a, r) ∈ P: a ∈ R, r ∈ E}, hyperboloid of one sheetI = {v(a, r) ∈ P: a ∈ R, r ∈ E}, hyperboloid of two sheets.Now it is easy to verify that
{q ∈ P: q2 = 1} = J ∪ {1, −1}and that
{q ∈ P: q2 = −1} = I.These set equalities mean that when p ∈ J then the plane
{x + yp: x, y ∈ R} = Dpis a subring of P that is isomorphic to the plane of split-complex numbers just as when v is in I then
{x + yv: x, y ∈ R} = Cvis a planar subring of P that is isomorphic to the ordinary complex plane C.
Note that for every r ∈ E, (r + i)2 = 0 = (r − i)2 so that r + i and r − i are nilpotents. The plane N = {x + y(r + i): x, y ∈ R} is a subring of P that is isomorphic to the dual numbers. Since every coquaternion must lie in a Dp, a Cv, or an N plane, these planes profile P. For example, the unit quasi-sphere
SU(1, 1) = {q ∈ P: qq* = 1}consists of the "unit circles" in the constituent planes of P: In Dp it is a unit hyperbola, in N the "unit circle" is a pair of parallel lines, while in Cv it is indeed a circle (though it appears elliptical due to v-stretching).These ellipse/circles found in each Cv are like the illusion of the Rubin vase which "presents the viewer with a mental choice of two interpretations, each of which is valid".
Pan-orthogonality
When coquaternion q = w + xi + yj + zk, then the scalar part of q is w.
Definition. For non-zero coquaternions q and t we write q ⊥ t when the scalar part of the product q(t*) is zero.
Proof: (qu)(tu)* = (uu*)q(t*) follows from (tu)* = u*t*, which can be established using the anticommutativity property of vector cross products.
Counter-sphere geometry
The quadratic form qq* is positive definite on the planes Cv and N. Consider the counter-sphere {q: qq* = −1}.
Take m = x + yi + zr where r = j cos(θ) + k sin(θ). Fix θ and suppose
mm* = −1 = x2 + y2 − z2.Since points on the counter-sphere must line on the conjugate of the unit hyperbola in some plane Dp ⊂ P, m can be written, for some p ∈ J
Let φ be the angle between the hyperbolas from r to p and m. This angle can be viewed, in the plane tangent to the counter-sphere at r, by projection:
as in the expression of angle of parallelism in the hyperbolic plane H2 . The parameter θ determining the meridian varies over the S1. Thus the counter-sphere appears as the manifold S1 × H2.
Application to kinematics
By using the foundations given above, one can show that the mapping
is an ordinary or hyperbolic rotation according as
The collection of these mappings bears some relation to the Lorentz group since it is also composed of ordinary and hyperbolic rotations. Among the peculiarities of this approach to relativistic kinematic is the anisotropic profile, say as compared to hyperbolic quaternions.
Reluctance to use coquaternions for kinematic models may stem from the (2, 2) signature when spacetime is presumed to have signature (1, 3) or (3, 1). Nevertheless, a transparently relativistic kinematics appears when a point of the counter-sphere is used to represent an inertial frame of reference. Indeed, if tt* = −1, then there is a p = i sinh(a) + r cosh(a) ∈ J such that t ∈ Dp, and an b ∈ R such that t = p exp(bp). Then if u = exp(bp), v = i cosh(a) + r sinh(a), and s = ir, the set {t, u, v, s} is a pan-orthogonal basis stemming from t, and the orthogonalities persist through applications of the ordinary or hyperbolic rotations.