局部紧阿贝尔群结构定理

说明

怎么读这条。 局部紧 Hausdorff 阿贝尔群看着种类繁多，其实只有三种「基本块」：离散群、有限维实向量空间、紧 Hausdorff 群。这条定理说：任意一个这样的群，都是「$V \oplus K$」被一个离散群扩张出来的。

为什么 $V$ 必须有限维：实向量空间的加法群局部紧 $\iff$ 有限维。无限维的实 Banach 空间（如 $\ell^{2}$）不局部紧，所以不在结构定理的覆盖范围内。

「开子群」是什么意思：$V \oplus K \subseteq M$ 是一个开子群，于是余核 $D = M/(V\oplus K)$ 带商拓扑 —— 由于 $V \oplus K$ 开，商是离散的。开性正是让商离散的原因。

⭐ 它是第 8 章的引擎。「局部紧阿贝尔群之间的高次 Ext 消失」那一步，用的就是这条定理：既然每个对象都是「离散 / 有限维实 Banach / 紧连通」三类扩张出来的，那么只要对这三类交叉验证 Ext 的消失就够了 —— 也就是把无穷多种群的情形归约成 $3 \times 3$ 种。

证明（标准路线）。

1. 连通部分：$M^{0}$（单位元的连通分支）是闭子群。$M^0$ 是连通局部紧阿贝尔群，而这一类群恰好形如 $\mathbb{R}^{n}\times K$（$K$ 紧连通阿贝尔群）—— 这一步是经典理论（用「无小子群」/Lie 理论把 $M^{0}$ 的紧子群部分与向量群部分分开）。
2. 全不连通商：$M/M^{0}$ 是全不连通的局部紧 Hausdorff 群；这类群必有开紧子群（取单位元的紧邻域并取它生成的子群的闭包）。
3. 拼起来：取 $M_{1}$ 为某个开紧子群的原像，则 $M_{1}$ 开、$M_{1}/M^{0}$ 紧。于是 $M_{1}$ 是紧群 $K$ 被 $\mathbb{R}^{n}$ 扩张：$0 \to K \to M_{1} \to \mathbb{R}^{n} \to 0$。
4. 扩张分裂：$\mathbb{R}^{n}$ 是向量群，而「紧群被向量群扩张必分裂」（对紧方向取平均 / 用局部截面 + 紧性把它整体化），故 $M_{1} \cong \mathbb{R}^{n}\times K$ ✓。
5. 余商离散：$M_{1}$ 开 $\implies$ $D := M/M_{1}$ 带商拓扑是离散的 ✓，于是 $0\to V\oplus K\to M\to D\to 0$ 正合。∎

标准出处：Morris（同上）。