上同调运算

上同调群告诉我们有哪些测量，上同调运算则寻找能在所有空间上统一执行、又不依赖坐标或表示的“测量变换”。自然性要求空间映射与运算顺序可交换：先把类拉回局部再处理，必须等于先在全局处理再拉回。这个条件排除了按某个空间随意挑基、挑生成元所得的偶然公式。

稳定性进一步要求该规则在维数升降后仍是同一规则。它把散落在各维的运算组织成谱之间的映射；非稳定运算则可能利用某个输入次数独有的现象，例如不稳定范围中的幂和 Whitehead 型信息。

短正合系数列

诱导 Bockstein 运算

在 $X={\mathbb{RP}}^2$ 上，取 $a\in H^1(X;\mathbb{Z}/2)$ 的生成元。胞腔上链复形的整数余边界 $C^1\to C^2$ 是乘 $2$。把模 $2$ 余循环 $a$ 提升为取值 $1$ 的整数一上链，其余边界为 $2$；除以系数列中的 $2$ 后得到顶维整数余循环 $1$。因此

所以 $\beta$ 在这里是同构。这个链级计算也说明 Bockstein 的次数为何增加一。

固定一个空间 $X$ 后，任取群同态 $H^n(X;G)\to H^m(X;H)$ 通常不是上同调运算，因为它未必能扩展到所有空间并与每个拉回相容。例如“选定某个基后取第一坐标”会随基变化，缺乏自然性。杯积给出的 $x\mapsto x⌣x$ 是自然规则，但其加性取决于系数和次数；不能仅因写成一个公式就默认它是加性稳定运算。

约化与非约化版本也不可混用。零维常数类会产生额外运算，而悬挂同构天然属于约化理论。声明一个运算稳定之前，必须逐维核对其定义域、目标次数、系数变换和悬挂交换方块。

Steenrod 平方提供模 $2$ 上最基本的稳定运算族，Bockstein 则从系数扩张检测提升障碍。运算可区分加法上同调群和杯积环都相同的空间，并在纤维化谱序列中充当对微分和横截元的额外约束。

表示空间把运算的复合变成通用类之间的代数关系；Adem 关系就是这种复合并非自由的具体表现。稳定加性运算进一步组成一个分次代数并作用于所有上同调群。使用这些结构时，先写清系数和次数往往能立即排除不可能的公式。

初级运算在单个上同调类上处处有定义；次级运算则只有当某个初级复合已经为零时才能选取消零同伦，结果通常还带不定性。Massey 积与 Toda 括号属于后一机制。两类对象都能探测更细结构，却不能共用同一个“自然变换在所有类上取值”的定义域。