On a conjecture of Thompson
type: Item
instance of: scholarly article
title: On a conjecture of Thompson
zbMATH Open document ID: 0748.20012
DOI: 10.1016/0021-8693(92)90178-O
author: Alberto Espuelas
published in: Journal of Algebra
publication date: 1992-06-28T00:00:00Z
review text: Let \(A\) be a finite \(p\)-group of order \(p^ n\) acting on a finite \(p\)- soluble group, and suppose it acts fixed-point-freely on every \(A\)- invariant \(p'\)-section. The conjecture in question is that in this situation, the \(p\)-length \(l_ p(G)\) of \(G\) is bounded by a linear function of \(n\). It is known that if \(p\) is odd, then \(l_ p(G)\leq 2^{2+n}-1\) [\textit{A. Rae} and the reviewer, Bull. Lond. Math. Soc. 5, 197-198 (1973; Zbl 0273.20015)]. The author has conjectured that the correct bound is \(n+1\), and proved this if \(A\) is cyclic of odd order [Math. Z. 196, 323-329 (1987; Zbl 0612.20008)]. In this paper this is established for \(p\geq 5\), provided \(G\) satisfies certain quite strong restrictions. Theorem. With the hypotheses stated in the first sentence, assume that \(p\geq 5\), and that \(G\) is of \(p\)-splitting type with respect to \(G\). If 2 divides \(| G|\) and \(p\) is a Mersenne prime, assume further that \(A\) is \(C_ p\wr C_ p\)-free. Then \(l_ p(G)\leq n+1\). This bound is best possible. One of the difficulties that beset attempts to prove theorems of this type is the shortage of useful \(A\)-invariant subgroups of \(G\). Another is the absence of an ``invariance of centralizers'' theorem for the action of \(A\) on sections of \(G\). The latter is to some extent compensated for by the hypothesis on the action of \(A\) on the \(A\)-invariant \(p'\)- sections. The \(p\)-splitting type hypothesis ensures a reasonable supply of \(A\)-invariant subgroups. Even with it, as often is the case in theorems of this type, the proof is quite involved, and finally comes down to character-theoretic questions, regular orbit theorems, and the like, which are too technical to discuss in detail here. We give the definition of \(p\)-splitting type. Definition. Let the finite group \(A\) act on the finite group \(G\). Then \(G\) is of \(p\)-splitting type with respect to \(G\), if (a) \(G=P_ 1P_ 2\dots P_ n\), where \(P_{i+1}\) is \(AP_ 1\dots P…
reviewed by: Brian Hartley
Mathematics Subject Classification ID: 20D45
Mathematics Subject Classification ID: 20D10
Mathematics Subject Classification ID: 20C15
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 20D15
zbMATH DE Number: 33037
zbMATH Keywords: fixed-point-free automorphisms
zbMATH Keywords: finite \(p\)-group
zbMATH Keywords: finite \(p\)-soluble group
zbMATH Keywords: \(p\)-length
zbMATH Keywords: \(p\)-splitting type
zbMATH Keywords: action
zbMATH Keywords: regular orbit theorems
Wikidata QID: Q123195873
MaRDI profile type: MaRDI publication profile
cites work: Automorphisms of solvable groups
cites work: Nilpotent fixed point free automorphism groups of solvable groups
cites work: Hall Higman Type Theorems, I
cites work: Hall-Higman Type Theorems. II
cites work: Hall-Higman type theorems. V
cites work: A noncoprime Shult type theorem
cites work: The existence of regular orbits
cites work: Regular orbits on symplectic modules
cites work: Q5577154
cites work: Sylow p-subgroups and local p-solubility
cites work: Finite p -Groups Acting on p -Soluble Groups
cites work: Q3934684
cites work: Characters of Solvable and Symplectic Groups
cites work: Q4103728
cites work: On groups admitting fixed point free abelian operator groups
cites work: Supersolvable automorphism groups of solvable groups.
cites work: Generic fixed point free action of arbitrary finite groups
cites work: Fixed point free action with regular orbits.
Recommended article: A noncoprime Shult type theorem
Recommended article: Actions on p-groups with the kernel containing the 𝔉-residuals
Recommended article: Character degrees and derived length in p-groups
Recommended article: A BOUND ON THE p-LENGTH OF P-SOLVABLE GROUPS
Recommended article: On finite soluble groups
Recommended article: Dependence of the derived \(p\)-length of a \(p\)-solvable group on the order of its Sylow \(p\)-subgroup.
Recommended article: \(p\)-central action on finite groups.
Recommended article: Fixed point free action with some regular orbits
Recommended article: The Fitting length of the Hughes subgroup
Recommended article: Q4906880
description: scientific article; zbMATH DE number 33037