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