含单位元且为右极小理想直和的环的右理想结构证明问询

Hey，我来帮你梳理这个环论问题的证明思路哈～

首先先明确原问题：

设 ( R ) 是含单位元 ( 1 ) 的环，且 ( R ) 是右极小理想的直和。证明 ( R ) 的每个右理想都可以表示为 ( eR )，其中 ( e ) 是幂等元。

第一步：分解单位元得到幂等元 #

已知 ( R = \oplus_{k=1}^n I_k )，这里每个 ( I_k ) 都是 ( R ) 的右极小理想。因为 ( R ) 含单位元 ( 1 )，所以我们可以把 ( 1 ) 分解成各个直和分量里的元素之和：
$$1 = i_1 + i_2 + \dots + i_n$$
其中 ( i_k \in I_k ) 对每个 ( k = 1,2,\dots,n ) 成立。

接下来我们证明每个 ( i_k ) 都是幂等元（即 ( i_k^2 = i_k )）：
拿 ( i_1 ) 举例，把上面的等式两边右乘 ( i_1 )，得到：
$$i_1 = i_1^2 + i_2i_1 + \dots + i_n i_1$$
我们把式子变形一下：
$$i_1 - i_1^2 = i_2i_1 + \dots + i_n i_1$$
左边的 ( i_1 - i_1^2 ) 属于 ( I_1 )（因为 ( i_1 \in I_1 )，而 ( I_1 ) 是右理想，对乘法封闭）；右边的 ( i_2i_1 + \dots + i_n i_1 ) 属于 ( \sum_{j \neq 1} I_j )（每个 ( i_j i_1 \in I_j \cdot R \subseteq I_j )，因为 ( I_j ) 是右理想）。

而 ( R ) 是这些 ( I_k ) 的直和，意味着 ( I_1 \cap \sum_{j \neq 1} I_j = {0} )。所以左边和右边的交集只能是0，即：
$$i_1 - i_1^2 = 0 \implies i_1 = i_1^2$$
用同样的方法可以证明，所有 ( i_k ) 都是幂等元：( i_k = i_k^2 ) 对任意 ( k = 1,\dots,n ) 成立。

另外，任取非零的 ( i_j )，我们还能得到环的直和分解：
$$R = i_j R \oplus (1 - i_j)R$$
这是因为 ( i_j(1 - i_j) = i_j - i_j^2 = 0 )，且 ( 1 = i_j + (1 - i_j) )，满足直和的条件。

第二步：证明任意右理想都是幂等元生成的右理想 #

现在看任意非零的右理想 ( I \triangleleft_r R )：
因为 ( R ) 是右极小理想的直和，这类环属于半单Artinian环（Wedderburn-Artin定理的范畴），半单环有个核心性质：每个右理想都是环的直和项。也就是说，我们能找到另一个右理想 ( J )，使得：
$$R = I \oplus J$$

接下来我们构造对应的幂等元 ( e )：
因为 ( 1 \in R = I \oplus J )，所以可以把 ( 1 ) 分解成 ( 1 = e + f )，其中 ( e \in I )，( f \in J )。

把这个等式两边右乘 ( e )，得到：
$$e = e^2 + f e$$
注意 ( f e \in J \cdot I \subseteq J \cap I = {0} )（因为 ( I ) 和 ( J ) 是直和，交集只有0），所以 ( f e = 0 )，进而得到 ( e = e^2 )，即 ( e ) 是幂等元。

最后验证 ( I = eR )：

• 一方面，( eR \subseteq I )：因为 ( e \in I )，而 ( I ) 是右理想，对右乘封闭，所以所有 ( e \cdot r )（( r \in R )）都属于 ( I )。
• 另一方面，( I \subseteq eR )：任取 ( x \in I )，则 ( x = x \cdot 1 = x e + x f )。而 ( x f \in I \cdot J \subseteq I \cap J = {0} )，所以 ( x f = 0 )，即 ( x = x e \in eR )。

综上，( I = eR )，这就证明了 ( R ) 的每个右理想都可以表示为某个幂等元 ( e ) 生成的右理想 ( eR )。

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