在抽象代数的浩瀚星空中，韦德伯恩小定理（Wedderburn's Little Theorem）是一颗璀璨而简洁的明珠。该定理由约瑟夫·韦德伯恩（Joseph Wedderburn）于1905年提出，其核心内容可以用一句话概括：
任何有限的除环（Division Ring）必然是一个交换域（Field）。
这意味着，如果我们有一个集合，其中定义了加法和乘法，满足除环的所有公理（包括存在乘法逆元），并且这个集合中的元素个数是有限的，那么乘法运算一定是交换的，即对于任意元素 a 和 b，都有 a·b = b·a。
这个定理的重要性在于它消除了人们对“非交换有限域”存在的幻想。在无限情况下，四元数（Quaternions）是一个著名的非交换除环；但一旦限制了“有限”这一条件，非交换性就不复存在了。
韦德伯恩小定理的发现过程充满了传奇色彩，它不仅是代数结构研究的一个里程碑，也反映了20世纪初数学思想的演变。
威廉·罗恩·汉密尔顿发现了四元数，这是一个非交换的除环。这证明了在无限情况下，除环不一定是域。这为后来研究“有限”条件下的性质埋下了伏笔。
当时年仅22岁的约瑟夫·韦德伯恩在爱丁堡大学学习期间，证明了有限除环必为域。他的原始证明虽然有效，但较为复杂，依赖于对除环中心子域维数的详细分析。
中国数学家张久万（C. C. H. Young）提供了一个更简洁的证明，使用了类方程和分圆多项式的性质。这个证明成为了现代教科书中的标准证明方法。
随着抽象代数体系的完善，韦德伯恩小定理被纳入标准的代数课程，成为理解有限域结构和群表示论的重要基础。
韦德伯恩小定理的证明是抽象代数中技巧性极强的经典案例。它结合了群论、域论和数论的知识。以下是基于张久万证明思路的详细解析。
设 D 是一个有限除环，其元素个数为 q。设 F 是 D 的中心（Center），即所有与 D 中元素都交换的元素构成的子域。F 也是一个有限域，设其元素个数为 p^n = q_0，其中 p 是素数。
由于 D 是 F 上的向量空间，设其维数为 m。则 D 的元素总数为 q = (q_0)^m = p^{nm}。我们的目标是证明 m = 1。如果 m = 1，则 D = F，即 D 是交换的。
考虑 D 的乘法群 D = D {0}，其阶为 q - 1。利用群论中的类方程（Class Equation），我们可以将 D 分解为共轭类的并集：
| 符号 | 含义 |
|---|---|
| |D| | 乘法群的阶，即 q - 1 |
| Z(D) | 乘法群的中心，即 F，阶为 q_0 - 1 |
| C(x) | 元素 x 的中心化子（Centralizer），即 D 中与 x 交换的所有元素构成的子除环 |
| [D : C(x)] | 共轭类的大小，整除 |D| |
类方程形式为：
q - 1 = (q_0 - 1) + Σ [D : C(x_i)]
其中求和是对非中心元素的共轭类代表元进行的。如果 m > 1，则至少存在一个非中心元素 x，使得 C(x) 是真子除环。
这是证明的核心。对于 D 中的任意元素 x，其中心化子 C(x) 也是一个除环，且包含 F。设 C(x) 在 F 上的维数为 d_x，则 |C(x)| = q_0^{d_x}。
共轭类的大小 [D : C(x)] 等于 |D| / |C(x)| = (q - 1) / (q_0^{d_x} - 1)。
利用分圆多项式 Φ_m(t) 的性质，可以证明 Φ_m(q_0) 整除 q - 1。然而，通过细致的数论分析，可以证明如果 m > 1，则 Φ_m(q_0) 不能整除 q - 1，或者会导致矛盾。
具体来说，韦德伯恩利用了一个关键不等式：对于 m > 1，Φ_m(q_0) > (q_0^m - 1) / (q_0 - 1) 是不成立的，或者更准确地说，通过比较大小，发现只有当 m=1 时，方程才可能有整数解。因此，假设 m > 1 导致矛盾，故 m 必须等于 1。
韦德伯恩小定理不仅在纯数学中具有重要意义，还在密码学和编码理论中找到应用。
该定理确认了有限除环和有限域在本质上是同一个概念。这使得数学家可以毫无顾虑地使用“有限域”（Finite Field）或“伽罗瓦域”（Galois Field, GF）这一术语，而不必担心非交换性的干扰。所有有限域都是交换的，且对于每个素数幂 q = p^n，都存在唯一的（同构意义下）有限域 GF(q)。
费马小定理指出，对于素数 p 和任意整数 a，有 a^p ≡ a (mod p)。在域论中，这可以推广为：在有限域 GF(q) 中，对于任意元素 a，有 a^q = a。韦德伯恩小定理确保了这种幂运算性质在更广泛的有限除环结构中依然成立，因为有限除环必然是域。
在现代密码学（如椭圆曲线密码）和纠错码（如Reed-Solomon码）中，运算都是在有限域上进行的。韦德伯恩小定理保证了这些运算的交换性，简化了算法设计和安全性分析。如果存在非交换的有限除环，许多基于域理论的加密方案将需要重新设计。
不需要。韦德伯恩小定理的证明是完全构造性的，且不依赖于选择公理。因为它处理的是有限结构，所有集合都是有限的，选择公理在有限情况下总是自动成立。
是的，无限的交换除环就是无限的域，例如有理数域 Q、实数域 R 和复数域 C。韦德伯恩小定理仅针对“有限”除环，对于无限情况，非交换除环（如四元数）是存在的。
虽然定理本身是纯数学的，但其结论保证了有限域的唯一性和交换性，这为计算机科学中的有限域运算（如AES加密算法、CRC校验码）提供了理论基础。如果没有这个定理，我们需要考虑更复杂的非交换结构，计算复杂度将大幅增加。
是的，韦德伯恩还有“大定理”（Wedderburn's Theorem on Semisimple Rings），即韦德伯恩-阿廷定理（Wedderburn-Artin Theorem），它描述了半单环的结构，是环论中更一般、更强大的结果。相比之下，处理有限除环交换性的小定理显得更具体、更简洁，故称“小”定理。