Contoh:
(Z9,+) merupakan grup dan adalah subgrup dari Z9. Tentukan semua koset dari H dalam Z9?
Penyelesaian:
Koset kanan Koset Kiri
CONTOH 2:
dan Tentukan koset kiri dari H dalam G.Penyelesaian:
Koset kiri
H
Sifat Koset
subgrup G. Koset
jika dan hanya jika adalah subgrup dari
jika dan hanya G jika dan hanya jika
𝑎 ∈ 𝑎𝐻
jika
jadi
Karena maka
3. jika dan hanya jika
Jika maka sehingga jika maka kita memiliki
Karena maka
6. jika dan hanya jika
Bukti:
Jika aH adalah subgrup, maka ada identitas yaitu e, sehingga berdasarkan sifat 4 kita mempunyai . Dari sifat 2 kita memiliki
kemudian oleh sifat 2 lagi
TEOREMA LAGRANGE
Teorema 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 dengan
Akan ditunjukkan bahwa bijektif
(i) Ambil sembarang
maka
Berdasarkan hukum kanselasi kiri diperoleh
Jadi, apabila maka , sehingga injektif
(ii) Ambil sembarang
Maka , untuk suatu
Pilih , sehingga diperoleh
Jadi, sehingga surjektif.
Berdasarkan (i) dan (ii) dapat disimpulkan bahwa bijektif sehingga
mempunyai elemen yang sama banyak.
Teorema Lagrange 2
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
adalah G/H =
bukti
Misalkan
Definisikan
Akan ditunjukkan ƒ surjektif.
Misalkan , maka , Ini artinya ada sehingga Jadi, ƒ surjektif.
Akan ditunjukkan ƒ injektif.
Misalkan , maka
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