Abstract
The central result of the paper claims that every integral quantale \(\mathbf {Q}\) has a natural embedding into the quantale of complete tolerances on the underlying lattice of \(\mathbf {Q}\). As an application, we show that the underlying lattice of any finite integral quantale is distributive in 1 and dually pseudocomplemented. Besides, we exhibit relationships between several earlier results. In particular, we give an alternative approach to Valentini’s ordered sets and show how the ordered sets are related to tolerances.
Similar content being viewed by others
References
Bandelt, H.-J.: Local polynomial functions on lattices. Houst. J. Math. 7, 317–325 (1981)
Bartl, E., Krupka, M.: Residuated lattices of block relations: size reduction of concept lattices. Int. J. Gen. Syst. 45, 773–789 (2016)
Blyth, T.S.: Residuated mappings. Order 1, 187–204 (1984)
Blyth, T.S., Janowitz, M.F.: Residuation Theory. Pergamon Press, Oxford (1972)
Chajda, I., Radeleczki, S.: \(0\)-conditions and tolerance schemes. Acta Math. Univ. Comenian. N.S. 72, 177–184 (2003)
Czédli, G., Horváth, E.K., Radeleczki, S.: On tolerance lattices of algebras in congruence modular varieties. Acta Math. Hungar. 100, 9–17 (2003)
Dilworth, R.P., Ward, M.: Residuated lattices. Trans. Am. Math. Soc. 45, 335–354 (1939)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)
Golan, J.: Semirings and Their Applications. Kluwer, Dordrecht (1999)
Grätzer, G., Schmidt, E.T.: On the lattice of all join-endomorphisms of a lattice. Proc. Am. Math. Soc. 9, 722–726 (1958)
Hobby, D., McKenzie, R.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988)
Janowitz, M.F.: Decreasing Baer semigroups. Glasgow Math. J. 10, 46–51 (1969)
Janowitz, M.F.: Tolerances and congruences on lattices. Czech. Math. J. 36, 108–115 (1986)
Kaarli, K.: Subalgebras of the squares of weakly diagonal majority algebras. Studia Sci. Math. Hungar. 49, 509–524 (2012)
Kaarli, K., Pixley, A.: Polynomial Completenes in Algebraic Systems. CRC Press, Boca Raton (2000)
Kaarli, K., Kuchmei, V., Schmidt, S.E.: Sublattices of the direct product. Algebra Universalis 59, 85–95 (2008)
Mulvey, C.J.: Quantales. In: Hazewinkel, M. (ed.) Encyclopedia of Mathematics. Springer, Berlin (2001)
Rosenthal, K.I.: Quantales and Their Applications. Pitman Research Notes in Mathematics Series, vol. 234. Longman Scientific and Technical, Harlow (1990)
Valentini, S.: Representation theorems for quantales. Math. Logic Q. 40, 182–190 (1994)
Varlet, J.C.: A generalization of the notion of pseudo-complementedness. Bull. Soc. R. Sci. Liêge 37, 149–158 (1968)
Wille, R.: Über endliche ordnungsaffinvollständige Verbande. Math. Z. 155, 103–107 (1977)
Acknowledgements
We thank the anonymous referee for the most valuable suggestions that helped us considerably to improve the final version of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by M. Ploščica.
Dedicated to the memory of E. Tamás Schmidt.
This article is part of the topical collection “In memory of E. Tamás Schmidt” edited by Robert W. Quackenbush.
The research of Kalle Kaarli was partially supported by institutional research funding IUT20-57 of the Estonian Ministry of Education and Research. The research of Sándor Radeleczki started as a part of the project TÁMOP-4.2.1.B-10/2/KONV-2010-0001, supported by the European Union, co-financed by the European Social Fund 113/173/0-2. Mutual visits of the authors were made possible by the exchange agreement between the Estonian and the Hungarian Academies of Sciences.
Rights and permissions
About this article
Cite this article
Kaarli, K., Radeleczki, S. Representation of integral quantales by tolerances. Algebra Univers. 79, 5 (2018). https://doi.org/10.1007/s00012-018-0484-1
Published:
DOI: https://doi.org/10.1007/s00012-018-0484-1