Teorema Lagrange, salah satu hasil terpenting dalam teori grup hingga, menyatakan bahwa orde suatu subgrup harus membagi orde grup tersebut. Teorema ini menyediakan perangkat ampuh untuk menganalisis grup hingga; teorema tersebut memberi kita gambaran tepat mengenai jenis subgrup yang mungkin dimiliki suatu grup hingga. Gagasan koset merupakan inti untuk memahami Teorema Lagrange.
