This is the second of three papers motivated by the author's desire to understand and explain "algebraically" one aspect of Dmitriy Zhuk's proof of the CSP Dichotomy Theorem. In this paper we extend Zhuk's "bridge" construction to arbitrary meet-irreducible congruences of finite algebras in locally finite varieties with a Taylor term. We then connect bridges to centrality and similarity. In particular, we prove that Zhuk's bridges and our "similarity bridges" (defined in our first paper) convey the same information in locally finite Taylor varieties.
翻译:本文是作者为从代数角度理解和解释德米特里·朱克证明CSP二分定理中某一环节而撰写的三篇论文中的第二篇。本文将朱克的“桥”构造推广至具有泰勒项的局部有限簇中有限代数的任意交不可约同余。随后我们将桥结构与中心性及相似性建立联系。特别地,我们证明了在局部有限泰勒簇中,朱克桥与我们首篇论文定义的“相似性桥”传递相同的信息。