A note on cosubnormal subgroups (Q1102373)

Following \textit{H. Wielandt} [Arch. Math. 35, 1-7 (1980; Zbl 0413.20020)] two subgroups H and K of a group G are called cosubnormal if they are both subnormal in the subgroup generated by them. The main result is: Theorem. Let G be a nilpotent-by-abelian group generated by pairwise cosubnormal subgroups \(G_ 1,...,G_ n\), (1) If the \(G_ i\) are Chernikov groups, then each of them is subnormal in G and G is a Chernikov group. (2) If the \(G_ i\) are polycyclic groups, then each of them is subnormal in G and G is polycyclic. - An example shows that the theorem does not hold for abelian-by-nilpotent groups.