2013/05/07 by Murray R. Bremner, Bremner, Murray R., Sara Madariaga +1
Mathematics · Physics and Astronomy · #17A40 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Nonlinear Waves and Solitons #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1305.1389
openalex publication_date 2013/05/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We use computer algebra to determine all the multilinear polynomial identities of degree ≤ 7 satisfied by the trilinear operations (a ⋅ b) ⋅ c and a ⋅ (b ⋅ c) in the free dendriform dialgebra, where a ⋅ b is the pre-Lie or the pre-Jordan product. For the pre-Lie triple products, we obtain one identity in degree 3, and three independent identities in degree 5, and we show that every identity in degree 7 follows from the identities of lower degree. For the pre-Jordan triple products, there are no identities in degree 3, five independent identities in degree 5, and ten independent irreducible identities in degree 7. Our methods involve linear algebra on large matrices over finite fields, and the representation theory of the symmetric group.