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 Jnsson and Tarski's representation theory for relation algebras (Jnsson and Tarski, Am J Math 74(2):127-162, 1952).

Relational Representation of Groupoid Quantales

Re, Riccardo
2013-01-01

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 Jnsson and Tarski's representation theory for relation algebras (Jnsson and Tarski, Am J Math 74(2):127-162, 1952).
2013
Representation theorem; Set groupoid; Strongly Gelfand quantale; Unital involutive quantale; Algebra and Number Theory; Geometry and Topology; Computational Theory and Mathematics
Palmigiano, Alessandra; Re, Riccardo
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2067717
 Attenzione

L'Ateneo sottopone a validazione solo i file PDF allegati

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact