2018/06/30 by John van de Wetering, van de Wetering, John
Computer Science · Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Matrix Theory and Algorithms #Rings and Algebras (math.RA) #math.RA
paper · pdf · doi:10.48550/arxiv.1807.00164
4 pages + 13 page explanation of the script and code listing
arxiv created 2018/06/30 · openalex publication_date 2018/06/30 · arxiv updated 2018/07/03 · openalex created_date 2018/07/10 · openalex updated_date 2026/07/28
The fundamental identity of quadratic Jordan algebras QQa b = QaQbQa is commonly proven as a consequence of MacDonalds theorem or using more analytic methods. In this short note we give a self-contained purely algebraic proof using just a few easily proven identities and a Python script that follows a simple randomised logic to reduce expressions of Jordan operators.