群上同调长正合列的动机疑问：上同调式修正的优势及相关阐释问题
嘿，这个问题问得特别戳中痛点——我当初刚啃群上同调的时候，也盯着那个补商群的操作纳闷：明明这么简单就能把正合列补全，为啥非要搞出一堆上同调群来折腾人？咱们慢慢捋清楚这里头的门道：
首先，先说说你那个“直接补商群”的操作：
$$0\to A^G\to B^G\to C^G\to CG/\text{Im}\left(BG\to C^G\right)\to 0$$
它确实能把这个单独的短正合列补成正合的，但问题在于这个补出来的商群是依附于当前这个B和C的——换个不同的B或者C，哪怕A是同一个G-模，补出来的商群可能完全不一样。这就像你给每个破了的杯子单独粘个补丁，补丁的样子全看杯子的形状，没法通用，也没法告诉你杯子本身的材质有啥问题。
而群上同调的厉害之处，就是它补出来的项（比如$H^1(G,A)$）是只属于A的G-模结构的内在不变量，和你用哪个B、哪个C来做扩张无关。举个简单的例子：假设G是3阶循环群，A是带平凡G作用的$\mathbb{Z}$，咱们找两个不同的短正合列：
- 第一个：$0\to \mathbb{Z}\to \mathbb{Z}\oplus \mathbb{Z}/3\mathbb{Z}\to \mathbb{Z}/3\mathbb{Z}\to 0$（G作用在第二个分量上循环置换）
- 第二个：$0\to \mathbb{Z}\to \mathbb{Z}[G]\to \mathbb{Z}\to 0$（G作用在群环上左乘，最后一个映射是求和映射）
这时候你算两个正合列对应的商群$CG/\text{Im}(BG\to CG)$，结果肯定不一样，但它们对应的上同调群$H1(G,A)$是同一个——因为A的G-模结构没变。这个不变性能帮我们做什么？它能用来分类所有以A为核的G-模扩张，也就是说，所有可能的B和C的组合，它们的“断裂程度”其实是由A本身的G作用性质决定的，上同调群就是把这个性质量化成了群结构。
再说说函子性——这是上同调最核心的优势之一。如果有两个短正合列之间的态射（也就是交换图），那么对应的上同调长正合列也能诱导出态射，而且这个态射是自然的。但你那个补商群的操作就做不到这一点：因为商群依赖B和C，交换图里的态射不一定能诱导出商群之间的映射，就算能，也没有统一的规律，没法形成一个“函子”——而函子性正是代数拓扑、代数数论这些领域里用得上同调的关键，它能让我们在不同的代数结构之间建立联系，传递信息。
最后回到最开始的动机：“G-不变子群不保持短正合列”这个说法没错，但上同调的本质不是“修正好这一个正合列”，而是找出所有这类正合列断裂的共性原因——这个原因就藏在A的G-模结构里。上同调群把这个原因变成了可计算、可比较的代数对象，让我们能从“单个正合列的修补”上升到“所有扩张的分类”，这才是它真正的价值所在。
备注：内容来源于stack exchange，提问作者Milo Moses
