Structure theory for the group algebra of the symmetric group, with applications to polynomial identities for the octonions

DOI10.14712/1213-7243.2015.188zbMATH Open1438.17001arXiv1407.3810OpenAlexW2963523350MaRDI QIDQ2955949FDOQ2955949

Murray R. Bremner, Luiz Antonio Peresi, Sara Madariaga Merino

Publication date: 13 January 2017

Published in: Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)

Abstract: In part 1, we review the structure theory of $mathbbF{S}_n$, the group algebra of the symmetric group $S_n$ over a field of characteristic 0. We define the images $psi(E^{l}ambd{a}_{ij})$ of the matrix units $E^{l}ambd{a}_{ij}$ ($1lei,jle{d}_{l}ambda$), where $d_{l}ambda$ is the number of standard tableaux of shape $lambda$, and obtain an explicit construction of Young's isomorphism $$. We then present Clifton's algorithm for the construction of the representation matrices $R^{l}ambda(p)in{M}_{d_{l}ambda}(mathbbF)$ for all $pin{S}_n$, and obtain the reverse isomorphism $$. In part 2, we apply the structure theory of $mathbbF{S}_n$ to the study of multilinear polynomial identities of degree $nle7$ for the algebra $mathbbO$ of octonions over a field of characteristic 0. We compare our results with earlier work of Racine, Hentzel & Peresi, and Shestakov & Zhukavets on the identities of degree $nle6$. We use computational linear algebra to verify that every identity in degree 7 is a consequence of the known identities of lower degrees: there are no new identities in degree 7. We conjecture that the known identities of degree $le6$ generate all octonion identities in characteristic 0.

Full work available at URL: https://arxiv.org/abs/1407.3810

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• scientific article; zbMATH DE number 1465056
• Polynomial covariants of the symmetric group and some of its analogues
• The octonions as a twisted group algebra
• On a Certain Group Structure for Polynomials
• scientific article
• A series of algebras generalizing the octonions and Hurwitz-Radon identity
• scientific article
• Polynomial representations of the Hecke algebra of the symmetric group.
• Rappresentazioni di gruppi simmetrici ed identita' polinomiali
• scientific article; zbMATH DE number 510851

zbMATH Keywords

computer algebraYoung diagramsidempotentsoctonionspolynomial identitiesrepresentation theorysymmetric groupgroup algebraWedderburn decompositiontwo-sided idealsstandard tableauxnonassociative algebramatrix unitsClifton's algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to nonassociative rings and algebras (17-04) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Group rings (16S34) Computational aspects of associative rings (general theory) (16Z05) Composition algebras (17A75) Identities, free Lie (super)algebras (17B01) Representations of finite symmetric groups (20C30) Free nonassociative algebras (17A50) Alternative rings (17D05) Identities and free Jordan structures (17C05) Computational methods for problems pertaining to nonassociative rings and algebras (17-08)

Cited In (11)

• Rappresentazioni di gruppi simmetrici ed identita' polinomiali
• Identities of the algebra 𝕆⊗𝕆
• Identities for algebras of matrices over the octonions
• Special identities for comtrans algebras
• On tortkara triple systems
• Higher polynomial identities for mutations of associative algebras
• Symmetrization of Jordan dialgebras
• Splitting of operations for alternative and Malcev structures
• Title not available (Why is that?)
• Associator dependent algebras and Koszul duality
• Nonassociative polynomial identities, Young tableaux and computers

This page was built for publication: Structure theory for the group algebra of the symmetric group, with applications to polynomial identities for the octonions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2955949)