Ideals in Bounded Equality Algebras

Abstract

In this paper, the concept of ideal in bounded equality algebras is introduced. With respect to this concepts, some related results are given. In particular, we prove that there is a one-to-one corresponding between congruence relation on a involutive equality algebra and the set of ideals on it. Also, we prove the first isomorphism theorem on equality algebras. Moreover, the notions of prime and Boolean ideals in equality algebras are introduced. Finally, we prove that ideal I of involutive prelinear equality algebra E is n Boolean ideal if and only if E/I is an Boolean algebra.