Bioctonion

Last updated July 28, 2023

In mathematics, a bioctonion, or complex octonion, is a pair (p,q) where p and q are biquaternions.

The product of two bioctonions is defined using biquaternion multiplication and the biconjugate p → p*:

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

The bioctonion z = (p,q) has conjugate z* = (p*, – q).

Then norm N(z) of bioctonion z is z z* = p p* + q q*, which is a complex quadratic form with eight terms.

The bioctonion algebra is sometimes introduced as simply the complexification of real octonions, but in abstract algebra it is the result of the Cayley–Dickson construction that begins with the field of complex numbers, the trivial involution, and quadratic form z². The algebra of bioctonions is an example of an octonion algebra.

For any pair of bioctonions y and z,

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

showing that N is a quadratic form admitting composition, and hence the bioctonions form a composition algebra.

Guy Roos explained how bioctonions are used to present the exceptional symmetric domains:^[1]

The explicit description of the exceptional domains ... involves 3x3 matrices with entries in the Cayley-Graves algebra O_C of complex octonions ... The space $H_{3}(O_{C})$ of such matrices which are Hermitian with respect to the Cayley conjugation can be endowed with the structure of a Jordan algebra using a product that generalizes in a natural way the symmetrized product $x\circ y={\tfrac {1}{2}}(xy+yx)$ of ordinary square matrices. This algebra is known as the Albert algebra or exceptional Jordan algebra. It is the natural place to describe the exceptional symmetric domain of dimension 27. The second exceptional symmetric domain (of complex dimension 16) lives in the space $M_{2,1}(O_{C})$ of 2x1 matrices with octonion entries.

Complex octonions have been used to describe the generations of quarks and leptons.^[2]

Related Research Articles

In abstract algebra, an alternative algebra is an algebra in which multiplication need not be associative, only alternative. That is, one must have

In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As $K$ -algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems. The theory of Clifford algebras is intimately connected with the theory of quadratic forms and orthogonal transformations. Clifford algebras have important applications in a variety of fields including geometry, theoretical physics and digital image processing. They are named after the English mathematician William Kingdon Clifford (1845–1879).

In mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface $O$ or blackboard bold $. Octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity; namely, they are alternative. They are also power associative.$

In mathematics, hypercomplex number is a traditional term for an element of a finite-dimensional unital algebra over the field of real numbers. The study of hypercomplex numbers in the late 19th century forms the basis of modern group representation theory.

In mathematics, the Cayley–Dickson construction, named after Arthur Cayley and Leonard Eugene Dickson, produces a sequence of algebras over the field of real numbers, each with twice the dimension of the previous one. The algebras produced by this process are known as Cayley–Dickson algebras, for example complex numbers, quaternions, and octonions. These examples are useful composition algebras frequently applied in mathematical physics.

In mathematics, and more specifically in abstract algebra, a *-algebra is a mathematical structure consisting of two involutive rings $R$ and $A$ , where $R$ is commutative and $A$ has the structure of an associative algebra over $R$ . Involutive algebras generalize the idea of a number system equipped with conjugation, for example the complex numbers and complex conjugation, matrices over the complex numbers and conjugate transpose, and linear operators over a Hilbert space and Hermitian adjoints. However, it may happen that an algebra admits no involution.

In mathematics, a square is the result of multiplying a number by itself. The verb "to square" is used to denote this operation. Squaring is the same as raising to the power 2, and is denoted by a superscript 2; for instance, the square of 3 may be written as 3², which is the number 9. In some cases when superscripts are not available, as for instance in programming languages or plain text files, the notations x^2 (caret) or x**2 may be used in place of x². The adjective which corresponds to squaring is quadratic.

In algebra, a split complex number is based on a hyperbolic unit $j$ satisfying $A split-complex number has two real number components x and y, and is written The conjugate of z is Since the product of a number z with its conjugate is an isotropic quadratic form.$

In abstract algebra, a Jordan algebra is a nonassociative algebra over a field whose multiplication satisfies the following axioms:

$.$

In abstract algebra, the biquaternions are the numbers $w + x i + y j + z k$ , where $w, x, y$ , and $z$ are complex numbers, or variants thereof, and the elements of ${1, i, j, k}$ multiply as in the quaternion group and commute with their coefficients. There are three types of biquaternions corresponding to complex numbers and the variations thereof:

<span class="mw-page-title-main">Null vector</span> Vector on which a quadratic form is zero

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

In mathematics, a quaternion algebra over a field F is a central simple algebra A over F that has dimension 4 over F. Every quaternion algebra becomes a matrix algebra by extending scalars, i.e. for a suitable field extension K of F, $is isomorphic to the 2 \times 2 matrix algebra over K .$

