On normal filters and congruence relations in BE-algebras

In this paper we introduce the notion of a normal filter in BE-algebras (in transitive BE-algebras filters conicide with normal filters). We discuss some relationships between congruence relations and normal filters of a BE-algebra A (if A is commutative, then we show that there is a bijection between congruence relations and filters in A ). Moreover, we give the construction of quotient algebra A/F of A via a normal filter F of A.