KOSET (COSET)

Dr. Fitriani, M.Sc

Dr. Ahmad Faisol, M.Sc.

Jurusan Matematika FMIPA Universitas Lampung

Pertemuan 17 dan 18

STRUKTUR ALJABAR I
KOSET (COSET)
Koset

Teorema
Diberikan G grup dan H subgrup G . Jika
didefinisikan relasi ∼L pada G dengan

a ∼L

jika dan hanya jika a−1 b ∈ H dan ∼R

didefinisikan dengan

a ∼R b

jika dan hanya jika ab −1 ∈ H, maka ∼L dan

∼R merupakan relasi ekuivalensi pada G .
KOSET (COSET)
Koset

Bukti
 Akan ditunjukkan relasi ∼L merupakan
relasi ekuivalensi.
 sifat refleksif

Diberikan sebarang a ∈ G . Akan

ditunjukkan a ∼L a. Karena H subgrup
G, a−1 a = e termuat di dalam H. Oleh
karena itu, a ∼L a. Akibatnya, relasi
∼L bersifat refleksif.
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
Jadi, b −1 a ∈ H.
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
Jadi, b −1 a ∈ H.
Dengan kata lain, b ∼L a. Akibatnya, relasi ∼L bersifat simetris.
 sifat transitif
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
Jadi, b −1 a ∈ H.
Dengan kata lain, b ∼L a. Akibatnya, relasi ∼L bersifat simetris.
 sifat transitif
Misalkan a, b, c ∈ G dengan a ∼L b dan b ∼L c.
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
Jadi, b −1 a ∈ H.
Dengan kata lain, b ∼L a. Akibatnya, relasi ∼L bersifat simetris.
 sifat transitif
Misalkan a, b, c ∈ G dengan a ∼L b dan b ∼L c.
Akan ditunjukkan a ∼L c. Karena a ∼L b dan b ∼L c, a−1 b ∈ H dan
b −1 c ∈ H.
KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
Jadi, b −1 a ∈ H.
Dengan kata lain, b ∼L a. Akibatnya, relasi ∼L bersifat simetris.
 sifat transitif
Misalkan a, b, c ∈ G dengan a ∼L b dan b ∼L c.
Akan ditunjukkan a ∼L c. Karena a ∼L b dan b ∼L c, a−1 b ∈ H dan
b −1 c ∈ H.
Selanjutnya, H merupakan subgrup G berakibat

(a−1 b)(b −1 c) = a−1 (bb −1 )c = a−1 ec = a−1 c ∈ H.

KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
Jadi, b −1 a ∈ H.
Dengan kata lain, b ∼L a. Akibatnya, relasi ∼L bersifat simetris.
 sifat transitif
Misalkan a, b, c ∈ G dengan a ∼L b dan b ∼L c.
Akan ditunjukkan a ∼L c. Karena a ∼L b dan b ∼L c, a−1 b ∈ H dan
b −1 c ∈ H.
Selanjutnya, H merupakan subgrup G berakibat

(a−1 b)(b −1 c) = a−1 (bb −1 )c = a−1 ec = a−1 c ∈ H.

Oleh karena itu a ∼L c, sehingga relasi ∼L bersifat transitif.

KOSET (COSET)
Koset

Bukti
 sifat simetris
Misalkan a, b ∈ G dengan a ∼L b.
Akan ditunjukkan b ∼L a. Karena a ∼L b, a−1 b ∈ H.
Karena H subgrup, invers dari a−1 b yaitu (a−1 b)−1 = b −1 a termuat di H.
Jadi, b −1 a ∈ H.
Dengan kata lain, b ∼L a. Akibatnya, relasi ∼L bersifat simetris.
 sifat transitif
Misalkan a, b, c ∈ G dengan a ∼L b dan b ∼L c.
Akan ditunjukkan a ∼L c. Karena a ∼L b dan b ∼L c, a−1 b ∈ H dan
b −1 c ∈ H.
Selanjutnya, H merupakan subgrup G berakibat

(a−1 b)(b −1 c) = a−1 (bb −1 )c = a−1 ec = a−1 c ∈ H.

Oleh karena itu a ∼L c, sehingga relasi ∼L bersifat transitif.

Jadi, terbukti relasi ∼L merupakan relasi ekuivalensi.

KOSET (COSET)
Koset

Definisi Koset
Diberikan grup G dan subgrup H di G .
Himpunan

aH = {ah|h ∈ H}

dinamakan koset kiri dari H yang memuat a.

Himpunan

Ha = {ha|h ∈ H}

dinamakan koset kanan dari H yang memuat

a.
KOSET (COSET)
Koset

Contoh Koset
Diberikan grup Z terhadap operasi
penjumlahan.
KOSET (COSET)
Koset

Contoh Koset
Diberikan grup Z terhadap operasi
penjumlahan.
Koset kiri dari 3Z yang memuat m adalah
m + 3Z.
KOSET (COSET)
Koset

Contoh Koset
Diberikan grup Z terhadap operasi
penjumlahan.
Koset kiri dari 3Z yang memuat m adalah
m + 3Z.
Koset kiri dari 3Z yang memuat 0 yaitu:

3Z = {..., −9, −6, −3, 0, 3, 6, 9, ...}.

KOSET (COSET)
Koset

Contoh Koset
Diberikan grup Z terhadap operasi
penjumlahan.
Koset kiri dari 3Z yang memuat m adalah
m + 3Z.
Koset kiri dari 3Z yang memuat 0 yaitu:

3Z = {..., −9, −6, −3, 0, 3, 6, 9, ...}.

Koset kiri dari 3Z yang memuat 1 yaitu:

1 + 3Z = {..., −8, −5, −2, 0, 4, 7, 10, ...}.

Koset kiri dari 3Z yang memuat 2 yaitu:

2 + 3Z = {..., −7, −4, −1, 0, 5, 8, 11, ...}.

KOSET (COSET)
Koset

Contoh Koset
Koset kiri dari 3Z yang memuat 3 akan sama
dengan koset kiri dari 3Z yang memuat 0.
KOSET (COSET)
Koset

Contoh Koset
Koset kiri dari 3Z yang memuat 3 akan sama
dengan koset kiri dari 3Z yang memuat 0.
Oleh karena itu, koset-koset kiri dari 3Z
adalah 3Z, 1 + 3Z dan 2 + 3Z.