关于半单左阿廷环是自身商环的证明疑问

嘿，我来帮你梳理这个问题～ 首先我们明确核心：要证明半单左阿廷环 ( R ) 是自身的商环，本质是找到一个理想 ( I \subseteq R )，使得 ( R \cong R/I )。下面我用两种思路来解释，其中一种就用到你提到的Wedderburn-Artin定理：

方法一：利用Wedderburn-Artin定理与半单环的理想结构 #

根据Wedderburn-Artin定理，半单左阿廷环 ( R ) 同构于有限个除环上全矩阵环的直和，即：
[ R \cong M_{n_1}(D_1) \times M_{n_2}(D_2) \times \dots \times M_{n_k}(D_k) ]
其中每个 ( D_i ) 是除环，( M_{n_i}(D_i) ) 是 ( n_i \times n_i ) 矩阵环（这类环是单阿廷环）。

半单环有个关键性质：所有理想都是这些单直和因子的直和。比如任意理想 ( I \subseteq R )，都能写成 ( M_{n_{i_1}}(D_{i_1}) \times \dots \times M_{n_{i_t}}(D_{i_t}) \times 0 \times \dots \times 0 ) 的形式，对应的商环 ( R/I ) 就同构于剩下的直和因子：
[ R/I \cong 0 \times \dots \times 0 \times M_{n_{j_1}}(D_{j_1}) \times \dots \times M_{n_{j_{k-t}}}(D_{j_{k-t}}) ]

现在要让 ( R \cong R/I )，分两种情况：

• 平凡情况：取 ( I = 0 )（零理想），此时 ( R/0 \cong R )，这是最直接成立的结论。
• 非平凡情况：当 ( R ) 是单左阿廷环时（即 ( k=1 )），( R ) 没有非零真理想，所以唯一的商环就是 ( R/0 \cong R )，自然满足“是自身商环”的要求。如果 ( R ) 是多个单环的直和，只有当剩下的直和因子整体同构于原环 ( R ) 时才成立，但这种情况仅在特殊构造下存在（比如 ( R = A \times A ) 无法通过去掉一个直和因子得到同构于自身的商环，因为维数和中心结构都不同）。

方法二：利用半单环的Jacobson根性质 #

半单左阿廷环的Jacobson根 ( \text{Rad}(R) = 0 )，而商环 ( R/I ) 的Jacobson根是 ( (\text{Rad}(R) + I)/I = I/I = 0 )，所以 ( R/I ) 也是半单左阿廷环。

如果考虑平凡理想 ( I=0 )，直接得到 ( R/0 \cong R )；如果是单阿廷环，因为没有非零真理想，所有商环都只能是自身。

总结来说：不管是单还是半单非单的左阿廷环，至少存在一个理想（零理想）使得商环同构于自身，这就满足了“( R ) 是自身商环”的结论。如果是单阿廷环，甚至所有商环都是自身。

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