[論文レビュー] Rings in which every nilpotent is central

Burcu Üngör, Sait Halıcıoğlu+2 more|arXiv (Cornell University)|Dec 14, 2013

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

ひとこと要約

この論文は、すべての冪零元が中心であるような一般化された還元環である「中心還元環」を導入し、その性質を調査する。環が中心還元であることと、その多項式、形式的べき級数、ローレンツ多項式拡張がすべて中心還元であることの同値性を確立し、中心還元環の自明拡張が中心アーメンダリス的であることを証明する。これは、冪零元と環構造に関する既知の結果を拡張する。

ABSTRACT

In this paper, we introduce a class of rings in which every nilpotent element is central. This class of rings generalizes so-called reduced rings. A ring $R$ is called {\it central reduced} if every nilpotent element of $R$ is central. For a ring $R$, we prove that $R$ is central reduced if and only if $R[x_1,x_2,\ldots,x_n]$ is central reduced if and only if $R[[x_1,x_2,\ldots,x_n]]$ is central reduced if and only if $R[x_1,x_1^{-1},x_2,x_2^{-1},\ldots,x_n,x_n^{-1}]$ is central reduced. Moreover, if $R$ is a central reduced ring, then the trivial extension $T(R,R)$ is central Armendariz.

研究の動機と目的

• すべての冪零元が中心であるような新しい環のクラス、すなわち中心還元環を定義し、その特徴づけを行う。これは還元環の一般化である。
• 多項式環、形式的べき級数環、ローレンツ多項式環などのさまざまな環拡張において、中心還元性の安定性を調査する。
• アーベル的、2-プライマル、または主生成射影的といった他の環論的性質との関係を調査する。
• 特に半素環または主生成射影的環の設定において、中心還元環が還元的である条件を確立する。
• 中心還元環の自明拡張が中心アーメンダリス的であることを証明し、中心アーメンダリス環のクラスを拡張する。

提案手法

• すべての冪零元が環のすべての元と可換である環として中心還元環を定義する。
• 多項式環および形式的べき級数環において、全次数に関する帰納法を用いて、底辺環が中心還元であれば拡張内の冪零元も中心のままであることを示す。
• 主生成射影的環および主生成 quasi-Baer 環における annihilator およびイデムポテン要素の性質を応用し、同値性や含意関係を導出する。
• 自明拡張 $ T(R,R) $ の構造を分析し、中心還元性が中心アーメンダリス条件を導くことを示す。
• イデアルが冪零で、元の環が中心還元であれば、商環における冪零元も中心のままであるという事実を応用する。
• 行列環 $ M_n(R) $ における中心冪零元の振る舞いを活用し、自明拡張における閉包性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特に半素環または主生成射影的環において、中心還元環が還元的である条件は何か？
• RQ2 中心還元性は多項式、形式的べき級数、ローレンツ多項式拡張においてどのように振る舞うか？
• RQ3 中心還元環の自明拡張 $ T(R,R) $ は常に中心アーメンダリス的か？
• RQ4 中心還元環とアーベル的、2-プライマル、または中心半可換環といった他の環クラスとの関係は何か？
• RQ5 中心還元性は環準同型像においても保たれるか。もしそうなら、どのような条件下で保たれるか？

主な発見

• 環 $ R $ が中心還元であることと、多項式環 $ R[x_1, \tdots, x_n] $、形式的べき級数環 $ R[[x_1, \tdots, x_n]] $、ローレンツ多項式環 $ R[x_1, x_1^{-1}, \tdots, x_n, x_n^{-1}] $ がすべて中心還元であることとは同値である。
• 環 $ R $ が右（または左）主生成射影的であれば、$ R $ が中心還元であることと、$ n \geq 2 $ に対して $ R[x]/(x^n) $ が中心アーメンダリス的であることとは同値である。
• 中心還元環 $ R $ の自明拡張 $ T(R,R) $ は中心アーメンダリス的であり、中心アーメンダリス環のクラスを拡張する。
• すべての中心還元環は弱く半可換的、中心半可換的、2-プライマル的、アーベル的、かつ直接有限的である。
• 中心還元環 $ R $ において、冪零イデアル $ I $ が存在するならば、商環 $ R/I $ も中心還元である。
• 還元環とアーベル環の間で、中心還元環のクラスは真に狭い包含関係にある。すなわち、中心還元でないアーベル環が存在する。