[論文レビュー] 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予想を満たすことを証明する。
• サークル演算と単元群の構造を用いて、指数2のべき零元 $x, y$ に対して積 $xy$ がべき零であることを導出する。
• 上部べき零イデアル ($\operatorname{Nil}^*(R)$) およびジャコブソン・ラディカルの理論を用いて商環を分析する。
• 有界指数の交換環に対して $\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)$ がブール環であるという同値性の新しい短い証明を提供する。