Nonrepresentable relation algebras from group systems

Abstract

A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids.

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

References in corpus (3)

• Coset relation algebras
• A representation theorem for measurable relation algebras
• The variety of coset relation algebras

Cited by in corpus (1)

• Varieties generated by completions