Let $p$ be a prime number. A Sylow $p$-subgroup of a group $G$ is a maximal p-subgroup of $G$. That is, it is a p-group that is a subgroup of $G$ and that is not a proper subgroup of any other p-subgroup of $G$.
Wikidata ID: Q78269866