Abstract
In this paper, we characterize the congruence lattice of a symmetric extended De Morgan algebra \(L\). We show that the congruence lattice of the algebra \(L\) is a pseudocomplemented lattice, and that such a congruence lattice is a Stone lattice if and only if the lattice of the compact congruences on \(L\) forms a complete Boolean lattice. In particular, we prove that the congruence lattice of \(L\) is a Boolean lattice if and only if, it is a relative Stone lattice, which is the case, if and only if \(L\) is finite.
Similar content being viewed by others
References
Beazer, R.: Pseudocomplemented algebras with Boolean congruence lattices. J. Aust. Math. Soc. Ser. A 26(2), 163–168 (1978)
Beazer, R.: Regular double \(p\)-algebras with Stone congruence lattices. Algebr. Universalis 9(2), 238–243 (1979)
Beazer, R.: Lattices whose ideal lattice is Stone. Proc. Edinb. Math. Soc. (2) 26(1), 107–112 (1983)
Blyth, T.S., Varlet, J.C.: Ockham Algebras. Oxford Science Publications, Oxford University Press, New York (1994)
Blyth, T.S., Fang, J.: Extended Ockham algebras. Comm. Algebr. 28(3), 1271–1284 (2000)
Blyth, T.S., Fang, J.: Symmetric extended Ockham algebras. Algebr. Colloq. 10(4), 479–489 (2003)
Blyth, T.S., Fang, J.: Congruence coherent symmetric extended De Morgan algebras. Stud. Log. 87(1), 51–63 (2007)
Dwinger, Ph: On the completeness of the quotient algebras of a complete Boolean algebra. Indag. Math. 260, 448–456 (1958)
Fang, J.: Distributive Lattices with Unary Operations. Science Press, Beijing (2011)
Grätzer, G.: Lattice Theory. First Concepts and Distributive Lattices. Freeman, San Francisco, CA (1971)
Haviar, M., Katriňák, T.: Lattices whose congruence lattice is relative Stone. Acta Sci. Math. (Szeged) 51(1–2), 81–91 (1987)
Janowitz, M.F.: Complemented congruences on complemented lattices. Pac. J. Math. 73(1), 87–90 (1977)
Sankappanavar, H.P.: A characterization of principal congruences of De Morgan algebras and its applications, in Mathematical logic in Latin America (Proc. IV Latin Amer. Sympos. Math. Logic, Santiago), 341–349, Stud. Logic Foundations Math., 99 North-Holland, Amsterdam (1978)
Urquhart, A.: Distributive lattices with a dual homomorphic operation. Stud. Log. 38(2), 201–209 (1979)
Acknowledgments
Supposed by the Natural Science Foundation of China (No. 11261021) is gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Kar Ping Shum.
Rights and permissions
About this article
Cite this article
Fang, J., Wang, LB. Congruence Lattices of Symmetric Extended De Morgan Algebras. Bull. Malays. Math. Sci. Soc. 38, 1471–1480 (2015). https://doi.org/10.1007/s40840-014-0084-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-014-0084-y