Coba jelasin . dari Magma (aljabar) dong

Magma kadang dipelajari; beberapa jenis magma, bergantung pada aksioma apa yang harus dipenuhi oleh operasi tersebut. Jenis magma yang umum dipelajari meliputi:

Grup semu Magma di mana pembagian selalu mungkin

Gelung Kuasigrup dengan elemen identitas

Semigrup Magma yang dimana operasinya asosiatif

Semigrup balikan Semigrup dengan balikan.

Semikisi Semigrup operasinya komutatif dan idempoten

Monoid Semigrup dengan elemen identitas

Grup Sebuah monoid dengan elemen invers, atau ekuivalennya, gelung asosiatif, atau kuasigroup asosiatif yang tidak kosong

Grup Abelian Grup yang operasinya bersifat komutatif

Perhatikan bahwa pembagian dan pembatalan adalah sifat pembatalan.