Split-quaternion

The split-quaternions are the linear combinations (with real coefficients) of four basis elements 1, i, j, k that satisfy the following product rules:

i² = −1,

j² = 1,

k² = 1,

ij = k = −ji.

By associativity, these relations imply

jk = −i = −kj,

ki = j = −ik,

and also ijk = 1.

So, the split-quaternions form a real vector space of dimension four with {1, i, j, k} as a basis. They form also a noncommutative ring, by extending the above product rules by distributivity to all split-quaternions.

Let consider the square matrices

${\displaystyle {\begin{aligned}{\boldsymbol {1}}={\begin{pmatrix}1&0\\0&1\end{pmatrix}},\qquad &{\boldsymbol {i}}={\begin{pmatrix}0&1\\-1&0\end{pmatrix}},\\{\boldsymbol {j}}={\begin{pmatrix}0&1\\1&0\end{pmatrix}},\qquad &{\boldsymbol {k}}={\begin{pmatrix}1&0\\0&-1\end{pmatrix}}.\end{aligned}}}$

They satisfy the same multiplication table as the corresponding split-quaternions. As these matrices form a basis of the two-by-two matrices, the unique linear function that maps 1, i, j, k to ${\displaystyle {\boldsymbol {1}},{\boldsymbol {i}},{\boldsymbol {j}},{\boldsymbol {k}}}$ (respectively) induces an algebra isomorphism from the split-quaternions to the two-by-two real matrices.

The above multiplication rules imply that the eight elements 1, i, j, k, −1, −i, −j, −k form a group under this multiplication, which is isomorphic to the dihedral group D₄, the symmetry group of a square. In fact, if one considers a square whose vertices are the points whose coordinates are 0 or 1, the matrix ${\displaystyle {\boldsymbol {i}}}$ is the clockwise rotation of the quarter of a turn, ${\displaystyle {\boldsymbol {j}}}$ is the symmetry around the first diagonal, and ${\displaystyle {\boldsymbol {k}}}$ is the symmetry around the x axis.

Like the quaternions introduced by Hamilton in 1843, they form a four dimensional real associative algebra. But like the real algebra of 2×2 matrices – and unlike the real algebra of quaternions – the split-quaternions contain nontrivial zero divisors, nilpotent elements, and idempotents. (For example, 1/2(1 + j) is an idempotent zero-divisor, and i − j is nilpotent.) As an algebra over the real numbers, the algebra of split-quaternions is isomorphic to the algebra of 2×2 real matrices by the above defined isomorphism.

This isomorphism allows identifying each split-quaternion with a 2×2 matrix. So every property of split-quaternions corresponds to a similar property of matrices, which is often named differently.

The conjugate of a split-quaternion q = w + xi + yj + zk, is q^∗ = w − xi − yj − zk. In term of matrices, the conjugate is the cofactor matrix obtained by exchanging the diagonal entries and changing the sign of the other two entries.

The product of a split-quaternion with its conjugate is the isotropic quadratic form:

${\displaystyle N(q)=qq^{*}=w^{2}+x^{2}-y^{2}-z^{2},}$

which is called the norm of the split-quaternion or the determinant of the associated matrix.

The real part of a split-quaternion q = w + xi + yj + zk is w = (q^∗ + q)/2. It equals the trace of associated matrix.

The norm of a product of two split-quaternions is the product of their norms. Equivalently, the determinant of a product of matrices is the product of their determinants.

This means that split-quaternions and 2×2 matrices form a composition algebra. As there are nonzero split-quaternions having a zero norm, split-quaternions form a "split composition algebra" – hence their name.

A split-quaternion with a nonzero norm has a multiplicative inverse, namely q^∗/N(q). In terms of matrices, this is equivalent to the Cramer rule that asserts that a matrix is invertible if and only its determinant is nonzero, and, in this case, the inverse of the matrix is the quotient of the cofactor matrix by the determinant.

The isomorphism between split-quaternions and 2×2 matrices shows that the multiplicative group of split-quaternions with a nonzero norm is isomorphic with ${\displaystyle \operatorname {GL} (2,\mathbb {R} ),}$ and the group of split quaternions of norm 1 is isomorphic with ${\displaystyle \operatorname {SL} (2,\mathbb {R} ).}$

There is a representation of the split-quaternions as a unital associative subalgebra of the 2×2 matrices with complex entries. This representation can be defined by the algebra homomorphism that maps a split-quaternion w + xi + yj + zk to the matrix

${\displaystyle {\begin{pmatrix}w+xi&y+zi\\y-zi&w-xi\end{pmatrix}}.}$

Here, i (italic) is the imaginary unit, not to be confused with the split quaternion basis element i (upright roman).

The image of this homomorphism is the matrix ring formed by the matrices of the form

