解法：谢拉证明怀特黑德问题独立于ZFC(1974年)

第 2/8 步：扩张与

\mathrm{Ext}^1

:怀特黑德的问题

上一步下一步

通俗地说

把 $G$ 想象成一块两层的蛋糕, $\mathbb{Z}$ 是隐藏的底层,而切掉那一层后剩下能看到的一切就是 $W$ 。“分裂”意味着你总能干净利落地把蛋糕拆回原来的两层,并且它们粘合时没有任何扭曲——用代数语言说,就是 $G \cong \mathbb{Z} \oplus W$ 。

$\mathrm{Ext}^1(W,\mathbb{Z})$ 恰好衡量了(在重新命名的意义下)在 $W$ 下面粘合 $\mathbb{Z}$ 有多少种真正不同的“扭曲”方式;它消失就意味着每一种可能的粘合方式都能解开扭曲、还原成简单的直和。每个自由阿贝尔群 $W$ 都平凡地具有这个性质,因为 $W$ 的基元素总能一个一个地被提升回 $G$ ——怀特黑德想知道反过来是否也成立。

0 \to \mathbb{Z} \to G \to W \to 0 \text{ splits} \iff \mathrm{Ext}^1(W,\mathbb{Z}) = 0

详细分析

阿贝尔群的一个短正合列 $0 \to \mathbb{Z} \to G \to W \to 0$ “分裂”,是指存在一个同态 $W \to G$ 使其成为满射 $G \to W$ 的逆,这就迫使 $G \cong \mathbb{Z} \oplus W$ 。同调代数中的群 $\mathrm{Ext}^1(W, \mathbb{Z})$ 在等价意义下对所有这样的扩张进行分类,其中零元恰好对应于分裂扩张;因此这样构造出的每一个 $G$ 都分裂,当且仅当 $\mathrm{Ext}^1(W, \mathbb{Z}) = 0$ 。

任何自由阿贝尔群 $W$ 都自动满足 $\mathrm{Ext}^1(W, \mathbb{Z}) = 0$ :把 $W$ 的每个基元素逐一提升回 $G$ (任意原像都可以,因为没有关系需要保持)就能拼合成一个完整的分裂映射。J.H.C. 怀特黑德在1950年代提出的问题问的是反过来:每个满足 $\mathrm{Ext}^1(W, \mathbb{Z}) = 0$ 的阿贝尔群 $W$ (称为怀特黑德群)是否自动就是自由的?

这个问题听起来像是与集合论毫无关系的纯代数问题——无论是否需要担心不可数基数, $\mathrm{Ext}^1$ 的计算方式都是一样的。下一步将说明这个问题对于小的(可数的)群已经完全解决,而这恰恰是不可数带来的微妙之处、并最终引入集合论的地方。

本步骤中的术语

短正合列: 群同态的一个序列 $0 \to A \to B \to C \to 0$ ,其中每个映射的像都等于下一个映射的核;它概括了 $B$ 由一个“子部分” $A$ 和一个“商部分” $C$ 构建而成这一想法。
$\mathrm{Ext}^1(W,\mathbb{Z})$: 一个用同调代数构造出的群,其元素恰好对应于构造短正合列 $0 \to \mathbb{Z} \to G \to W \to 0$ 的各种不等价方式;它的零元对应于分裂扩张 $G \cong \mathbb{Z} \oplus W$ 。

本步骤用到的知识

群论