Para un número primo "p", un "p"-subgrupo de Sylow de un grupo "G" es un "p"-subgrupo maximal de "G", es decir, un subgrupo cuyo orden es una potencia de "p" y que no está contenido estrictamente en otro "p"-grupo.