上同调运算