# 商群在凝聚态意义下一致　`prop.cond-quotient-topological`
命题：$\underline{M/N} \cong \underline{M}/\underline{N}$（$N$ 闭）
layer 18 · 命题 · 凝聚态阿贝尔群 · 凝聚态数学
[在星图里打开](../#n=prop.cond-quotient-topological)　·　[节点索引](../index.md)

设 $N$ 是局部紧 Hausdorff 阿贝尔群 $M$ 的**闭**子群。则拓扑商群的凝聚态版本与凝聚态商的商一致：

$$\underline{M/N} \;\cong\; \underline{M}\big/\underline{N}.$$

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

refs: Le Stum, An introduction to condensed mathematics, Exercise 6.5

> 说明见 `notes/prop.cond-quotient-topological.md`

引用：`prop.cond-quotient-topological`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)