上一个 formula_17。胞腔链群 formula_18 在度数 formula_7 只是由 formula_7-胞腔自由生成，故它们在度数 0、formula_7 与 formula_15是 formula_23，其余都是零。胞腔（上）同调是该链复形的（上）同调，因为所有边缘同态必然是零（注意到 formula_12），上同调是记这些上同调群的生成元为因为维数原因，这些类之间的所有杯积除了 formula_28 一定都是平凡的。从而作为一个环，上同调是整数 formula_30 是映射