Steven Givant, Hajnal Andréka
Published 2018-04-07, updated 2018-08-12Version 2
A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms between quotients of these groups, and a system of cosets that are used to "shift" the operation of relative multiplication. We prove that the class of coset relation algebras is equationally axiomatizable (that is to say, it is a variety), but no finite set of equations suffices to axiomatize the class (that is to say, the class is not finitely axiomatizable).
Comments: This is the fifth member of a series of papers on measurable relation algebras. Forthcoming in The Journal of Symbolic Logic
On \emptyset-definable elements in a field
The dual of compact partially ordered spaces is a variety
Finite representations for two small relation algebras
![QR code for arXiv:1804.03524 [math.LO]](http://oss.arxitics.com/images/favicon.svg)