A generalization of Hall's theorem on hypercenter

Abstract

Let $\sigma$ be a partition of the set of all primes and $\mathfrak{F}$ be a hereditary formation. We described all formations $\mathfrak{F}$ for which the $\mathfrak{F}$-hypercenter and the intersection of weak $K$-$\mathfrak{F}$-subnormalizers of all Sylow subgroups coincide in every group. In particular the formation of all $\sigma$-nilpotent groups has this property. With the help of our results we solve a particular case of L.A.~Shemetkov's problem about the intersection of $\mathfrak{F}$-maximal subgroups and the $\mathfrak{F}$-hypercenter. As corollaries we obtained P. Hall's and R. Baer's classical results about the hypercenter. We proved that the non-$\sigma$-nilpotent graph of a group is connected and its diameter is at most 3.

arXiv admin note: substantial text overlap with arXiv:2009.04720. In this version Theorem 1 is improved and a new application of the main result is added