The product of two bioctonions is defined using biquaternion multiplication and the biconjugate p → p*:
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 z2. The algebra of bioctonions is an example of an octonion algebra.
For any pair of bioctonions y and 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:
The explicit description of the exceptional domains ... involves 3x3 matrices with entries in the Cayley-Graves algebra OC of complex octonions ... The space 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 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 of 2x1 matrices with octonion entries.