Fitting length

Definition
Given a solvable group, we can define its Fitting length or nilpotent length in the following equivalent ways:


 * 1) It is the minimum possible length of a Fitting series (also called a nilpotent series) for the group, where a Fitting series is a subnormal series where all the successive quotients are nilpotent groups.
 * 2) If the group is a finite solvable group: It is the length of the defining ingredient::upper Fitting series of the group. The upper Fitting series is an ascending series defined via quotient-iteration of the defining ingredient::Fitting subgroup, which is the join of all nilpotent normal subgroups. That is, we define $$\operatorname{Fit}_0(G)$$ as the trivial subgroup $$\operatorname{Fit}_i(G)$$ so that $$\operatorname{Fit}_i(G)/\operatorname{Fit}_{i-1}(G)$$ is the Fitting subgroup of $$G/\operatorname{Fit}_{i-1}(G)$$.
 * 3) If the group is a finite solvable group: It is the length of the defining ingredient::lower Fitting series of the group. The lower Fitting series is a descending series defined via iteration of the defining ingredient::nilpotent residual, where the nilpotent residual is the intersection of all normal subgroups with nilpotent quotients. For finite groups, the nilpotent residual coincides with the hypocenter.

For an infinite group, a join of nilpotent normal subgroups need not be nilpotent and an intersection of nilpotent-quotient normal subgroups need not have nilpotent quotient. In both cases, the problem is that the nilpotency class may become unbounded. Although we can still define the Fitting subgroup and the nilpotent residual, the Fitting subgroup need not be nilpotent and the nilpotent residual need not have nilpotent quotient.

Facts

 * The Fitting length of a solvable group is 1 if and only if it is nilpotent.
 * The Fitting length of any solvable group is bounded from above by its derived length.