A characterization of hypercyclically embedded subgroups using cover-avoidance property. (Q2842800)

All groups considered in this review are finite. A normal subgroup \(K\) of a group \(G\) is said to be hypercyclically embedded in \(G\) if every chief factor of \(G\) below \(K\) is cyclic. The product of all normal hypercyclically embedded subgroups of \(G\) is denoted by \(Z_{\mathcal U}(G)\).NEWLINENEWLINE \(Z_{\mathcal U}(G)\) is hypercyclically embedded in \(G\) and a normal subgroup \(N\) of \(G\) is hypercyclically embedded in \(G\) if and only if \(N\leq Z_{\mathcal U}(G)\).NEWLINENEWLINE The main subject of this paper is to prove: Theorem: Let \(L\) be a normal subgroup of \(G\). Then \(L\leq Z_{\mathcal U}(G)\) if and only if there exists a normal subgroup \(E\) of \(G\) contained in \(L\) such that \(F^*(L)\leq E\) and \(E\) satisfies the following properties: for every non-cyclic Sylow \(p\)-subgroup \(E_p\) of \(E\), all subgroups of \(E_p\) with a fixed order \(d_p\) (\(1<d_p<|E_p|\)) and all cyclic subgroups of \(E_p\) of order 4 (if \(p=2\) and \(E_2\) is non-Abelian) have the cover avoidance property.