An analogue of the Wielandt subgroup in infinite groups (Q2297631)

A subgroup \(X\) of a group \(G\) is said to be \(f\)-subnormal if there exists a finite chain of subgroups \[X=X_0 < X_1 < \dots < X_n\] such that for \(0\leq i< n\) either \(X_i\) is normal in \(X_{i+1}\) or the index \(|X_{i+1} : X_i|\) is finite. Thus subnormal subgroups and subgroups of finite index are trivial examples of \(f\)-subnormal subgroups. \(f\)-subnormal subgroups were introduced by \textit{R. E. Phillips} [J. Aust. Math. Soc. 14, 496--502 (1972; Zbl 0256.20031)] while \textit{C. Casolo} and \textit{M. Mainardis} [J. Group Theory 4, No. 3, 341--365 (2001; Zbl 0988.20016)] proved later that if all subgroups of a group \(G\) are \(f\)-subnormal, then \(G\) contains a finite normal subgroup \(N\) such that \(G/N\) is soluble. In the same paper, it was also shown that in any locally nilpotent group subnormality and \(f\)-subnormality are equivalent In the paper under review, the authors investigate the behaviour of two natural generalization of the Wielandt subgroup, related to \(f\)-subnormality. Actually, for any group \(G\) they denote by \(\overline\omega(G)\) the intersection of the normalizers of all \(f\)-subnormal subgroups of \(G\) and by \(\overline\omega_i(G)\) the intersection of the normalizers of all infinite \(f\)-subnormal subgroups of \(G\). Of course, \(\overline\omega(G)\leq\omega(G)\cap\overline\omega_i(G)\) and the authors provide a detailed description of the factor group \(\overline\omega_i(G)/\overline\omega(G)\). Among many other very interesting results, it is proved that \(\overline\omega(G)\) is finite if and only if \(\overline\omega_i(G)\) is finite, and that \(\overline\omega_i(G)/\overline\omega(G)\) is a Dedekind group for any infinite group \(G\). A number of clarifying examples and applications completes this very well written paper.