Daftar Isi: Hukum Kanselasi pada Grupoid-AG

Daftar Isi:

Pada Skripsi ini dibahas definisi grupoid-AG, hukum kanselasi pada grupoid-AG, dan sifat-sifat hukum kanselasi pada grupoid-AG. Diperlihatkan bahwa grupoid-AG dibentuk dari grupoid yang memenuhi hukum invertif kiri. Grupoid-AG tidak selalu memenuhi hukum kanselasi. Dibuktikan bahwa himpunan elemen kanselasi dan himpunan elemen non-kanselasi pada grupoid-AG menyebabkan terpartisi menjadi dua subgrupoid-AG. Hal ini berlaku jika mempunyai elemen identitas kiri . Dibuktikan pula bahwa hukum kanselasi dan hukum keterbalikan (invertibility) berlaku bersamaan pada grupoid-AG berhingga dengan elemen identitas kiri . Himpunan elemen non-kanselasi pada grupoid-AG berhingga dengan elemen identitas kiri yang mempunyai minimal satu elemen nonkanselasi akan membentuk ideal maksimal. Hasil direct product dari dua grupoid-AG kanselasi adalah grupoid-AG kanselasi.