${\displaystyle {\begin{pmatrix}u&v\\v^{*}&u^{*}\end{pmatrix}},}$

where the superscript ${\displaystyle ^{*}}$ denotes a complex conjugate.

This homomorphism maps respectively the split-quaternions i, j, k on the matrices

${\displaystyle {\begin{pmatrix}i&0\\0&-i\end{pmatrix}},\quad {\begin{pmatrix}0&1\\1&0\end{pmatrix}},\quad {\begin{pmatrix}0&i\\-i&0\end{pmatrix}}.}$

The proof that this representation is an algebra homomorphism is straightforward but requires some boring computations, which can be avoided by starting from the expression of split-quaternions as 2×2 real matrices, and using matrix similarity. Let S be the matrix

${\displaystyle S={\begin{pmatrix}1&i\\i&1\end{pmatrix}}.}$

Then, applied to the representation of split-quaternions as 2×2 real matrices, the above algebra homomorphism is the matrix similarity.

${\displaystyle M\mapsto S^{-1}MS.}$

It follows almost immediately that for a split quaternion represented as a complex matrix, the conjugate is the matrix of the cofactors, and the norm is the determinant.

With the representation of split quaternions as complex matrices. the matrices of quaternions of norm 1 are exactly the elements of the special unitary group SU(1,1). This is used for in hyperbolic geometry for describing hyperbolic motions of the Poincaré disk model.[1]

Split-quaternions may be generated by modified Cayley–Dickson construction[2] similar to the method of L. E. Dickson and Adrian Albert. for the division algebras C, H, and O. The multiplication rule

$${\displaystyle (a,b)(c,d)\ =\ (ac+d^{*}b,\ da+bc^{*})}$$

is used when producing the doubled product in the real-split cases. The doubled conjugate ${\displaystyle (a,b)^{*}=(a^{*},-b),}$ so that

$${\displaystyle N(a,b)\ =\ (a,b)(a,b)^{*}\ =\ (aa^{*}-bb^{*},0).}$$

If a and b are split-complex numbers and split-quaternion ${\displaystyle q=(a,b)=((w+zj),(y+xj)),}$

then

$${\displaystyle N(q)=aa^{*}-bb^{*}=w^{2}-z^{2}-(y^{2}-x^{2})=w^{2}+x^{2}-y^{2}-z^{2}.}$$

In this section, the real subalgebras generated by a single split-quaternion are studied and classified.

Let p = w + xi + yj + zk be a split-quaternion. Its real part is w = 1/2(p + p^*). Let q = p – w = 1/2(p – p^*) be its nonreal part. One has q^* = –q, and therefore ${\displaystyle p^{2}=w^{2}+2wq-N(q).}$ It follows that p² is a real number if and only p is either a real number (q = 0 and p = w) or a purely nonreal split quaternion (w = 0 and p = q).

The structure of the subalgebra ${\displaystyle \mathbb {R} [p]}$ generated by p follows straightforwardly. One has

${\displaystyle \mathbb {R} [p]=\mathbb {R} [q]=\{a+bq\mid a,b\in \mathbb {R} \},}$

and this is a commutative algebra. Its dimension is two except if p is real (in this case, the subalgebra is simply ${\displaystyle \mathbb {R} }$).

The nonreal elements of ${\displaystyle \mathbb {R} [p]}$ whose square is real have the form aq with ${\displaystyle a\in \mathbb {R} .}$

Three cases have to be considered, which are detailed in the next subsections.

Decomposable case

Hyperboloid of two sheets, source of imaginary units

This is the case where N(q) > 0. Letting ${\textstyle n={\sqrt {N(q)}},}$ one has

${\displaystyle q^{2}=-q^{*}q=N(q)=n^{2}=x^{2}-y^{2}-z^{2}.}$

It follows that 1/n q belongs to the hyperboloid of two sheets of equation ${\displaystyle x^{2}-y^{2}-z^{2}=1.}$ Therefore, there are real numbers n, t, u such that 0 ≤ t < 2π and

${\displaystyle p=w+n\cosh(u)\mathrm {i} +n\sinh(u)\cos(t)\mathrm {j} +n\sinh(u)\sin(t)\mathrm {k} .}$

This is a parametrization of all split-quaternions whose nonreal part has a positive norm.

This is also a parameterization of the corresponding subalgebras by the pairs of opposite points of a hyperboloid of two sheets: the split-quaternions of the form ${\displaystyle \cosh(u)\mathrm {i} +\sinh(u)\cos(t)\mathrm {j} +\sinh(u)\sin(t)\mathrm {k} }$ form a hyperboloid of two sheets; a subalgebra generated by a split-quaternion with a nonreal part of positive norm contains exactly two opposite points on this hyperboloid, one on each sheet; and the hyperboloid does not contain any other point.

