利用理想与商环的对应定理证明R/J(R)的Jacobson根为(0)

嘿，咱们一步步来搞定这个证明，全程用理想与商环的对应定理，完全不涉及单位相关的思路：

• 先明确核心定义：

  • 环R的Jacobson根J(R)，是R中所有极大理想的交集，也就是 $J(R) = \cap{ M \mid M \triangleleft R \text{ 是极大理想} }$
  • 对于商环 $S = R/J(R)$，它的Jacobson根J(S)同样是S中所有极大理想的交集，我们的目标就是证明这个交集是S的零理想$(0)$。

• 应用理想与商环的对应定理：

  • 对应定理告诉我们：商环$R/J(R)$的每个极大理想$N$，都一一对应到R中一个包含J(R)的极大理想M，并且满足$N = M/J(R)$。反过来，R中任何一个包含J(R)的极大理想M，$M/J(R)$都是$R/J(R)$的极大理想。
  • 这里要注意：R的所有极大理想本身就包含J(R)（毕竟J(R)是它们的交集），所以$R/J(R)$的极大理想集合，和R的极大理想集合是一一对应的，对应方式就是$M \mapsto M/J(R)$。

• 计算$R/J(R)$的Jacobson根：

  • 把上述对应关系代入Jacobson根的定义，可得：
    $J(R/J(R)) = \cap{ N \mid N \triangleleft R/J(R) \text{ 是极大理想} } = \cap{ M/J(R) \mid M \triangleleft R \text{ 是极大理想} }$
  • 根据商环中理想交集的性质：多个形如$M/J(R)$的理想的交集，等于这些M的交集再除以J(R)，也就是$\cap(M/J(R)) = (\cap M)/J(R)$。
  • 而$\cap M$就是J(R)，所以代入后得到：$(\cap M)/J(R) = J(R)/J(R)$，这正是商环$R/J(R)$中的零理想$(0)$。

• 结论：

  • 综上，$J(R/J(R)) = (0)$，完美用对应定理完成了证明，完全没用到单位的相关性质。

备注：内容来源于stack exchange，提问作者Benjomorphism