Givant, Steven and Andréka, Hajnal (2018) A representation theorem for measurable relation algebras. ANNALS OF PURE AND APPLIED LOGIC, 169 (11). pp. 11171189. ISSN 01680072

Text
1808.03924v1.pdf Download (490kB)  Preview 
Abstract
A relation algebra is called measurable when its identity is the sum of measurable atoms, where an atom is called measurable if its square is the sum of functional elements. In this paper we show that atomic measurable relation algebras have rather strong structural properties: they are constructed from systems of groups, coordinated systems of isomorphisms between quotients of the groups, and systems of cosets that are used to “shift” the operation of relative multiplication. An atomic and complete measurable relation algebra is completely representable if and only if there is a stronger coordination between these isomorphisms induced by a scaffold (the shifting cosets are not needed in this case). We also prove that a measurable relation algebra in which the associated groups are all finite is atomic. © 2018 Elsevier B.V.
Item Type:  Article 

Uncontrolled Keywords:  group; Boolean algebra; Relation algebra; Coset; Measurable atom; 
Subjects:  Q Science / természettudomány > QA Mathematics / matematika > QA72 Algebra / algebra 
SWORD Depositor:  MTMT SWORD 
Depositing User:  MTMT SWORD 
Date Deposited:  09 Jan 2019 15:00 
Last Modified:  09 Jan 2019 15:00 
URI:  http://real.mtak.hu/id/eprint/89561 
Actions (login required)
Edit Item 