B.

Teorema Lagrange
Theorema Lagrange 1
Jika H subgrup dari G, maka setiap koset kiri dan koset kanan
dari H mempunyai elemen yang sama banyak dengan H.
Bukti :
Buat pemetaan φ : H → gH dengan φ ( h )=gh , ∀ h ϵ H
Akan ditunjukkan bahwa φ bijektif
(i) Ambil sembarang h1 , h2 ∈ H dengan φ(h¿ ¿1)=φ(h¿¿ 2)¿ ¿
makag(h ¿¿1)=g (h¿¿ 2)¿ ¿
Berdasarkan hukum kanselasi kiri diperoleh h1 =h2
Jadi, apabila φ (h¿¿ 1)=φ( h¿¿ 2) ¿ ¿ maka h1 =h2, sehingga φ injektif
(ii) Ambil sembarang y ∈ gH
Maka y=g h 0, untuk suatu h0 ∈ H
Pilih x=h 0, sehingga diperolehφ ( x )=φ (h¿¿ 0)=g h 0= y ¿
Jadi, ∀ y ∈ gH , ∃ x ∈ H dengan φ ( x )= y , sehingga φ surjektif.
Berdasarkan (i) dan (ii) dapat disimpulkan bahwa φ bijektif sehingga
H dan gH mempunyai elemen yang sama banyak.
Lebih lanjut tentang theorema lagrange
Jika G grup finite dan H subgrup dari G, maka order dari H
membagi order dari G dan banyaknya koset kiri dari H di G
|G|
adalah G/H =
|H |
bukti
Misalkan a ∈G .
Definisikan ƒ : H → aH  
 Akan ditunjukkan ƒ surjektif.
Misalkan x ∈ aH , maka x=aH , ∀ h ∈ H Ini artinya ada h ∈ H
sehingga x=ah=ƒ ( h ) .Jadi, ƒ surjektif.
 Akan ditunjukkan ƒ injektif.
Misalkan ƒ(h 1)=ƒ (h2 )∈ aH , maka
a (h¿¿ 1)=a(h2)¿
h1 =h2
Jadi, ƒ injektif.
Karena ƒ surjektif dan injektif, maka ƒ bijektif. Akibatnya |𝐻| = |
𝑎𝐻|
Ini berarti semua koset kiri dari H beroder sama dengan H. Karena
koset-koset kiri membentuk partisi di G, maka | 𝐺 | kelipatan | 𝐻 |
atau | 𝐻 | membagi | 𝐺 |,
Sehingga dapat ditulis sebagai berikut:
| 𝐺 | = 𝑘 | 𝐻 |, untuk suatu k bilangan bulat positif
𝑘=|𝐺|/|𝐻|
k disebut indeks dari H pada G, dinyatakan 𝑘 = | 𝐺 : 𝐻 |.
Contoh:
Misalkan G=Z 8 dan H={0,2,4,6 } adalah subgrup dari Z 8Maka
dengan mudah kita bisa mendapatkan nilai k =2. Hal ini artinya
banyaknya koset kiri dari H dalam Z 8 adalah 2, dapat dibuktikan
sebagai berikut:
Z 8=¿ 0+ H ={0,2,4,6 }=H
1+ H={1,3,5,7 }
2+ H={2,4,6,0 }=H
3+ H ={3,5,7,1 }=1+ H
4 + H={4,6,0,2 }=H
5+ H ={5,7,1,3 }=1+ H
6+ H ={6,0,2,4 }=H
7+ H ={7,1,3,5 }=1+ H
Hanya ada 2 koset berbeda dari H dalam Z 8 yaitu H dan 1+ H . Dapat
dikatakan bahwa indeks dari H dalam Z 8 adalah 2.
 Contoh:
Misalkan G=Z dan H =3 Z adalah subgrup dari Z. Akan kita
tunjukkan bahwa indeks dari 3 Z dalam Z adalah 3.
Z={… , — 3 , — 2 , — 1,0,1,2,3 , … }
3 Z ={… , — 9 , — 6 , — 3,0,3,6,9 , … }
Koset kiri dari 3Z dalam Z adalah sebagai berikut:
0+ H =3+ H=6 + H=…=3 n+ H =H
1+ H=4+ H =7+ H=10+ H … dst
2+ H=5+ H=8+ H =11+ H … dst
Hanya ada 3 koset berbeda dari 3 Z dalam Z yaitu
H ,1+ H dan 2+ H
Atau dapat ditulis
3 Z , 1+ 3 Z dan 2+ 3 Z