Jacobi Identity for the Generalized Cross Product in Rn: A Theoretical and Computational Approach

Velezmoro-León R.; Ipanaqué-Chero R.; Fiestas-Llenque L.A.; Ipanaqué-Silva R.E. · Mathematics and Statistics (2025) · DOI: 10.13189/ms.2025.130515

Resumen

The classical cross product in three-dimensional Euclidean space R3 satisfies the Jacobi identity, a fundamental property linked to Lie algebra structures. However, this identity’s transparent and rigorous generalization to higher dimensions has remained elusive. In this paper, we address this gap by investigating the antisymmetrization of nested cross products involving 2n − 3 vectors in Rn. We aim to establish a generalized Jacobi identity valid for all dimensions n ≥ 3. Using symbolic computation via the Wolfram Language, we identified consistent algebraic patterns suggesting such a generalization. Building upon these observations, we developed a theoretical framework based on multilinear algebra, permutation groups, and antisymmetrization operators to prove the identity rigorously. Our methodology combines computational experimentation with classical mathematical theory, resulting in a comprehensive analysis. The principal result states that a specific linear combination of cross products, determined by (n − 2, n − 1)-shuffles, always vanishes in Rn. This provides a natural extension of the classical Jacobi identity, with deep combinatorial and algebraic significance. The main conclusions highlight the strong interplay between computation and abstract algebra in discovering new mathematical properties. This study contributes to the field by expanding the understanding of antisymmetric operations in higher-dimensional spaces and illustrating a robust methodology that bridges symbolic computation and formal proof. Limitations of this work include its current restriction to Euclidean spaces; extensions to more general manifolds or non-Euclidean settings are left for future research. Although the immediate practical and social implications are limited, the theoretical advances presented here lay the groundwork for further exploration in differential geometry, theoretical physics, and computational mathematics. Our findings emphasize the importance of modern computational tools in advancing pure mathematical research.

Instituciones: Universidad Nacional de Piura