Jabarkan Sifat dari Kuasigrup

Bagian artikel ini menunjukkan kuasigrup perkalian dengan penjajaran.

Kuasigrup sifat pembatalan: jika  dari  oleh pembagian kiri  ab  atau  ac  oleh  a . Jika  adalah .

Definisi dari kuasigrup sebagai operator perkalian kiri dan kanan , didefinisikan dari

Definisi tersebut kedua pemetaan adalah bijeksi dari Q. Magma Q adalah kuasigrup ketika operator, untuk  x  dalam  Q , bersifat bijektif. Peta invers adalah pembagian kiri dan kanan, yaitu

Dalam notasi, identitas di antara operasi perkalian dan pembagian kuasigrup (dinyatakan pada bagian aljabar universal) adalah

dimana 1 adalah peta identitas pada  Q .