The variety of coset relation algebras
arXiv:1804.03524 · doi:10.1017/jsl.2018.48
Abstract
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).
This is the fifth member of a series of papers on measurable relation algebras. Forthcoming in The Journal of Symbolic Logic. arXiv admin note: text overlap with arXiv:1804.00279