A representation theorem for measurable relation algebras with cyclic groups
Logic
2025-02-12 v1
Abstract
A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These functional elements form a group Gx. We prove that a measurable relation algebra in which the groups Gx are all finite and cyclic is completely representable. A structural description of these algebras is also given.
Cite
@article{arxiv.1804.02534,
title = {A representation theorem for measurable relation algebras with cyclic groups},
author = {Hajnal Andréka and Steven Givant},
journal= {arXiv preprint arXiv:1804.02534},
year = {2025}
}
Comments
This is the fourth member of a series of papers on measurable relation algebras