In this paper, we discuss the concept of relational system with involution. This system is called orthogonal if, for every pair of non-zero orthogonal elements, there exists a supremal element in their upper cone and the upper cone of orthogonal elements is a singleton (i.e. x; are complements of each other). To every orthogonal relational system can be assigned a groupoid with involution. The conditions under which a groupoid is assigned to an orthogonal relational systems are investigated. We will see that many properties of the relational system can be captured by the associated groupoid. Moreover, these structures enjoy several desirable algebraic features such as, e.g. a direct decomposition representation and the strong amalgamation property.

Orthogonal relational systems

Bonzio, S;LEDDA, ANTONIO;
2016

Abstract

In this paper, we discuss the concept of relational system with involution. This system is called orthogonal if, for every pair of non-zero orthogonal elements, there exists a supremal element in their upper cone and the upper cone of orthogonal elements is a singleton (i.e. x; are complements of each other). To every orthogonal relational system can be assigned a groupoid with involution. The conditions under which a groupoid is assigned to an orthogonal relational systems are investigated. We will see that many properties of the relational system can be captured by the associated groupoid. Moreover, these structures enjoy several desirable algebraic features such as, e.g. a direct decomposition representation and the strong amalgamation property.
Relational system; Orthogonal relational system; Orthogonal groupoid; Church variety; Central element
File in questo prodotto:
File Dimensione Formato  
Orthogonal relational systems.pdf

Solo gestori archivio

Tipologia: versione post-print
Dimensione 899.36 kB
Formato Adobe PDF
899.36 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/11584/143257
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact