Zhuk的桥、中心化子与相似性
逻辑
2026-01-21 v2 计算机科学中的逻辑
摘要
这是三篇论文中的第二篇，其动机源于作者希望从“代数”角度理解和解释Dmitriy Zhuk对CSP二分定理证明的一个方面。本文将Zhuk的“桥”构造推广到局部有限簇中具有Taylor项的有限代数的任意交不可约同余上。然后，我们将桥与中心性和相似性联系起来。特别地，我们证明了在局部有限的Taylor簇中，Zhuk的桥和我们在第一篇论文中定义的“相似性桥”传达了相同的信息。
引用
@article{arxiv.2503.03551,
title = {Zhuk's bridges, centralizers, and similarity},
author = {Ross Willard},
journal= {arXiv preprint arXiv:2503.03551},
year = {2026}
}
备注
Version 2 changes: section 4 rewritten to better align with Zhuk's definition of "bridge"; "proper" and "rooted" bridges renamed "similarity" and "good" bridges respectively; "Cov" redefined; proof of Lemma 2.7 now cites the first paper arXiv:2502.20517v3. 25 pages