陪集关系代数的簇
逻辑
2025-02-12 v2
摘要
一个陪集关系代数是可嵌入某个完全陪集关系代数的代数，后者由一组群、这些群的商群之间的一组协调同构，以及用于“平移”相对乘法运作的一组陪集构造而成。我们证明陪集关系代数的类是可等式公理化化的（即它是一个簇），但不存在有限等式集足以公理化该类（即该类不是有限可公理化的）。
引用
@article{arxiv.1804.03524,
title = {The variety of coset relation algebras},
author = {Steven Givant and Hajnal Andréka},
journal= {arXiv preprint arXiv:1804.03524},
year = {2025}
}
备注
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