A component is a quasisimple subgroup occurring subnormally in a finite group. Components are canonical local atoms on the nonsolvable side and centralize one another inside the generalized Fitting layer. [@isaacs2008]
Definition
The set is often \(\operatorname{Comp}(G)\), and the product of all components is the layer \(E(G)\).
Core result
Subnormal intersections and quasisimple normal-subgroup rigidity first force the commutator into centers. Perfectness and the three-subgroups lemma then eliminate the remaining central commutator. See 9.3-9.4.
Structural properties
- Automorphisms permute components, making their product characteristic.
- Components may have nontrivial central intersections but commute elementwise.
- Every solvable normal subgroup centralizes every component.
- A nonabelian simple subnormal subgroup is a centerless component.
- An almost simple group normally has one component, its socle.
Components split nonsolvable structure into commuting quasisimple blocks, paralleling the way the Fitting subgroup separates normal \(p\)-cores.
Example and boundary
Knowledge network
Quasisimple groups give the internal structure, the layer collects components, and the generalized Fitting subgroup adjoins the Fitting subgroup.
Proof and sources
Minimal normal subgroups, component commutation, and layer properties are Theorems 9.3-9.7. [@isaacs2008]
