A representation theorem for measurable relation algebras with cyclic groups

Hajnal Andréka, Steven Givant

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 function…