A \(\{2,3\}\)-local characterization of the groups \(A_{12}\), \(\text{Sp}_8(2)\), \(F_4(2)\) and \(F_5\).
type: Item
instance of: scholarly article
title: A \(\{2,3\}\)-local characterization of the groups \(A_{12}\), \(\text{Sp}_8(2)\), \(F_4(2)\) and \(F_5\).
zbMATH Open document ID: 1106.20008
author: Richard Lyons
author: Inna Capdeboscq
published in: Journal of Algebra
publication date: 2006-08-16T00:00:00Z
review text: There are simple groups of Lie type which have two characteristics like \(\text{PSp}(4,3)\cong\Omega^-(6,2)\). To generalize this situation to arbitrary simple groups one has to use the concept of characteristic \(p\)-type. This means that \(F^*(N)=O_p(N)\) for any \(p\)-local \(N\) of \(G\). In this language the group above is of characteristic 2-type and characteristic 3-type. The general question is which simple groups can be of characteristic 2-type and characteristic \(p\)-type for some odd prime \(p\). Groups of this type have been investigated by \textit{K. Klinger} and \textit{G. Mason} [J. Algebra 37, 362-375 (1975; Zbl 0325.20011)] as part of the classification of the finite simple groups. The paper under review is part of the GLS-project revising the classification of the finite simple groups. Hence all the groups in this paper are assumed to be \(\mathcal K\)-groups. Now the paper contributes to the \(e(G)=3\) problem. The parameter \(e(G)\) is the largest rank of an elementary Abelian \(p\)-group, \(p\) odd, which is contained in some 2-local subgroup. The authors take some prime \(p\) which is responsible for \(e(G)=3\). The question now is about characteristic 2-type and characteristic \(p\)-type at the same time. Of course the definition of characteristic \(p\)-type has been weakened in the classification project. The authors give themself two pages for explaining this. So we can just roughly state the theorem. The group is assumed to be of even type and weak \(p\)-type, i.e. just a limited set of components are allowed. These sets are dependent of the prime \(2,p\). Now the special assumptions for the theorem are, that for involutions \(x\in G\) with \(m_p(C_G(x))=3\) we have \(F^*(C_G(x))=O_2(C_G(x))\) and there is a \(2\)-local \(H\) with \(m_p(H)=3\), \(F^*(H)=O_2(H)\) and some elementary Abelian subgroup \(B\leq H\), \(|B|=p^3\) and some \(A\leq B\), \(|B:A|=p\) with \(E(C_G(A))\neq 1\). Then they prove \(p=3\) and \(G\cong A_{12}\) or \(G\) has…
reviewed by: Gernot Stroth
Mathematics Subject Classification ID: 20D05
Mathematics Subject Classification ID: 20D06
zbMATH DE Number: 5047180
zbMATH Keywords: simple groups of Lie type
zbMATH Keywords: characteristic \(p\)-type groups
zbMATH Keywords: classification of finite simple groups
zbMATH Keywords: 2-local subgroups
zbMATH Keywords: groups of even type
zbMATH Keywords: strongly 3-embedded subgroups
MaRDI profile type: MaRDI publication profile
full work available at URL: j.jalgebra.2006.01.030
OpenAlex ID: W2113820825
cites work: Finite groups of rank 3. II
cites work: On groups with a standard component of known type
cites work: Involutions in Chevalley groups over fields of even order
cites work: Q5580319
cites work: Q3907722
cites work: Q3684278
cites work: Standard 3-Components of Type Sp(6, 2)
cites work: Q5577154
cites work: The local structure of finite groups of characteristic 2 type
cites work: Q4857335
cites work: Q4375273
cites work: Q4243089
cites work: A characterization of the groups \(F_ 4(2^ n)\)
cites work: A characteriazation of F4(4n) as a group with standard 3-component B3(4n)
cites work: Centralizers of \(p\)-groups in groups of characteristic 2, \(p\)-type
cites work: TOWARD A CHARACTERIZATION OF CONWAY'S GROUP Co3
cites work: Toward a characterization of the sporadic groups of Suzuki and Thompson
cites work: Nonsolvable finite groups all of whose local subgroups are solvable. VI
DOI: 10.1016/J.JALGEBRA.2006.01.030
description: scientific article; zbMATH DE number 5047180