On nearly \(\mathcal M\)-supplemented subgroups of finite groups. (Q2259500)

In the abstract theory of finite groups, one of the most fruitful topics is the study of what we can say about a group in which certain subgroups satisfy a subgroup embedding property. In the paper under review, the property chosen is to be a nearly \(\mathcal M\)-supplemented subgroup, defined as follows: a subgroup \(H\) is called \textit{nearly \(\mathcal M\)-supplemented} in a group \(G\) if there exists a normal subgroup \(K\) of \(G\) such that \(HK\) is a normal subgroup of \(G\) and \(TK\) is a proper subgroup of \(HK\) for every maximal subgroup \(T\) of \(G\). In this report we will consider only finite groups. Theorem~3.1 states that if \(G\) is a group, \(P\) is a Sylow \(p\)-subgroup of \(G\), where \(p\) is a prime divisor of \(|G|\) with \(\gcd(|G|,p-1)=1\), then \(G\) is \(p\)-nilpotent if and only if every maximal subgroup of \(P\) without a \(p\)-nilpotent supplement is nearly \(\mathcal M\)-supplemented in \(G\). Theorem~3.2 is a \(p\)-nilpotency criterion: Let \(G\) be a group, where \(p\) is an odd prime divisor of \(|G|\). Then \(G\) is \(p\)-nilpotent if and only if \(\text N_G(P)\) is \(p\)-nilpotent and every maximal subgroup of \(P\) is nearly \(\mathcal M\)-supplemented in \(G\). For the next theorems, we recall that a saturated formation is a class of groups closed under homomorphic images, subdirect products, and Frattini extensions. Let \(\mathfrak F\) be a saturated formation of groups containing the class of all supersoluble groups. In Theorem~3.3, we suppose that \(G\) has a soluble normal subgroup \(N\) with \(G/N\in\mathfrak F\). If every maximal subgroup of every noncyclic Sylow subgroup of the Fitting subgroup \(\text F(N)\) without supersoluble supplement is nearly \(\mathcal M\)-supplemented in \(G\), then \(G\in\mathfrak F\). The statement of Theorem~3.4 is similar, we remove the solubility assumption on \(N\) and we replace \(\text F(N)\) by the generalised Fitting subgroup \(\text F^*(N)\).