group.subgroup.hall

If $H$ is a subgroup of a finite group $G$, then $H$ is a Hall subgroup if the order of $H$ is relatively prime to its index.