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

DOI10.14712/1213-7243.2015.188MaRDI QIDQ2955949zbMATH OpenOpenAlexFDO

Authors 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)

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

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

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)

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.

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; zbMATH DE number 4044020
• A series of algebras generalizing the octonions and Hurwitz-Radon identity
• scientific article; zbMATH DE number 47003
• Polynomial representations of the Hecke algebra of the symmetric group.
• Rappresentazioni di gruppi simmetrici ed identita' polinomiali
• scientific article; zbMATH DE number 510851

Cited in

(12)

• Rappresentazioni di gruppi simmetrici ed identita' polinomiali
• On tortkara triple systems
• Identities for algebras of matrices over the octonions
• scientific article; zbMATH DE number 3904780 (Why is no real title available?)
• Symmetrization of Jordan dialgebras
• Identities of the algebra 𝕆⊗𝕆
• Splitting of operations for alternative and Malcev structures
• Skew-symmetric identities of octonions
• Special identities for comtrans algebras
• Associator dependent algebras and Koszul duality
• Higher polynomial identities for mutations of associative algebras
• 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)