[论文解读] 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分解理论从交换局部环推广至一般交换环。
• 刻画当交换环 $ R $ 满足何种条件时 $ \mathbb{M}_n(R) $ 为强清，特别是对具有ULP性质的投影自由环。
• 在 $ X $ 是相对于 $ \mathbb{C} $ 的P-空间时，建立 $ C(X,\mathbb{C}) $ 上矩阵环的强 $ \pi $-正则性。
• 解决强清环上矩阵环是否仍为强清的问题，特别是在函数环设定下。

提出的方法

• 通过定义常系数与首一系数满足特定单位条件的首一多项式分解，将SRC分解推广至交换环，引入 $ n $-SRC 环的概念。
• 利用Quillen-Suslin定理及具有ULP性质的投影自由环的性质，分析单个矩阵的强清性。
• 通过证明所有零集均为既开又闭且每个理想都是 $ z $-理想，表明当 $ X $ 是相对于 $ \mathbb{C} $ 的P-空间时，$ C(X,\mathbb{C}) $ 是强正则环。
• 利用强正则环的有限扩张仍为强 $ \pi $-正则的性质，并将此应用于矩阵环作为有限扩张的情形。
• 应用Diesl与Dorsey关于精化GCD条件与理想结构的结果，强化刻画定理。
• 利用P-空间与零集的拓扑性质，证明 $ z(f) = z(f^n) $，从而推出理想根结构与强正则性。

实验结果

研究问题

• RQ1 对于交换环 $ R $，何时 $ \mathbb{M}_n(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 $ 满足 $ a = a^2 a_0 $，其中 $ a_0 \in C(X,\mathbb{C}) $。
• 每个强正则环的有限扩张都是强 $ \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与因式分解性质方面的贡献。