中心單代數、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 群把剩下的除代數組織成一個交換群所能承載之物。你在體上建立的直覺從未錯——它只是需要分清左與右。