**Abstract**

An algebra closely related to the octonions, but with a distinguished triad, is described, and shown to be the only algebra (other than the octonions) composed of seven overlapping quaternionic subalgebras. The symmetry group preserving multiplication is shown to be a SU(2)xSU(2) subgroup of the G_{2} symmetry group of the ordinary octonions, with vector-like transformation of the imaginary units of the distinguished triad, and and spinor-like transformation of the remaining four imaginaries.

**Introduction**

A familiar representation of the octonions is given by the following multiplication table:

(1)

e_{1} | e_{2} | e_{3} | e_{4} | e_{5} | e_{6} | e_{7} (2nd factor) | |

first factor | |||||||

e_{1} | -1 | +e_{3} | -e_{2} | +e_{5} | -e_{4} | +e_{7} | -e_{6} |

e_{2} | -e_{3} | -1 | +e_{1} | -e_{6} | +e_{7} | +e_{4} | -e_{5} |

e_{3} | +e_{2} | -e_{1} | -1 | +e_{7} | +e_{6} | -e_{5} | -e_{4} |

e_{4} | -e_{5} | +e_{6} | -e_{7} | -1 | +e_{1} | -e_{2} | +e_{3} |

e_{5} | +e_{4} | -e_{7} | -e_{6} | -e_{1} | -1 | +e_{3} | +e_{2} |

e_{6} | -e_{7} | -e_{4} | +e_{5} | +e_{2} | -e_{3} | -1 | +e_{1} |

e_{7} | +e_{6} | +e_{5} | +e_{4} | -e_{3} | -e_{2} | -e_{1} | -1 |

A line-by-line inspection reveals the well-known fact that each ej belongs to three quaternionic triads, with seven such triads in all. In the multiplication table given above, these triads are

(1a) (e_{1},e_{2},e_{3}), (e_{1},e_{4},e_{5}), (e_{1},e_{6},e_{7}), (e_{2},e_{5},e_{7}),
(e_{2},e_{6},e_{4}), (e_{3},e_{4},e_{7}), and (e_{3},e_{5},e_{6}).

**Tensor Notation**

A compact notation for this same multiplication table is given by a totally antisymmetric 7x7x7 tensor e_{ijk} with the general properties:

(2) e_{ijk} = e_{jki} = e_{kij} = -e_{ikj} = -e_{jik} = -e_{kji}

(3) |e_{ijk}| = 1 iff (e_{i},e_{j},e_{k}) is a quaternionic triad, else e_{ijk} = 0.

(As will be seen, these conditions are necessary but not sufficient to define the octonions.) The multiplication table is given by the e_{ijk}'s (and d_{ij}'s such that d_{ij} = 1 if i = j, and d_{ij} = 0 if i not = j) thus:

(4) e_{i}e_{j} = -d_{ij} + e_{ijk}e_{k} (summation over k).

A comment on notation: "*" will usually denote ordinary real multiplication, but may also be used for the octonionic product (as in the left-hand side of (4)) if necessary for legibility.

The specific form of the tensor for the example above is:

`(5)
e _{123} = e_{231} = e_{312} = -e_{132} = -e_{213} = -e_{321} = 1
e_{145} = e_{451} = e_{514} = -e_{154} = -e_{415} = -e_{541} = 1
e_{167} = e_{671} = e_{716} = -e_{176} = -e_{617} = -e_{761} = 1
e_{246} = e_{462} = e_{624} = -e_{264} = -e_{426} = -e_{642} = -1
e_{257} = e_{572} = e_{725} = -e_{275} = -e_{527} = -e_{752} = 1
e_{347} = e_{473} = e_{734} = -e_{374} = -e_{437} = -e_{743} = 1
e_{356} = e_{563} = e_{635} = -e_{365} = -e_{536} = -e_{653} = 1
`

with all other e

**Choosing the Triads**

There are in fact 30 ways of arranging 7 objects into 7 triads such that each pair of objects belongs to exactly 1 triad. A computer program may be requested from the authors in c which generates the 30 possible multiplication tables like (1), corresponding to the 30 possible ways of choosing triads. Although all 30 representations are in principle equivalent, the representation given in (1) has the special property that if i, j, and k in the equation e_{i}e_{j} = (+/-)e_{k} are written in binary form, they satisfy k = i XOR j, where XOR is bitwise exclusive "or", and e_{0} = 1. This is useful as a mneumonic.

**The Norm and Nonassociativity**

The -1 associated with the e_{246} triad stems from the requirement that the octonion norm satisfy N(ab) = N(a)N(b); for octonion a given by

`
(6) a = a _{0} + a_{i}e_{i} (summed over i), `

with a norm

`
(7) N(a) = a _{0}a_{0} + a_{i}a_{i} (summed over i).
`

It can also be related to the pattern of nonassociativity displayed by the octonionic imaginary units e_{j}, to wit:

