On quotient algebras of normal eo-algebras by congruences

Abstract

We consider some properties of quotient algebras of normal eo-algebras by closed congruences and show that (i) there is a one to one correspondence between the set of all closed filters and the set of all closed congruences, (ii) every normal eo-algebra X is isomorphic to a subdirect product of normal eo-algebras {X/Pa}a∈X, where Pa is a maximal element of closed filters not containing a∈X.