Sylow theorems

Theorems that help decompose a finite group based on prime factors of its order

The problem of finding a Sylow subgroup of a given group is an important problem in computational group theory.