Sylow subgroup

Definition

Symbol-free definition

A subgroup of a finite group is termed a Sylow subgroup if there is a prime $p$ for which it is a $p$-group and its index is relatively prime to $p$, or equivalently, if it is a $p$-group and also a Hall subgroup.