p-subgroup (source code)

= p-subgroup
{title2=$P\le G,\quad |P|=p^a$}

A p-subgroup is a <subgroup> which is a <finite p-group>, for a specified prime $p$. Every p-subgroup lies in a <Sylow subgroup>.