GROUP

Sistem aljabar  (S, *) merupakan monoid, jika

1.  Himpunan S tertutup di bawah operasi * .

2.  Operasi * bersifat asosiatif.

3.  Pada S terdapat elemen identitas untuk operasi * .

4.  Setiap anggota S memiliki  invers untuk operasi * dan invers tersebut merupakan anggota S  juga.

Contoh

(Z,+) merupakan sebuah group

Jika operasi biner pada group (S,*) tersebut bersifat komutatif, maka group (S,*) disebut juga group abel.

Contoh

Sistem aljabar (Z,+) merupakan sebuah group abel