On groups with many subgroups satisfying a transitive normality relation (Q6645003)

A group \(G\) is a \(T\)-group if normality in \(G\) is a transitive relation, that is, if every subnormal subgroup of \(G\) is normal. The structure of finite soluble \(T\)-groups has been described by \textit{W. Gaschütz} [J. Reine Angew. Math. 198, 87--92 (1957; Zbl 0077.25003)], while \textit{D. J. S. Robinson}, in, [Proc. Camb. Philos. Soc. 60, 21--38 (1964; Zbl 0123.24901)], investigated infinite soluble groups with the property \(T\). In particular, soluble \(T\)-groups are metabelian, locally supersoluble and any finitely generated soluble \(T\)-group either is finite or abelian. A group \(G\) is called a \(\overline{T}\)-group if all its subgroups are \(T\)-groups. Let \(\mathfrak{X}\) be the class of groups such that \(C_{G}(G')=F(G)\) all of whose proper subgroups either are nilpotent or \(\overline{T}\)-groups.\N\NA first result in the paper under review (Theorem 1) asserts that if \(G\) is a finite \(\mathfrak{X}\)-group such that all Sylow subgroups \(G\) have nilpotency class at most 2, then all Sylow subgroups of \(G/Z(G)\) are abelian. Another interestig result is Theorem 4: Let \(G\) be a finitely generated group with no infinite simple sections. If every proper subgroup of \(G\) either is nilpotent or satisfies the property \(\overline{T}\), then \(G\) either is nilpotent or finite.