1: \begin{abstract} A relation algebra is called measurable when its identity is the sum

2: of measurable atoms, where an atom is called measurable if its

3: square is the sum of functional elements.

4: 

5: In this paper we show that atomic measurable relation algebras have

6: rather strong structural properties: they are constructed from

7: systems of groups, coordinated systems of isomorphisms between

8: quotients of the groups, and systems of cosets that are used to

9: "shift" the operation of relative multiplication. An atomic and

10: complete measurable relation algebra is completely representable if

11: and only if there is a stronger coordination between these

12: isomorphisms induced by a scaffold (the shifting cosets are not

13: needed in this case). We also prove that a measurable relation

14: algebra in which the associated groups are all finite is atomic.

15: \end{abstract}