Higher dimensional cross products

[zephyr5050]

I've always heard that the cross product only exists in a well defined way for 3 and 7 dimensions. From my own reading I've found that a cross product in 3 dimensions is nothing more than the product of two quaternions with only pure imaginary components (that is, the real part is zero). Likewise, a seven dimensional cross product is simply the product of two octonions where again the real part is zero. But why can't this process simply continue? Why not construct the 16 component sedenians and define the 15 dimensional cross product to be the product of two sedenians with zero real parts? Is there some property of sedenians that disallows this?

 

[micromass]

Let's begin by defining what a cross product is supposed to be. A cross product is a function

$$\times:\mathbb{R}^n\times\mathbb{R}^n\rightarrow\mathbb{R}^n$$

such that

1) $\times$ is bilinear
2) $\mathbf{x}\cdot (\mathbf{x}\times\mathbf{y}) = (\mathbf{x}\times \mathbf{y})\cdot\mathbf{y} = 0$
3) $|\mathbf{x}\times\mathbf{y}|^2 = |\mathbf{x}|^2|\mathbf{y}|^2 - (\mathbf{x}\cdot \mathbf{y})^2$

We don't demand anything about a Jacobi identity, which won't be satisfied anyway except in the case $n=3$.
As you know, in the cases $n=3$ and $n=7$, there is such a cross product (but it might not be unique in the case $n=7$). In particular, we can define the cross product by identifiying $\mathbb{R}^7$ with the imaginary octonions and then set

$$\mathbf{x}\times \mathbf{y} = \textrm{Im}(\mathbf{x}\mathbf{y}) = \frac{1}{2}(\mathbf{x}\mathbf{y} - \mathbf{y}\mathbf{x}).$$

Something similar works with $n=3$ and the imaginary quaternions.
Now, why doesn't it work with $n=15$ and the imaginary sedenions? Well, sedenions do not form a division ring. Even worse, there are nonzero sedenions whose product is zero. For example,
$$(e_3 + e_{10})(e_6 - e_{15}) = 0$$
With this, it is easy to see that the third property is not satisfied. Indeed, we set $\mathbf{x} = e_3 + e_{10}$ and $\mathbf{y} = e_6 + e_{15}$, which are imaginary sedenions.
$$\mathbf{x}\times \mathbf{y}= \mathbf{0},~\mathbf{x}\cdot \mathbf{y} = 0$$

Now, this of course only shows that our naive choice of cross product will not work, but perhaps there is some other choice that does work. This can be proven not to be the case. Indeed, if $\times$ is a cross product on $\mathbb{R}^n$, then it can be proven that $\mathbb{R}^{n+1}$ is a normed division algebra by setting
$$(a,\mathbf{x})(b,\mathbf{y}) = (ab-\mathbf{x}\cdot \mathbf{y}, a\mathbf{y} + b\mathbf{x} + \mathbf{x}\times \mathbf{y})$$
But a famous theorem by Hurwitz shows that the only normed division algebras are $\mathbb{R}$, $\mathbb{C}$, the quaternions and the octonions. See http://en.wikipedia.org/wiki/Hurwitz%27s_theorem_(normed_division_algebras )

 

[zephyr5050]

Thanks so much. That makes it abundantly clear.

 

[mathwonk]

In another sense, there is in fact a cross product in every dimension, satisfying a generalization of all 3 stated properties, provided one allows more than 2 factors in the product. I.e. for vectors in n space, it is a product of n-1 vectors. This is discussed on pages 84-85 of Spivak's Calculus on Manifolds. The product is essentially a choice of a vector normal to the hyperplane spanned by the given n-1 arguments, or zero if they are not independent. It has direction chosen to give the usual orientation of n space, when combined with the argument sequence, and length chosen to satisfy the analog of property 3.

 

[blue_raver22]

I can confirm that the cross product is indeed only well-defined in 3 and 7 dimensions. This is due to the algebraic structure of the quaternions and octonions, which are the only two normed division algebras (also known as Cayley-Dickson algebras) in 3 and 7 dimensions, respectively.

In terms of higher dimensional cross products, the sedenions do indeed have 16 components and can be constructed by extending the Cayley-Dickson process. However, the sedenions do not form a normed division algebra, which means they do not possess all the necessary properties for a well-defined cross product.

One key property that is lacking in the sedenions is associativity. In 3 and 7 dimensions, the cross product is associative, which means that the order in which the cross products are taken does not matter. However, in higher dimensions, the sedenions do not have this property, which leads to inconsistencies and ambiguity in defining a cross product.

Furthermore, the sedenions also do not possess a well-defined norm or magnitude, which is essential for a meaningful cross product. Without a norm, the concept of perpendicularity, which is crucial in defining a cross product, becomes problematic.

In conclusion, while the idea of a higher dimensional cross product may seem appealing, the algebraic structures of the sedenions do not allow for a well-defined and meaningful cross product. Therefore, the cross product remains limited to 3 and 7 dimensions, and further research and exploration are needed to understand the properties and limitations of higher dimensional algebras.