Suatu himpunan misalnya (himpunan G) dengan suatu operasi (misalnya operasi bintang (*) yang didefinisikan pada himpunan G) adalah Grup (atau dengan kata lain (G,*) membentuk grup) jika (G,*) memenuhi empat sifat berikut ini.
1) Tertutup
2) Asosiatif
3) Identitas
4) Invers
Untuk mengingat ke empat sifat ini, Anda bisa memberi singkatannya secara berurutan, misalnya TERAS IDENVERS.
Pada pemabahasan sebelumnya, telah dijelaskan secara khusus bagaimana cara Membuktikan Sifat Tertutup dari Suatu Himpunan terhadap Operasinya yang didefinisikan pada himpunan tersebut bahwa untuk setiap a dan b aggota di G harus berlaku a*b anggota di G juga. Selanjutnya, untuk membuktikan apakah berlaku sifat asosiatif atau tidak, sangat sederhana untuk dilakukan yaitu cukup mengambil sebarang 3 anggota di dalam himpunan G misalnya a, b, dan c, kemudian diperlihatkan apakah (a*b)*c=a*(b*c). Jika memenuhi, dikatakan bahwa berlaku sifat asosiatif. Sebagai contoh, pada himpunan bilangan bulat berlaku sifat asosiatif penjumlahan yaitu (a+b)+c=a+(b+c), untuk a, b, c bilangan bulat.
Pada kesempatan ini, akan dibahas bagaimana membuktikan suatu himpunan bersama operasinya apakah memenuhi sifat identitas atau sifat invers karena kedua hal ini berkaitan. Kita tidak akan mengetahui invers tanpa mengetahui unsur identitasnya.
Membuktikan Sifat Identitas dari Suatu Himpunan Sesuai Operasinya
Untuk membuktikan sifat identitas, harus dapat menemukan suatu unsur dalam G (biasa disimbolkan dengan e) sehingga untuk semua g anggota dalam G jika dioperasikan dengan suatu operasi * dengan unsur e tersebut, berlaku g*e=e*g=g. Jadi, ingat bahwa e harus merupakan anggota himpunan G juga, g*e=g dan e*g=g.
Terdapat suatu kesulitan dalam hal menemukan unsur identitasnya ketika kita akan membuktikan sifat identitas. Oleh karena itu, dapat dilakukan dengan cara menduga suatu unsur identitas dalam G (misal f dimana f $ \in G $), kemudian mengujinya apakah untuk setiap g dalam G berlaku g*f=f*g=g, jika ia maka f disebut unsur identitas dalam G terhadap operasi *. Operasi bintang maksudnya adalah suatu operasi tertentu yang didefinisikan pada suatu himpunan G. Untuk lebih jelasnya, perhatikan contoh-contoh berikut ini!
Misal Z himpunan bilangan bulat dan + adalah operasi penjumlahan yang biasa, kita tahu bahwa sebarang a bilangan bulat jika dijumlahkan dengan 0 yakni a+0 atau 0+a pasti menghasilkan a (a+0=0+a=a). Karena keberadaan 0 ini yang merupakan anggota himpunan bilangan bulat juga, maka kita katakan 0 adalah unsur identitas terhadap operasi penjumlahan biasa pada bilangan bulat. Jadi, kita katakan himpunan bilangan bulat dengan operasi + ditulis (Z,+) memenuhi sifat identitas. Begitu juga untuk operasi x biasa bahwa unsur identitas terhadap operasi x biasa adalah 1 karena untuk setiap a bilangan bulat berlaku ax1=1xa=a.
Himpunan bilangan real terhadap operasi + atau x juga memenuhi sifat identitas karena sebarang bilangan real ditambahkan dengan 0 atau dikalikan dengan 1 pasti menghasulkan bilangan real itu juga dan kita tahu 0 dan 1 merupakan anggota dalam himpunan bilangan real.
Intinya, kita harus mampu menduga unsur identitasnya (e $\in G $), kemudian menguji apakah untuk setiap g anggota G berlaku g*e=e*g=g.
Misalkan G={1, -1, i, -i}, tentukan apakah G memiliki unsur idenditas terhadap operasi perkalian biasa!
Dengan memperhatikan setiap anggota G, kita menduga bahwa unsur identitasnya terhadap operasi perkalian adalah 1 karena untuk setiap g $\in$ G berlaku gx1=1xg=g, yakni 1x1=1, (-1)x1=1x(-1)=-1, ix1=1xi=i, (-i)x1=1x(-i)=-i.
Untuk pembaca: Apakah, G juga memiliki unsur identitas terhadap operasi penjumlahan yang biasa?
Membuktikan Sifat Invers dari Suatu Himpunan Sesuai Operasinya
Selanjutnya akan dibahas bagaimana membuktikan sifat invers. Kita pahami dulu apa yang dimaksud dengan invers. Kita telah mengetahui bahwa inversnya 2 terhadap operasi penjumlahan adalah -2, karena 2+(-2)=(-2)+2=0 sedangkan inversnya 2 terhadap operasi perkalian adalah 1/2 karena 2 x 1/2=1/2 x 2=1. Jadi tergantung operasinya apa dan identitasnya. Oleh karena itu untuk membuktikan sifat invers untuk suatu (G,*) dilakukan dengan cara:
" Mengambil sebarang anggota g dalam himpunan G, kemudian menentukan invers dari g yang dimisalkan dengan g', g' juga harus merupakan anggota G sehingga g*g'=g'*g=e. Artinya, untuk setiap g anggota G terdapat g' sehingga g*g'=g'*g=e. "
Perhatikan contoh berikut ini!
Misal G adalah himpunan bilangan bulat atau G=Z. Pada bahasan sebelumnya di atas, unsur identitas G terhadap operasi penjumlahan adalah 0 (e=0). Pertanyaan yang timbul sekarang, apakah (G,+) memenuhi sifat invers?
Ambil sebarang a $\in G$, akan ditunjukkan bahwa untuk setiap a, terdapat a' $\in G$ sehingga a+a'=a'+a=0.
Perhatikan bahwa a+(-a)=0 dan (-a)+a=0, jadi a'=-a. Karena -a juga bilangan bulat maka -a merupakan anggota di G. Oleh karena itu, kita simpulkan (G,+) memenuhi sifat invers.
Untuk pembaca: Apakah himpunan bilangan bulat memenuhi sifat invers terhadap operasi perkalian?
Semoga bermanfaat.
