parameter.
ABSTRAK
Suatu hemiring dikatakan semialjabar atas hemiring jika bersifat
semimodul kiri dan semimodul kanan atas sehingga memenuhi ( ) ( )
untuk setiap dan . Pada semialjabar atas dapat didefinisikan
suatu kongruensi. Kongruensi pada semialjabar atas merupakan kongruensi
pada hemiring yang bersifat compatible kiri dan compatible kanan untuk setiap
pergandaan oleh elemen . Oleh karena itu, sifat-sifat kongruensi pada hemiring