Definition
In group theory, the Fitting subgroup of a group $G$, denoted $F(G)$, is the (unique) largest normal nilpotent subgroup of $G$. Equivalently, $F(G)$ is the subgroup generated by all nilpotent normal subgroups of $G$. For a finite group, $F(G)$ can be described as the direct product of all its normal Sylow $p$-subgroups; for an arbitrary group it is the join (i.e., subgroup generated by) of all normal nilpotent subgroups.
Overview
The Fitting subgroup plays a central role in the structure theory of finite groups and, more generally, in the analysis of solvable and algebraic groups. It provides a canonical nilpotent “core” inside any group, capturing the part of the group that behaves in the most regular, commutative‑like fashion. In the context of solvable groups, the Fitting subgroup coincides with the product of all minimal normal subgroups, each of which is elementary abelian. The concept extends to infinite groups, though many of the finiteness‑dependent properties (such as a direct product decomposition into Sylow subgroups) no longer hold.
Etymology / Origin
The term is named after the German mathematician Hans Fitting (1906–1978), who introduced the subgroup in his 1930s work on nilpotent groups and the internal structure of finite groups. Fitting’s study of nilpotent normal subgroups led to the identification of this distinguished subgroup, which later became a fundamental ingredient in the classification of finite groups.
Characteristics
- Normal and Characteristic: $F(G)$ is a normal subgroup of $G$ and, moreover, it is characteristic; any automorphism of $G$ maps $F(G)$ onto itself.
- Nilpotency: By definition, $F(G)$ is nilpotent. In the finite case, it is the direct product of its Sylow $p$-subgroups that are normal in $G$.
- Containment of Central Elements: The center $Z(G)$ of $G$ is always contained in $F(G)$. More generally, every normal abelian subgroup of $G$ lies within $F(G)$.
- Self‑Centralizing Property: For a finite group $G$, the centralizer $C_G(F(G))$ is contained in $F(G)$; i.e., $F(G)$ is self‑centralizing. Consequently, if $F(G)=1$, the group has trivial center and no non‑trivial normal nilpotent subgroups.
- Behavior under Quotients: If $N\trianglelefteq G$, then $F(G/N) = F(G)N / N$. This shows the Fitting subgroup behaves well with respect to factor groups.
- Relation to the Fitting Series: The Fitting series of a group is defined iteratively by $F_0(G)=1$ and $F_{i+1}(G)/F_i(G)=F(G/F_i(G))$. For finite solvable groups, this series terminates at the whole group after finitely many steps.
- Use in the Classification of Finite Simple Groups: The structure of $F(G)$ is a key ingredient in many arguments concerning the possible composition factors of a finite group, especially in the analysis of groups with a non‑trivial nilpotent normal core.
Related Topics
- Nilpotent group: A group whose lower central series terminates at the trivial subgroup after finitely many steps.
- Sylow subgroups: Maximal $p$-subgroups of a finite group; normal Sylow subgroups contribute directly to the Fitting subgroup.
- Frattini subgroup: The intersection of all maximal subgroups of a group; another characteristic subgroup used in structural analysis.
- Generalized Fitting subgroup: Denoted $F^*(G)$, it is the product of the Fitting subgroup $F(G)$ and the layer (the subgroup generated by all components, i.e., subnormal quasisimple subgroups). This subgroup is also self‑centralizing and plays a pivotal role in the classification of finite simple groups.
- Solvable group: A group with a subnormal series whose factor groups are abelian; the Fitting subgroup is especially informative in the study of solvable groups.
- Group extensions: Understanding how a group can be constructed from a normal subgroup and a quotient; the Fitting subgroup often serves as the normal nilpotent part in such extensions.