Hall subgroups extend Sylow subgroups from one prime to a set of primes. Their order contains the full contribution from the selected primes, while their index avoids those primes entirely. [@isaacs2008]
Definition
For \(\pi=\{p\}\), Hall \(\pi\)-subgroups are exactly Sylow \(p\)-subgroups. The complement set of primes is denoted \(\pi'\).
Core result
The proof inducts on group order, chooses a minimal normal elementary abelian subgroup, and lifts a Hall subgroup from the quotient. Schur–Zassenhaus supplies existence and conjugacy of complements across the coprime normal layer. General nonsolvable groups do not satisfy the theorem.
Structural properties
- A normal Hall subgroup is the unique member of its conjugacy class and has a complement by Schur–Zassenhaus.
- If \(H\) is Hall \(\pi\) and \(N\triangleleft G\), then \(H\cap N\) is Hall \(\pi\) in \(N\) and \(HN/N\) is Hall \(\pi\) in \(G/N\).
- Solvable groups have Hall subgroups uniformly, while an arbitrary finite group may have them only for selected sets \(\pi\).
- Normality of every Sylow subgroup characterizes nilpotence; existence and conjugacy of all Hall subgroups belong to the broader solvable setting.
- Transfer to Hall subgroups can treat several primes together, though the source focuses mostly on Sylow \(p\)-transfer.
Hall theory is where coprime splitting meets solvable induction: find a Hall subgroup in a quotient and solve the complement problem over a minimal normal layer.
Example and boundary
Knowledge network
Schur–Zassenhaus treats complements to normal Hall subgroups, Sylow theory is the one-prime special case, and solvable groups provide the inductive environment for Hall's theorem.
Proof and sources
Hall language and coprime complements enter in Chapter 3 and are used in Chapter 5. The full Hall theorem is part of the standard solvable-group framework referenced by those sections. [@isaacs2008]
