The Fitting subgroup of a linear solvable group

Abstract

Let G be a group. The Fitting subgroup F(G) of G is defined to be the set union of all normal nilpotent subgroups of G. Since the product of two normal nilpotent subgroups is again a normal nilpotent subgroup (see [10] p. 238), F(G) is the unique maximal normal, locally nilpotent sungroup of G. In particular, is G is finite, then F(G) is the unique maximal normal nilpotent subgroup of G. If G is a notrivial solvable group, then clearly F(G) ≠1.