Sifat pembatalan
Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. (December 2009) |
Dalam matematika, pengertian dari pembatal adalah generalisasi dari pengertian dapat dibalik.
Unsur a dalam magma (M, ∗) memiliki properti pembatalan kiri (atau adalah pembatal-kiri) jika untuk semua b dan c pada M, a ∗ b = a ∗ c selalu menyiratkan bahwa b = c.
Unsur a pada magma (M, ∗) memiliki properti pembatalan hak (atau pembatalan-hak) jika untuk semua b dan c pada M, b ∗ a = c ∗ a selalu menyiratkan b = c.
Elemen a dalam magma (M, ∗) memiliki properti pembatalan dua sisi (atau pembatalan ) jika keduanya bersifat kanker kiri dan kanan.
Magma (M, ∗) memiliki properti pembatalan kiri (atau pembatalan kiri) jika semua a di magma dibiarkan pembatalan, dan definisi serupa berlaku untuk sifat pembatalatif kanan atau pembatal dua sisi.
Unsur yang dapat dibalik kiri adalah pembatal-kiri, dan analog untuk kanan dan dua sisi.
Misalnya, setiap kuasigrup, dan dengan demikian setiap grup, bersifat pembatal.