KERNEL KONGRUENSI PADA GE-ALJABAR TRANSITIF

Abstract

GE-aljabar adalah struktur aljabar yang dibentuk dari suatu himpunan tidak kosong yang dilengkapi dengan operasi biner " ∗ " dan elemen khusus 1, serta memenuhi beberapa aksioma. Penelitian ini membahas bagaimana struktur GE-aljabar, filter, himpunan atas, dan kernel kongruensi pada GE-aljabar. Dari penelitian ini diperoleh bahwa terdapat GE-aljabar transitif dan komutatif. Pada GE-aljabar dapat dibentuk suatu relasi kongruensi. Selanjutnya, relasi kongruensi membentuk himpunan yang disebut kernel kongruensi. Kernel kongruensi pada GE-aljabar transitif bertepatan dengan filter. Kata kunci: GE-aljabar, GE-aljabar transitif, filter, himpunan atas, kernel kongruensi.