[論文レビュー] Strongly J-clean matrices over 2-projective-free rings

Marjan Sheibani, Hunyin Chen+1 more|arXiv (Cornell University)|Sep 13, 2014

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

ひとこと要約

この論文は、2-プロジェクト型自由環上の強J-クリーンな2×2行列を特徴づけ、その行列が強J-クリーンであるための必要十分条件を示している。すなわち、行列がジャコブソン根基に属するか、単位行列との差が根基に属するか、あるいはJ(R)の元と1+J(R)の元を含む特定のジョルダン型行列に同値である場合に限る。この結果は、形式的べき級数環に対しても拡張可能であり、Rが2-プロジェクト型自由wb環であれば、R[[x]]上の行列が強J-クリーンであることと、その定数項が強J-クリーンであることは同値である。

ABSTRACT

An element $a$ in a ring $R$ is strongly J-clean if it is the sum of an idempotent and an element in the Jacobson radical that commutes. We characterize the strongly J-clean $2 imes 2$ matrices over 2-projective-free non-commutative rings.

研究の動機と目的

• 非可換な2-プロジェクト型自由環上の強J-クリーンな2×2行列を特徴づけること。
• 局域環からより広い環のクラスへと既知の強J-クリーン性の結果を拡張すること。
• このような環のべき級数拡張における強J-クリーン性の性質を調査すること。
• R[[x]]上の行列の強J-クリーン性の基準を、その定数項を用いて確立すること。

提案手法

• 強J-クリーン元の定義を用いる：a = e + j で、e は冪等元、j ∈ J(R) かつ ej = je となるもの。
• 強J-クリーンな2×2行列を、三つの互いに排他的なケースに分類する：M₂(R)の根基に属するか、I₂−A が根基に属するか、あるいは特定のジョルダン型行列に同値であるか。
• 2-プロジェクト型自由環の性質（自明な冪等元、2-IBN条件）を用いて、行列の構造を簡略化する。
• wb環（弱く洗浄された環）の概念を用い、特定の交換子写像の上への性質を保証することで、べき級数環へのクリーン性の持ち上げを可能にする。
• 2-プロジェクト型自由wb環Rに対して、A(x) ∈ M₂(R[[x]]) が強J-クリーンであることと、A(0) ∈ M₂(R) が強J-クリーンであることは同値であることを用いる。
• ℓₐ − rᵦ 写像の上への性質に依拠して、J-最適クリーン元のべき級数への持ち上げを実現する。

実験結果

リサーチクエスチョン

• RQ1 2-プロジェクト型自由環上の2×2行列が強J-クリーンであるのはいつか？
• RQ2 べき級数環R[[x]]上の行列が強J-クリーンであるための条件は何か？
• RQ3 定数項A(0)のクリーン性と、A(x) ∈ M₂(R[[x]]) のクリーン性の関係は何か？
• RQ4 wb環条件が、べき級数環への強J-クリーン性の持ち上げに果たす役割は何か？
• RQ5 局域環を超えて、強J-クリーン行列の構造を完全に分類できるか？

主な発見

• 2-プロジェクト型自由環R上の2×2行列Aは、A ∈ J(M₂(R)) または I₂−A ∈ J(M₂(R)) または A が (0 λ; 1 μ) の形の行列に同値で、λ ∈ J(R)、μ ∈ 1+J(R) かつ 二次方程式 x²−xμ−λ=0 がJ(R)に一つの解、1+J(R)に一つの解をもつとき、かつそのときに限り強J-クリーンである。
• 2-プロジェクト型自由wb環Rに対して、A(x) ∈ M₂(R[[x]]) が強J-クリーンであることと、その定数項A(0) ∈ M₂(R) が強J-クリーンであることは同値である。
• Rが2-プロジェクト型自由環でJ(R)が冪零であれば、Rはwb環であり、R[[x]]に対しても持ち上げ結果が成り立つ。
• PSF環（射影的自由環）は2-プロジェクト型自由環かつwb環であるため、このような環に対してはM₂(R[[x]])に対しても持ち上げ結果が適用可能である。
• M₂(R)における強J-クリーン性は、J-最適クリーン構造を含み、これはℓₐ−rᵦ写像の上への性質によりべき級数環に持ち上げられる。
• 証明は、α∈J(R)、β∈1+J(R) に対してℓₐ−rᵦ および ℓᵦ−rₐ の上への性質に依拠しており、これはwb環（可換環やジャコブソン根基が冪零である環を含む）で成り立つ。