Control of transfer allows the maximal abelian \(p\)-quotient of a group to be computed in a smaller subgroup containing a Sylow subgroup. It localizes arguments for nonsimplicity and normal complements. [@isaacs2008]
Definition
\(A^p(G)\) is the smallest normal subgroup with abelian \(p\)-group quotient and the kernel of transfer to \(P/P'\).
Core result
Start with \(A^p(H)\leq H\cap A^p(G)\) and compare orders of the transfer images. Equality of focal subgroups or a Mackey pretransfer calculation supplies the reverse index equality. See Sections 5D and 10A.
Structural properties
- If \(H\) controls transfer and \(A^p(H)<H\), then \(A^p(G)<G\), usually ruling out simplicity of \(G\).
- Transfer control sees only the abelian \(p\)-quotient and is weaker than fusion control.
- If \(H\) has a normal \(p\)-complement and controls transfer, Tate's theorem can lift the corresponding \(p\)-residual information to \(G\).
- The Sylow normalizer is the standard candidate, but it fails in examples such as \(A_6\) at \(p=2\).
- Control can be tested either by equality of transfer-image orders or by the kernel-intersection equation.
It turns the global question of an abelian \(p\)-quotient into a local normalizer calculation and retains exactly the information visible to transfer.
Example and boundary
Knowledge network
Fusion control is a sufficient condition, Yoshida supplies a broader weaker criterion, and Tate upgrades abelian information to \(p\)-residual information.
Proof and sources
Definition and basic comparison are in Section 5D; advanced Sylow-normalizer criteria are in Section 10A. [@isaacs2008]
