dalam matematika, grup adalah suatu himpunan, beserta satu operasi biner, seperti perkalian atau penjumlahan, yang memenuhi beberapa aksioma yang diuraikan di bawah ini.
misalnya, himpunan bilangan bulat adalah suatu grup terhadap operasi penjumlahan.
cabang matematika yang mempelajari grup disebut teori grup.
asal-usul teori grup berawal dari kerja evariste galois (1830), yang berkaitan dengan masalah persamaan aljabar yang terpecahkan dengan radikal.
sebelum kerja galois, grup lebih banyak dipelajari secara kongkrit, dalam bentuk permutasi; beberapa aspek teori grup abelian dikenal dalam teori bentuk-bentuk kuadrat.
banyak sekali objek yang dipelajari dalam matematika ternyata berupa grup.
hal ini mencakup sistem bilangan, seperti bilangan bulat, bilangan rasional, bilangan nyata, dan bilangan kompleks terhadap penjumlahan, atau bilangan rasional, bilangan nyata, dan bilangan kompleks yang tak-nol, masing-masing terhadap perkalian.
contoh penting lainnya misalnya matriks non-singular terhadap perkalian, dan secara umum, fungsi terinverskan terhadap komposisi fungsi.
teori grup memungkinkan sifat-sifat sistem-sistem ini dan berbagai sistem lain untuk dipelajari dalam lingkup yang umum, dan hasilnya dapat diterapkan secara luas.
teori grup juga merupakan sumber kaya berbagai teorema yang berlaku dalam lingkup grup.
lihat teori grup.
definisi dasar
a x 1= a
a + 0= a
a x 0 =0
0: a = 0
a - 0 = a
0 -a = -a
a: a = 1
a: 1 = a
a: 0 = tidak terdefinis
biasanya operasi dalam grup, apa pun sebetulnya operasi tersebut, dipikirkan sebagai analog dari perkalian, dan operasi grup ditulis secara perkalian.
kita menulis "a  b", atau bahkan "ab", untuk a * b.
kita menulis "1" untuk unsur identitas dan menyebutnya unsur satuan.
kita menulis "a-1" untuk invers a dan menyebutnya kebalikan dari a.
tetapi, kadang-kadang operasi grup dipikirkan sebagai analog dari penjumlahan dan ditulis secara jumlah:
kita menulis " untuk a * b dan menyebutnya jumlah a dan b.
kita menulis "0" untuk unsur identitas dan menyebutnya unsur nol.
kita menulis "-a" untuk invers a dan menyebutnya lawan dari a.
biasanya, hanya grup abelian yang ditulis dalam bentuk penjumalahan walaupun grup dapat juga ditulis dalam bentuk perkalian.
ketika bersifat noncommittal, kita dapat menggunakan notasi (dengan *) dan istilah yang dikemukakan dalam definisi menggunakan notasi a-1 sebagai invers dari a.
bila s adalah sub himpunan dari g dan x elemen dari g maka notasi perkalian, xs merupakan himpunan dari semua hasil perkalian {xs} untuk s dalam s. hal yang sama juga dapat dilihat pada notasi sx = {sx : s in s} ; dan untuk dua sub himpunan s dan t dari g kita dapat menulis st untuk {st : untuk semua s dalam s, dan t dalam t}.
dalam notasi penjumlahan, kita menuliskan x + s, s + x, dan s + t untuk masing-masing pasangan.
beberapa contoh elemen dan bukan contoh
sebuah grup abelian : bilangan bulat terhadap penjumlahan
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.
* bila a dan b merupakan bilangan bulat maka a + b juga merupakan bilangan bulat.
*bila a,  b, dan c adalah bilangan bulat maka (a + b) + c =  a + (b+c) (sifat asosiatif)
*0 adalah bilangan bulat dan untuk setiap bilangan bulat a, 0 + a = a. (elemen identitas)
*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 : a + b = b + a.
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
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)
*1 adalah bilangan bulat dan untuk setiap bilangan bulat a, 1   a = a  1 = a (elemen identitas)
*tetapi, bila a sebaramg bilangan bulat bukan 0 maka tidak ada bilangan bulat
bukan 0 yang memenuhi ab = ba = 1.
sebagai contoh, misalkan a = 2 maka
berapapun b (bilangan bulat bukan 0) maka karena tidak semua elemen dari (z,  ) mempunyai invers maka (z,  ) bukan merupakan grup.
kita dapat menyebut (z,  ) sebuah monoid komutatif.
sebuah grup abelian : bilangan rasional bukan 0 terhadap perkalian
misalkan q sebagai himpunan bilangan rasional, yaitu bilangan yang dapat dinyatakan dengan a/b dengan a dan b merupakan bilangan bulat danb 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.
akan tetapi, kalau kita menggunakan himpunan q \ {0}, yang mencakup setiap bilangan rasional kecuali nol  maka (q\{0}, ) merupakan grup abelian.
invers a/b adalah b/a dan aksioma grup lainnya mudah diperiksa kebenarannya.
kita tidak kehilangan closure dengan menghilangkan nol karena hasil kali dua bilangan rasional tidak nol tidak akan pernah nol.
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 : permutasi dari himpunan
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 xy untuk aksi pertama kali lakukan y kemudian lakukan x  sehingga ab adalah aksi mhb mbhbmh 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 : mhb  mhb
* a : mhb  hmb
*b : mhb  mbh
* ab : mhb  bmh
*ba : mhb  hbm
*aba : mhb  bhm
perhatikan bahwa aksi aa akan menyebabkan mhb  hmb  mhb atau aksi tersebut sama saja dengan aksi biarkan blok sebagaimana adanya. dengan demikian, kita dapat menuliskan aa = e.
* bb = e
*(aba)(aba) = e dan
*(ab)(ba) = (ba)(ab) = e.
jadi, tiap aksi di atas mempunyai sebuah invers.
dengan menyelidiki, kita juga dapat menentukan sifat asosiatif dan closure.
sebagai contoh perhatikan,
*(ab)a = a(ba) = aba, dan
*(ba)b = b(ab) = aba.
grup ini disebut simetri grup pada tiga huruf, atau s3. grup tersebut mempunyai orde 6 ( atau 3 faktorial), dan bukan merupakan grup abelian (karena sebagai contoh ab  ba).
karena s3 dibangun dari aksi dasar a dan b maka kita dapat mengatakan bahwa himpunan {a,b} membangun s3.
setiap grup dapat diungkapkan dalam grup permutasi seperti s3. hasilnya merupakan teorema cayley dan dipelajari sebgai bagian dari subyek aksi grup.
untuk beberapa contoh lanjutan dari grup untuk berbagai aplikasi lihat contoh-contoh grup dan daftar grup kecil.
*sebuah grup mempunyai hanya satu elemen identitas.
*setiap elemen mempunyai hanya satu invers.
*kita dapat membagi grup yaitu elemen grup a dan b dari grup g, hanya ada satu solusi x dalam g terhadap persamaan x*a =b dan hanya satu solusi y dalam g
untuk persamaan a*y = b.
*ungkapan  a1*a2*...an  tidak ambigius karena hasilnya akan sama dimana saja kita menempatkan tanda kurung.
*invers perkalian adalah hasil kali invers dalam susunan terbalik : (a*b)-1 = b-1 *a-1.
faktor ini dan faktor dasar lainnya juga berlaku untuk semua grup tertentu yang membentuk bidang dari teori grup elementer.
membuat grup baru dari suatu grup tertentu
bila sebuah sub himpunan h dari grup (g,*)
hasil kali dari dua grup (g,*) dan (h,  ) merupakan himpunan gxh bersama dengan operasi (g1,h1)(g2,h2) = (g1*g2,h1   h2)
penjumlahan eksternal secara langsung dari anggota grup merupakan sub grup perkalian yang diwakilkan oleh elemen-elemen yang mempunyai sejumlah bagian bukan nol.
bila anggota bersifat tertentu maka penjumlahan langsung dan perkalian adalah sama.
grup tertentu g dan sebuah sub grup normal n, maka quotient group adalah himpunan dari kohimpunan dari g/n terhadap operasi (gn)(hn) = ghn.
group (mathematics) dari wikipedia berbahasa inggris.