Abstract
In this paper, the authors first introduce the concept of congruence pairs on the class of decomposable MS-algebras generalizing that for principal MS-algebras (see [13]). They show that every congruence relation θ on a decomposable MS-algebra L can be uniquely determined by a congruence pair (θ1,θ2), where θ1 is a congruence on the de Morgan subalgebra L°° of L and θ2 is a lattice congruence on the sublattice D(L) of L. They obtain certain congruence pairs of a decomposable MS-algebra L via central elements of L. Moreover, they characterize the permutability of congruences and the strong extensions of decomposable MS-algebras in terms of congruence pairs.
Similar content being viewed by others
References
Badawy, A., dL-Filters of principal MS-algebras, Journal of the Egyptian Mathematical Society, 23, 2015, 463–469.
Badawy, A., Regular double MS-algebras, Appl. Math. Inf. Sci., 11(2), 2017, 115–122.
Badawy, A., Characterization of the congruence lattices of principal p-algebras, Mathematica Slovaca, 67, 2017, 803–810.
Badawy, A., Constructions of core regular double MS-algebras, Filomat, 34(1), 2018, 35–50.
Badawy, A., Extensions of the Gilvenko-type congruences on a Stone lattice, Math. Meth. Appl. Sci., 41, 2018, 5719–5732.
Badawy, A., Balanced factor congruences of double MS-algebras, Journal of the Egyptian Mathematical Society, 27(6), 2019, 1–15.
Badawy, A., Congruences and de Morgan filters of decomposable MS-algebras, Southeast Asian Bulletin of Mathematics, 43, 2019, 13–25.
Badawy, A. and Atallah, M., MS-intrvals of an MS-algebra, Hacet. J. Math. Stat., 48(4), 2019, 1479–1487.
Badawy, A. and El-Fawal, R., Homomorphism and subalgebras of decomposable MS-algebras, Journal of Egyptian Mathematical Society, 25, 2017, 119–124.
Badawy, A. and El-Fawal, R., Closure filters of decomposable MS-algebras, Southeast Asian Bulletin of Mathematics, 44, 2020, 177–194.
Badawy, A. and Gaber, A., Complete decomposable MS-algebras, Journal of the Egyptian Mathematical Society, 27(23), 2019, 1–11.
Badawy, A., Guffova, D. and Haviar, M., Triple construction of decomposable MS-algebras, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Mathematica, 51(2), 2012, 53–65.
Badawy, A., Haviar, M. and Ploščica, M., Congruence pairs of principal MS-algebras and perfect extensions, Mathematica Slovaca, 70(6), 2020, 1275–1288.
Badawy, A., Hussen, S. and Gaber, A., Quadruple construction of decomposable double MS-algebras, Mathematica Slovaca, 70(5), 2020, 1041–1056.
Badawy, A. and Sambasiva Rao, M., Closure ideas of MS-algebras, Chamchuri J. Math., 6, 2014, 31–46.
Badawy, A. and Shum, K. P., Congruence pairs of principal p-algebras, Mathematica Slovaca, 67, 2017, 263–270.
Beazer, R., Congruence pairs for algebras abstracting Kleene algebras and Stone algebras, Czechoslovak Math. J., 35, 1985, 260–268.
Blyth, T. S. and Varlet, J. C., On a common abstraction of de Morgan algebras and Stone algebras, Proc. Roy. Soc. Edinburgh, 94A, 1983, 301–308.
Blyth, T. S. and Varlet, J. C., Subvarieties of the class of MS-algebras, Proc. Roy. Soc. Edinburgh, 95A, 1983, 157–169.
Blyth, T. S. and Varlet, J. C., Ockham algebras, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1994.
El-Assar, S., Two notes of the congruence lattices of p-algebras, Acta Math. Univ. Comenian., XLVI-XLVII, 1985, 13–19.
El-Assar, S., Strong extensions of quasi-modular p-algebras, Delta J. Sci., 12, 1988, 843–851.
El-Assar, S. and Badawy, A., Homomorphisms and Subalgebras of MS-algebras, Quter Univ. Sci. J., 15(2), 1995, 279–289.
El-Assar, S. and Abdel-Hakim, M., Two notes on modular p-algebras, Qutar Univ. Sci. Bull., 8, 1988, 23–28.
Gaber, A., Badawy, A. and Hussen, S., On decomposable MS-algebras, Italian J. of Pure and Appl. Math., 43, 2020, 617–626.
Grätzer, G., Lattice theory, first concepts and distributive lattices, Lecture Notes, Freeman, San Francisco, California, 1971.
Katriñák, T., On a problem of G. Grätzer, Proc. Amer. Math. Soc., 57(1), 1976, 19–24.
Katriñák, T., Essential and strong extensions of p-algebras, Bull. de la Soc. Roy. des Sci. de Liege, 3-4, 1980, 119–124.
Katriñák, T., p-Algebras, Contributions to Lattice Theory, Szeged 1980 Colloq. Math. Soc Janos Bolyai, 33, North-Holland, Amsterden, 1983, 549–573.
Luo, C. W., The congruence extension property of MS-algebras, J. Wuhan Univ. Natur. Sci. Ed., 44(3), 1998, 282–284.
Rao, M. S., and Badawy, A., Filters of lattices withrespect to a congruence, Discussions Mathematics, General Algebra and Applications, 34 (2014), 211–217.
Varlet, J. C., A strengthening of the notion of essential extension, Bull. de la Soc. Roy. des Sci. de Liege, 11-12, 1979, 432–437.
Acknowledgement
The authors would like to thank the editors and referees for their valuable comments and suggestions to improve this presentation.
Author information
Authors and Affiliations
Corresponding authors
Additional information
*This work was supported by 2nd International Conference for Mathematics, Statistics and Information Technology (ICMSIT for short) that held in the Faculty of Science, Tanta University, Egypt, 18–20 December, 2018.
Rights and permissions
About this article
Cite this article
El-Assar, S., Badawy, A.EM. Congruence Pairs of Decomposable MS-Algebras. Chin. Ann. Math. Ser. B 42, 561–574 (2021). https://doi.org/10.1007/s11401-021-0278-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11401-021-0278-1