Page 3.

By the way, the index doubling and index cycling properties of the previous page
are octonion automorphisms (elements of the automorphism group G₂; in fact
they give rise to the full 21 element subgroup of G₂ that maps octonion units to units).

The D(+) multiplication table is based on the cyclic identity

e_a e_a+1 = e_a-2 = e_a+5,

and the C(+) table on the identity

e_a e_a+1 = e_a-4 = e_a+3.

In both cases e₀ represents the octonion identity (so be careful of
the modulo 7 index property, as 7 modulo 7 = 7 in these multiplication rules).

So on the D(+) side, using index doubling twice,
e₁ e₂ = e₆ implies
e₂ e₄ = e₅,
e₄ e₁ = e₃
(one more application of index doubling gets you back where you started);
and using index cycling,
e₁ e₂ = e₆ implies
e₂ e₃ = e₇,
e₃ e₄ = e₁,
e₄ e₅ = e₂,
e₅ e₆ = e₃,
e₆ e₇ = e₄,
e₇ e₁ = e₅.

Using index doubling on the rules above, we arrive at three useful cyclic
identities for each table:

D(+)	C(+)
ea ea+1 = ea+5	ea ea+1 = ea+3
ea ea+2 = ea+3	ea ea+2 = ea+6
ea ea+4 = ea+6	ea ea+4 = ea+5

Given index doubling only the first of each of these pairs of three rules
is necessary, but in any case, with these rules and the index doubling and
cycling automorphisms in hand, determining a product using either of these
tables is very easy. In general, e_a e_b will give a positive result
if b-a is a power of 2 (1, 2, or 4) modulo 7, and it will give a negative result
if b-a is minus a power of 2 (6, 5 or 3) modulo 7.

And that about does it. All you have to watch out for is the modulo 7 stuff.
For example, using index doubling, given

e₁ e₇ = -e₃

on the C(+) side, we get

e₂ e₇ = -e₆.

That is, 2x7=7 modulo 7.

One other note here: the unit element

( 1 + e₁ + e₂ + ... + e₇)/8^1/2

and its conjugate have special roles to play in octonion mathematics.
Note that they are index doubling and cycling invariant.

Page 2.  |  Page 4.  |  Contents  |  Octoshop III page.