Groups in which normality is a transitive relation

Abstract

A group is said to have the property T or to be a T-group if every subnormal subgroup is normal. Thus the class of T-groups is just the class of all groups in which normality is a transitive relation. Finite T-groups have been studied by Best and Taussky (l), Gaschütz (4) and Zacher (11). Gaschütz has shown that if G is a finite soluble T-group and G/L is the unique maximal nilpotent quotient group of G, then G/L is Abelian or Hamiltonian and L is an Abelian group of odd order prime to |G:L| ((4), Satz 1). Our aim is to study infinite T-groups and more especially infinite soluble T-groups with a view to extending Gaschütz's results. One of the simplest results on soluble T-groups is THEOREM 2.3.1. Every soluble T-group is metabelian.