The focal subgroup theorem restricts global derived information to a Sylow \(p\)-subgroup and says that this part is generated exactly by differences created by \(G\)-conjugacy inside \(P\). [@isaacs2008]
Definition
It is denoted \(Foc_G(P)\) and depends on fusion in the ambient group, not merely on the abstract group \(P\).
Core result
One inclusion follows because every conjugacy difference \(x^{-1}x^g\) is a commutator. The reverse uses orbit evaluation of transfer and Sylow conjugacy to express elements of \(P\cap G'\) as products of fusion differences. See Theorems 5.18-5.20.
Structural properties
- \(P'\leq Foc_G(P)\) because conjugacy inside \(P\) is also conjugacy in \(G\).
- If \(G\) creates no additional fusion in \(P\), then \(Foc_G(P)=P'\).
- If \(H\geq P\) controls \(G\)-fusion, then \(Foc_H(P)=Foc_G(P)\).
- The theorem converts the \(p\)-part of abelianization into local fusion inside a Sylow subgroup.
- Fusion systems have corresponding focal and hyperfocal subgroup theorems.
The focal subgroup is the bridge between fusion and transfer: differences produced by fusion record exactly the Sylow section of the global derived subgroup.
Example and boundary
Knowledge network
The transfer core article proves the theorem, fusion control determines when a smaller group computes the same focal subgroup, and the derived subgroup supplies the global side.
Proof and sources
Definition, focal equality, and transfer relation are Isaacs, Theorems 5.18-5.20; the long proof is cited through the core article. [@isaacs2008]
