非阿贝尔 H^1 与下降口号
当系数模是被 G 作用的非阿贝尔群时，H^1(G, A) 不再是群——只是 带点集合（上循环仍为 f(gh) = f(g)·g(f(h))，模去 f(g) ~ a^{−1} f(g) g(a)）。非阿贝尔的代价是一次以上失去群结构，但回报巨大：H^1(Gal(K̄/K), Aut(X₀)) 分类对象 X₀ 的 K-形式——一切在代数闭包上与 X₀ 同构、却可能在 K 上不同构者。这就是下降／扭曲原理。
TWISTING SLOGAN: { K-forms of X_0 } / iso <--> H^1( Gal(Kbar/K), Aut_Kbar(X_0) ).
Example A (vanishing). X_0 = the K-vector space K^n. Aut over Kbar is GL(n, Kbar).
H^1(Gal, GL(n, Kbar)) = * (one point): a form of GL_n is again GL_n.
This is Theorem 90 generalized (n=1 recovers H^1(G, Kbar*) = 0). Moral: vector spaces
have no twists -- a finite-dim space over K is determined by its dimension.
Example B (nontrivial). X_0 = the split quadratic form x1^2 + ... + xn^2 over K = Q.
Aut over Kbar is O(n, Kbar). H^1(Gal, O(n)) classifies n-dim QUADRATIC FORMS over Q
up to isometry that become equivalent over Qbar -- i.e. all nondegenerate ones.
Diagonal entries (the d_i in <d_1,...,d_n>) mod squares are exactly the cocycle data.
The twists are real: x^2 + y^2 and x^2 - y^2 are NOT isometric over Q (different signature),
yet both diagonalize to <1,1> over C. H^1 sees the difference; the algebraic closure does not.再看 H^2：布饶尔群
正如非阿贝尔 H^1 分类扭曲形式，H^2(Gal(K̄/K), K̄*) 分类某种二次之物——它就是 [[brauer-group|布饶尔群]] Br(K)。其元素是 K 上的 中心单代数 模去莫里塔等价；上同调类再次是因子集，如今取值于 K̄*。R 上的 哈密顿四元数 代表 Br(R) = Z/2 的非平凡元——一个不是矩阵代数的中心单 R-代数，恰因其在 H^2 中的类非零。第 3 篇 H^2 分类扩张的故事，与 H^2 即布饶尔群的故事，是同一上同调的两套戏装。
在域之间穿行，两个函子性映射反复出现。[[restriction-map|限制映射]] res : H^n(G, A) → H^n(H, A) 过渡到子群 H ≤ G（缩小对称，如过渡到更大的域）。[[inflation-map|膨胀映射]] inf : H^n(G/N, A^N) → H^n(G, A) 从商把类拉上来。二者连同 超渡 组成膨胀–限制正合列，即林登–霍赫希尔德–塞尔 谱序列 的低次影子——由正规子群与商计算群上同调的工具。