On a conjecture of Quillen and a lemma of Robinson
type: Item
instance of: scholarly article
title: On a conjecture of Quillen and a lemma of Robinson
zbMATH Open document ID: 0723.20012
DOI: 10.1007/BF01191159
author: Michael Aschbacher
author: Peter B. Kleidman
published in: Archiv der Mathematik
publication date: 1990-01-01T00:00:00Z
review text: By definition, if \(X\) is a finite group, then \(X\) is said to be hyperelementary if \(O^ q(X)\) is cyclic for some prime \(q\). If \(X\) is a subgroup of the finite group \(G\) and \(p\) is a prime, then \(\text И_ G(X,p)\) denotes the set of all \(p\)-subgroups of \(G\) normalized by \(X\) and \({\mathcal S}_ p(G)\) denotes the simplicial complex of the partially ordered (under inclusion) set of nontrivial \(p\)-subgroups of \(G\) in Quillen's conjecture. Also the Robinson properties are: (R1) All nilpotent \(p'\)-subgroups \(X\) of \(F^*(G)\) satisfy \(\text И_ G(X,p)\neq 1\). (R2) All hyperelementary nilpotent \(p'\)-subgroups \(X\) of \(F^*(G)\) satisfy \(\text И_ G(X,p)\neq 1\). The first of three main results of this paper is: Theorem 1. Let \(G\) be a finite group and \(p\) a prime. If \((G,p)\) satisfies the Robinson property (R1), then (a) \(O_ p(G)\neq 1\); or (b) \(p=2\), \(G\) has a component \(L\cong L_ 3(4)\) and \(4\mid Out_ G(L)\). - Theorem 1 follows readily from: Theorem 2. Let \(G\) be an almost simple finite group (i.e., \(F^*(G)\) is simple) and \(p\) a prime. Then the following are equivalent: (i) \((G,p)\) have the Robinson property (R2); and (ii) \(p=2\), \(F^*(G)\cong L_ 3(4)\) and \(4\mid|G/F^*(G)|\). - The proof of Theorem 2 invokes the classification of finite simple groups. Theorem 2 and Robinson's Lemma are used to prove: Theorem 3. Let \(G\) be an almost simple finite group and \(p\) a prime. Then \({\mathcal S}_ p(G)\) is not contractible. The authors remark that Theorem 3 could be strengthened to allow \(G/O_{p'}(G)\) to be the direct product of almost simple groups.
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 20D15
Mathematics Subject Classification ID: 20D30
Mathematics Subject Classification ID: 20D05
zbMATH DE Number: 4191984
zbMATH Keywords: finite groups
zbMATH Keywords: \(p\)-subgroups
zbMATH Keywords: simplicial complexes
zbMATH Keywords: nilpotent \(p'\)-subgroups
zbMATH Keywords: Robinson property
zbMATH Keywords: components
zbMATH Keywords: almost simple finite groups
Wikidata QID: Q122899714
reviewed by: Morton E. Harris
MaRDI profile type: Publication
cites work: Overgroups of Sylow subgroups in sporadic groups
cites work: Involutions in Chevalley groups over fields of even order
cites work: Éléments unipotents et sous-groupes paraboliques de groupes réductifs. I
cites work: Q3682663
cites work: The local structure of finite groups of characteristic 2 type
cites work: Homotopy properties of the poset of nontrivial p-subgroups of a group
cites work: Some remarks on permutation modules
cites work: The root subgroups for maximal tori in finite groups of Lie type
full work available at URL: https://doi.org/10.1007/bf01191159
OpenAlex ID: W2031506227
description: scientific article; zbMATH DE number 4191984