Pengantar Teori Grup

misalkan G adalah himpunan tak kosong dan * adalah operasi biner terdefinisi di dalam G. G adalah grup jika empat aksioma berikut terpenuhi:

1. operasi biner * di dalam G bersifat tertutup.

2. operasi biner * di dalam G bersifat asosiatif.

3. terdapat elemen identitas di dalam G terhadap operasi biner *.

4. setiap elemen di dalam G memiliki elemen invers terhadap operasi biner *.