A new proof of Lewis’ theorem on M -groups

DOI10.1080/00927872.2024.2418387MaRDI QIDQ7008580zbMATH OpenFDO

Authors Huijuan Zheng, Ping Jin

Publication date 21 March 2025

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

Full work available at URL https://doi.org/10.1080/00927872.2024.2418387

Mathematics Subject Classification ID

Ordinary representations and characters (20C15) Modular representations and characters (20C20) Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks (20D10)

Review text

Let \(G\) be a finite group. Let \(\chi \in \mathrm{Irr}(G)\) be an irreducible complex character of \(G\) and let \(a(\chi)\) be the minimal degree of any character inducing \(\chi\). Note that \(\chi\) is primitive if and only if \(a(\chi) = \chi(1)\), while \(\chi\) is monomial if and only if \(a(\chi) = 1\). \textit{M. L. Lewis} [J. Algebra 183, No. 3, 864--897 (1996; Zbl 0868.20003)] showed that if \(G\) is an \(\mathsf{M}\)-group and \(H\) is a maximal subgroup of \(G\) of \(p\)-power index with \(p > 2\), then for every irreducible character \(\xi \in \mathrm{Irr}(H)\) of \(p\)-power degree one has \(a(\xi)^2 \, \big |\, |G : H|\).\N\NThe authors give a new and substantially simpler proof of this result. The main result (Theorem A) strengthens Lewis' theorem [loc. cit.] by allowing \(G\) to be any \(p\)-solvable group with \(p\) an odd prime and by replacing the assumption that \(G\) is an \(\mathsf{M}\)-group with a weaker assumption on the monomiality of the irreducible characters in \(\mathrm{Irr}(G|\varphi)\) for a given \(\varphi \in \mathrm{Irr}(L)\) lying under \(\xi\).\N\NThe proof proceeds through an analysis of normal triples and character-fives in the sense of \textit{I. M. Isaacs} [Am. J. Math. 95, 594--635 (1973; Zbl 0277.20008)] and uses a reduction process via Clifford theory and multilinear reductions to linear limits. A key ingredient is the statement that if \(\chi\) is a monomial character of \(G\) of \(p\)-power degree lying over \(\psi \in \mathrm{Irr}(N)\), then every linear limit of the triple \((G,N,\psi)\) is nilpotent (Theorem B). The result is applied to recover \textit{E. C. Dade}'s [Math. Z. 178, 401--420 (1981; Zbl 0451.20007)] classical result that constituents of restrictions of monomial characters of \(p\)-power degree remain monomial.

Cites work

• Abelian normal subgroups of M-groups
• Character correspondences and nilpotent fully-ramified sections
• Character theory and the McKay conjecture
• Characters of maximal subgroups of M-groups
• Characters of Solvable and Symplectic Groups
• Characters of Solvable Groups
• Endliche Gruppen I
• Extendible characters and monomial groups of odd order.
• scientific article; zbMATH DE number 3526920 (Why is no real title available?)
• M-GROUPS OF ORDER p^aq^b: A THEOREM OF LOUKAKI
• Monomial characters and normal subgroups
• Nonabelian Fully-Ramified Sections
• On \(M\)-groups with Sylow towers.
• On the supersolvable residual of an M-group
• Primitive characters of maximal subgroups of M-groups
• Primitive characters of maximal subgroups of solvable groups.
• Primitive inducing pairs for irreducible characters

This page was built for publication: A new proof of Lewis’ theorem on M -groups

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