General Formulation
A duality between two vector spaces over a field F is a nondegenerate bilinear map
i.e., for each nonzero vector v in one of the two vector spaces, the pairing with v is a nonzero linear functional on the other.
Similarly, a triality between three vector spaces over a field F is a nondegenerate trilinear map
i.e., each nonzero vector in one of the three vector spaces induces a duality between the other two.
By choosing vectors ei in each Vi on which the trilinear map evaluates to 1, we find that the three vector spaces are all isomorphic to each other, and to their duals. Denoting this common vector space by V, the triality may be reexpressed as a bilinear multiplication
where each ei corresponds to the identity element in V. The nondegeneracy condition now implies that V is a division algebra. It follows that V has dimension 1, 2, 4 or 8. If further F = R and the identification of V with its dual is given by positive definite inner product, V is a normed division algebra, and is therefore isomorphic to R, C, H or O.
Conversely, the normed division algebras immediately give rise to trialities by taking each Vi equal to the division algebra, and using the inner product on the algebra to dualize the multiplication into a trilinear form.
An alternative construction of trialities uses spinors in dimensions 1, 2, 4 and 8. The eight dimensional case corresponds to the triality property of Spin(8).
Read more about this topic: Triality
Famous quotes containing the words general and/or formulation:
“In communist society, where nobody has one exclusive sphere of activity but each can become accomplished in any branch he wishes, society regulates the general production and thus makes it possible for me to do one thing today and another tomorrow, to hunt in the morning, fish in the afternoon, rear cattle in the evening, criticize after dinner, just as I have a mind, without ever becoming hunter, fisherman, shepherd or critic.”
—Karl Marx (18181883)
“In necessary things, unity; in disputed things, liberty; in all things, charity.”
—Variously Ascribed.
The formulation was used as a motto by the English Nonconformist clergyman Richard Baxter (1615-1691)