Varieties generated by completions

被引：0
作者：
Hajnal Andréka
István Németi
机构：
[1] Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences,
来源：
Algebra universalis | 2019年 / 80卷
关键词：
Discriminator varieties; Completion; Ordered set; Dense subalgebra; Relation algebra; Boolean algebra with operators; Algebraic logic; Universal algebra; 03C05; 06E25; 03G15; 03C13; 06A06; 06B23; 06A11;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation algebras are all persistently finite. An application of these theorems is that the variety generated by the completions of representable relation algebras does not contain all relation algebras. This answers Problem 1.1(1) from Maddux’s 2018 Algebra Universalis paper in the negative. At the same time, we confirm the suggestion in that paper that the finite maximal relation algebras constructed in M. Frias and R. Maddux’s 1997 Algebra Universalis paper are not in the variety generated by the completions of representable relation algebras. We prove that there are continuum many varieties between the variety generated by the completions of representable relation algebras and the variety of relation algebras.
引用
收藏
相关论文
共 28 条
  • [1] Andréka H(2018)Coset relation algebras Algebra Univ. 79 28-447
  • [2] Givant S(1991)Free algebras in discriminator varieties Algebra Univ. 28 401-1093
  • [3] Andréka H(1991)Splitting in relation algebras Proc. Am. Math. Soc. 111 1085-135
  • [4] Jónsson B(1997)Non-embeddable simple relation algebras Algebra Univ. 38 115-64
  • [5] Németi I(2018)Relation algebras and groups Algebra Univ. 79 16-1189
  • [6] Andréka H(2002)Groups and algebras of relations Bull. Symb. Logic 8 38-1609
  • [7] Maddux RD(2018)A representation theorem for measurable relation algebras J. Pure Appl. Logic 169 1117-148
  • [8] Németi I(2018)The variety of coset relation algebras J. Symb. Logic 83 1595-298
  • [9] Frias M(1997)Atom structures of cylindric algebras and relation algebras Ann. Pure Appl. Logic 89 117-162
  • [10] Maddux RD(1982)Varieties of relation algebras Algebra Univ. 15 273-685
123