Page 4.

Martin Cederwall introduced the octonion X-product a few years ago
(it appeared first in Nuc Phys B). Let X be a unit octonion, then whatever

A ox B = (AX)(X*B)

is also a valid octonion product (X* is the conjugate of X, and although XX*=1,
because of nonassociativity (AX)(X*B) is not in general equal AB), in this case leaving
the identity invariant (the X,Y-product, which generalizes the X-product,
can change the role of the unit e0).

Define

X0 = (1 - e1 - e2 - e3 - e4 - e5 - e6 - e7) / 81/2.

This element and it's conjugate are very special in that they are invariant under index
doubling and cycling (they also appear as essential components of my own, and Dick Gross's,
representations of the Leech lattice based on the octonions - two representations both of
which require X0).

Anyway, this element also can be used to interchange the D(+) and C(+) products. Let
A and B be arbitrary octonions, and let AB be the D(+) product of A and B. Then

(AX0)(X0*B)

is the C(+) product of A and B. In particular, given

ea ea+1 = ea+5,

then

(eaX0) (X0*ea+1) = ea+3.

All of this can be checked using the X-product calculator below, where X is set equal to X0.
The A and B fields are input fields. Make sure that each of the 16 component fields has a number
in it, for I didn't bother to have the program check for this.

By the way, because of associativity the complex and quaternion algebras have no X-product variants
(although they do have X,Y-product variants).

e0e1 e2e3 e4e5 e6e7
Input A:
81/2X0 (not an input):
81/2X0* (not an input):
Input B:
D(+)    (AB):
C(+)   (AX0)(X0*B):

Page 3.  |  Page 5.  |  Contents  |  Octoshop III page.