Teorema Lagrange

Jika $G$ grup hingga dan $H$ subgrup dari $G$, maka $|H|$ membagi $|G|$, dan $|G|=[G:H]\cdot|H|,$ dengan $[G:H]$ banyaknya koset kiri $H$ di $G$.