Teorema Lagrange dan Penggunaannya
1. Indeks Subgrup Koset-koset kanan dari U dalam G memiliki kardinalitas yang sama, yaitu sebanyak elemen di U. Banyaknya elemen suatu grup G disebut sebagai orde G, ditulis o(G). Dengan demikian, kardinalitas setiap koset kanan dari U dalam G adalah o(U). Didefinisikan indeks U di G, ditulis |G : U|, sebagai banyaknya koset kanan dari U dalam G. Untuk subgrup trivial kita memiliki |G : {e}| = o(G) dan |G : G| = 1. 2. Teorema Lagrange Misalkan G grup hingga. Maka o(G) = |G:U| ⋅ o(U). Bukti: Kita lihat bahwa himpunan semua koset kanan dari U dalam G membentuk partisi pada G. Maka orde G sama dengan banyaknya elemen dalam gabungan semua koset kanan. Terdapat |G:U| koset kanan yang masing-masing mempunyai kardinalitas o(U). Karena koset-koset kanan tersebut sepasang-sepasang saling lepas, maka banyaknya unsur dalam gabungan semua koset kanan adalah |G:U| ⋅ o(U). Jadi, o(G) = |G:U| ⋅ o(U). ■ Tambahan: Dari teorema Lagrange ini kita mengetahui bahwa orde dari subgrup membagi habis orde dari...