Algebra and Applications 1. Abdenacer Makhlouf
Чтение книги онлайн.
Читать онлайн книгу Algebra and Applications 1 - Abdenacer Makhlouf страница 27
in
Figure 2.2. Multiplication table of the split Okubo algebra
The classification of the symmetric composition algebras in characteristic 3, which completes the classification of symmetric composition algebras over fields, is as follows (Elduque (1997), see also Chernousov et al. (2013)):
THEOREM 2.6.– Any symmetric composition algebra (
– a para-Hurwitz algebra. Two such algebras are isomorphic if and only if the associated Hurwitz algebras are too;
– a two-dimensional algebra with a basis {u, v} and multiplication given by
for a non-zero scalar
Algebras corresponding to the scalars λ and λʹ are isomorphic if and only if
– Isomorphic to for some 0 ≠ α, . Moreover, is isomorphic or anti-isomorphic to if and only if .
A more precise statement for the isomorphism condition in the last item is given in (Elduque 1997). A key point in the proof of this theorem is the study of idempotents on Okubo algebras. If there are non-zero idempotents, then these algebras are Petersson algebras. The most difficult case appears in the absence of idempotents. This is only possible if the ground field
2.5. Triality
The importance of symmetric composition algebras lies in their connections with the phenomenon of triality in dimension 8, related to the fact that the Dynkin diagram D4 is the most symmetric one. The details of much of what follows can be found in (Knus et al. (1998), Chapter VIII).
Let (
Therefore, the map
extends to an isomorphism of associative algebras with involution:
where
Consider the spin group:
For any u ∈ Spin(
for some
for any x,
The last condition is equivalent to:
for any x, y,