Nonrepresentable relation algebras from groups

DOI10.1017/S1755020319000224MaRDI QIDQ3389497zbMATH OpenOpenAlexFDO

Authors István Németi, Hajnal Andréka, Steven R. Givant

Publication date 11 May 2021

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.05473

zbMATH Keywords

atom structureBrandt groupoidcomplex algebracoset algebragroupgroup relation algebrameasurable relation algebranonrepresentable relation algebrapolygroupoidrelation algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Other classical set theory (including functions, relations, and set algebra) (03E20) Cylindric and polyadic algebras; relation algebras (03G15) Sets with a single binary operation (groupoids) (20N02)

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.

Recommendations

• Relation algebras and groups
• Coset relation algebras
• The variety of coset relation algebras
• Non-representable relation algebras from vector spaces
• Groups and Algebras of Binary Relations

Cites work

• A new foundation for the theory of relations
• A representation theorem for measurable relation algebras
• A representation theorem for measurable relation algebras with cyclic groups
• Advanced topics in relation algebras. Relation algebras. Volume 2
• Boolean Algebras with Operators
• Combinatorial aspects of relations
• Coset relation algebras
• Decision problems for equational theories of relation algebras
• Embedding modular lattices into relation algebras
• Groups and Algebras of Binary Relations
• scientific article; zbMATH DE number 67032 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3530087 (Why is no real title available?)
• scientific article; zbMATH DE number 475236 (Why is no real title available?)
• Introduction to Relation Algebras
• Language in action. Categories, lambdas and dynamic logic
• Multi-dimensional modal logic
• On representable relation algebras
• Relation algebras
• Relation algebras and groups
• Relation algebras and projective geometries
• Relation algebras and their application in temporal and spatial reasoning
• Relation algebras by games
• Relational mathematics
• Relational Methods in Computer Science
• Representability is not decidable for finite relation algebras
• Representation of Modular Lattices and Of Relation Algebras
• Representations of integral relation algebras
• Splitting in Relation Algebras
• Subcompletions of representable relation algebras
• The finitely axiomatizable complete theories of non-associative arrow frames
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The variety of coset relation algebras
• Varieties of relation algebras

Cited in

(13)

• Relation algebras and groups
• Submonoids of groups, and group-representability of restricted relation algebras
• Coset relation algebras
• A fast coset-translation algorithm for computing the cycle structure of Comer relation algebras over \(\mathbb{Z} / p \mathbb{Z}\)
• Varieties generated by completions
• scientific article; zbMATH DE number 3979057 (Why is no real title available?)
• Groups and Algebras of Binary Relations
• The variety of coset relation algebras
• Undecidability of Algebras of Binary Relations
• Which group algebras cannot be made zero by imposing a single non-monomial relation?
• Comer schemes, relation algebras, and the flexible atom conjecture
• Comer schemes, relation algebras, and the flexible atom conjecture
• Pregroup representable expansions of residuated lattices

This page was built for publication: Nonrepresentable relation algebras from groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389497)