Let $G$ be a group.
Let $H$ be a subgroup of $G$.
Then $H$ is a Hall subgroup of $G$ iff the index and order of $H$ in $G$ are coprime.
This entry was named for Philip Hall.
