Por el primer teorema de Sylow, un grupo siempre tiene al menos un formula_6-subgrupo de Sylow para cada primo formula_6, si bien es posible que éste sea trivial (cuando formula_15 es la mayor potencia de formula_6 que divide al orden del grupo).