Normality conditions in the Sylow p-subgroup of Sym(p^n) and its associated Lie algebra

DOI10.1016/J.JALGEBRA.2025.10.033MaRDI QIDQ6858739zbMATH OpenFDO

Authors Riccardo Aragona, Norberto Gavioli, Giuseppe Nozzi

Publication date 12 February 2026

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2025.10.033

zbMATH Keywords

integer partitionLie algebralower central seriesnormal subgroupnormalizer chainSylow \(p\)-subgroupsymmetric groupupper central serieswreath product

Mathematics Subject Classification ID

Combinatorial aspects of partitions of integers (05A17) Lie (super)algebras associated with other structures (associative, Jordan, etc.) (17B60) Subgroups of symmetric groups (20B35) Sylow subgroups, Sylow properties, (pi)-groups, (pi)-structure (20D20) Chains and lattices of subgroups, subnormal subgroups (20E15) Extensions, wreath products, and other compositions of groups (20E22) Derived series, central series, and generalizations for groups (20F14)

Review text

Let \(p\) be an odd prime and let \(W_n=\wr_{i=1}^n \mathbb{F}_p\) be the Sylow \(p\)-subgroup of \(\mathrm{Sym}(p^n)\). The paper introduces, for the monomial generators \(x^\Lambda\Delta_k\) of the base subgroups \(B_k\leq W_n\), a \(p\)-degree \(\mathrm{pdeg}(x^\Lambda\Delta_k)\) and uses it to describe commutators and to control saturated subgroups. Using this framework, the authors compute the terms of the lower central series \(\gamma_i(W_n)\) inside each base subgroup and prove that the upper and lower central series of \(W_n\) coincide.\N\NThe structure of normal subgroups is then analyzed: if \(N\lhd W_n\) is contained in the last \(n-k\) base subgroups but not in the last \(n-k-1\), then \(N\) contains \(\gamma_{p^{k-1}+1}(W_n)\) and the index \(|N:\gamma_{p^{k-1}+1}(W_n)|\) is bounded in terms of \(p\) and \(k\) only. The paper also considers the graded Lie algebra \(\mathfrak{L}_n\) associated to the lower central series, defines a map \(\varphi:W_n\to\mathfrak{L}_n\) relating commutators in \(W_n\) to Lie brackets and connects saturated normal subgroups of \(W_n\) with homogeneous ideals of \(\mathfrak{L}_n\).

Cites work

• A chain of normalizers in the Sylow 2-subgroups of the symmetric group on \({\mathbf{2}}^n\) letters
• A modular idealizer chain and unrefinability of partitions with repeated parts
• Commutator calculus for wreath product groups.
• scientific article; zbMATH DE number 3265786 (Why is no real title available?)
• scientific article; zbMATH DE number 3416091 (Why is no real title available?)
• scientific article; zbMATH DE number 3057909 (Why is no real title available?)
• La structure des p-groupes de Sylow des groupes symétriques finis
• On the structure of standard wreath products of groups
• Polynomial functions and wreath products
• Regular subgroups with large intersection
• Rigid commutators and a normalizer chain
• Simple Lie algebras over fields of positive characteristic. I: Structure theory
• Unrefinable partitions into distinct parts in a normalizer chain
• Wreath product of Lie algebras and Lie algebras associated with Sylow p-subgroups of finite symmetric groups

This page was built for publication: Normality conditions in the Sylow \(p\)-subgroup of \(\operatorname{Sym}(p^n)\) and its associated Lie algebra

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