Teorema Lagrange, dalam teori grup, bagian dari matematika, menyatakan bahwa jika H adalah subgrup dari grup terbatas G, maka urutan dari H membagi urutan G (urutan grup adalah jumlah elemen yang dimilikinya). Teorema ini dinamai Joseph-Louis Lagrange. Varian berikut juga mengidentifikasi rasio , sebagai indeks[G : H], didefinisikan sebagai jumlah kohimpunan kiri dari H dalam G.
Teorema Lagrange — Jika H adalah subkelompok dari grup G, maka
Varian ini berlaku meskipun G tidak terbatas, asalkan , , dan [G : H] ditafsirkan sebagai bilangan kardinal.