BAB II

PEMBAHASAN

A. Koset
Teorema A-1 :

G grup, H ≤ G, a,b G berlaku :

1) a RL b ↔ a-1b H

2) a RR b ↔ ab-1 H

Relasi RL dan RR merupakan relasi ekuivalen.

Bukti : 1)
Akan dibuktikan RL merupakan relasi ekuivalen
 Akan ditunjukkan berlaku sifat refleksi atau a RL b

Ambil sembarang a G, a-1a = e karena H ≤ G dengan sifat ketunggalan identitas maka 

a-1a = e H  (terbukti sifat Refleksi).

 Akan ditunjukkan berlaku sifat simetri atau a RL b → b RL a.

Ambil sembarang a,b   G dengan a RL b

a RL b menurut defininsi maka a-1 b H karena H ≤ G maka  (a-1b)-1 H (sifat invers),

sehingga b-1a  H atau b RL a  (terbukti sifat simetri)

 Akan ditunjukkan berlaku sifat transitif atau a RL b dan b RL c → a RL c

a. a RL b menurut definisi a-1b H

 b. b RL c menurut definisi b-1c  H, karena H ≤ G maka dipenuhi sifat tertutup atau 

(a-1b) (b-1c) H atau a-1 (b b-1) c H atau a-1c H atau a RL c

Jadi terbukti:  jika a RL b dan b RL c → a RL c

dengan dipenuhinya ketiga sifat tersebut maka relasi RL merupakan Relasi Ekuivalen.
Jadi G terpecah atas kelas-kelas yang saling asing, misalnya:

Dan seterusnya sehingga kita peroleh

a H  b H  c H  e H  ...  G dan
 a H  b H  c H  e H  ...  

a H ; b H ; c H ; e H = H disebut koset kiri dari H dalam G.

Bukti : 2)
Akan dibuktikan RR merupakan relasi ekuivalen
 Akan ditunjukkan berlaku sifat refleksi atau a RR b

Ambil sembarang a G, a a-1 = e karena H ≤ G dengan sifat ketunggalan identitas maka 

a a-1 = e H  (terbukti sifat Refleksi).

 Akan ditunjukkan berlaku sifat simetri atau a RR b → b RR a.

Ambil sembarang a,b  G dengan a RR b

 a RR b menurut defininsi maka a b-1 H karena H ≤ G maka  (a b-1)-1 H (sifat invers),

sehingga b a-1  H atau b RR a  (terbukti sifat simetri)

 Akan ditunjukkan berlaku sifat transitif atau a RR b dan b RR c → a RR c

c. a RR b menurut definisi ab-1 H

d. b RR c menurut definisi bc-1  H, karena H ≤ G maka dipenuhi sifat tertutup atau 

(ab-1) (bc-1) H atau a (b-1 b) c-1 H atau a c-1 H atau a RR c

Jadi terbukti:  jika a RR b dan b RR c → a RR c

dengan dipenuhinya ketiga sifat tersebut maka relasi RR merupakan Relasi Ekuivalen.
Jadi G terpecah atas kelas-kelas yang saling asing, misalnya:

Dan seterusnya sehingga kita peroleh

a H  b H  c H  e H  ...  G dan
 a H  b H  c H  e H  ...  

a H ; b H ; c H ; e H = H disebut koset kiri dari H dalam G.