[论文解读] Rings in which nilpotents form a subring

Janez Šter|arXiv (Cornell University)|Oct 26, 2015

Rings, Modules, and Algebras参考文献 9被引用 8

一句话总结

本论文证明了：在环中，幂零元的集合构成一个子环（NR 环）当且仅当该环满足 Köthe 猜想，且幂零元对加法、乘法或圆运算 $x \circ y = x + y - xy$ 中的某一种标准运算封闭。主要贡献在于确定了确保幂零元形成子环的最小条件集，并将其应用于换元环、洁净环及强幂零洁净环。

ABSTRACT

Let R be a ring with the set of nilpotents Nil(R). We prove that the following are equivalent: (i) Nil(R) is additively closed, (ii) Nil(R) is multiplicatively closed and R satisfies Koethe's conjecture, (iii) Nil(R) is closed under the operation x\circ y=x+y-xy, (iv) Nil(R) is a subring of R. Some applications and examples of rings with this property are given, with an emphasis on certain classes of exchange and clean rings.

研究动机与目标

• 刻画幂零元集合构成子环（NR 环）的环，且不依赖于 Armendariz 类型条件。
• 确定幂零元在环运算下封闭的最小条件。
• 探讨 Köthe 猜想在确保幂零子环结构中的作用。
• 将结果应用于特定环类，包括换元环和强幂零洁净环。
• 通过 $a - a^2$ 的幂零性，提供强幂零洁净环表征的全新简洁证明。

提出的方法

• 证明若 $\operatorname{Nil}(R)$ 对加法或圆运算 $x \circ y = x + y - xy$ 封闭，则 $R$ 满足 Köthe 猜想。
• 利用圆运算与单位群结构，推导当 $x, y$ 为幂指数为 2 的幂零元时，其乘积 $xy$ 的幂零性。
• 应用上幂零根（$\operatorname{Nil}^*(R)$）与 Jacobson 根理论分析商环。
• 建立对于有界指数的换元环，有 $\operatorname{Nil}(R) = \operatorname{Nil}^*(R)$，从而推出该环为 NI（幂零元构成理想）。
• 使用嵌入技术在含单位元的环中工作，并应用恒等式 $e = (1 - (1 - a)^n)^n$ 构造幂等元。
• 利用 $a - a^2 \in \operatorname{Nil}(R)$ 与强幂零洁净性的等价性，重新推导已知的表征结果。

实验结果

研究问题

• RQ1 在何种条件下，环中幂零元的集合对加法封闭？
• RQ2 对圆运算 $x \circ y = x + y - xy$ 的封闭性如何与 $\operatorname{Nil}(R)$ 的子环性质相关？
• RQ3 Köthe 猜想在确保 $\operatorname{Nil}(R)$ 为子环中起什么作用？
• RQ4 能否在仅对单一运算封闭的最小假设下建立 $\operatorname{Nil}(R)$ 的子环性质？
• RQ5 NR 环与强幂零洁净环之间有何关系？能否利用 NR 框架重新推导后者表征？

主要发现

• 幂零元集合 $\operatorname{Nil}(R)$ 是子环当且仅当 $R$ 满足 Köthe 猜想，且 $\operatorname{Nil}(R)$ 对圆运算 $x \circ y = x + y - xy$ 封闭。
• 若 $\operatorname{Nil}(R)$ 对加法或圆运算封闭，则 $R$ 满足 Köthe 猜想，这是一个虽弱但必不可少的假设。
• 对于有界指数的换元环，有 $\operatorname{Nil}(R) = \operatorname{Nil}^*(R)$，因此此类环为 NI（幂零元构成理想）。
• 环 $R$ 为强幂零洁净环当且仅当对所有 $a \in R$，有 $a - a^2 \in \operatorname{Nil}(R)$，这提供了该已知表征的全新、自包含的证明。
• 商环 $R/\operatorname{Nil}^*(R)$ 为布尔环当且仅当 $R$ 为强幂零洁净环，且此关系成立当且仅当 $\operatorname{Nil}(R)$ 为子环且 $R/\operatorname{Nil}^*(R)$ 为阿贝尔环。
• 本文提供了强幂零洁净环与满足 $R/\operatorname{Nil}^*(R)$ 为布尔环的环之间等价性的新、简短证明，且该结果对非含单位元的环也成立。