A \(U_m\)-subnormal subgroup of a finite group (Q2400080)

A subgroup \(H\) of a \(p\)-group \(G\) is a \(k\)-\textit{intermediate subgroup} of \(G\) if \(| H| = p^{k}\) and \(1 < | H| < | G| \). A normal subgroup \(A\) of a finite group \(G\) is called \textit{hypercyclically embedded} in \(G\) if either \(A = 1\) or \(A \neq 1\) and every chief factor of \(G\) below \(A\) is cyclic. Definition 1. A subgroup \(M\) of a group \(G\) is called a \textit{modular subgroup} of \(G\) if {\parindent=7mm\begin{itemize}\item[(1)] \(\langle X, M \cap Z \rangle = \langle X, M \rangle \cap Z\) for all \(X \leq Z \leq G\), and \item[(2)] \(\langle M, Y \cap Z \rangle = \langle M, Y \rangle \cap Z\) for all \(Y \leq G\), \(Z \leq G\) such that \(M \leq Z\). \end{itemize}} A subgroup \(H\) of \(G\) is said to be \(U\)-\textit{subnormal} in \(G\) if either \(H = G\) or there exists a chain of subgroups \[ H = H_{0} \leq H_{1} \leq \dots \leq H_{t} = G \] such that either \(H_{i-1}\) is normal in \(H_{i}\) or \(H_{i}/(H_{i-1})_{H_{i}}\) is supersoluble for all \(i = 1, \dots t\). Definition 2. Let \(H\) be a subgroup of \(G\). We say that \(H\) is \(U_m\)-subnormal in \(G\) if for some \(U\)-subnormal subgroup \(T\) of \(G\) we have that \(HT = G\) and \(H \cup T \leq S \leq H\), where \(S\) is a modular subgroup of \(G\). The main result of this paper is Theorem A below. Theorem A. Let \(E\) be a normal subgroup of a group \(G\). If for any non-cyclic Sylow subgroup \(P\) of \(E\) and for some integer \(k = k(P)\), every \(k\)-intermediate subgroup of \(P\) and every cyclic subgroup of \(P\) of order 4 (if \(k = 1\) and \(P\) is a non-abelian 2-group) are \(U_{m}\)-subnormal in \(G\), then \(E\) is hypercyclically embedded in \(G\). The proof of this theorem is done in stages. First, the author proves Proposition 3.1. Proposition 3.1. Let \(P\) be a non-identity normal \(p\)-subgroup of \(G\) with \(| P| = p^{n}\). Suppose that \(n > 1\) and every \(k\)-intermediate subgroup of \(P\) and every cyclic subgroup of \(P\) of order 4 (if \(1 = k < n-1\) and \(P\) is a non-abelian 2-group) are \(U_m\)-subnormal in \(G\). Using Proposition 3.1 and a number of small lemmas, the author proves Theorem B below. From Theorem B, it is an easy step to the main result. Theorem B. Let \(E\) be a normal subgroup \(G\) and \(P\) a Sylow \(p\)-subgroup of \(E\) and let one of the following hold: {\parindent=7mm\begin{itemize}\item[(i)] \((p-1, | E|) = 1\); \item[(ii)] \(E\) is \(p\)-soluble; \item[(iii)] \(N_{G}(P)\) is \(p\)-nilpotent. \end{itemize}} If either \(P\) is cyclic or \(| P| > p\) and for some integer \(k\), every \(k\)-intermediate subgroup of \(P\) and every cyclic subgroup of \(P\) of order 4 (if \(k = 1\) and \(P\) is a non-abelian 2-group) are \(U_m\)-subnormal in \(G\), then \(E/O_{p'}(E)\) is hypercyclically embedded in \(G/O_{p'}(E)\). This paper concludes with two corollaries which generalize a series of known results.