ECD condition for pi-subgroups in solvable groups
From Groupprops
Statement
In a finite solvable group, the set of -subgroups, for any prime set (i.e., the set of subgroups that satisfy the condition that all prime divisors of the order are in ), satisfies the ECD condition with the maximal elements being Hall -subgroups. Explicitly, for any :
- Existence (E): There exists a Hall -subgroup
- Conjugacy (C): Any two Hall -subgroups are conjugate
- Domination (D): Any -subgroup is contained in a Hall -subgroup. Equivalently, given any particular Hall -subgroup, every -subgroup is conjugate to a subgroup contained within this Hall -subgroup
- Number (N): The number of Hall -subgroups is a product of factors, each of which is congruent to modulo some .
It turns out that conversely, if Hall -subgroups exist for every prime set and a given finite group, then the finite group is solvable. This nontrivial result is termed Hall's theorem, and relies on the hard Burnside's p^aq^b theorem, which proves it for the case where there are only two prime divisors of the order.
Proof components
- Hall subgroups exist in finite solvable
- Hall implies order-conjugate in finite solvable
- Hall implies order-dominating in finite solvable
- Congruence condition on factorization of Hall numbers
Also related is: Divisibility condition on factorization of Hall numbers.