Split-quaternion

They form an associative algebra of dimension four over the real numbers.

The split-quaternions are the linear combinations (with real coefficients) of four basis elements 1, i, j, k that satisfy the following product rules: By associativity, these relations imply 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 They satisfy the same multiplication table as the corresponding split-quaternions.

(respectively) induces an algebra isomorphism from the split-quaternions to the two-by-two real matrices.

In fact, if one considers a square whose vertices are the points whose coordinates are 0 or 1, the matrix

Like the quaternions introduced by Hamilton in 1843, they form a four dimensional real associative algebra.

A split-quaternion with a nonzero norm has a multiplicative inverse, namely q∗/N(q).

Geometrically, the split-quaternions can be compared to Hamilton's quaternions as pencils of planes.

In both cases the real numbers form the axis of a pencil.

For split-quaternions there are hyperboloids of hyperbolic and imaginary units that generate split-complex or ordinary complex planes, as described below in § Stratification.

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 Here, i (italic) is the imaginary unit, not to be confused with the split quaternion basis element i (upright roman).

This homomorphism maps respectively the split-quaternions i, j, k on the matrices 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.

the matrices of quaternions of norm 1 are exactly the elements of the special unitary group SU(1,1).

[1] Split-quaternions may be generated by modified Cayley–Dickson construction[2] similar to the method of L. E. Dickson and Adrian Albert.

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

Therefore, there are real numbers n, t, u such that 0 ≤ t < 2π and 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

The algebra generated by a split-quaternion with a nonreal part of positive norm is isomorphic to

Therefore, there are real numbers n, t, u such that 0 ≤ t < 2π and 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

The algebra generated by a split-quaternion with a nonreal part of negative norm is isomorphic to

Their complement consist of six connected regions: This stratification can be refined by considering split-quaternions of a fixed norm: for every real number n ≠ 0 the purely nonreal split-quaternions of norm n form an hyperboloid.

As the set of the purely nonreal split-quaternions is the disjoint union of these surfaces, this provides the desired stratification.

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.

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