Los teoremas de Sylow constituyen reciprocas parciales al teorema de Lagrange el cual afirma que para todo grupo finito "G", el orden de cualquier subgrupo debe dividir al orden de "G".