In mathematics, a composition algebra $A$ over a field $K$ is a not necessarily associative algebra over $K$ together with a nondegenerate quadratic form $N$ that satisfies

In mathematics, the split-octonions are an 8-dimensional nonassociative algebra over the real numbers. Unlike the standard octonions, they contain non-zero elements which are non-invertible. Also the signatures of their quadratic forms differ: the split-octonions have a split signature (4,4) whereas the octonions have a positive-definite signature (8,0).

In abstract algebra, a bicomplex number is a pair (w, z) of complex numbers constructed by the Cayley–Dickson process that defines the bicomplex conjugate $, and the product of two bicomplex numbers as$

A non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure A is a non-associative algebra over a field K if it is a vector space over K and is equipped with a K-bilinear binary multiplication operation A × A → A which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation. Since it is not assumed that the multiplication is associative, using parentheses to indicate the order of multiplications is necessary. For example, the expressions (ab)(cd), (a(bc))d and a(b(cd)) may all yield different answers.

In mathematics, an octonion algebra or Cayley algebra over a field F is a composition algebra over F that has dimension 8 over F. In other words, it is a unital non-associative algebra A over F with a non-degenerate quadratic form N such that

In mathematics, Hurwitz's theorem is a theorem of Adolf Hurwitz (1859–1919), published posthumously in 1923, solving the Hurwitz problem for finite-dimensional unital real non-associative algebras endowed with a positive-definite quadratic form. The theorem states that if the quadratic form defines a homomorphism into the positive real numbers on the non-zero part of the algebra, then the algebra must be isomorphic to the real numbers, the complex numbers, the quaternions, or the octonions. Such algebras, sometimes called Hurwitz algebras, are examples of composition algebras.

In mathematics, symmetric cones, sometimes called domains of positivity, are open convex self-dual cones in Euclidean space which have a transitive group of symmetries, i.e. invertible operators that take the cone onto itself. By the Koecher–Vinberg theorem these correspond to the cone of squares in finite-dimensional real Euclidean Jordan algebras, originally studied and classified by Jordan, von Neumann & Wigner (1934). The tube domain associated with a symmetric cone is a noncompact Hermitian symmetric space of tube type. All the algebraic and geometric structures associated with the symmetric space can be expressed naturally in terms of the Jordan algebra. The other irreducible Hermitian symmetric spaces of noncompact type correspond to Siegel domains of the second kind. These can be described in terms of more complicated structures called Jordan triple systems, which generalize Jordan algebras without identity.

References

↑ Guy Roos (2005) "Exceptional Symmetric Domains", page 158 in Symmetries in Complex Analysis, editors Bruce Gilligan and Guy J. Roos, Contemporary Mathematics #468, American Mathematical Society ISBN 978-0-8218-4459-5
↑ C. Furey (2016) Standard Model Physics from an Algebra ?

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, doi : 10.1007/BF00715215 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 MR 744966
A.A. Eliovich & V.I. Sanyuk (2010) "Polynorms", Theoretical and Mathematics Physics 162(2) 135−48 MR 2681963

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Guy Roos (2005) "Exceptional Symmetric Domains", page 158 in Symmetries in Complex Analysis, editors Bruce Gilligan and Guy J. Roos, Contemporary Mathematics #468, American Mathematical Society ISBN 978-0-8218-4459-5

[2] C. Furey (2016) Standard Model Physics from an Algebra ?

[1]

[2]

v t e Number systems
Sets of definable numbers	Natural numbers ( $\mathbb {N}$ ) Integers ( $\mathbb {Z}$ ) Rational numbers ( $\mathbb {Q}$ ) Constructible numbers Algebraic numbers ( $\mathbb {A}$ ) Closed-form numbers Periods Computable numbers Arithmetical numbers Set-theoretically definable numbers Gaussian integers
Composition algebras	Division algebras: Real numbers ( $\mathbb {R}$ ) Complex numbers ( $\mathbb {C}$ ) Quaternions ( $\mathbb {H}$ ) Octonions ( $\mathbb {O}$ )
Split types	Over $\mathbb {R}$ : Split-complex numbers Split-quaternions Split-octonions Over $\mathbb {C}$ : Bicomplex numbers Biquaternions Bioctonions
Other hypercomplex	Dual numbers Dual quaternions Dual-complex numbers Hyperbolic quaternions Sedenions ( $\mathbb {S}$ ) Split-biquaternions Multicomplex numbers Geometric algebra/Clifford algebra Algebra of physical space Spacetime algebra
Other types	Cardinal numbers Extended natural numbers Irrational numbers Fuzzy numbers Hyperreal numbers Levi-Civita field Surreal numbers Transcendental numbers Ordinal numbers p-adic numbers (p-adic solenoids) Supernatural numbers Profinite integers Superreal numbers Normal numbers
Classification List