Frobenius's criterion says that existence of a normal \(p\)-complement is completely detectable in the local normalizers of all nontrivial \(p\)-subgroups. [@isaacs2008]
Definition
A \(p\)-local subgroup usually means \(N_G(X)\) for some nontrivial \(p\)-subgroup \(X\).
Core result
Necessity follows by intersecting a normal complement with subgroups. Sufficiency inducts on group and subgroup order, uses local normal complements to push fusion into \(p\)-structure, and finishes with transfer or Tate. See Theorem 5.26 for the full proof.
Structural properties
- The global splitting problem is reduced to induced automorphisms of every nontrivial local \(p\)-subgroup.
- Burnside's hypothesis can make these local automorphism groups trivial.
- For odd \(p\), Thompson reduces many characteristic-subgroup tests to \(Z(P)\) and \(J(P)\).
- The conditions behave well under the quotient and proper-local-subgroup induction.
- This theorem differs from the fixed-point-free centralizer condition defining a Frobenius group.
The criterion excludes all local conjugation automorphisms of \(p'\)-order, leaving fusion generated by the Sylow \(p\)-structure.
Example and boundary
Knowledge network
Burnside is a strong local special case, Thompson subgroups reduce the checking burden, and fusion control explains the automorphism condition.
Proof and sources
The three equivalent conditions and induction proof are Isaacs, Theorem 5.26; this entry preserves the quantifiers and cites the long proof. [@isaacs2008]
