The reduction theorem for relatively maximal subgroups

TL;DR

This paper investigates when the property of being an $rak{X}$-maximal subgroup is preserved under group extensions and classifies finite groups where all such maximal subgroups are conjugate.

Contribution

It establishes a criterion for the reduction $rak{X}$-theorem to hold and classifies finite groups with conjugate $rak{X}$-maximal subgroups in terms of composition factors.

Findings

Reduction $rak{X}$-theorem holds iff all $rak{X}$-maximal subgroups are conjugate in $A$.

Classified finite groups with conjugate $rak{X}$-maximal subgroups.

Connected the conjugacy of $rak{X}$-maximal subgroups to composition factors.

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.