Le théorème de Lagrange
nous apprend que l'ordre d'un élément dans un groupe fini est un diviseur de l'ordre du groupe. Le théorème de Lagrange peut s'énoncer encore sous la forme suivante: l'ordre d'un sous groupe d'un groupe engendré par un élément de ce groupe est un diviseur de l'ordre du groupe. Il est alors naturel de se poser le problème de la réciproque:
Le théorème de Cauchy, puis ceux de Sylow qui sont une généralisation du premier, apporteront des éléments de réponse à ces questions.