# CondAb 由有限表现投射对象生成　`prop.condab-generated`
$\mathrm{CondAb}$ 的生成元
layer 15 · 命题 · 凝聚态阿贝尔群 · 凝聚态数学
[在星图里打开](../#n=prop.condab-generated)　·　[节点索引](../index.md)

$\mathrm{CondAb}$ 由**有限表现的投射**凝聚态阿贝尔群生成。特别地，它有足够多的投射对象。

## 为什么成立（入边，证明在 proofs/）
- [`def.generator`](../nodes/def.generator.md) 生成元集：用到了定义 生成元集　[proofs/def-dep.generator-condab-generated.md](../proofs/def-dep.generator-condab-generated.md)

- …另有入边，续页见 [nodes/prop.condab-generated.2.md](./prop.condab-generated.2.md)

refs: Le Stum, Proposition 6.1.7

> 说明见 `notes/prop.condab-generated.md`

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