Split-quaternion

×	1	i	j	k
1	1	i	j	k
i	i	−1	k	−j
j	j	−k	1	−i
k	k	j	i	1

In abstract algebra, the split-quaternions or coquaternions form an algebraic structure introduced by James Cockle in 1849 under the latter name. They form an associative algebra of dimension four over the real numbers.
After introduction in the 20th century of coordinate-free definitions of rings and algebras, it was proved that the algebra of split-quaternions is isomorphic to the ring of the real matrices. So the study of split-quaternions can be reduced to the study of real matrices, and this may explain why there are few mentions of split-quaternions in the mathematical literature of the 20th and 21st centuries.

Definition

The split-quaternions are the linear combinations of four basis elements that satisfy the following product rules:
By associativity, these relations imply
and also.
So, the split-quaternions form a real vector space of dimension four with as a basis. They form also a noncommutative ring, by extending the above product rules by distributivity to all split-quaternions.
The square matrices
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 to induces an algebra isomorphism from the split-quaternions to the two-by-two real matrices.
The above multiplication rules imply that the eight elements 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 or, the matrix is the clockwise rotation of the quarter of a turn, is the symmetry around the first diagonal, and is the symmetry around the axis.

Properties

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. 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
, is. 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:
which is called the norm of the split-quaternion or the determinant of the associated matrix.
The real part of a split-quaternion is. 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 property means that split-quaternions 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. 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 real matrices shows that the multiplicative group of split-quaternions with a nonzero norm is isomorphic with and the group of split quaternions of norm is isomorphic with
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. In Hamilton quaternions there is a sphere of imaginary units, and any pair of antipodal imaginary units generates a complex plane with the real line. For split-quaternions there are hyperboloids of hyperbolic and imaginary units that generate split-complex or ordinary complex planes, as described below in [|§ Stratification].

Representation as complex matrices

There is a representation of the split-quaternions as a unital associative subalgebra of the matrices with complex entries. This representation can be defined by the algebra homomorphism that maps a split-quaternion to the matrix
Here, is the imaginary unit, not to be confused with the split quaternion basis element .
The image of this homomorphism is the matrix ring formed by the matrices of the form
where the superscript denotes a complex conjugate.
This homomorphism maps respectively the split-quaternions on the matrices
The isomorphism of algebras is completed by use of matrix multiplication to verify the identities involving i, j, and k. For instance,
It follows 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 determinant form the special unitary group SU, which is used to describe hyperbolic motions of the Poincaré disk model in hyperbolic geometry.

Generation from split-complex numbers

Split-quaternions may be generated by modified Cayley–Dickson construction similar to the method of L. E. Dickson and Adrian Albert. for the division algebras C, H, and O. The multiplication rule
is used when producing the doubled product in the real-split cases. The doubled conjugate so that
If a and b are split-complex numbers and split-quaternion
then

Stratification

In this section, the real subalgebras generated by a single split-quaternion are studied and classified.
Let be a split-quaternion. Its real part is. Let be its nonreal part. One has, and therefore It follows that is a real number if and only is either a real number or a purely nonreal split quaternion.
The structure of the subalgebra generated by follows straightforwardly. One has
and this is a commutative algebra. Its dimension is two except if is real.
The nonreal elements of whose square is real have the form with
Three cases have to be considered, which are detailed in the next subsections.

Nilpotent case

With above notation, if , then, that is, This implies that there exist and in such that and
This is a parametrization of all split-quaternions whose nonreal part is nilpotent.
This is also a parameterization of these subalgebras by the points of a circle: the split-quaternions of the form form a circle; a subalgebra generated by a nilpotent element contains exactly one point of the circle; and the circle does not contain any other point.
The algebra generated by a nilpotent element is isomorphic to and to the plane of dual numbers.

Imaginary units

This is the case where. Letting one has
It follows that belongs to the hyperboloid of two sheets of equation Therefore, there are real numbers such that 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 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 and to the field of complex numbers.

Hyperbolic units

This is the case where. Letting one has
It follows that belongs to the hyperboloid of one sheet of equation. Therefore, there are real numbers such that 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 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 and to the ring of split-complex numbers. It is also isomorphic to by the mapping defined by

Stratification by the norm

As seen above, the purely nonreal split-quaternions of norm and form respectively a hyperboloid of one sheet, a hyperboloid of two sheets and a circular cone in the space of non real quaternions.
These surfaces are pairwise asymptote and do not intersect. Their complement consist of six connected regions:

the two regions located on the concave side of the hyperboloid of two sheets, where
the two regions between the hyperboloid of two sheets and the cone, where
the region between the cone and the hyperboloid of one sheet where
the region outside the hyperboloid of one sheet, where

This stratification can be refined by considering split-quaternions of a fixed norm: for every real number the purely nonreal split-quaternions of norm form an hyperboloid. All these hyperboloids are asymptote to the above cone, and none of these surfaces intersect any other. As the set of the purely nonreal split-quaternions is the disjoint union of these surfaces, this provides the desired stratification.