的选取对应于 formula_131，所以 formula_132 仅决定于唯一的一个中心扩张。反之，任一 formula_132 都来自于某个中心扩张，证毕。
谱序列.若 formula_134 是 formula_1 的正规子群，则有下述谱序列对于射影有限群，此式依然成立。