The algebra generated by a split-quaternion with a nonreal part of positive norm is isomorphic to ${\displaystyle \mathbb {R} [X]/\langle X^{2}+1\rangle }$ and to the field ${\displaystyle \mathbb {C} }$ of complex numbers.

Indecomposable case

Hyperboloid of one sheet, source of hyperbolic units.
(the vertical axis is called x in the article)

This is the case where N(q) < 0. Letting ${\textstyle n={\sqrt {-N(q)}},}$ one has

${\displaystyle q^{2}=-q^{*}q=N(q)=-n^{2}=x^{2}-y^{2}-z^{2}.}$

It follows that 1/n q belongs to the hyperboloid of one sheet of equation y² + z² − x² = 1. Therefore, there are real numbers n, t, u such that 0 ≤ t < 2π and

${\displaystyle p=w+n\sinh(u)\mathrm {i} +n\cosh(u)\cos(t)\mathrm {j} +n\cosh(u)\sin(t)\mathrm {k} .}$

This is a parametrization of all split-quaternions whose nonreal part has a negative norm.

This is also a parameterization of the corresponding subalgebras by the pairs of opposite points of a hyperboloid of one sheet: the split-quaternions of the form ${\displaystyle \sinh(u)\mathrm {i} +\cosh(u)\cos(t)\mathrm {j} +\cosh(u)\sin(t)\mathrm {k} }$ form a hyperboloid of one sheet; a subalgebra generated by a split-quaternion with a nonreal part of negative norm contains exactly two opposite points on this hyperboloid; and the hyperboloid does not contain any other point.

The algebra generated by a split-quaternion with a nonreal part of negative norm is isomorphic to ${\displaystyle \mathbb {R} [X]/\langle X^{2}-1\rangle }$ and to the ring of split-complex numbers. It is also isomorphic (as an algebra) to ${\displaystyle \mathbb {R} ^{2}}$ by the mapping defined by ${\textstyle (1,0)\mapsto {\frac {1+X}{2}},\quad (0,1)\mapsto {\frac {1-X}{2}}.}$

Split quaternions have been applied to colour balance[3] The model refers to the Jordan algebra of symmetric matrices representing the algebra. The model reconciles trichromacy with Hering's opponency and uses the Cayley–Klein model of hyperbolic geometry for chromatic distances.

The coquaternions were initially introduced (under that name)[4] in 1849 by James Cockle in the London–Edinburgh–Dublin Philosophical Magazine. The introductory papers by Cockle were recalled in the 1904 Bibliography[5] of the Quaternion Society.

Alexander Macfarlane called the structure of split-quaternion vectors an exspherical system when he was speaking at the International Congress of Mathematicians in Paris in 1900.[6] Macfarlane considered the "hyperboloidal counterpart to spherical analysis" in a 1910 article "Unification and Development of the Principles of the Algebra of Space" in the Bulletin of the Quaternion Society.[7]

The unit sphere was considered in 1910 by Hans Beck.[8] For example, the dihedral group appears on page 419. The split-quaternion structure has also been mentioned briefly in the Annals of Mathematics.[9][10]

• Para-quaternions (Ivanov and Zamkovoy 2005, Mohaupt 2006) Manifolds with para-quaternionic structures are studied in differential geometry and string theory. In the para-quaternionic literature, k is replaced with −k.
• Exspherical system (Macfarlane 1900)
• Split-quaternions (Rosenfeld 1988)[11]
• Antiquaternions (Rosenfeld 1988)
• Pseudoquaternions (Yaglom 1968[12] Rosenfeld 1988)

• Pauli matrices
• Split-biquaternions
• Split-octonions
• Dual quaternions

• Brody, Dorje C., and Eva-Maria Graefe. "On complexified mechanics and coquaternions". Journal of Physics A: Mathematical and Theoretical 44.7 (2011): 072001. doi:10.1088/1751-8113/44/7/072001
• Ivanov, Stefan; Zamkovoy, Simeon (2005), "Parahermitian and paraquaternionic manifolds", Differential Geometry and its Applications 23, pp. 205–234, arXiv:math.DG/0310415, MR2158044.
• Mohaupt, Thomas (2006), "New developments in special geometry", arXiv:hep-th/0602171.
• Özdemir, M. (2009) "The roots of a split quaternion", Applied Mathematics Letters 22:258–63.
• Özdemir, M. & A.A. Ergin (2006) "Rotations with timelike quaternions in Minkowski 3-space", Journal of Geometry and Physics 56: 322–36.
• Pogoruy, Anatoliy & Ramon M Rodrigues-Dagnino (2008) Some algebraic and analytical properties of coquaternion algebra, Advances in Applied Clifford Algebras.