Okubo algebra

In algebra, an Okubo algebra or pseudo-octonion algebra is an 8-dimensional non-associative algebra similar to the one studied by Susumu Okubo (1978). Okubo algebras are composition algebras, flexible algebras (A(BA) = (AB)A), Lie admissible algebras, and power associative, but are not associative, not alternative algebras, and do not have an identity element.

Okubu's example was the algebra of 3 by 3 trace zero complex matrices, with the product of X and Y given by aXY + bYX – Tr(XY)I/3 where I is the identity matrix and a and b satisfy a + b = 3ab = 1. The Hermitian elements form an 8-dimensional real non-associative division algebra. A similar construction works for any cubic alternative separable algebra over a field containing a primitive cube root of unity. An Okubo algebra is an algebra constructed in this way from the trace 0 elements of a degree 3 central simple algebra over a field.^[1]

Construction of Para-Hurwitz algebra

Unital composition algebras are called Hurwitz algebras.^[2]^: 22 If the ground field $K$ is the field of real numbers and $N$ is positive-definite, then $A$ is called a Euclidean Hurwitz algebra.

Scalar product

If $K$ has characteristic not equal to 2, then a bilinear form $(a, b) = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}⁠1/2⁠[N(a + b) − N(a) − N(b)]$ is associated with the quadratic form $N$ .

Involution in Hurwitz algebras

Assuming $A$ has a multiplicative unity, define involution and right and left multiplication operators by

\displaystyle {{\bar {a}}=-a+2(a,1)1,\,\,\,L(a)b=ab,\,\,\,R(a)b=ba.}

Evidently is an involution and preserves the quadratic form. The overline notation stresses the fact that complex and quaternion conjugation are partial cases of it. These operators have the following properties:

The involution is an antiautomorphism, i.e. $a b = b a$
$a a = N (a) 1 = a a$
$L (a) = L (a)*$ , $R (a) = R (a)*$ , where $*$ denotes the adjoint operator with respect to the form $( , )$
$Re(a b) = Re(b a)$ where $Re x = (x + x)/2 = (x, 1)$
$Re((a b) c) = Re(a (b c))$
$L (a 2) = L (a) 2$ , $R (a 2) = R (a) 2$ , so that $A$ is an alternative algebra

These properties are proved starting from polarized version of the identity $(a b, a b) = (a, a)(b, b)$ :

\displaystyle {2(a,b)(c,d)=(ac,bd)+(ad,bc).}

Setting $b = 1$ or $d = 1$ yields $L (a) = L (a)*$ and $R (c) = R (c)*$ . Hence $Re(a b) = (a b, 1) = (a, b) = (b a, 1) = Re(b a)$ . Similarly $(a b, c) = (a b, c) = (b, a c) = (1, b (a c)) = (1, (b a) c) = (b a, c)$ . Hence $Re(a b) c = ((a b) c, 1) = (a b, c) = (a, c b) = (a (b c), 1) = Re(a (b c))$ . By the polarized identity $N (a) (c, d) = (a c, a d) = (a a c, d)$ so $L (a) L(a) = N (a)$ . Applied to 1 this gives $a a = N (a)$ . Replacing $a$ by a gives the other identity. Substituting the formula for $a$ in $L (a) L (a) = L (a a)$ gives $L (a) 2 = L (a 2)$ .

Para-Hurwitz algebra

Another operation $*$ may be defined in a Hurwitz algebra as

x * y = x y

The algebra $(A, *)$ is a composition algebra not generally unital, known as a para-Hurwitz algebra.^[1]^: 484 In dimensions 4 and 8 these are para-quaternion^[3] and para-octonion algebras.^[2]^: 40, 41

A para-Hurwitz algebra satisfies^[2]^: 48

(x*y)*x=x*(y*x)=\langle x|x\rangle y\ .

Conversely, an algebra with a non-degenerate symmetric bilinear form satisfying this equation is either a para-Hurwitz algebra or an eight-dimensional pseudo-octonion algebra.^[2]^: 49 Similarly, a flexible algebra satisfying

\langle xy|xy\rangle =\langle x|x\rangle \langle y|y\rangle \

is either a Hurwitz algebra, a para-Hurwitz algebra or an eight-dimensional pseudo-octonion algebra.^[2]

References

^ ^a ^b Max-Albert Knus, Alexander Merkurjev, Markus Rost, Jean-Pierre Tignol (1998) "Composition and Triality", chapter 8 in The Book of Involutions, pp 451–511, Colloquium Publications v 44, American Mathematical Society ISBN 0-8218-0904-0
^ ^a ^b ^c ^d ^e Okubo, Susumu (1995). Introduction to octonion and other non-associative algebras in physics. Montroll Memorial Lecture Series in Mathematical Physics. Vol. 2. Cambridge: Cambridge University Press. ISBN 0-521-47215-6. Zbl 0841.17001.MR1356224
^ The term "para-quaternions" is sometimes applied to unrelated algebras.

"Okubo_algebra", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Okubo, Susumu (1978), "Pseudo-quaternion and pseudo-octonion algebras", Hadronic Journal, 1 (4): 1250–1278, MR 0510100
Susumu Okubo & J. Marshall Osborn (1981) "Algebras with nondegenerate associative symmetric bilinear forms permitting composition", Communications in Algebra 9(12): 1233–61, MR0618901 and 9(20): 2015–73 MR0640611.

[KMRT-1] Max-Albert Knus, Alexander Merkurjev, Markus Rost, Jean-Pierre Tignol (1998) "Composition and Triality", chapter 8 in The Book of Involutions, pp 451–511, Colloquium Publications v 44, American Mathematical Society ISBN 0-8218-0904-0

[Ok95-2] Okubo, Susumu (1995). Introduction to octonion and other non-associative algebras in physics. Montroll Memorial Lecture Series in Mathematical Physics. Vol. 2. Cambridge: Cambridge University Press. ISBN 0-521-47215-6. Zbl 0841.17001.MR1356224

[3] The term "para-quaternions" is sometimes applied to unrelated algebras.

[1]

[2]

[3]