Bioctonion

Template:Short description In mathematics, the algebra of bioctonions, or complex octonions, is the tensor product of the algebra of octonions and the algebra of complex numbers. It is often denoted $𝕆\otimes ℂ$ or ${𝕆}_{ℂ}$.

Thus, every bioctonion can be written as a + bi where a and b are octonions. Addition of bioctonions is defined by

$(a+bi)+(c+di)=(a+b)+(c+d)i$

and multiplication of bioctonions is defined by

$(a+bi)(c+di)=(ac-bd)+(ad+bc)i.$

We can define the conjugate of a bioctonion by

$(a+bi{)}^{\ast }=a-b^{\ast }i.$

There is another equivalent scheme which obtains the bioctonions by repeated application of the Cayley–Dickson construction starting from the field of complex numbers, the trivial involution, and quadratic form z². Applying this construction once we obtain the biquaternions, and applying it again we obtain the bioctonions. This approach exhibits the bioctonions as an octonion algebra over the complex numbers.

Concretely, in this approach a bioctonion is written as a pair (p,q) where p and q are biquaternions. Addition of bioctonions is then defined by

$(p,q)+(r,s)=(p+r,q+s)$

while multiplication of bioctonions is defined using biquaternion multiplication and the biconjugate $p^{\ast }$ of a biquaternion p, as follows:

$(p,q)(r,s)=(pr-s^{\ast }q,sp+q{r}^{\ast }).$

In this approach the bioctonion z = (p,q) has conjugate z* = (p*, – q), and the norm N(z) of bioctonion z is z z* = p p* + q q*, which is a complex quadratic form with eight terms. For any pair of bioctonions y and z,

$N(yz)=N(y)N(z),$

showing that N is a quadratic form admitting composition. Thus, the bioctonions form a composition algebra over the complex numbers.

Guy Roos explained how bioctonions are used to present the exceptional symmetric domains: Template:Blockquote

Complex octonions have been used to describe the generations of quarks and leptons.

References

• J. D. Edmonds (1978) Nine-vectors, complex octonion/quaternion hypercomplex numbers, Lie groups and the ‘real’ world, Foundations of Physics 8(3-4): 303–11, Template:Doi link from PhilPapers.
• J. Koeplinger & V. Dzhunushaliev (2008) "Nonassociative decomposition of angular momentum operator using complex octonions", presentation at a meeting of the American Physical Society
• D.G. Kabe (1984) "Hypercomplex Multivariate Normal Distribution", Metrika 31(2):63−76 Template:Mr
• A.A. Eliovich & V.I. Sanyuk (2010) "Polynorms", Theoretical and Mathematics Physics 162(2) 135−48 Template:Mr