DEFINISI GRUP
Definisi 1
Misalkan G adalah himpunan tak kosong, dan pada G didefinisikan suatu operasi biner ∗.
Himpunan G disebut grup terhadap operasi ∗ jika memenuhi sifat:
1 (∀a, b ∈ G) a ∗ b ∈ G (aksoima tertutupa )
2 (∀a, b, c ∈ G) (a ∗ b) ∗ c = a ∗ (b ∗ c) (aksioma asosiatif )
3 (∃eG ∈ G)(∀a ∈ G) eG ∗ a = a = a ∗ eG (aksioma eks. el. identitas/netral)
4 (∀a ∈ G)(∃b ∈ G) a ∗ b = eG = b ∗ a. (aksioma eks. el. invers untuk setiap
elemen di G). Selanjutnya elemen invers dari a ∈ G dinotasikan dengan a−1
a
Pada beberapa referensi/buku, ketika operasi * sudah jelas dikatakan merupakan operasi biner,
aksioma ketertutupan ini kadang tidak dituliskan.
2
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
3
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
3
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
a. Diketahui (G, ∗) adalah grup. Sehingga terdapat elemen identitas e1 ∈ G yang
memenuhi (∀a ∈ G) e1 ∗ a = a = a ∗ e1 .
4
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
a. Diketahui (G, ∗) adalah grup. Sehingga terdapat elemen identitas e1 ∈ G yang
memenuhi (∀a ∈ G) e1 ∗ a = a = a ∗ e1 .
Asumsikan terdapat elemen identitas e2 ∈ G yang memenuhi
(∀a ∈ G) e2 ∗ a = a = a ∗ e2 .
Akan ditunjukkan bahwa e1 = e2 .
4
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
a. Diketahui (G, ∗) adalah grup. Sehingga terdapat elemen identitas e1 ∈ G yang
memenuhi (∀a ∈ G) e1 ∗ a = a = a ∗ e1 .
Asumsikan terdapat elemen identitas e2 ∈ G yang memenuhi
(∀a ∈ G) e2 ∗ a = a = a ∗ e2 .
Akan ditunjukkan bahwa e1 = e2 .
Karena e1 ∈ G identitas di (G, ∗), untuk e2 ∈ G diperoleh
e1 ∗ e2 = e2 . (1)
4
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
a. Diketahui (G, ∗) adalah grup. Sehingga terdapat elemen identitas e1 ∈ G yang
memenuhi (∀a ∈ G) e1 ∗ a = a = a ∗ e1 .
Asumsikan terdapat elemen identitas e2 ∈ G yang memenuhi
(∀a ∈ G) e2 ∗ a = a = a ∗ e2 .
Akan ditunjukkan bahwa e1 = e2 .
Karena e1 ∈ G identitas di (G, ∗), untuk e2 ∈ G diperoleh
e1 ∗ e2 = e2 . (1)
Lebih lanjut, karena e2 ∈ G juga merupakan elemen identitas di (G, ∗), diperoleh
e1 ∗ e2 = e1 . (2)
4
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
a. Diketahui (G, ∗) adalah grup. Sehingga terdapat elemen identitas e1 ∈ G yang
memenuhi (∀a ∈ G) e1 ∗ a = a = a ∗ e1 .
Asumsikan terdapat elemen identitas e2 ∈ G yang memenuhi
(∀a ∈ G) e2 ∗ a = a = a ∗ e2 .
Akan ditunjukkan bahwa e1 = e2 .
Karena e1 ∈ G identitas di (G, ∗), untuk e2 ∈ G diperoleh
e1 ∗ e2 = e2 . (1)
Lebih lanjut, karena e2 ∈ G juga merupakan elemen identitas di (G, ∗), diperoleh
e1 ∗ e2 = e1 . (2)
Bukti Teorema 1
5
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
5
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
5
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 1
5
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Selanjutnya elemen invers dari a ∈ G, dinotasikan dengan a−1 . Berdaserkan definisi grup,
diperoleh sifat-sifat berikut.
Teorema 2
Diberikan grup (G, ∗).
a. (a ∗ b)−1 = b−1 ∗ a−1 untuk setiap a, b ∈ G
b. (a−1 )−1 = a untuk setiap a ∈ G
c. (Hukum Kanselasi) Untuk setiap a, b, c ∈ G,
jika a ∗ b = a ∗ b maka b = c (Hk. Kanselasi kiri)
jika b ∗ a = c ∗ a maka b = c (Hk. Kanselasi kanan)
d. untuk setiap a, b ∈ G, persamaan a ∗ x = b dan y ∗ a = b memiliki solusi tunggal di G
untuk x, y.
6
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
7
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
7
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
Jadi b−1 ∗ a−1 merupakan elemen invers dari a ∗ b. Berdasarkan Teorema 1.b, diketahui
elemen invers dari setiap elemen di G adalah tunggal dan (a ∗ b)−1 elemen invers dari
a ∗ b. Oleh karena itu (a ∗ b)−1 = b−1 ∗ a−1
7
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
8
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
Jadi terbukti b = a.
cara yang analog dapat dibuktikan jika b ∗ a = c ∗ a maka b = c.
9
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
10
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 2
11
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti.
Karena a ∗ a = a = a ∗ e, sehingga dengan menggunakan Hk. kanselasi kiri diperoleh a = e.
11
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Teorema 3
Jika a adalah elemen dalam grup (G, ∗), n adalah bilangan bulat dan didefinisikan an
sebagai
a1 = a, a0 = e, dengan e adalah elemen identitas / netral pada G.
an = an−1 ∗ a untuk setiap n > 1. dan a−n sebagai invers dari an ,
maka am+n = am ∗ an dan amn = (am )n untuk setiap bialngan bulat m dan n.
12
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan am ∗ an = am+n untuk setiap m, n ∈ Z+ ∪ {0}.
13
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan am ∗ an = am+n untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z
13
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan am ∗ an = am+n untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z
untuk n = 0, diperoleh am ∗ a0 = am ∗ e = am = am+0 . Jadi benar untuk n = 0
berlaku
13
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan am ∗ an = am+n untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z
untuk n = 0, diperoleh am ∗ a0 = am ∗ e = am = am+0 . Jadi benar untuk n = 0
berlaku
Asumsikan benar untuk n = k, berlaku am ∗ ak = am+k .
Akan dibuktikan n = k + 1 berlaku am ∗ ak+1 = am+k+1 .
13
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan am ∗ an = am+n untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z
untuk n = 0, diperoleh am ∗ a0 = am ∗ e = am = am+0 . Jadi benar untuk n = 0
berlaku
Asumsikan benar untuk n = k, berlaku am ∗ ak = am+k .
Akan dibuktikan n = k + 1 berlaku am ∗ ak+1 = am+k+1 .
am ∗ ak+1 = am ∗ (ak ∗ a) (Dik. an = an−1 ∗ a, untuk n > 1)
= (am ∗ ak ) ∗ a (sifat assosatif ∗)
m+k
=a ∗a (asumsi)
m+k+1
=a (Dik. an = an−1 ∗ a untuk n > 1)
13
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan am ∗ an = am+n untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z
untuk n = 0, diperoleh am ∗ a0 = am ∗ e = am = am+0 . Jadi benar untuk n = 0
berlaku
Asumsikan benar untuk n = k, berlaku am ∗ ak = am+k .
Akan dibuktikan n = k + 1 berlaku am ∗ ak+1 = am+k+1 .
am ∗ ak+1 = am ∗ (ak ∗ a) (Dik. an = an−1 ∗ a, untuk n > 1)
= (am ∗ ak ) ∗ a (sifat assosatif ∗)
m+k
=a ∗a (asumsi)
m+k+1
=a (Dik. an = an−1 ∗ a untuk n > 1)
13
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan am ∗ an = am+n untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z
untuk n = 0, diperoleh am ∗ a0 = am ∗ e = am = am+0 . Jadi benar untuk n = 0
berlaku
Asumsikan benar untuk n = k, berlaku am ∗ ak = am+k .
Akan dibuktikan n = k + 1 berlaku am ∗ ak+1 = am+k+1 .
am ∗ ak+1 = am ∗ (ak ∗ a) (Dik. an = an−1 ∗ a, untuk n > 1)
= (am ∗ ak ) ∗ a (sifat assosatif ∗)
m+k
=a ∗a (asumsi)
m+k+1
=a (Dik. an = an−1 ∗ a untuk n > 1)
Bukti Teorema 3
Akan dibuktikan (am )n = amn untuk setiap m, n ∈ Z+ ∪ {0}.
14
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan (am )n = amn untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z+ ∪ {0}
14
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan (am )n = amn untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z+ ∪ {0}
untuk n = 0, diperoleh (am )0 = e = a0 = am0 . Jadi benar untuk n = 0 berlaku
14
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan (am )n = amn untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z+ ∪ {0}
untuk n = 0, diperoleh (am )0 = e = a0 = am0 . Jadi benar untuk n = 0 berlaku
Asumsikan benar untuk n = k, berlaku (am )k = amk .
Akan dibuktikan n = k + 1 berlaku (am )k+1 = am(k+1) .
14
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan (am )n = amn untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z+ ∪ {0}
untuk n = 0, diperoleh (am )0 = e = a0 = am0 . Jadi benar untuk n = 0 berlaku
Asumsikan benar untuk n = k, berlaku (am )k = amk .
Akan dibuktikan n = k + 1 berlaku (am )k+1 = am(k+1) .
14
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan (am )n = amn untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z+ ∪ {0}
untuk n = 0, diperoleh (am )0 = e = a0 = am0 . Jadi benar untuk n = 0 berlaku
Asumsikan benar untuk n = k, berlaku (am )k = amk .
Akan dibuktikan n = k + 1 berlaku (am )k+1 = am(k+1) .
14
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
Akan dibuktikan (am )n = amn untuk setiap m, n ∈ Z+ ∪ {0}.
Diberikan sebarang m ∈ Z+ ∪ {0}
untuk n = 0, diperoleh (am )0 = e = a0 = am0 . Jadi benar untuk n = 0 berlaku
Asumsikan benar untuk n = k, berlaku (am )k = amk .
Akan dibuktikan n = k + 1 berlaku (am )k+1 = am(k+1) .
Bukti Teorema 3
15
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
15
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
15
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3
15
Na’imah Hijriati Sifat Elementer Grup 24 Agustus 2021
Grup
Bukti Teorema 3