On the Length of a Maximal Subgroup of a Finite Group

Abstract: For a finite group $G$ and its maximal subgroup $M$ we proved that the generalized Fitting height of $M$ can't be less by 2 than the generalized Fitting height of $G$ and the non-$p$-soluble length of $M$ can't be less by 1 than the non-$p$-soluble length of $G$. We constructed a hereditary saturated formation $\mathfrak{F}$ such that ${n_\sigma(G, \mathfrak{F})-n_\sigma(M, \mathfrak{F})\mid G$ is finite $\sigma$-soluble and $M$ is a maximal subgroup of $G}=\mathbb{N}\cup{0}$ where $n_\sigma(G, \mathfrak{F})$ denotes the $\sigma$-nilpotent length of the $\mathfrak{F}$-residual of $G$. This construction shows the results about the generalized lengths of maximal subgroups published in Math. Nachr. (1994) and Mathematics (2020) are not correct.