[論文レビュー] Strong cleanness of the $2 imes 2$ matrix ring over a general local ring

Xiande Yang, Yiqiang Zhou|ArXiv.org|May 3, 2008

Rings, Modules, and Algebras被引用数 9

ひとこと要約

この論文は、一般の局所環 R に対して、2×2 行列環 M₂(R) が強くクリーンであるための完全な特徴付けを提供する。M₂(R) が強くクリーンであるための必要十分条件は、M₂(R) の任意の行列が、可逆、(I−A) が可逆、または J(R)（ジャコブソン根基）の元を成分とするブロック対角行列に同値である場合に限ることを証明している。主な貢献は、局所環上での行列分解と多項式の根条件を用いた完全な構造的特徴付けである。

ABSTRACT

A ring $R$ is called strongly clean if every element of $R$ is the sum of a unit and an idempotent that commute with each other. A recent result of Borooah, Diesl and Dorsey \cite{BDD05a} completely characterized the commutative local rings $R$ for which ${\mathbb M}_n(R)$ is strongly clean. For a general local ring $R$ and $n>1$, however, it is unknown when the matrix ring ${\mathbb M}_n(R)$ is strongly clean. Here we completely determine the local rings $R$ for which ${\mathbb M}_2(R)$ is strongly clean.

研究の動機と目的

• 一般の局所環 R に対して、2×2 行列環 M₂(R) が強くクリーンであるための条件を特定すること。
• 従来の可換局所環に関する結果を非可換の場合に拡張すること。
• 自己準同型分解と行列の同値変換を用いて、局所環上での強くクリーンな 2×2 行列の完全な構造的特徴付けを提供すること。
• M₂(R) の強 π-正則性の基準を、R 上の多項式因数分解の観点から確立すること。
• 非可換局所環 R に対して M₂(R) が強くクリーンであるかどうかという長年の未解決問題を解消すること。

提案手法

• ニコルソンの分解定理を用いて、R² の自己準同型を、自己同型として作用する部分空間と、冪零的に作用する部分空間の直和に分解する。
• ジャコブソン根基を法としてのネーアヤマの補題と階数・核の次元定理を適用し、剰余体から R への基底の持ち上げを実行する。
• 行列の同値変換を用いて、任意の強くクリーンな行列を、J(R) の元を成分とするブロック対角行列の形に変形する。
• 多項式 t² − ut − w の同伴行列を分析し、左および右の根条件を用いて強 π-正則性を特定する。
• J(R) を法としての単元と冪零元の持ち上げ性質を用いて、問題を R 上での根の存在性に還元する。
• M₂(R) の強 π-正則性と、すべての u ∈ U(R)、w ∈ J(R) に対して多項式 t² − ut − w が、U(R) に一つの根、J(R) に一つの根（冪零）をもつことの同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの一般の局所環 R に対して、行列環 M₂(R) が強くクリーンか？
• RQ2 局所環 R 上の 2×2 行列が強くクリーンであるための構造的条件は何か？
• RQ3 多項式 t² − ut − w の R[t] における因数分解は、行列の強 π-正則性とどのように関係するか？
• RQ4 M₂(R) の強クリーン性は、R の単元とジャコブソン根基のみを用いて完全に特徴づけられるか？
• RQ5 局所環 R に対して、M₂(R) の強クリーン性と強 π-正則性の関係は何か？

主な発見

• 局所環 R に対して M₂(R) が強くクリーンであるための必要十分条件は、M₂(R) の任意の行列が、可逆、(I−A) が可逆、または J(R) の元を成分とするブロック対角行列に同値である場合に限る。
• 任意の u ∈ U(R) および w ∈ J(R) に対して、多項式 t² − ut − w が U(R) に一つの根、J(R) に一つの根（冪零）をもつことと、その同伴行列が強 π-正則であることは同値である。
• 行列環 M₂(R) が強 π-正則であるための必要十分条件は、M₂(J(R)) が冪零であり、かつすべての u ∈ U(R)、w ∈ J(R) に対して多項式 t² − ut − w が左根として一つの U(R) の元と一つの J(R) の元をもつことである。
• 右根についても同様の条件が成り立ち、左根条件と右根条件が強 π-正則性の特徴付けにおいて同値であることが示された。
• 本論文は、非可換局所環上での M₂(R) の強クリーン性問題に対して完全な解決を提供し、従来の可換局所環に限った結果を拡張した。
• 特徴付けは有効的かつ検証可能であり、M₂(R) の強クリーン性の問題を、一連の二次多項式の R 上での根の存在性の確認に還元する。