[論文レビュー] On strongly $g(x)$-clean rings

Lingling Fan, Xiande Yang|ArXiv.org|Mar 24, 2008

Rings, Modules, and Algebras参考文献 13被引用数 3

ひとこと要約

この論文は、各元が $g(x)$ の根と可換な単元の和に分解できる、強く $g(x)$-クリーン環の定義とその性質を導入・考察する。$g(x) = (x-a)(x-b)$ かつ $b-a$ が単位であるとき、強く $g(x)$-クリーン性と強くクリーン性が同値であることを確立し、特定の多項式 $x^2 - nx$ に対して単元で生成される環が強く $g(x)$-クリーンである条件を同定する。主な貢献は、非可換環における多項式の根、単元の分解、環構造の統一的枠組みの確立である。

ABSTRACT

Let $R$ be an associative ring with identity, $C(R)$ denote the center of $R$, and $g(x)$ be a polynomial in the polynomial ring $C(R)[x]$. $R$ is called strongly $g(x)$-clean if every element $r \in R$ can be written as $r=s+u$ with $g(s)=0$, $u$ a unit of $R$, and $su=us$. The relation between strongly $g(x)$-clean rings and strongly clean rings is determined, some general properties of strongly $g(x)$-clean rings are given, and strongly $g(x)$-clean rings generated by units are discussed.

研究の動機と目的

• 強く $g(x)$-クリーン環を、強くクリーン環の一般化として定義し、その性質を研究すること。
• 強く $g(x)$-クリーン性が強くクリーン性を含む、およびその逆に成り立つ正確な条件を同定すること。
• 特定の多項式（例：$x^2 - nx$）に対して、単元で生成される環が強く $g(x)$-クリーンであるような環のクラスを同定すること。
• 特にイデムポテンスや単位根との関連において、強く $g(x)$-クリーン環の構造的性質を探索すること。

提案手法

• 各元 $r = s + u$ として分解する方法により、$g(s) = 0$、$u$ が単元であり、$s$ と $u$ が可換であるような強く $g(x)$-クリーン環を定義する。
• 環の準同型と上準同型を用いて、$g(x)$-クリーン性を異なる環間で移動させる。
• 補題 4.6 を用いてイデムポテンスと単元の分解理論を応用し、$R$ 内の元を分析する。
• $g(x) = (x-a)(x-b)$ である二次多項式に対して、$b-a$ が単位であるとき、強く $g(x)$-クリーン性と強くクリーン性が同値であることを確立する。
• $C(X)$、$C^*(X)$、局所環上の行列環を分析し、$g(x) = x^2 - nx$ の場合に強く $g(x)$-クリーンであることを示す。
• 多項式 $g(x) = ax^{2n} \pm bx$ に対して、$-x$ の代入と単元の閉包性を用いて、強くクリーン性の対称性を証明する。

実験結果

リサーチクエスチョン

• RQ1 強く $g(x)$-クリーン環が同時に強くクリーンである条件は何か、逆に強くクリーン性が強く $g(x)$-クリーン性を含む条件は何か？
• RQ2 二次多項式 $g(x) = (x-a)(x-b)$ に対して、強く $g(x)$-クリーン性が強くクリーン性を含むのはいつか？
• RQ3 単元で生成されるどの環が $g(x) = x^2 - nx$ に対して強く $g(x)$-クリーンか？
• RQ4 イデムポテンスや単位根といった構造的性質は、行列環における強く $g(x)$-クリーン性とどのように関係するか？
• RQ5 強く $(x^{2n+1} - x)$-クリーン性と強く $(x^{2n+1} + x)$-クリーン性は同値か？

主な発見

• 強く $g(x)$-クリーン性と強くクリーン性が同値であるのは、$g(x) = (x-a)(x-b)$ であるとき、かつ $b-a$ が $R$ 内の単位であるときに限る。これは、同値性の正確な代数的条件を確立する。
• 環 $\mathbb{Z}_{(7)}C_3$ は強く $(x^6 - 1)$-クリーンかつ強く $(x^4 - x)$-クリーンであるが、強くクリーンではない。これは、強く $g(x)$-クリーン性が強くクリーン性を含まないことを示している。
• 任意の $n \in \mathbb{N}$ に対して、$X$ が強く零次元的であれば、$C(X)$ と $C^*(X)$ は強く $(x^2 - nx)$-クリーンであり、$X$ が $P$-空間であれば、$\mathbb{M}_k(C(X))$ も強く $(x^2 - nx)$-クリーンである。
• 局所アートン環上の行列環、例えば $\mathbb{M}_k(E)$（$E = \mathrm{End}_F(V)$）は、$\mathrm{char}(F) \nmid n$ のとき強く $(x^2 - nx)$-クリーンであり、すべての元が可換な単元と 1 の平方根の和として表せる。
• $R$ が強く $(x^2 + x + 1)$-クリーンであるならば、$R = U_2(R)$ であり、$R$ は強く $(x^4 - x)$-クリーンである。さらに、すべての元は可換な単元と 1 の立方根の和として表せる。
• $n \geq 2$ のとき、強く $(x^n - x)$-クリーン環では、すべての元は、可換な $(n-1)$-乗根の単位と単元の和として表せる、あるいは左および右の両方のイデムポテンスを含む非自明なイデムポテンスを含む左イデアルと右イデアルが存在する。