A representation theorem for measurable relation algebras with cyclic groups

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.

This is the fourth member of a series of papers on measurable relation algebras

References in corpus (1)

• Coset relation algebras

Cited by in corpus (1)

• A representation theorem for measurable relation algebras