中心单代数、Brauer 群与群代数

中心单代数

固定一个域 K。K 上的中心单代数（CSA）是一个有限维 K-代数 A，它作为环是单的，且中心恰为 K（不更大）。由 Artin-Wedderburn，CSA 形如 M_n(D)，其中除环 D 的中心也是 K。所以在矩阵规模意义下，分类 K 上的 CSA 就等同于分类 K 上的中心除代数——那些坐落在 K 之上、真正非交换的类域对象。

Brauer 群

两个 CSA 若有同构的底除环，则称它们Brauer 等价——等价地说 A ≅ M_m(D) 且 B ≅ M_n(D) 对同一个 D。在 K 上取张量积使这些类成为一个群：Brauer 群 Br(K)。乘积为 [A]·[B] = [A ⊗_K B]，单位元为 [K]（所有矩阵环的类），[A] 的逆是对偶代数的类 [A^op]，因为 A ⊗_K A^op ≅ M_d(K)。K 上整片非交换除代数的动物园被重新打包成一个交换群。

Key tensor identities over K (all CSAs):
  M_m(K) ⊗_K M_n(K)  ≅  M_{mn}(K)         (matrix rings collapse)
  A ⊗_K A^op         ≅  M_d(K),  d = dim_K A   (gives inverses)

Worked instance over K = R, the quaternions H:
  dim_R H = 4,  H^op ≅ H  (conjugation q -> q* is an anti-automorphism)
  so   H ⊗_R H  ≅  H ⊗_R H^op  ≅  M_4(R).
Hence in Br(R):   [H] + [H] = 0,   so  [H]  has order 2.

Result:  Br(R) = Z/2Z = { [R], [H] }.   Two classes, nothing more.

计算 Br(R) = Z/2Z：H 与自身张量得到矩阵环，故 [H] 是自身的逆。

Br(R) = Z/2Z 这个计算是最小的非平凡例子，值得随身带着。Br(C) = 0（代数闭），Br(F_q) = 0（其实就是 Wedderburn 小定理的化装——没有非交换有限除环），而 Br(Q_p) ≅ Q/Z，Br(Q) 则坐落在类域论一条著名的正合列之中。Brauer 群还被等同于二阶 Galois 上同调 H^2(K, K̄*)，这正是这条线索与上同调专题汇合之处。

群代数与下一步

最后我们回到一个你已经知道一般非交换的环：群代数 K[G]。当 char K ∤ |G| 时，由 Maschke 它半单，于是 Artin-Wedderburn 适用，K[G] 成为矩阵环之积——这个积就是 G 的表示论。在 C 上各块为 M_{d_i}(C)，d_i 是各不可约表示的维数，恢复了特征标表的计数 Σ d_i^2 = |G|。

这就是整条线索的弧线：非交换性不摧毁结构，它重组结构。对顺序的敏感催生了除环；Schur 与 Wedderburn 把半单情形驯服成矩阵环；根度量其余；而 Brauer 群把剩下的除代数组织成一个交换群所能承载之物。你在域上建立的直觉从未错——它只是需要分清左与右。