Anda di halaman 1dari 6

Pertemuan 5

SUB GRUP A. Pendahuluan Mahasiswa diharapkan mengingat kembali pengertian himpunan bagian yang pernah dipelajari di matakuliah Logika Matematika dan Himpunan. Subgroup adalah himpunan bagian yang merupakan grup juga, sehingga harus diingat pula tentang pengertian grup beserta sifat-sifatnya. Dua hal tersebut akan sangat menentukan pencapaian target pertemuan kelima ini. Target yang dimaksud adalah : a. Membedakan himpunan bagian suatu grup merupakan subgrup atau bukan b. Membentuk suatu subgroup c. menjelaskan teorema dalam subgroup d. membuktikan suatu subgroup dengan teoremanya B. Pengertian Kompleks Definisi 1: Himpunan bagian tidak kosong dari suatu grup (G,*) disebut Kompleks Definisi 2. Misalkan A dan B kompleks dari grup (G,*) maka hasil kali kompleks AB adalah himpunan a * b dengan a anggota dari A dan b anggota dari B. Secara matematis dinotasikan : AB = { a * b | a A dan b B } Definisi 3. : Jika A kompleks dari grup G maka A-1 = {a-1 | a A } Catatan : Jika dikatakan grup G pastilah terdapat suatu operasi biner pada G yang memenuhi empat (4) aksioma grup. Operasi biner sebarang dua elemen a dan b ditulis ab, sehingga dapat didefinisikan AB = { ab | a A dan b B }

Pengantar Struktur Aljabar

18

Pertemuan 5

Teorema 1.: Jika A, B dan C kompleks dari grup G maka (AB)C = A(BC) Bukti : Untuk membuktikan P = Q harus dibuktikan P Q & Q P Akan dibuktikan (AB)C A(BC) Ambil s (AB)C, berarti s = (ab)c dengan a A, b B, c C dan a,b,c G karena A, B dan C kompleks dari grup G, sehingga dipenuhi sifat asosiatif yaitu : s = (ab)c = a(bc) A(BC). Diperoleh s (AB)C s A(BC) Jadi (AB)C A(BC) Akan dibuktikan A(BC) (AB)C Ambil t A(BC), berarti t = p(qr) dengan p A, q B, r C dan p,q,r G karena A, B dan C kompleks dari grup G, sehingga dipenuhi sifat asosiatif yaitu : t = p(qr) = (pq)r (AB)C. Diperoleh t A(BC) t (AB)C Jadi A(BC) (AB)C C. Pengertian Subgrup Definisi 4.: Misalkan (G,*) suatu grup, H disebut subgrup dari G jika H kompleks dari G dan (H,*) merupakan suatu grup. DKL, H subgrup dari grup G jika H kompleks dari G dan H juga suatu grup terhadap operasi yang sama pada G Contoh ; 1. G = (1, -1, i, -i } dengan i = -1 maka (G,x) merupakan grup dan H = {1, 1} adalah subgrup dari G karena H , H G sehingga H kompleks dari (H,x) juga suatu grup

Pengantar Struktur Aljabar

19

Pertemuan 5

2. (Z,+) merupakan subgrup dari (Q,+) 3. (Q {0},x) merupakan subgrup dari (R {0},x) 4. Misalkan 2Z = {x | x = 2n, n Z } = { , -2, 0, 2, } maka (2Z,+) subgrup dari (Z,+) D. Teorema tentang Subgrup Teorema 2.: Misalkan G adalah grup dan H kompleks dari G H subgrup dari G jika dan hanya jika (a, b H) berlaku i. ab H dan ii. a-1 H Bukti : Diketahui G adalah grup dan H kompleks dari G () H subgrup dari G maka H juga merupakan grup sehingga (a, b H) pasti berlaku i. ab H dan ii. a-1 H () a, b H berlaku i. ab H dan ii. a-1 H Akan ditunjukkan H subgrup dari G berarti H merupakan grup, sebagai berikut : Tertutup diketahui dari i. Asosiatif : ambil sebarang x, y, z H maka x, y, z G karena H G dan G adalah grup maka berlaku (xy)z = x(yz) Ada elemen satuan : dari ii. diketahui a H berlaku a-1 H dan menurut i. berlaku aa-1 H dan aa-1 = e maka e H. Setiap elemen dalam H mempunyai invers diketahui dari ii. Teorema 3.: Misalkan G adalah grup dan H kompleks dari G H subgrup dari G jika dan hanya jika a, b H berlaku ab-1 H.
Pengantar Struktur Aljabar 20

