 Hall subgroup

A Hall subgroup has order coprime to its index. For a set of primes $\pi$, a Hall $\pi$-subgroup has order using only primes of $\pi$ and index using only primes outside $\pi$. Thus its order contains the full prime-power contributions belonging to $\pi$. A Sylow subgroup is the single-prime instance. Hall subgroup existence in soluble groups generalizes Sylow existence to every prime set.

A Hall subgroup is a concept from group theory, specifically in the study of finite groups. It is named after Philip Hall, who introduced the concept in his work on groups and combinatorics.