Abstract
In Palmigiano and Re (J Pure Appl Algebra 215(8):1945–1957, 2011), spatial SGF-quantales are axiomatically introduced and proved to be representable as sub unital involutive quantales of quantales arising from set groupoids. In the present paper, spatial SGF-quantales of this class are shown to be optimally representable as unital involutive quantales of relations. The results of the present paper have several aspects in common with Jónsson and Tarski’s representation theory for relation algebras (Jónsson and Tarski, Am J Math 74(2):127–162, 1952).
Article PDF
Similar content being viewed by others
References
Brown, C., Gurr, D.: A representation theorem for quantales. J. Pure Appl. Algebra 85(1), 27–42 (1993)
Gelfand, I.M., Naimark, M.A.: On the embedding of normed rings into the ring of operators in Hilbert space. Mat. Sb. 12, 197–213 (1943)
Jónsson, B., Tarski, A.: Boolean algebras with operators, part II. Am. J. Math. 74(2), 127–162 (1952)
Kruml, D., Paseka, J.: Embeddings of quantales into simple quantales. J. Pure Appl. Algebra 148(2), 209–424 (2000)
Johnstone, P.T.: Stone Spaces. Cambridge Studies in Adv. Math., vol. 3. Cambridge University Press, Cambridge, UK (1982)
Mulvey, C.J.: &. Rend. Circ. Mat. Palermo 12, 99–104 (1986)
Mulvey, C.J., Resende, P.: A noncommutative theory of Penrose tilings. Int. J. Theor. Phys. 44, 655–689 (2005)
Palmigiano, A., Re, R.: Groupoid quantales: a non-étale setting. J. Pure Appl. Algebra 215(8), 1945–1957 (2011)
Palmigiano, A., Re, R.: Topological Groupoid Quantales. In: Aerts, D., Smets, S., van Bendegem, J.P. (eds.) Special Issue: The Contributions of Logic to the Foundations of Physics. Studia Logica, vol. 95, pp. 125–137 (2010)
Paterson, A.L.T.: Groupoids, Inverse Semigroups, and their Operator Algebras. Progress in Mathematics, vol. 170. Birkhäuser, Boston (1999)
Protin, M.C., Resende, P.: Quantales of Open Groupoids. arXiv:0811.4539v2
Resende, P.: Lectures on Étale Groupoids, Inverse Semigroups and Quantales. Lecture Notes for the GAMAP IP Meeting, Antwerp (2006)
Resende, P.: Étale groupoids and their quantales. Adv. Math. 208, 147–209 (2007)
Rosenthal, K.: Quantales an their Applications. Pitman Research Notes in Math., vol. 234. Longman (1990)
Takesaki, M.: Theory of Operator Algebras I, EMS Series, vol. 124. Springer, New York (2002)
Valentini, S.: Representation Theorems for Quantales. Math. Log. Q. 40, 182–190 (1994)
Author information
Authors and Affiliations
Corresponding author
Additional information
The research of the first author was made possible by the VENI grant 639.031.726 of the Netherlands Organization for Scientific Research (NWO).
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Palmigiano, A., Re, R. Relational Representation of Groupoid Quantales. Order 30, 65–83 (2013). https://doi.org/10.1007/s11083-011-9227-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-011-9227-z