Congruence Kernels of Orthoimplication Algebras.docVIP

ActaMath.Univ.Comenianae Vol.LXXVI,2(2007),pp.231–240 231 CONGRUENCE KERNELS OF ORTHOIMPLICATION ALGEBRAS ˇ ¨ I. CHAJDA, R. HALAS and H. LANGER Abstract. Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthoimplication algebras. These are in a nat- ural one-to-one correspondence with families of compatible orthomodular lattices. It is proved that congruence kernels of orthoimplication algebras are in a natural one-to-onecorrespondencewithfamiliesofcompatiblep-?ltersonthecorresponding orthomodular lattices. Finally, it is proved that the lattice of all congruence ker- nelsof anorthoimplicationalgebraisrelativelypseudocomplementedandasimple descriptionoftherelativepseudocomplementisgiven. Intheliteraturemanyattemptsweremadeinordertoinvestigatepropertiesof theimplicationoperation ingeneralizationsofBoolean algebras. Theseattempts led to di?erent types of so-called implication algebras (cf. e. g. [2], [5] and [6]). It is interesting to note that these types of implication algebras are in a natural one-to-one correspondence with join-semilattices with 1 the principal ?lters of whicharecertaingeneralizationsofBooleanalgebras. Hencethequestionarisesif thereisanaturalone-to-onecorrespondencebetweencongruencekernelsofthese implicationalgebrasontheonesideandcertainfamiliesofcongruencekernelsof thecorrespondinggeneralizationsofBooleanalgebrasontheotherside. Wesolve this problem for so-called orthoimplication algebras introduced in [2]. Moreover, we prove that the lattice of congruence kernels of orthoimplication algebras is relativelypseudocomplementedandwederiveasimpledescriptionoftherelative pseudocomplement. In[1]implicationalgebraswereintroducedasalgebrasre?ectingproperties of theimplicationoperationinBooleanalgebras: De?nition 1. (cf. [2]) An orthoimplication algebra is an algebra (A,·,1) of type(2,0)satisfying xx=1, (xy)x=x, (xy)y=(yx)x, x((yx)z)=xz. ReceivedMarch16,2006. 2000 Mathematics Subj