效应代数的上同调

我们将定义两种将上同调群赋予效应代数（effect algebras）的方法，效应代数出现在量子逻辑的代数研究中。第一种方法基于 Connes 循环上同调（cyclic cohomology）。所得上同调群与效应代数的状态空间相关，并可使用 Kunneth 和 Mayer-Vietoris 序列的变体进行计算。第二种方法涉及有序阿贝尔群（ordered abelian groups）的链复形，并给出了效应代数上状态扩张的上同调刻画。这在量子基础中的不可行定理（no-go theorems），例如贝尔定理（Bell's theorem）方面有着应用。