johncarlosbaez, (edited ) There's a dot product and cross product of vectors in 3 dimensions. But there's also a dot product and cross product in 7 dimensions obeying a lot of the same identities! There's nothing really like this in other dimensions.
We can get the dot and cross product in 3 dimensions by taking the imaginary quaternions and defining
v⋅w= -½(vw + wv), v×w = ½(vw - wv)
We can get the dot and cross product in 7 dimensions using the same formulas, but starting with the imaginary octonions.
The following stuff is pretty well-known: the group of linear transformations of ℝ³ preserving the dot and cross product is called the 3d rotation group, SO(3). We say SO(3) has an 'irreducible representation' on ℝ³ because there's no linear subspace of ℝ³ that's mapped to itself by every transformation in SO(3).
Much to my surprise, it seems that SO(3) also has an irreducible representation on ℝ⁷ where every transformation preserves the dot product and cross product in 7 dimensions!
It's not news that SO(3) has an irreducible representation on ℝ⁷. In physics we call ℝ³ the spin-1 representation of SO(3), or at least a real form thereof, while ℝ⁷ is called the spin-3 representation. It's also not news that the spin-3 representation of SO(3) on ℝ⁷ preserves the dot product. But I didn't know it also preserves the cross product on ℝ⁷, which is a much more exotic thing!
In fact I still don't know it for sure. But @pschwahn asked me a question that led me to guess it's true:
https://mathstodon.xyz/@pschwahn/112435119959135052
and I think I almost see a proof, which I outlined after a long conversation on other things.
The octonions keep surprising me.
https://en.wikipedia.org/wiki/Seven-dimensional_cross_product