同一理想的三副面孔
Jacobson 根 J(R) 是一个双侧理想，每本入门书都用三种不同方式定义它——神奇之处在于它们彼此一致。(1) 所有极大左理想之交。(2) 所有 单 左模的零化子：J(R) = ∩ Ann(S)。(3) 使得对所有 r, s ∈ R 都有 1 − rxs 可逆的那些 x 的集合。定义 (2) 让它显然是双侧的，尽管 (1) 只提到左理想——一个小小的非交换奇迹。
根为零即半单
这就是根重要的原因。对Artin环 R（左理想满足降链条件——任何有限维代数都满足），J(R) 是 幂零的：某个 m 使 J(R)^m = 0。并且 R 半单 当且仅当 J(R) = 0。所以根恰好就是半单性的障碍。把它取商，R/J(R) 就是半单的，于是落入 Artin-Wedderburn 的范畴。
因此对任何 Artin 环的策略都分两步：用 Wedderburn 研究半单商 R/J(R)，再把 幂零 部分 J(R) 当作某种无穷小增厚来研究。许多困难的结构问题都归结为理解 J(R) 如何坐落在一个干净的半单底座之上。
一个算出来的根
Let R be upper-triangular 2x2 matrices over a field k:
R = { [a, b; 0, d] : a, b, d in k }.
Maximal left ideals correspond to the two simple modules
S1 = k via [a,b;0,d] -> a (top-left action)
S2 = k via [a,b;0,d] -> d (bottom-right action)
Ann(S1) = { [0,b;0,d] }, Ann(S2) = { [a,b;0,0] }.
J(R) = Ann(S1) ∩ Ann(S2) = { [0, b; 0, 0] } = k*E_12.
Check nilpotent: [0,b;0,0]^2 = [0,0;0,0]. So J(R)^2 = 0. Good.
Quotient: R / J(R) ≅ k × k (just the diagonal a, d).
That is semisimple — two copies of M_1(k) — exactly as promised.这个小环是完美的警示故事：它有限维、十分具体，却不半单。那个唯一的非对角位置 k·E_12 就是全部障碍。还要注意 R 只有分裂对角所需的平凡 幂等元，却无法把根分裂出去——扩张 0 → S_1 →（自然模）→ S_2 → 0 不分裂。这种不分裂就是根的可见化身。