Non-Abelian Sylow subgroups of finite groups of even order
type: Item
instance of: scholarly article
title: Non-Abelian Sylow subgroups of finite groups of even order
zbMATH Open document ID: 0961.20017
author: Naoki Chigira
author: N. Iiyori
author: Hiroyoshi Yamaki
published in: Inventiones Mathematicae
publication date: 2001-03-04T00:00:00Z
review text: The purpose of this paper is to prove the following main theorem: Every non-Abelian Sylow subgroup of a finite group of even order contains a non-trivial element which commutes with an involution. This theorem, announced by the authors [in Electron. Res. Announc. Am. Math. Soc. 4, No. 12, 88-90 (1998; Zbl 0923.20013)], is closely related to the prime graphs of finite groups. The prime graph \(\Gamma(G)\) of a finite group \(G\) is the graph whose vertex set is the set of prime divisors of \(|G|\), and two distinct vertices \(p\) and \(r\) are joined by an edge if and only if there exists an element of order \(pr\) in \(G\). Let \(d_G(p,r)\) be the distance between two vertices \(p\) and \(r\) in \(\Gamma(G)\). The authors define \(d_G(p,r)=\infty\) if there is no path between \(p\) and \(r\). In terms of prime graphs, the main theorem is restated as Theorem 1: If \(G\) is a finite group of even order, \(p\) is a prime divisor of \(|G|\) and \(d_G(p,r)\geq 2\) then Sylow \(p\)-subgroups of \(G\) are Abelian. For the distance \(d_G(p,r)\), the authors prove Theorem 2: If G is a finite group of even order and \(p\) is a prime divisor of \(|G|\) then \(d_G(p,r)\in\{1,2,3,\infty\}\). If G is a finite non-Abelian group from Theorem 2 then \(d_G(p,r)\in\{1,2,\infty\}\) (Corollary 2). Note that Theorem 2 and Corollary 2 are also proved by \textit{M. S. Lucido} [see Lemma 5 and Proposition 7 in J. Group Theory 2, No. 2, 157-172 (1999; Zbl 0921.20020)]. The authors also prove the following Theorem 3: If \(G\) is a finite group of even order, \(p\) is a prime divisor of \(|G|\) and \(d_G(p,r)\geq 2\) then either \(G\) is solvable or \(G\) has a chain of normal subgroups \(K\subseteq H\subseteq G\) such that \(G/H\) and \(K\) are solvable and \(H/K\) is a non-Abelian simple group. Theorem 3 is an analog of the Gruenberg-Kegel theorem on the general structure of finite groups with disconnected prime graphs (see Theorem A in the paper by \textit{J. S. Williams} [J. Algebra 69, 48…
Mathematics Subject Classification ID: 20D20
Mathematics Subject Classification ID: 20D60
Mathematics Subject Classification ID: 20D05
Mathematics Subject Classification ID: 05C25
zbMATH DE Number: 1443586
zbMATH Keywords: finite groups of even order
zbMATH Keywords: Sylow subgroups
zbMATH Keywords: prime graphs
zbMATH Keywords: finite simple groups
zbMATH Keywords: finite solvable groups
zbMATH Keywords: chains of subgroups
reviewed by: Anatoli Kondrat'ev
MaRDI profile type: Publication
full work available at URL: s002229900040
OpenAlex ID: W1788029881
DOI: 10.1007/S002229900040
Recommended article: Nonabelian Sylow subgroups of finite groups of even order
Recommended article: A graph related to conjugacy classes of solvable groups
Recommended article: On the connected components of the prime and Sylow graphs of a finite group
Recommended article: On groups having the prime graph as alternating and symmetric groups
Recommended article: On the absence of a normal nonabelian Sylow subgroup
Recommended article: Arithmetical conditions on the length of the conjugacy classes of a finite group
Recommended article: GROUPS WITH ABELIAN SYLOW SUBGROUPS
Recommended article: On diameters estimations of the commuting graphs of Sylow $p$-subgroups of the symmetric groups
Recommended article: Characterization of the group \(G_2(5)\) by the prime graph
Recommended article: n-RECOGNITION BY PRIME GRAPH OF THE SIMPLE GROUP PSL(2,q)
description: scientific article; zbMATH DE number 1443586