 p-subgroup

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.