有限布尔半格图的同余提升需要大的同余变量
摘要：构造了一个由有限布尔半格和(v,0,1)-嵌入指标的有限部分有序集D的图表，顶部半格为$2^4$，对于任何代数的类别V，如果D具有关于相合子格函子的提升，由V中的代数和同态构成的，那么存在V中的一个代数U，使得U的相合子格包含有五元模块化非分布格M_3作为一个0,1-子格。具体而言，V有一个代数，它的相合子格既不是联接半分配律的，也不是交半分配律的。使用K.A. Kearnes和A.Szendrei的早期工作，我们还推断出V没有非平凡的相合子格恒等式。特别地，没有从有限布尔半格和(v,0,1)-嵌入到格子和格子嵌入的函子F，使得复合Con F等同于恒等函子（其中Con表示相合子格函子），从而否定了P. Pudlak在1985年关于存在相合子格问题函子解决方案的问题。
作者：Friedrich Wehrung (LMNO), Jiri Tuma (MFF-UK)
论文ID：math/0410576
分类：Rings and Algebras
分类简称：math.RA
提交时间：2007-05-23