show · group.sylow_subgroup all knowls · up · search:

If $p$ is a prime and $G$ is a finite group of order $p^nm$ where $p\nmid m$, then a $p$-Sylow subgroup of $G$ is any subgroup of order $p^n$.

Sylow subgroups exist for every finite group and prime $p$.

Knowl status:
  • Review status: reviewed
  • Last edited by Andrew Sutherland on 2020-10-26 13:28:34
Referred to by:
History: (expand/hide all) Differences (show/hide)