`
(8) (e _{i}e_{j})e_{k} = -e_{i}(e_{j}e_{k}) iff (e_{i}, e_{j}, e_{k}) is not a quaternionic triad, and
`

`
(9) (e _{i}e_{j})e_{k} = e_{i}(e_{j}e_{k}) iff e_{i}, e_{j}, e_{k} are in the same triad.
`

This second condition is necessary if the triads are to be quaternionic.

At this point it is convenient to introduce a symbolic representation for multiplication which highlights the parallels to ordinary vector analysis. Represent the octonion a as a_{0} + **A**; a_{0} is the real part, and **A** the imaginary part, a vector with 7 components:

The product of two octonions is given by

`
(10) ab = a _{0}b_{0} + a_{0}B + b_{0}A +AxB - A.B,
`

where "x" represents a vector cross product defined by

`
(11) AxB = A_{i}B_{j}e_{ijk}e_{k} (all indices summed),
`

and "." represents the usual vector dot product **A.B** = A_{i}B_{i} (i summed). Straightforward calculation leads to the result that N(a)N(b) = N(ab) iff

`
(11a) ( AxB).(AxB) = (A.A)(B.B) - (A.B)(A.B).
`

**Adding a Twist**

Something quite interesting happens if the -1 of the e_{246} triad is changed to +1, resulting in the new multiplication table

(12)

e_{1} | e_{2} | e_{3} | e_{4} | e_{5} | e_{6} | e_{7} (2nd factor) | |

first factor | |||||||

e_{1} | -1 | +e_{3} | -e_{2} | +e_{5} | -e_{4} | +e_{7} | -e_{6} |

e_{2} | -e_{3} | -1 | +e_{1} | +e_{6} | +e_{7} | -e_{4} | -e_{5} |

e_{3} | +e_{2} | -e_{1} | -1 | +e_{7} | +e_{6} | -e_{5} | -e_{4} |

e_{4} | -e_{5} | -e_{6} | -e_{7} | -1 | +e_{1} | +e_{2} | +e_{3} |

e_{5} | +e_{4} | -e_{7} | -e_{6} | -e_{1} | -1 | +e_{3} | +e_{2} |

e_{6} | -e_{7} | +e_{4} | +e_{5} | -e_{2} | -e_{3} | -1 | +e_{1} |

e_{7} | +e_{6} | +e_{5} | +e_{4} | -e_{3} | -e_{2} | -e_{1} | -1 |

with the associated e_{ijk}'s

`(13)
e _{123} = e_{231} = e_{312} = -e_{132} = -e_{213} = -e_{321} = 1
e_{145} = e_{451} = e_{514} = -e_{154} = -e_{415} = -e_{541} = 1
e_{167} = e_{671} = e_{716} = -e_{176} = -e_{617} = -e_{761} = 1
e_{246} = e_{462} = e_{624} = -e_{264} = -e_{426} = -e_{642} = 1
e_{257} = e_{572} = e_{725} = -e_{275} = -e_{527} = -e_{752} = 1
e_{347} = e_{473} = e_{734} = -e_{374} = -e_{437} = -e_{743} = 1
e_{356} = e_{563} = e_{635} = -e_{365} = -e_{536} = -e_{653} = 1.
`

This algebra no longer satisfies N(ab) = N(a)N(b), and has a pattern of associativity different from that of the octonions. It is still true that there are 7 quaternionic subalgebras, and that each e_{j} belongs to 3 of these 7 triads. However, exactly one of these triads is distinguished (in this example, it is (e_{2},e_{4},e_{6})) by the fact that one obtains the octonions by reversing the signs of the e_{ijk}'s for that triad. Reversing the signs of the e_{ijk}'s of any one of the other triads will result, not in the octonions, but in an algebra with exactly one distinguished triad, the reversal of whose e_{ijk}'s signs results in the octonions. In essence, there are but 2 algebras composed of 7 overlapping quaternionic subalgebras, namely, the octonions, and the "twisted" octonions having a distinguished triad.

Any algebra having 7 overlapping quaternionic triads (like the octonions and the "twisted" octonions) must satisfy the conditions (2) and (3). Thus, for a specific choice of triads, the only freedom in assigning the e_{ijk}'s lies in choosing +1 or -1 for the right hand sides of each line of (13), giving 128 different choices in all. A convenient representation of the choice can be made using a 7-bit number: the lowest order bit is set if the first line of (13) is assigned -1, the next lowest bit is set if the second line of (13) is assigned -1, and so forth. It is straightforward to show that for the choice of triads given in (1a), condition (8) holds only for a sign assignment with 7-bit representation equal to one of the following:

(14) 8, 15, 17, 22, 34, 37, 59, 60, 67, 68, 90, 93, 105, 110, 112, or 119

or in hexadecimal notation (which is clearer for exhibiting the bit pattern):

