- You are here
- Everything Explained.Today
- A-Z Contents
- S
- SP
- SPL
- SPLI
- SPLIT
- Split-quaternion

width=15 | × | width=15 | 1 | width=15 | i | width=15 | j | width=15 | 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 has been 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.

The *split-quaternions* are the linear combinations (with real coefficients) 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.

Let consider the square matrices

*\begin{align}
\boldsymbol{*1*}*=*\begin{pmatrix}*1*&*0*\\*0*&*1*\end{pmatrix},* *&\boldsymbol{i}*=*\begin{pmatrix}*0*&*1*\\*-1*&*0*\end{pmatrix},\\
\boldsymbol{j}*=*\begin{pmatrix}*0*&*1*\\*1*&*0*\end{pmatrix},* *&\boldsymbol{k}*=*\begin{pmatrix}*1*&*0*\\*0*&*-1*\end{pmatrix}.
\end{align}*

*\boldsymbol{*1*},**\boldsymbol{i},**\boldsymbol{j},**\boldsymbol{k}*

The above multiplication rules imply that the eight elements form a group under this multiplication, which is isomorphic to the dihedral group D_{4}, the symmetry group of a square. In fact, if one considers a square whose vertices are the points whose coordinates are or, the matrix

*\boldsymbol{i}*

*\boldsymbol{j}*

*\boldsymbol{k}*

Like the quaternions introduced by Hamilton in 1843, they form a four dimensional real associative algebra. But like the matrices and unlike the quaternions, the split-quaternions contain nontrivial zero divisors, nilpotent elements, and idempotents. (For example, is an idempotent zero-divisor, and 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, is . In term of matrices, the conjugate is the cofactor matrix obtained by exchanging the diagonal entries and changing of sign the two other entries.

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

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

The real part of a split-quaternion is . It equals the trace of associated matrix.

The norm of a product 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 . In terms of matrix, this is 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

*\operatorname{GL}(*2*,*R),

*\operatorname{SL}(*2*,*R).

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

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

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

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

^{*}

This homomorphism maps respectively the split-quaternions on the matrices

*\begin{pmatrix}i**&*0*\\*0*&*-*i**\end{pmatrix},* *\begin{pmatrix}*0*&*1*\\*1*&*0*\end{pmatrix},* *\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 real matrices, and using matrix similarity. Let be the matrix

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

*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 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.

Kevin McCrimmon ^{[1]} 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

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

*(a,b)*^{*}=*(a*^{*,}-*b),*

*N(a,b)* = *(a,b)(a,b)*^{*} = *(a**a*^{*}-*b**b*^{*}*,*0*).*

*q*=*(a,b)*=*((w*+*z**j),**(y*+*xj)),*

then

*N(q)*=*a**a*^{*}-*b**b*^{*}=*w*^{2}-*z*^{2}-*(y*^{2}-*x*^{2)}=*w*^{2}+*x*^{2}-*y*^{2}-*z*^{2}*.*

In this section, the 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

*p*^{2=w}^{2+2wq-N(q).}

*p*^{2}

The structure of the subalgebra

R[p]

R[p]=R[q]=\{a+bq\mida,b\inR\},

R

The nonreal elements of

R[p]

*a\in*R.

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

With above notation, if

*q*^{2=0,}

*x*^{2-y}^{2-z}^{2=0.}

R

*p*=*w*+*ai*+*a\cos(t)j*+*a\sin(t)k.*

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

i+*\cos(t)j*+*\sin(t)k*

The algebra generated by a nilpotent element is isomorphic to

R[X]/\langle*X*^{2\rangle}

This is the case where . Letting $n=\backslash sqrt,$ one has

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

*x*^{2-y}^{2-z}^{2=1.}

*p*=*w*+*n\cosh(u)i*+*n\sinh(u)\cos(t)j*+*n\sinh(u)\sin(t)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

*\cosh(u)i*+*\sinh(u)\cos(t)j*+*\sinh(u)\sin(t)k*

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

R[X]/\langle*X*^{2-1\rangle}

R^{2}

This is the case where . Letting $n=\backslash sqrt,$ one has

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

*y*^{2+z}^{2-x}^{2=1.}

*p*=*w*+*n\sinh(u)i*+*n\cosh(u)\cos(t)j*+*n\cosh(u)\sin(t)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

*\sinh(u)i*+*\cosh(u)\cos(t)j*+*\cosh(u)\sin(t)k*

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

R[X]/\langle*X*^{2+1\rangle}

C

As seen above, the purely nonreal split-quaternions of norm and form respectively a hyperboloid of one sheet, a hyporboloid 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

*N(q)>*1

- the two regions between the hyperboloid of two sheets and the cone, where

0*<N(q)<*1

- the region between the cone and the hyperboloid of one sheet where

-1*<N(q)<*0

- the region outside the hyperboloid of one sheet, where

*N(q)<*-1

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.

The coquaternions were initially introduced (under that name)^{[2]} in 1849 by James Cockle in the London - Edinburgh - Dublin Philosophical Magazine. The introductory papers by Cockle were recalled in the 1904 *Bibliography*^{[3]} 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.^{[4]}

The unit sphere was considered in 1910 by Hans Beck.^{[5]} For example, the dihedral group appears on page 419. The split-quaternion structure has also been mentioned briefly in the *Annals of Mathematics*.^{[6]} ^{[7]}

- 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)
^{[8]} - Antiquaternions (Rosenfeld 1988)
- Pseudoquaternions (Yaglom 1968
^{[9]}Rosenfeld 1988)

- Brody, Dorje C., and Eva-Maria Graefe. "On complexified mechanics and coquaternions." Journal of Physics A: Mathematical and Theoretical 44.7 (2011): 072001.
- Ivanov, Stefan; Zamkovoy, Simeon (2005), "Parahermitian and paraquaternionic manifolds",
*Differential Geometry and its Applications***23**, pp. 205 - 234,, . - Mohaupt, Thomas (2006), "New developments in special geometry", .
- Özdemir, M. (2009) "The roots of a split quaternion",
*Applied Mathematics Letters*22:258 - 63. https://www.researchgate.net/publication/270760686_The_Roots_of_a_Split_Quaternion - Özdemir, M. & A.A. Ergin (2006) "Rotations with timelike quaternions in Minkowski 3-space",
*Journal of Geometry and Physics*56: 322 - 36.https://www.researchgate.net/publication/235591460_Rotations_with_unit_timelike_quaternions_in_Minkowski_3-space - Pogoruy, Anatoliy & Ramon M Rodrigues-Dagnino (2008) Some algebraic and analytical properties of coquaternion algebra,
*Advances in Applied Clifford Algebras*.

- Kevin McCrimmon (2004)
*A Taste of Jordan Algebras*, page 64, Universitext, Springer - [James Cockle]
- A. Macfarlane (1904) Bibliography of Quaternions and Allied Systems of Mathematics, from Cornell University
*Historical Math Monographs*, entries for James Cockle, pp. 17–18 - Alexander Macfarlane (1900) Application of space analysis to curvilinear coordinates,
*Proceedings of the*International Congress of Mathematicians, Paris, page 306, from International Mathematical Union - Hans Beck (1910) Ein Seitenstück zur Mobius'schen Geometrie der Kreisverwandschaften, Transactions of the American Mathematical Society 11
- [A. A. Albert]
- [Valentine Bargmann]
- Rosenfeld, B.A. (1988)
*A History of Non-Euclidean Geometry*, page 389, Springer-Verlag - [Isaak Yaglom]