Arithmetic of conjugacy of \(p\)-complements.
type: Item
instance of: scholarly article
title: Arithmetic of conjugacy of \(p\)-complements.
zbMATH Open document ID: 1332.20017
author: M. N. Nesterov
published in: Algebra and Logic
publication date: 2015-09-28T00:00:00Z
review text: Let \(G\) be a finite group and \(p\in\pi(G)\). A subgroup \(H\) of \(G\) is called a \(p\)-complement (or a \(p'\)-Hall subgroup) if for any \(p\)-Sylow subgroup \(P\) of \(G\) the equalities \(HP=G\) and \(H\cap P=1\) hold. A well-known theorem of \textit{P. Hall} [Journal L.M.S. 3, 98-105 (1928; JFM 54.0145.01)] asserts that a finite group \(G\) is solvable if and only if \(G\) admits a complement for each \(p\in\pi(G)\). For every prime number \(p\) the author defines the following classes of finite groups admitting a \(p\)-complement: \(\bullet\) \(\mathfrak C(p)\), the class of groups the \(p\)-complements in which are all conjugate; \(\bullet\) \(\mathfrak A(p)\), the class of groups \(G\) such that every two \(p\)-complements in \(G\) are conjugate by an element of \(\Aut(G)\); \(\bullet\) \(\mathfrak I(p)\), the class of groups in which the \(p\)-complements are isomorphic. The following chain of inclusions holds: (*) \(\mathfrak C(p)\subseteq\mathfrak A(p)\subseteq\mathfrak I(p)\). Denote by \(\mathcal{NC}\) the set of prime numbers \(p\) such that \(p^k=(q^r-1)/(q-1)\) for some \(k\in\mathbb N\), where \(q\) is a power of a prime and \(r\) is an odd prime. The main result of this paper is Theorem 1: Let \(p\) be some prime number. Then one of the following statements holds: (a) all inclusions in chain (*) are strict and \(p\in\mathcal{NC}\); (b) all inclusions in chain (*) are equalities and \(p\not\in\mathcal{NC}\). It is interesting to note that \(2,3,5\not\in\mathcal{NC}\) and \(7,11,13\in\mathcal{NC}\); moreover the author proves (Proposition 2), among other things, that if \(p\) is a Mersenne prime greater than \(3\), then \(p\in\mathcal{NC}\).
reviewed by: Enrico Jabara
Mathematics Subject Classification ID: 20D20
Mathematics Subject Classification ID: 20D40
Mathematics Subject Classification ID: 20D25
Mathematics Subject Classification ID: 20D60
zbMATH DE Number: 6485742
zbMATH Keywords: finite groups
zbMATH Keywords: Sylow subgroups
zbMATH Keywords: Hall subgroups
zbMATH Keywords: \(p\)-complements
zbMATH Keywords: conjugacy of subgroups
MaRDI profile type: Publication
full work available at URL: s10469-015-9320-2
OpenAlex ID: W2010173337
cites work: A Characteristic Property of Soluble Groups
cites work: Q5776172
cites work: Influence of blowing into the boundary layer on supersonic flow past an oscillating cone
cites work: Subgroups of prime power index in a simple group
cites work: On finite factorizable groups
cites work: New criteria for the solvability of finite groups
cites work: On \(p\)-complements of finite groups.
cites work: Q5784076
cites work: The Nagell-Ljunggren equation \(\frac{x^n-1}{x-1}=y^q\)
cites work: Equations in prime powers
cites work: On the Diophantine equation \({x^ n-1\over x-1}=y^ q\).
cites work: Q5488087
cites work: Q3417748
cites work: On the Nagell-Ljunggren equation $(x^n - 1)/(x - 1) = y^q$
cites work: The Nagell-Ljunggren equation via Runge's method
cites work: Q4509240
cites work: Q3996618
cites work: Q3684278
cites work: Q3712472
cites work: Endliche Gruppen I
DOI: 10.1007/S10469-015-9320-2
description: scientific article; zbMATH DE number 6485742