Split-biquaternion

In mathematics, a split-biquaternion is a hypercomplex number of the form

q=w+xi+yj+zk\!

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. This algebra was introduced by William Kingdon Clifford in an 1873 article for the London Mathematical Society. It has been repeatedly noted in mathematical literature since then, variously as a deviation in terminology, an illustration of the tensor product of algebras, and as an illustration of the direct sum of algebras. The split-biquaternions have been identified in various ways by algebraists; see § Synonyms below.

Modern definition

A split-biquaternion is ring isomorphic to the Clifford algebra Cℓ_0,3(R). This is the geometric algebra generated by three orthogonal imaginary unit basis directions, {e₁, e₂, e₃} under the combination rule

e_{i}e_{j}={\Bigg \{}{\begin{matrix}-1&i=j,\\-e_{j}e_{i}&i\not =j\end{matrix}}

giving an algebra spanned by the 8 basis elements {1, e₁, e₂, e₃, e₁e₂, e₂e₃, e₃e₁, e₁e₂e₃}, with (e₁e₂)² = (e₂e₃)² = (e₃e₁)² = −1 and ω² = (e₁e₂e₃)² = +1. The sub-algebra spanned by the 4 elements {1, i = e₁, j = e₂, k = e₁e₂} is the division ring of Hamilton's quaternions, H = Cℓ_0,2(R). One can therefore see that

C\ell _{{0,3}}({\mathbb {R}})={\mathbb {H}}\otimes {\mathbb {D}}

where D = Cℓ_1,0(R) is the algebra spanned by {1, ω}, the algebra of the split-complex numbers. Equivalently,

C\ell _{{0,3}}({\mathbb {R}})={\mathbb {H}}\oplus {\mathbb {H}}.

Split-biquaternion group

The split-biquaternions form an associative ring as is clear from considering multiplications in its basis {1, ω, i, j, k, ωi, ωj, ωk}. When ω is adjoined to the quaternion group one obtains a 16 element group

( {1, i, j, k, −1, −i, −j, −k, ω, ωi, ωj, ωk, −ω, −ωi, −ωj, −ωk}, × ).

Direct sum of two quaternion rings

The direct sum of the division ring of quaternions with itself is denoted ${\mathbb {H}}\oplus {\mathbb {H}}$ . The product of two elements $(a\oplus b)$ and $(c\oplus d)$ is $ac\oplus bd$ in this direct sum algebra.

Proposition: The algebra of split-biquaternions is isomorphic to ${\mathbb {H}}\oplus {\mathbb {H}}.$

proof: Every split-biquaternion has an expression q = w + z ω where w and z are quaternions and ω² = +1. Now if p = u + v ω is another split-biquaternion, their product is

pq=uw+vz+(uz+vw)\omega .\!

The isomorphism mapping from split-biquaternions to ${\mathbb {H}}\oplus {\mathbb {H}}$ is given by

p\mapsto (u+v)\oplus (u-v),\quad q\mapsto (w+z)\oplus (w-z).

In ${\mathbb {H}}\oplus {\mathbb {H}}$ , the product of these images, according to the algebra-product of ${\mathbb {H}}\oplus {\mathbb {H}}$ indicated above, is

(u+v)(w+z)\oplus (u-v)(w-z).

This element is also the image of pq under the mapping into ${\mathbb {H}}\oplus {\mathbb {H}}.$ Thus the products agree, the mapping is a homomorphism; and since it is bijective, it is an isomorphism.

Though split-biquaternions form an eight-dimensional space like Hamilton’s biquaternions, on the basis of the Proposition it is apparent that this algebra splits into the direct sum of two copies of the real quaternions.

Hamilton biquaternion

The split-biquaternions should not be confused with the (ordinary) biquaternions previously introduced by William Rowan Hamilton. Hamilton's biquaternions are elements of the algebra

C\ell _{2}({\mathbb {C}})={\mathbb {H}}\otimes {\mathbb {C}}.

Synonyms

The following terms and compounds refer to the split-biquaternion algebra:

elliptic biquaternions — Clifford 1873, Rooney 2007
Clifford biquaternion — Joly 1902, van der Waerden 1985
dyquaternions — Rosenfeld 1997
${\mathbb {D}}\otimes {\mathbb {H}}$ where D = split-complex numbers — Bourbaki 1994, Rosenfeld 1997
${\mathbb {H}}\oplus {\mathbb {H}}$ , the direct sum of two quaternion algebras — van der Waerden 1985

References

Clifford, William Kingdon (2007) [1873]. "Paper XX: Preliminary sketch of biquaternions". Mathematical Papers. American Mathematical Society. ISBN 978-0-8218-4252-2.
Girard, P.R. (1984). "The quaternion group and modern physics". Eur. J. Phys. 5 (1): 25–32. doi:10.1088/0143-0807/5/1/007.
Rooney, Joe (2007). "William Kingdon Clifford". In Ceccarelli, Marco. Distinguished Figures in Mechanism and Machine Science: Their Contributions and Legacies. Springer. pp. 79–. ISBN 978-1-4020-6366-4.
Joly, Charles Jasper (1905). A Manual of Quaternions. Macmillan. p. 21.
Rosenfeld, Boris (1997). Geometry of Lie Groups. Kluwer. p. 48. ISBN 0-7923-4390-5.
Bourbaki, N. (2013) [1994]. Elements of the History of Mathematics. Translated by Meldrum, J. Springer. p. 137. ISBN 978-3-642-61693-8.
van der Waerden, B. L. (1985). A History of Algebra. Springer. p. 188. ISBN 0-387-13610-X.

Number systems

Countable sets	Natural numbers (ℕ) Integers (ℤ) Rational numbers (ℚ) Constructible numbers Algebraic numbers (𝔸) Periods Computable numbers Definable real numbers Arithmetical numbers Gaussian integers

Division algebras	Real numbers (ℝ) Complex numbers (ℂ) Quaternions (ℍ) Octonions (𝕆)

Split Composition algebras	over ℝ: Split-complex numbers Split-quaternions Split-octonions over ℂ: Bicomplex numbers Biquaternions Bioctonions

Other hypercomplex	Dual numbers Dual quaternions Hyperbolic quaternions Sedenions (𝕊) Split-biquaternions Multicomplex numbers

Other types	Cardinal numbers Irrational numbers Hyperreal numbers Levi-Civita field Surreal numbers Transcendental numbers Ordinal numbers p-adic numbers Supernatural numbers Superreal numbers

Classification List

This article is issued from Wikipedia - version of the 11/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.