Grup (matematika): Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Bot: penggantian teks otomatis (-asal-usul, +asal usul |
k Perubahan kosmetik tanda baca |
||
Baris 10:
== Definisi ==
Suatu grup adalah suatu [[himpunan]] <math>G</math> beserta satu [[operasi biner]] <math>*</math> yang memenuhi ''aksioma-aksioma grup'' berikut:
* '''Ketertutupan''' (''closure'')
* '''Sifat asosiatif'''
* '''Unsur identitas'''
* '''Unsur invers'''
== Notasi grup ==
Baris 34:
== Beberapa contoh elemen dan bukan contoh ==
=== Sebuah grup abelian
Contoh grup yang pernah diperkenalkan saat di sekolah dasar salah satunya adalah bilangan bulat terhadap penjumlahan. Misalkan “’Z”’ merupakan himpunan bilangan bulat, {..., -4, -3, -2, -1, 0, 1, 2, 3, 4,...} dan simbol “+” sebagai operasi penjumlahan. Dengan demikian, (“’Z”’,+) merupakan suatu grup.
Bukti
* Bila “a” dan “b” merupakan bilangan bulat maka “a” + “b” juga merupakan bilangan bulat.
Baris 45:
*Bila “a” sebuah bilangan bulat maka terdapat bilangan bulat “b” = -“a” sedemikian sehingga “a” + “b” = “b” +” “a = 0 (elemen invers)
Grup ini juga merupakan abelian
Bilangan bulat terhadap penjumlahan dan perkalian membentuk struktur aljabar [[cincin]] yang lebih kompleks. Sebenarnya, elemen dari cincin apa saja membentuk sebuah grup abelian terhadap penjumlahan yang disebut “grup penjumlahan” dari cincin.
=== “Bukan” grup
Bilangan bulat terhadap [[perkalian]] yang dilambangkan dengan “ “’ ×’” ” Maka (“’Z’”, “’ ×’” ) bukan sebuah grup
*Bila “a” dan “b” bilangan bulat maka “a” “’ ×’” “b” merupakan bilangan bulat
*Bila “a”, “b”, dan “c” bilangan bulat maka (“a”“’ ×’” “b”) “’ ×’” “c” = “a”“’ ×’” (“b”“’ ×’” “c”) (sifat asosiatif)
Baris 61:
Karena tidak semua elemen dari (“’Z’”, “’ ×’”) mempunyai invers maka (“’Z’”, “’ ×’”) bukan merupakan grup. Kita dapat menyebut (“’Z’”, “’ ×’”) sebuah [[monoid]] komutatif.
=== Sebuah grup abelian
Misalkan “’Q’” sebagai himpunan [[bilangan rasional]], yaitu bilangan yang dapat dinyatakan dengan “a”/”b” dengan “a” dan “b” merupakan bilangan bulat dan”b” bukan nol. Misalkan pula operasi perkalian dinyatakan dengan simbol ““’ ×’” ”. Karena bilangan rasional [[0]] tidak memiliki invers untuk perkalian maka (“’Q’”, “’ ×’”), sebagaimana juga (“’Z’”, “’ ×’”) bukan sebuah grup.
Baris 69:
Sama seperti bilangan bulat yang membentuk cincin, demikian juga bilangan rasional yang membentuk struktur aljabar dari [[bidang]]. Sebenarnya, elemen bukan nol dari medan apapun akan membentuk grup terhadap perkalian yang disebut “grup perkalian” dari bidang.
=== Grup bukan belian tertentu
Misalkan tiga buah blok berwarna (merah, hijau, dan biru) yang mula-mula diletakkan dengan susunan MHB. Misalkan “a” merupakan aksi “menukarkan blok pertama dan blok kedua” dan “b” aksi “menukarkan blok kedua dan ketiga”.
Dalam bentuk perkalian, kita menuliskan “x””y” untuk aksi “pertama kali lakukan “y” kemudian lakukan “x” ” sehingga “a””b” adalah aksi MHB ®MBH®BMH yaitu “ambil blok terakhir dan pindahkan ke depan”. Bila kita menuliskan “e” untuk aksi “ biarkan blok sebagaimana adanya” (aksi identitas) maka kita dapat menulis enam [[permutasi]] dari himpunan tiga blok sebagai berikut
* e
* a
*b
* ab
*ba
*aba
Perhatikan bahwa aksi “a””a” akan menyebabkan MHB ® HMB ® MHB atau aksi tersebut sama saja dengan aksi “biarkan blok sebagaimana adanya”. Dengan demikian, kita dapat menuliskan “a””a” = “e”.
Baris 108:
untuk persamaan “a”*”y” = “b”.
*Ungkapan “ “a”1*”a”2*...”a”n ” tidak ambigius karena hasilnya akan sama dimana saja kita menempatkan tanda kurung.
*Invers perkalian adalah hasil kali invers dalam susunan terbalik
Faktor ini dan faktor dasar lainnya juga berlaku untuk semua grup tertentu yang membentuk bidang dari [[teori grup elementer]].
|