Chirality in Octonion Algebras – An In-Depth Study

non-associative-algebrasoctonionsra.rings-and-algebras

Octonion multiplication can be defined with respect to a set of triads. A set of such triads can be represented by a directed Fano plane diagram such as the following two diagrams.

Directed Fano planes with opposite chirality

This depicts two sets of triads for octonion multiplication in two distinct octonion algebras.

Each of the 480 possible sets of octonion triads can be placed in one of these directed Fano planes but not in the other. Furthermore, any set of seven distinct symbols place into one or the other of these two diagrams defines an octonion algebra.

Given that each octonion algebra is isomorphic to any other octonion algebra, can this partition into two mutually exclusive sets of octonions have any significance?

Context: I'm writing an html version of a scientific calculator for real octonions which is agnostic to whichever numbering system one chooses for the unit imaginaries. The user will initialize the calculator with their preferred set of triads. So it is necessary to check that the triads in fact define an octonion algebra. When programming the check, the issue of 'chirality' arose.

Note: Further reflection shows that 'chirality' is essentially the same issue as 'right hand system' versus 'left hand system' in coordinate systems. It is a feature of choice of unit basis elements in an octonion algebra, not a feature of the algebra itself.

Best Answer

Perhaps this is more a question about the Fano plane than about the (real) octonions. Notice that the automorphism group of the Fano plane is the simple group $\operatorname{GL}(3, \mathbb{F}_2) \cong \operatorname{PSL}(2, \mathbb{F}_7)$ of order $168$. The elements of order $7$ can be viewed as orientations of the Fano plane, and these elements fall into two conjugacy classes.

An explicit reference where the connection with octonions is worked out in more detail is de Traubenberg and Slupinski - Commutation relations of $\mathfrak g_2$ and the incidence geometry of the Fano plane, but I would not be surprised if this has already appeared much earlier in other sources, too.

Related Question