1: \begin{abstract} A \textit{measurable relation algebra} is a relation

2: algebra in which the identity element is a sum of atoms that can be

3: measured in the sense that the ``size" of each such atom can be

4: defined in an intuitive and reasonable way (within the framework of

5: the first-order theory of relation algebras). A large class of

6: concrete measurable set relation algebras, using systems of groups

7: and coordinated systems of isomorphisms between quotients of the

8: groups, is constructed in \cite{giv1}. This class of \textit{group

9: relation algebras} is not large enough to prove that every

10: measurable relation algebra is isomorphic to a group relation

11: algebra and hence is representable.

12: 

13: In the present article, the class of examples of measurable relation

14: algebras is considerably extended by adding one more ingredient to

15: the mix: systems of cosets that are used to ``shift" the operation

16: of relative multiplication.  It is shown that, under certain

17: additional hypotheses on the system of cosets, each such

18: \textit{coset relation algebra} with a shifted operation of relative

19: multiplication is an example of a measurable relation algebra. We

20: also show that the class of coset relation algebras does contain

21: examples of measurable relation algebras that are not representable

22: as set relation algebras. In later articles, it will be shown that

23: the class of coset relation algebras is adequate to the task of

24: describing all measurable relation algebras in the sense that every

25: atomic measurable relation algebra is essentially isomorphic to a

26: coset relation algebra (see \cite{ga}), and the class of group

27: relation algebras is similarly adequate to the task of representing

28: all measurable relation algebras in which the associated groups are

29: finite and cyclic (see \cite{ag}). An extended abstract for this

30: series of papers is \cite{ga02}.

31: \end{abstract}