# 紧阿贝尔群的两项消解　`prop.chaus-two-term-resolution`
命题：紧 Hausdorff 阿贝尔群有两项连通消解
layer 19 · 命题 · 拓扑阿贝尔群 · 凝聚态数学
[在星图里打开](../#n=prop.chaus-two-term-resolution)　·　[节点索引](../index.md)

设 $M$ 是**紧 Hausdorff 阿贝尔群**。则存在短正合列（一个「两项消解」）

$$0 \longrightarrow M \longrightarrow M_{0} \longrightarrow M_{1} \longrightarrow 0$$

其中 $M_{0}$、$M_{1}$ 都是**连通的**紧 Hausdorff 阿贝尔群。

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.chaus-two-term-resolution.2.md](./prop.chaus-two-term-resolution.2.md)

refs: Le Stum, An introduction to condensed mathematics, §6.2

> 说明见 `notes/prop.chaus-two-term-resolution.md`

引用：`prop.chaus-two-term-resolution`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)