En teoría de grupos, el teorema de Lagrange es un resultado importante que relaciona el orden de un grupo finito formula_1 (su número de elementos) con el orden de cualquiera de sus subgrupos.