上边缘

在一个模的上链复形中

上边缘的 模 是 -上边缘的像 。 它是 的子模，并且包含在 -上循环 的模中。

如果 ，则上链复形在 处被称为正合。

在 Z-模的右复形中

对于所有 ，第 个模是 ，并且第 个上边缘算子将 的每个元素 映射到 中 的剩余类。 上边缘的 模 是 中 0 和 的剩余类的集合，而 -上循环 的模是所有偶数 的剩余类的集合。