Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Split-quaternion
Summary
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 2×2 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 1, i, j, k that satisfy the following product rules:
i2 = −1,
j2 = 1,
k2 = 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 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. As these matrices form a basis of the two by two matrices, the function that maps 1, i, j, k to (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 D4, 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 is the clockwise rotation of the quarter of a turn, is the symmetry around the first diagonal, and is the symmetry around the x axis.
Like the quaternions introduced by Hamilton in 1843, they form a four dimensional real associative algebra.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (10)
MATH-115(b): Advanced linear algebra II
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux du sujet.
MATH-113: Algebraic structures
Le but de ce cours est d'introduire et d'étudier les notions de base de l'algèbre abstraite.
ENG-209: Data science for engineers with Python
Ce cours est divisé en deux partie. La première partie présente le langage Python et les différences notables entre Python et C++ (utilisé dans le cours précédent ICC). La seconde partie est une intro
Related publications (16)
Related people (1)
Related concepts (16)
Split-biquaternion
In mathematics, a split-biquaternion is a hypercomplex number of the form where w, x, y, and z are split-complex numbers and i, j, and k multiply as in the quaternion group. Since each coefficient w, x, y, z spans two real dimensions, the split-biquaternion is an element of an eight-dimensional vector space. Considering that it carries a multiplication, this vector space is an algebra over the real field, or an algebra over a ring where the split-complex numbers form the ring.
Null vector
In mathematics, given a vector space X with an associated quadratic form q, written (X, q), a null vector or isotropic vector is a non-zero element x of X for which q(x) = 0. In the theory of real bilinear forms, definite quadratic forms and isotropic quadratic forms are distinct. They are distinguished in that only for the latter does there exist a nonzero null vector. A quadratic space (X, q) which has a null vector is called a pseudo-Euclidean space.
Abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term abstract algebra was coined in the early 20th century to distinguish it from older parts of algebra, and more specifically from elementary algebra, the use of variables to represent numbers in computation and reasoning.