\(\mathfrak F\)-subnormal and \(\mathfrak F\)-subabnormal chains in finite groups (Q1286634): Difference between revisions

All groups considered are finite. Let \(\mathfrak F\) be a local formation. A maximal subgroup \(M\) of the group \(G\) is called \(\mathfrak F\)-normal in \(G\) if \(G/\text{core}_G(M)\in{\mathfrak F}\); otherwise \(M\) is called \(\mathfrak F\)-abnormal in \(G\). A subgroup \(H\) of \(G\) is called \(\mathfrak F\)-subnormal in \(G\) if there exists a maximal chain: \(H=M_0<M_1<\cdots<M_n=G\) such that \(M_{i-1}\) is \(\mathfrak F\)-normal in \(M_i\) for all \(i=1,2,\dots,n\). Let \(X\lessdot Y\) be a maximal subgroup of group \(Y\). A subgroup \(H\) of \(G\) is said to be \(\mathfrak F\)-subnormal in \(G\) if \(X\) is \(\mathfrak F\)-abnormal in \(Y\) whenever \(H\leq X\lessdot Y\leq G\). A pair \((X,S)\) of subgroups of \(G\) is called an \({\mathfrak F}_{pc}\)-chain of \(G\) if (a) \(X\leq S\) and \(X\) is \(\mathfrak F\)-subnormal in \(S\) and (b) \(S\) is \(\mathfrak F\)-subnormal in \(G\). A group \(G\) is called an \({\mathfrak F}_{pc}\)-group if there exists an \({\mathfrak F}_{pc}\)-chain \((X,S)\) of \(G\) for each \(X\leq G\). Let \(\text{Proj}_{\mathfrak F}(G)\) be the set of all \(\mathfrak F\)-projectors of \(G\) and let \(\text{Cov}_{\mathfrak F}(G)\) be a set of all \(\mathfrak F\)-covering subgroups of \(G\). The following theorems are proved. Theorem 1. Let \(\mathfrak F\) be a subgroup-closed local formation and let \({\mathcal F}_{pc}\) be the class all \({\mathfrak F}_{pc}\)-groups. Then the following statements are equivalent: (1) \(G\in{\mathcal F}_{pc}\), (2) \(\text{Proj}_{\mathfrak F}(M)=\mu(M)\) for every \(\mathfrak F\)-subnormal subgroup \(M\) of \(G\) (\(\mu(M)\) the set of all minimal supplements to \(M^{\mathfrak F}\) in \(M\)). Theorem 2. If \(G\in{\mathcal F}_{pc}\), then \(G\) is the semi-direct product \(G=[G^{\mathfrak F}]F\), where \(G^{\mathfrak F}\) is a \(p\)-group and \(F\in\text{Proj}_{\mathfrak F}(G)=\text{Cov}_{\mathfrak F}(G)=\mu(G)\).