the layer and the Fitting subgroup. The layer commutes with the Fitting subgroup, so the generalized Fitting subgroup is a central extension of a product of p-groups and simple groups. The layer is also the maximal normal semisimple subgroup, where a group is called semisimple if it is a perfect central extension of a product of simple groups. This definition of the generalized Fitting subgroup can be motivated by some of its intended uses. Consider the problem of trying to identify a normal subgroup H of G that contains its own centralizer and the Fitting group. If C is the centralizer of H we want to prove that C is contained in H. If not, pick a minimal characteristic subgroup M/Z(H) of C/Z(H), where Z(H) is the center of H, which is the same as the intersection of C and H. Then M/Z(H) is a product of simple or cyclic groups as it is characteristically simple. If M/Z(H) is a product of cyclic groups then M must be in the Fitting subgroup. If M/Z(H) is a product of non-abelian simple groups then the derived subgroup of M is a normal semisimple subgroup mapping onto M/Z(H). So if H contains the Fitting subgroup and all normal semisimple subgroups, then M/Z(H) must be trivial, so H contains its own centralizer. The generalized Fitting subgroup is the smallest subgroup that contains the Fitting subgroup and all normal semisimple subgroups. The generalized Fitting subgroup can also be viewed as a generalized centralizer of chief factors. A nonabelian semisimple group cannot centralize itself, but it does act on itself as inner automorphisms. A group is said to be quasi-nilpotent if every element acts as an inner automorphism on every chief factor. The generalized Fitting subgroup is the unique largest subnormal quasi-nilpotent subgroup, and is equal to the set of all elements which act as inner automorphisms on every chief factor of the whole group : Here an element g is in HCG(H/K) if and only if there is some h in H such that for every x in H, xg ≡ xh mod K. Properties If G is a finite solvable group, then the Fitting subgroup contains its own centralizer. The centralizer of the Fitting subgroup is the center of the Fitting subgroup. In this case, the generalized Fitting subgroup is equal to the Fitting subgroup. More generally, if G is a finite group, then