(14a) 8, f, 11, 16, 22, 25, 3b, 3c, 43, 44, 5a, 5d, 69, 6e, 70, or 77.

A c program may be obtained from the authors upon request which is used to find this result. In other words, the algebra is the octonions for these choices of signs of the e_{ijk}'s. In particular, the multiplication table (1) corresponds to 7-bit sign value of 8. Moreover, every other integer between 0 and 127 can be obtained by changing one bit of exactly one of the numbers in (14). This bit clearly corresponds to the distinguished triad of the "twisted" octonions - reversing the signs of the e_{ijk}'s associated with this triad gives a 7-bit sign value corresponding to the octonions, whereas reversing the signs for any other triad will give a 7-bit sign value not in (14), but one bit away from (exactly) one of the values in (14). Thus the assertion above that the octonions and the "twisted" octonions are the only 2 possible algebras satisfying (2) and (3) is seen to be true. A program "twist.c" may also be requested from the authors, which can be used to find the distinguished triad (if any) for an arbitrarily chosen 7-bit sign value.

To verify that the twisted octonions no longer satisfy N(ab) = N(a)N(b), expand **(AxB).(AxB)** explicitly, using the cross product definition (11). Cross terms involving the e_{ijk}'s of 2 different triads will appear, and these must all cancel each other if the identity (11a) is to hold true. Inspection shows that the cross terms do indeed cancel only for the octonionic choices of sign for the e_{ijk}'s. Thus, the twisted octonions do not satisfy N(ab) = N(a)N(b), and furthermore, the logical equivalence of the multiplicative norm and the octonions' associativity pattern is revealed.

An examination of the automorphism group of the twisted octonions reveals some interesting features. The general form of a linear transformation among the imaginary units is given by

(15) e'_{j} = C_{ji}e_{i} (summed over i)

and the condition that such a transformation preserve multiplication is

(16) e'_{i}e'_{j} = e_{ijk}e'_{k} - d_{ij} (summed over k)

which yields

(17) -C_{im}C_{jm} + C_{il}C_{jm}e_{lmk} = e_{ijn}C_{nk} - d_{ij}
(summed over l, m, and n)

as necessary restrictions on the elements of C_{ij}. Since an automorphism must preserve the norm, C_{ij} must be orthogonal (i.e. C_{im}C_{jm} = d_{ij}); thus (17) gives

(18) C_{il}C_{jm}e_{lmk} = e_{ijn}C_{nk} (summed over l, m, and n).

A simple transformation satisfying conditions (18) corresponds geometrically to rotation of two triads, such that the imaginary element common to both triads is the axis of rotation, and the angles of rotation are equal and opposite, e.g.

(19)

e'_{2} = e_{2}cos a + e_{3}sin a,

e'_{3} = -e_{2}sin a + e_{3}cos a

e'_{4} = e_{4}cos a - e_{5}sin a,

e'_{5} = e_{4}sin a + e_{5}cos a

corresponds to a rotation around e_{1}, with e_{2},e_{3} rotated through an angle of +a, and e_{4},e_{5} rotated through -a. A second, independent rotation about e_{1} mixes e_{2} with e_{3}, and e_{6} with e_{7}, with another arbitrary mixing angle. The third possibility, mixing e_{4} with e_{5} and e_{6} with e_{7}, can be obtained by successive application of the rotations already described; hence, there are 2 independent parameters for rotations about e_{1}. For the usual octonions, any one of the imaginary units may be chosen as the axis of rotation for this type of elemental transformation, and the group generated by products of all such elemental transformations will thus have 14 independent parameters. This is the well-known automorphism group G_{2}.

It turns out, however, that the sign conditions imposed by the e_{ijk}'s of the twisted octonions force the C_{ij}'s to zero unless the axis of rotation lies in the distinguished triad. This generates an automorphism group corresponding to SU(2)xSU(2) rather than G_{2}.

Thus the twisted octonion algebra leads to a natural choice of Dirac matrices which are then extended to generate Lorentz transformations as well [1]. The intimate ties of these octonionic structures to Hopf and pseudo-Hopf fibrations, connections to higher dimensional solotonic models, Kaluza-Klein compactification of D=11 supergravity, GUTs, superstrings, and supermembrane theories will be discussed in another publication. For a review we refer the reader to some recent articles shown in reference 2. References 3 and 4 contain some of their applications to hadronic color algebra.

- S. Catto and D. Chesley, to be published
- C-H. Tze, Manifold-Splitting, Self-Linking, Twisting, Writhing Numbers and Polyakov's Fermi-Bose Transmutations; to appear in Int. J. Modern Phys. A and references therein
- S. Catto and F. Gursey, Nuovo Cimento 86A (1985) 201
- S. Catto and F. Gursey, New Realizations of Hadronic Supersymmetry; to appear in Nuovo Cimento