El resultado relevante aquí es que en el caso de Syl("G"), todos sus elementos son isomorfos entre sí y tienen el mayor orden posible: si |"G"|="pm" con "n" > 0 donde "p" no divide a "m", entonces todo "p"-subgrupo de Sylow "P" tiene orden |"P"| = "p".