Generalized Fitting subgroup

The generalized Fitting subgroup $$F^*(G)$$ combines the two canonical sources of normal structure in a finite group: the nilpotent radical $$F(G)$$ on the solvable side and the layer $$E(G)$$ generated by quasisimple components on the nonsolvable side. It contains its own centralizer in every finite group and therefore replaces the ordinary Fitting subgroup, which is self-centralizing only for solvable groups. ^{[@isaacs2008]}

Quasisimple groups and components

Every proper normal subgroup of a quasisimple group lies in its center: its image in $$L/Z(L)$$ must be trivial. Every nontrivial quotient of a quasisimple group is again quasisimple. This rigidity makes components behave like nonabelian atoms.

Components commute

Distinct components may have a nontrivial central intersection, but they commute elementwise; their product is generally a central product rather than necessarily a direct product.

The layer

Automorphisms permute components, so $E(G)\operatorname{char}G$ . Since distinct components commute, $$E(G)$$ is their central product and

E(G)'=E(G), \qquad E(G)/Z(E(G))

is a direct product of nonabelian simple groups.

In particular, $$[E(G),F(G)]=1$$ .

Definition and structure

Since $$F(G)$$ and $$E(G)$$ centralize each other, $$F^*(G)$$ is a central product. It is characteristic and contains the Fitting subgroup, all components, and all minimal normal subgroups.

If $$G$$ is solvable, it has no nonabelian quasisimple component, so $$E(G)=1$$ and $$F^*(G)=F(G)$$ . If $$G$$ is nonabelian simple, then $$F(G)=1$$ , $$E(G)=G$$ , and $$F^*(G)=G$$ .

Self-centralization

proof

Put $$C=C_G(F^*(G))$$ . Since $$C$$ centralizes $$F(G)$$ , its Fitting subgroup satisfies $F(C)\leq F(G)$ and hence $F(C)\leq Z(C)$ . If $$C/F(C)$$ had a nonabelian minimal normal section, a perfect central cover of that section would produce a component of $$C$$ and therefore a component of $$G$$ . It would lie in $$E(G)$$ while also lying in $$C$$ and centralizing $$E(G)$$ , forcing it to be central, a contradiction. Thus $$C/F(C)$$ is solvable.

Apply the ordinary Fitting self-centralization theorem to this solvable group to obtain $C\leq F(C)$ . Therefore

C\leq F(G)\leq F^*(G).

Equivalently, if one begins with a minimal normal subgroup of a nontrivial quotient of $$C$$ , the abelian case enlarges some $$O_p(G)$$ and the nonabelian case creates a new component; both contradict maximality.

This is the defining structural property of $$F^*(G)$$ . It yields a faithful conjugation action, schematically

G/F^*(G)\hookrightarrow\operatorname{Out}(F^*(G)),

so that the remaining structure is controlled by outer automorphisms of the generalized Fitting layer.

Minimal normal subgroups and the socle

A minimal normal subgroup of a finite group is either elementary abelian or a direct product of isomorphic nonabelian simple groups. The elementary abelian case lies in $$F(G)$$ , while the nonabelian case is represented by the component structure. Consequently

\operatorname{Soc}(G)\leq F^*(G).

The inclusion can be strict. For an extraspecial $$p$$ -group $$P$$ , the socle may be only $$Z(P)$$ , while $$F^*(P)=F(P)=P$$ .

Examples

Generalized Fitting series and height

Define recursively

F_0^*(G)=1, \qquad F_{i+1}^*(G)/F_i^*(G)=F^*\bigl(G/F_i^*(G)\bigr).

The least $$h$$ with $$F_h^*(G)=G$$ is the generalized Fitting height. It reduces to ordinary Fitting height for solvable groups, while a nonabelian simple group has height $$1$$ . The invariant is useful in nonsolvable-length arguments, primitive-group socles, and computational recognition.

Automorphism towers

If $$G$$ is centerless, then $\operatorname{Inn}(G)\cong G$ is normal and self-centralizing in $\operatorname{Aut}(G)$ . Along the automorphism tower

G\triangleleft\operatorname{Aut}(G)\triangleleft\operatorname{Aut}(\operatorname{Aut}(G))\triangleleft\cdots,

generalized Fitting layers and self-centralizing subnormal subgroups provide order bounds. This is structural input to the Wielandt–Schenkman proof that the finite centerless automorphism tower stabilizes. ^{[@isaacs2008]}

This article independently follows the progression from quasisimple groups and components through the layer to $$F^*(G)$$ in Isaacs, Chapter 9. Minimal normal subgroups, almost simple examples, and generalized height are included to locate the construction in the broader theory. Terminology was cross-checked against a standard finite-group text and the cited public encyclopedia source. ^{[@isaacs2008]} ^{[@aschbacher2000]} ^{[@wikipedia-fitting]}