\(\sigma\)-subnormality in locally finite groups (Q2097274)

Let \(\sigma=\{\sigma_{j} \mid j \in J\}\) be a partition of the set of prime numbers. A subgroup \(X\) of a finite group \(G\) is \(\sigma\)-subnormal if there exists a chain of subgroups \(X=X_{0} \leq X_{1} \leq \ldots \leq X_{n}=G\) such that, for each \(1 \leq i \leq n\), \(X_{i-1} \trianglelefteq X_{i}\) or \(X_{i}/(X_{i-1})_{X_{i}}\) is a \(\sigma{j_{i}}\)-group for some \(j_{i} \in J\). \textit{A. N. Skiba} [J. Algebra 436, 1--16 (2015; Zbl 1316.20020)] studied the properties of \(\sigma\)-subnormal subgroups and showed that the set of all \(\sigma\)-subnormal subgroups plays an important role in the structure of a finite soluble group. The purpose of this paper is to lay the foundation of a general theory of \(\sigma\)-subnormal subgroups (and \(\sigma\)-series) in locally finite groups. Among other things the authors provide several criteria to determining when a subgroup is \(\sigma\)-subnormal starting from the much weaker concept of \(\sigma\)-seriality. The article is full of interesting results, among them the reviewer reports the statement of the three most significant. Theorem 3.15: Let \(G\) be a locally finite group. If \(H\) and \(K\) are two \(\sigma\)-subnormal subgroups of \(G\) such that \(J = HK = KH\), then \(J\) is \(\sigma\)-subnormal. Theorem 3.16: Let \(G\) be a locally finite group, let \(H\) and \(K\) be \(\sigma\)-subnormal subgroups of \(G\), and \(J = \langle H, K\rangle\). If the join of any family of subnormal subgroups of \(G\) contained in \(J\) is subnormal in \(G\), then \(J\) is \(\sigma\). Theorem 3.35: Let \(G\) be a periodic linear group. If \(X\) is any \(\sigma\)-serial subgroup of \(G\), then \(X\) is \(\sigma\)-subnormal.