Misalkan \(G\) suatu grup dan \(H\) subgrup dari \(G\text{.}\) Definisikan indeks dari \(H\) dalam \(G\) sebagai banyaknya koset kiri dari \(H\) dalam \(G\text{.}\) Indeks tersebut dinotasikan dengan \([G:H]\text{.}\)