Criteria for the solubility and non-simplicity of finite groups.
type: Item
instance of: scholarly article
title: Criteria for the solubility and non-simplicity of finite groups.
zbMATH Open document ID: 1079.20028
author: Bernhard Amberg
author: Angel Carocca
author: Lev Kazarin
published in: Journal of Algebra
publication date: 2005-04-07T00:00:00Z
full work available at URL: http://hdl.handle.net/10533/176389
review text: Let \(G\) be a finite group. The set of all prime divisors of \(|G|\) is denoted by \(\pi(G)\). A Sylow set \(\Sigma(G)\) of \(G\) is a set of Sylow \(p\) subgroups of \(G\), one for each \(p\in\pi(G)\). \textit{S. Abe} and \textit{N. Iiyori} [Hokkaido Math. 29, No. 2, 391-407 (2000; Zbl 0965.20008)] introduced a soluble graph \(\Gamma_{sol}(G)\) which generalizes the well-known prime graph \(\Gamma(G)\). The vertex set of \(\Gamma_{sol}(G)\) is \(\pi(G)\) with \(\{p,q\}\) an edge if and only if \(G\) contains a soluble subgroup whose order is divisible by \(pq\). \textit{N. Iiyori} [in Commun. Algebra 30, No. 4, 1679-1691 (2002; Zbl 0997.20022)] determined all non-Abelian finite simple groups \(G\) for which the subgraph of \(\Gamma_{sol}(G)\) on the vertices \(\pi(G)\setminus\{2\}\) is complete. Generalizing this result, the authors prove the following Theorem 1.1: If \(G\) is a non-Abelian finite simple group and the subgraph of \(\Gamma_{sol}(G)\) on the vertices \(\pi(G)\setminus\{2,3\}\) is complete, then \(G\) is isomorphic to one of following groups: \(L_2(9)\), \(L_2(q)\) for some prime power \(q\) with \(\pi(q+1)\subseteq\{2,3\}\), \(L_3(3)\), \(U_3(3)\), \(U_4(2)\), \(M_{11}\), \(M_{12}\). As an immediate consequence of Theorem 1.1 the following Theorem 1.2 is obtained: If \(\Sigma(G)\) is a Sylow set of \(G\) such that for every pair \(P,Q\in\Sigma(G)\) the subgroup \(H=\langle x,y\rangle\) is soluble for each \(x\in P\), \(y\in Q\), then \(G\) is soluble; moreover, if the subgroup \(H=\langle x,y\rangle\) is supersoluble for each \(x\in P\), \(y\in Q\), then \(G\) has a Sylow tower. Further, the authors introduce the center \(Z(\Gamma_{sol}(G))\) of the graph \(\Gamma_{sol}(G)\) as the set of vertices \(p\in\pi(G)\) such that \(p\) is joined in \(\Gamma_{sol}(G)\) with every vertex \(s\in\pi(G)\), \(s\not=p\), and obtain the following non-simplicity criterion (Theorem 1.3): If \(Z(\Gamma_{sol}(G))\) contains the largest element of \(\pi(G)\), then \(G\)…
Mathematics Subject Classification ID: 20D20
Mathematics Subject Classification ID: 20D10
Mathematics Subject Classification ID: 20D05
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 05C25
Mathematics Subject Classification ID: 20D40
zbMATH DE Number: 2153333
zbMATH Keywords: finite groups
zbMATH Keywords: soluble graphs
zbMATH Keywords: simple groups
zbMATH Keywords: non-simplicity criteria
zbMATH Keywords: factorizable groups
zbMATH Keywords: Sylow sets
zbMATH Keywords: Sylow subgroups
zbMATH Keywords: generalized prime graphs
reviewed by: Anatoli Kondrat'ev
MaRDI profile type: Publication
OpenAlex ID: W2003113326
cites work: A generalization of prime graphs of finite groups
cites work: A characterization of some finite simple groups by orders of their solvable subgroups
cites work: Q3684278
cites work: The 2-Transitive Permutation Representations of the Finite Chevalley Groups
cites work: Endliche Gruppen I
cites work: Q3659962
cites work: Prime graph components of the simple groups of Lie type over the field of even characteristic
cites work: p-SOLVABILITY AND A GENERALIZATION OF PRIME GRAPHS OF FINITE GROUPS
cites work: On groups which are the product of two solvable subgroups
cites work: The maximal subgroups of the Steinberg triality groups \(3D_ 4(q)\) and their automorphism groups
cites work: PRIME GRAPH COMPONENTS OF FINITE SIMPLE GROUPS
cites work: The maximal factorizations of the finite simple groups and their automorphism groups
cites work: On the subgroup structure of classical groups
cites work: Q4767466
cites work: The factorisation of the alternating and symmetric groups
cites work: Prime graph components of finite groups
DOI: 10.1016/J.JALGEBRA.2004.12.009
description: scientific article; zbMATH DE number 2153333