Pertemuan 5

Bukti : Diketahui G adalah grup dan H kompleks dari G () H subgrup dari G sehingga H juga merupakan grup Akan ditunjukkan a, b H berlaku ab-1 H, sebagai berikut : Ambil sebarang a, b H, karena H grup maka terdapat b-1 H sehingga a, b-1 H dan H mempunyai sifat tertutup maka ab-1 H ()a, b H berlaku ab-1 H. Akan ditunjukkan H subgrup yakni H merupakan grup, sebagai berikut : Ambil sebarang c H maka cc-1 H (diketahui) cc-1 = e maka e H e, c H maka ec-1 = c-1 H (diketahui)... Ambil sebarang a, b H, menurut (**) b-1 H, jika a, b-1 H maka a(b-1)-1 H Karena a(b-1)-1 = ab maka ab H, jadi H tertutup .. (*3) Jelas bahwa H mempunyai sifat asosiatif karena H G maka x, y, z H pasti x, y, z G dan G adalah grup maka berlaku (xy)z = x(yz) (*4) Dari (*1), (*2),(*3), dan (*4) terbukti H merupakan grup yang berarti H subgrup dari G. Catatan : Untuk selanjutnya dalam membuktikan suatu subgrup digunakan teorema 2. atau teorema 3., sehingga tidak perlu menunjukkan semua aksioma grup. Contoh : a. dari contoh 4. Diatas, untuk menunjukkan bahwa 2Z subgrup dari Z dapat digunakan teorema 3. : jelas bahwa 2Z Z dan 2Z maka 2Z adalah kompleks dari Z. (*1) (*2)

Pengantar Struktur Aljabar

21

Pertemuan 5

Ambil sebarang x, y 2Z maka x = 2m dan y = 2n untuk suatu m, n Z dan y = 2n Z maka y-1 = y = 2n sehingga xy-1 = x y = 2m 2n = 2(m n). Karena m, n Z maka m n Z dan 2(m n) = xy-1 2Z b. Buktikan bahwa jika H dan K masing-masing subgrup dari G maka H K juga subgrup dari G. Bukti : Diketahui H, K subgrup dari G maka H G, K G, H , K , e H dan e K sehingga e H K. jadi H K G. jadi x H K x G atau H K G Dari (#1) dan (#2) terlihat H K kompleks dari G. Selanjutnya ditunjukkan H K subgrup, sebagai berikut : (dengan teorema 3.) Ambil sebarang x, y H K maka maka x, y H dan x, y K. karena H dan K subgrup maka xy-1 H dan xy-1 K sehingga maka xy-1 H K. Terbukti H K subgrup dari G. c. Misalkan G adalah grup dan s G. didefinisikan C = {x G | sx = xs } maka tunjukkan bahwa C subgrup dari G Bukti : Dari definisi C, jelas bahwa C G karena x C x G dan C , sebab e G dan es = se maka e C. jadi C merupakan kompleks dari G. Selanjutnya ditunjukkan bahwa C subgrup, dengan teorema 2. : Ambil sebarang a, b C maka a, b G, as = sa dan bs = sb. Karena a, b G dan G grup maka ab G dan a-1 G dan berlaku
Pengantar Struktur Aljabar

(#1)

Ambil x H K maka x H dan x K. Karena H G, K G maka x (#2)

22

Pertemuan 5

i. (ab)s = a(bs) = a(sb) = (as)b = (sa)b = s(ab)

asosiatif bs = sb asosiatif as = sa asosiatif

ii. es = se (a-1a)s = s(a-1a) a-1(as) = (sa-1)a a-1(sa) = (sa-1)a (a-1s)a = (sa-1)a a-1s = sa-1

eC e = a-1a asosiatif as = sa asosiatif kanselasi

TUGAS KELOMPOK : 1. DARI GRUP YANG KALIAN MILIKI, BUATLAH SUBGRUP YANG MUNGKIN. 2. TULISLAH GRUP DAN SUBGRUPNYA DITRANSPARASI 3. DAN TULISLAH SECARA LENGKAP BESERTA BUKTINYA SUBGRUP DARI GRUP YANG KALIAN MILIKI TERSEBUT DI LEMBAR KERTAS UNTUK DIKUMPULKAN

Pengantar Struktur Aljabar

23