If p^k is the highest power of a prime p dividing the order of a finite group G, then a subgroup of G of order p^k is called a Sylow p-subgroup of G.

Abhyankar's conjecture | subgroup | Sylow theorems