The reduction theorem for relatively maximal subgroups

Abstract

Let $\mathfrak{X}$ be a class of finite groups closed under taking subgroups, homomorphic images and extensions. It is known that if $A$ is a normal subgroup of a finite group $G$ then the image of an $\mathfrak{X}$-maximal subgroup $H$ of $G$ in $G/A$ is not, in general, $\mathfrak{X}$-maximal in $G/A$. We say that the reduction $\mathfrak{X}$-theorem holds for a finite group $A$ if, for every finite group $G$ that is an extension of $A$ (i. e. contains $A$ as a normal subgroup), the number of conjugacy classes of $\mathfrak{X}$-maximal subgroups in $G$ and $G/A$ is the same. The reduction $\mathfrak{X}$-theorem for $A$ implies that $HA/A$ is $\mathfrak{X}$-maximal in $G/A$ for every extension $G$ of $A$ and every $\mathfrak{X}$-maximal subgroup $H$ of $G$. In this paper, we prove that the reduction $\mathfrak{X}$-theorem holds for $A$ if and only if all $\mathfrak{X}$-maximal subgroups are conjugate in $A$ and classify the finite groups with this property in terms of composition factors.

arXiv comment43 pages

References in corpus (5)

• On the number of classes of conjugate Hall subgroups in finite simple groups
• Confirmation for Wielandt's conjecture
• Classification and properties of the $\pi$-submaximal subgroups in minimal nonsolvable groups
• The proper definition and Wielandt-Hartley's theorem for submaximal $\mathfrak{X}$-subgroups
• On the behavior of $\pi$-submaximal subgroups under homomorphisms

Cited by in corpus (2)

• Automorphisms of nonsplit extensions of 2-groups by $PS{L}_2(q)$
• When is the search of relatively maximal subgroups reduced to quotients?