Skip to main content
Log in

Congruence Pairs of Decomposable MS-Algebras

  • Published:
Chinese Annals of Mathematics, Series B Aims and scope Submit manuscript

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 (θ12), 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Badawy, A., dL-Filters of principal MS-algebras, Journal of the Egyptian Mathematical Society, 23, 2015, 463–469.

    Article  MathSciNet  Google Scholar 

  2. Badawy, A., Regular double MS-algebras, Appl. Math. Inf. Sci., 11(2), 2017, 115–122.

    Article  MathSciNet  Google Scholar 

  3. Badawy, A., Characterization of the congruence lattices of principal p-algebras, Mathematica Slovaca, 67, 2017, 803–810.

    Article  MathSciNet  Google Scholar 

  4. Badawy, A., Constructions of core regular double MS-algebras, Filomat, 34(1), 2018, 35–50.

    Article  MathSciNet  Google Scholar 

  5. Badawy, A., Extensions of the Gilvenko-type congruences on a Stone lattice, Math. Meth. Appl. Sci., 41, 2018, 5719–5732.

    Article  MathSciNet  Google Scholar 

  6. Badawy, A., Balanced factor congruences of double MS-algebras, Journal of the Egyptian Mathematical Society, 27(6), 2019, 1–15.

    MathSciNet  MATH  Google Scholar 

  7. Badawy, A., Congruences and de Morgan filters of decomposable MS-algebras, Southeast Asian Bulletin of Mathematics, 43, 2019, 13–25.

    MathSciNet  MATH  Google Scholar 

  8. Badawy, A. and Atallah, M., MS-intrvals of an MS-algebra, Hacet. J. Math. Stat., 48(4), 2019, 1479–1487.

    MathSciNet  Google Scholar 

  9. Badawy, A. and El-Fawal, R., Homomorphism and subalgebras of decomposable MS-algebras, Journal of Egyptian Mathematical Society, 25, 2017, 119–124.

    Article  MathSciNet  Google Scholar 

  10. Badawy, A. and El-Fawal, R., Closure filters of decomposable MS-algebras, Southeast Asian Bulletin of Mathematics, 44, 2020, 177–194.

    MathSciNet  MATH  Google Scholar 

  11. Badawy, A. and Gaber, A., Complete decomposable MS-algebras, Journal of the Egyptian Mathematical Society, 27(23), 2019, 1–11.

    MathSciNet  MATH  Google Scholar 

  12. 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.

    MathSciNet  MATH  Google Scholar 

  13. Badawy, A., Haviar, M. and Ploščica, M., Congruence pairs of principal MS-algebras and perfect extensions, Mathematica Slovaca, 70(6), 2020, 1275–1288.

    Article  MathSciNet  Google Scholar 

  14. Badawy, A., Hussen, S. and Gaber, A., Quadruple construction of decomposable double MS-algebras, Mathematica Slovaca, 70(5), 2020, 1041–1056.

    Article  MathSciNet  Google Scholar 

  15. Badawy, A. and Sambasiva Rao, M., Closure ideas of MS-algebras, Chamchuri J. Math., 6, 2014, 31–46.

    MathSciNet  MATH  Google Scholar 

  16. Badawy, A. and Shum, K. P., Congruence pairs of principal p-algebras, Mathematica Slovaca, 67, 2017, 263–270.

    Article  MathSciNet  Google Scholar 

  17. Beazer, R., Congruence pairs for algebras abstracting Kleene algebras and Stone algebras, Czechoslovak Math. J., 35, 1985, 260–268.

    Article  MathSciNet  Google Scholar 

  18. 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.

    Article  MathSciNet  Google Scholar 

  19. Blyth, T. S. and Varlet, J. C., Subvarieties of the class of MS-algebras, Proc. Roy. Soc. Edinburgh, 95A, 1983, 157–169.

    Article  MathSciNet  Google Scholar 

  20. Blyth, T. S. and Varlet, J. C., Ockham algebras, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1994.

    MATH  Google Scholar 

  21. El-Assar, S., Two notes of the congruence lattices of p-algebras, Acta Math. Univ. Comenian., XLVI-XLVII, 1985, 13–19.

    MathSciNet  MATH  Google Scholar 

  22. El-Assar, S., Strong extensions of quasi-modular p-algebras, Delta J. Sci., 12, 1988, 843–851.

    MathSciNet  Google Scholar 

  23. El-Assar, S. and Badawy, A., Homomorphisms and Subalgebras of MS-algebras, Quter Univ. Sci. J., 15(2), 1995, 279–289.

    MathSciNet  MATH  Google Scholar 

  24. El-Assar, S. and Abdel-Hakim, M., Two notes on modular p-algebras, Qutar Univ. Sci. Bull., 8, 1988, 23–28.

    MathSciNet  MATH  Google Scholar 

  25. Gaber, A., Badawy, A. and Hussen, S., On decomposable MS-algebras, Italian J. of Pure and Appl. Math., 43, 2020, 617–626.

    Google Scholar 

  26. Grätzer, G., Lattice theory, first concepts and distributive lattices, Lecture Notes, Freeman, San Francisco, California, 1971.

    MATH  Google Scholar 

  27. Katriñák, T., On a problem of G. Grätzer, Proc. Amer. Math. Soc., 57(1), 1976, 19–24.

    Article  MathSciNet  Google Scholar 

  28. Katriñák, T., Essential and strong extensions of p-algebras, Bull. de la Soc. Roy. des Sci. de Liege, 3-4, 1980, 119–124.

    MathSciNet  MATH  Google Scholar 

  29. Katriñák, T., p-Algebras, Contributions to Lattice Theory, Szeged 1980 Colloq. Math. Soc Janos Bolyai, 33, North-Holland, Amsterden, 1983, 549–573.

    Google Scholar 

  30. Luo, C. W., The congruence extension property of MS-algebras, J. Wuhan Univ. Natur. Sci. Ed., 44(3), 1998, 282–284.

    MathSciNet  MATH  Google Scholar 

  31. Rao, M. S., and Badawy, A., Filters of lattices withrespect to a congruence, Discussions Mathematics, General Algebra and Applications, 34 (2014), 211–217.

    Google Scholar 

  32. 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.

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding authors

Correspondence to Sanaa El-Assar or Abd El-Mohsen Badawy.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11401-021-0278-1

Keywords

2010 MR Subject Classification

Navigation