[论文解读] 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

一句话总结

本文完全刻画了在一般局部环上，2×2矩阵环何时为强清一的，证明了局部环 R 使得 M₂(R) 为强清一当且仅当 M₂(R) 中每个矩阵要么可逆，要么其补矩阵 (I−A) 可逆，要么相似于一个块对角矩阵，其元素属于 Jacobson 平坦。关键贡献是利用矩阵分解和局部环上的多项式根条件，实现了完整的结构刻画。

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.

研究动机与目标

• 确定在何种条件下，一般局部环上的 2×2 矩阵环为强清一。
• 将先前关于交换局部环的结果推广至非交换情形。
• 利用自同态分解和矩阵相似性，对局部环上的强清一 2×2 矩阵提供完整的结构刻画。
• 以 R 上的多项式因式分解为条件，建立 M₂(R) 强 π-正则性的判别准则。
• 解决长期存在的问题：何时 M₂(R) 对于非交换局部环 R 为强清一。

提出的方法

• 使用 Nicholson 的分解定理分析 R² 上的自同态，将其分解为直和分量，使得自同态在其中作用为同构或幂零。
• 在 Jacobson 平坦模下应用 Nakayama 引理和秩-零度定理，将剩余域上的基提升至环 R。
• 利用矩阵相似性，将任意强清一矩阵变换为元素属于 J(R)（Jacobson 平坦）的块对角形式。
• 分析二次多项式 t² − ut − w 的伴侣矩阵，通过左根和右根条件判断强 π-正则性。
• 利用单位元和幂零元模 J(R) 的提升性质，将问题约化为在 R 中判断根的存在性。
• 建立 M₂(R) 强 π-正则性与 t² − ut − w 因式分解中存在一个单位根和一个幂零根之间的等价关系，其中对所有 u ∈ U(R)，w ∈ J(R) 成立。

实验结果

研究问题

• RQ1 对于哪些一般局部环 R，矩阵环 M₂(R) 为强清一？
• RQ2 在局部环 R 上，2×2 矩阵的何种结构条件可确保其为强清一？
• RQ3 R[t] 中特征多项式 t² − ut − w 的因式分解如何与矩阵的强 π-正则性相关？
• RQ4 M₂(R) 的强清一性能否完全以 R 的单位元和 Jacobson 平坦来刻画？
• 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 中检查一族二次多项式根的存在性。