[論文レビュー] Strongly Clean Matrix Rings Over Commutative Rings

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

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

ひとこと要約

この論文は、SRC因数分解を可換環へ一般化し、そのような環上の行列環が強い清掃性を示す条件を特徴づける。可換 $ n $-SRC環が、$ \mathbb{M}_n(R $ が強い清掃性をもつ可換局所環であることを示し、さらに $ X $ が $ \mathbb{C} $ に関してP空間であるとき、$ \mathbb{M}_n(C(X,\mathbb{C})) $ が強い $ \pi $-正則（したがって強い清掃性）であることを示している。

ABSTRACT

A ring $R$ is called strongly clean if every element of $R$ is the sum of a unit and an idempotent that commute. By { m SRC} factorization, Borooah, Diesl, and Dorsey \cite{BDD051} completely determined when ${\mathbb M}_n(R)$ over a commutative local ring $R$ is strongly clean. We generalize the notion of { m SRC} factorization to commutative rings, prove that commutative $n$-{ m SRC} rings $(n\ge 2)$ are precisely the commutative local rings over which ${\mathbb M}_n(R)$ is strongly clean, and characterize strong cleanness of matrices over commutative projective-free rings having { m ULP}. The strongly $π$-regular property (hence, strongly clean property) of ${\mathbb M}_n(C(X,{\mathbb C}))$ with $X$ a { m P}-space relative to ${\mathbb C}$ is also obtained where $C(X,{\mathbb C})$ is the ring of complex valued continuous functions.

研究の動機と目的

• 可換局所環から一般可換環へのSRC因数分解理論の拡張。
• 特に、ULPを持つ射影的自由環を含む可換環 $ R $ に対して、$ \mathbb{M}_n(R) $ が強い清掃性をもつ条件の特徴づけ。
• $ X $ が $ \mathbb{C} $ に関してP空間であるとき、$ C(X,\mathbb{C}) $ 上の行列環の強い $ \pi $-正則性の確立。
• 特に関数環の設定において、強い清掃性環上の行列環が強い清掃性を保つ条件の解明。

提案手法

• 単位元の条件を満たす定数項および最高次係数をもつモニック多項式因数分解を用いて、$ n $-SRC環を定義することで、可換環へのSRC因数分解の一般化。
• Quillen-Suslinの定理とULPをもつ射影的自由環の性質を用いて、単一行列の強い清掃性を分析。
• すべての零集合が閉開であり、すべてのイデアルが $ z $-イデアルであることを示すことにより、$ X $ が $ \mathbb{C} $ に関してP空間であるとき、$ C(X,\mathbb{C}) $ が強い正則環であることを証明。
• 強い正則環の有限拡張は強い $ \pi $-正則であるという事実を活用し、これを有限拡張としての行列環に適用。
• DieslおよびDorseyによる洗練されたGCD条件とイデアル構造に関する結果を応用し、特徴づけ定理を強化。
• P空間および零集合の位相的性質を用いて、$ z(f) = z(f^n) $ を示し、これにより極小イデアル構造と強い正則性を導出。

実験結果

リサーチクエスチョン

• RQ1 $ \mathbb{M}_n(R) $ が可換環 $ R $ に対して強い清掃性をもつのはいつか、一般化されたSRC因数分解を用いてどのように特徴づけられるか。
• RQ2 可換環 $ R $ にどのような条件を課すと、$ \mathbb{M}_n(R) $ が強い $ \pi $-正則性をもつようになるか、特に $ R = C(X,\mathbb{C}) $ の場合に。
• RQ3 $ X $ が $ \mathbb{C} $ に関してP空間であるとき、$ C(X,\mathbb{C}) $ の環構造はどのように変化し、これによりその上の行列環にどのような影響が生じるか。
• RQ4 射影的自由環にULPをもつ環上での単一行列の強い清掃性は、全行列環が強い清掃性をもたない場合であっても完全に特徴づけられるか。
• RQ5 $ \mathbb{C} $ に関してP空間であるという位相的性質と、$ C(X,\mathbb{C}) $ における強い $ \pi $-正則性という代数的性質との間にはどのような関係があるか。

主な発見

• 可換 $ n $-SRC環は、ちょうど $ \mathbb{M}_n(R) $ が強い清掃性をもつ可換局所環 $ R $ である。
• $ X $ が $ \mathbb{C} $ に関してP空間であるとき、$ C(X,\mathbb{C}) $ は強い正則環である。これは、すべての元 $ a \in C(X,\mathbb{C}) $ に対して、ある $ a_0 \in C(X,\mathbb{C}) $ が存在して $ a = a^2 a_0 $ を満たすことを意味する。
• 任意の強い正則環の有限拡張は強い $ \pi $-正則であるから、$ X $ が $ \mathbb{C} $-P空間であるとき、$ \mathbb{M}_n(C(X,\mathbb{C})) $ は強い $ \pi $-正則である。
• その結果、任意の $ \mathbb{C} $ に関してP空間である $ X $ に対して、$ \mathbb{M}_n(C(X,\mathbb{C})) $ は強い清掃性をもつ。離散空間を含む。
• ULPをもつ可換射影的自由環のクラスは、イデアル論的およびGCDに基づく条件を用いて、強い清掃性行列の完全な特徴づけを許容する。
• 本研究は、局所環および関数環上の $ \mathbb{M}_n(R) $ に関する先行研究を拡張し、DieslおよびDorseyによる洗練されたGCDおよび因数分解性質に関する貢献を統合している。