# 谱序列的退化行　`prop.spectral-degenerate-row`
命题：只有 $p = 0$ 那一行时 $E^{0,q} \cong H^{q}$
layer 17 · 命题 · 过滤与谱序列 · 同调代数
[在星图里打开](../#n=prop.spectral-degenerate-row)　·　[节点索引](../index.md)

设 $E^{p,q}_{r} \implies H^{p+q}$ 是**第一象限**谱序列。若对某个 $r \ge 1$ 有

$$p \ne 0 \implies E^{p,q}_{r} = 0 \qquad (\forall q),$$

则对一切 $q$：$E^{0,q}_{r} \cong H^{q}$。
> 陈述续见 [nodes/prop.spectral-degenerate-row.2.md](./prop.spectral-degenerate-row.2.md)


## 它能推出什么 / 谁在用它
- ⇒ [`prop.five-term-spectral-sequence`](../nodes/prop.five-term-spectral-sequence.md) 谱序列的五项正合列

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.spectral-degenerate-row.3.md](./prop.spectral-degenerate-row.3.md)

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

> 说明见 `notes/prop.spectral-degenerate-row.md`

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