@johncarlosbaez A very basic question: What does "the cross product on R^7" mean? I'm familiar with defining an antisymmetric product in n dimensions in the form of the exterior product, but I'm only familiar with how to map the result to an individual vector in 3 dimensions (via the Hodge duality). @pschwahn