挠 与 Stonean，无挠 与 连通torsion Stonean

说明

为什么「挠」对应「极不连通」。 阶为 $n$ 的元素 $x$ 对应 $\widehat{M}$ 上一条满足 $n\chi(x) = 0$ 的取值 —— 取值落在一个有限子群 $\mathbb{Z}/n \subseteq \mathbb{T}$ 里。有限离散的东西在拓扑上是极不连通的：整个对偶空间被「整除不到」的性质切成开闭片。

为什么「无挠」对应「连通」。 反过来，若 $M$ 无挠（像 $\mathbb{Z}$ 那样），对偶 $\widehat{M}$ 就是连通的 —— 例子：$\widehat{\mathbb{Z}} = \mathbb{T}$ 连通，而 $\widehat{\mathbb{Z}/n} = \mathbb{Z}/n$ 是有限离散、极不连通。

⭐ 为什么凝聚态数学特别在意这条：Stonean 空间恰好是凝聚态上同调恒为零的那一类空间，而极不连通性又恰好对应对偶侧的挠性。于是「Stonean 上的零调性」这条 §8.1 的起点定理，在这里有了一个纯代数的描述方式。

⚠️ 注意 $M$ 这里要求离散 —— 一般局部紧群的对偶分析要先把结构定理用上。

证明。

• 挠 $\iff$ Stonean：$M$ 挠 $\iff$ $M = \varinjlim_{i} M_{i}$（$M_{i}$ 有限）$\iff$ $\widehat M = \varprojlim_{i} \widehat{M_{i}}$（每个 $\widehat{M_{i}}$ 仍有限，对偶把余极限翻成逆极限）$\iff$ $\widehat M$ 是投射有限空间，即 Stone 空间（紧、Hausdorff、全不连通）；对一般（非挠）离散群，极不连通性对应同样的「有限块的逆极限」结构 ✓。
• 无挠 $\iff$ 连通：等价链逐条走 ——

$M$ 不是无挠 $\iff$ 存在非平凡的有限子群单射 $M' \hookrightarrow M$ $\iff$ 存在非平凡有限商 $\widehat M \twoheadrightarrow \widehat{M'}$（对偶把单射翻成满射）$\iff$ $\widehat M$ 不连通 ✓。 （最后一步：紧 Hausdorff 空间不连通 $\iff$ 有开闭真子集 $\iff$ 有到非平凡有限离散空间的满连续映射。）∎ ⭐ 「挠子群 $\leftrightarrow$ 连通分支」「无挠商 $\leftrightarrow$ Stonean 部分」两个字典都可以从这两条链逐字读出。