[论文解读] 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-干净的充分必要条件是：其属于Jacobson根，其与单位矩阵的差属于根，或其相似于一个特定的Jordan型矩阵，其特征根属于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矩阵：属于J(M₂(R))，或I₂−A ∈ J(M₂(R))，或相似于特定的Jordan型矩阵。
• 利用2-投影自由环的性质，包括平凡幂等元与2-IBN条件，以简化矩阵结构。
• 利用wb-环（弱漂白环）的概念，确保某些交换子映射的满射性，从而实现干净性向形式幂级数环的提升。
• 利用如下事实：若R是2-投影自由的wb-环，则A(x) ∈ M₂(R[[x]])是强J-干净的当且仅当A(0) ∈ M₂(R)是强J-干净的。
• 利用J-最优干净元素在形式幂级数上的提升，依赖于ℓₐ − rᵦ映射的满射性。

实验结果

研究问题

• RQ1 在2-投影自由环上，2×2矩阵何时是强J-干净的？
• RQ2 何种条件可确保幂级数环R[[x]]上的矩阵是强J-干净的？
• RQ3 常数项A(0)的干净性与A(x) ∈ M₂(R[[x]])的干净性有何关联？
• RQ4 wb-环条件在将强J-干净性提升至形式幂级数中起何作用？
• RQ5 强J-干净矩阵的结构能否在局部环之外被完全分类？

主要发现

• 设R为2-投影自由环，则2×2矩阵A在R上是强J-干净的当且仅当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)中。
• 若R是2-投影自由的wb-环，则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ᵦ的满射性提升至形式幂级数。
• 证明依赖于ℓₐ−rᵦ与ℓᵦ−rₐ在α∈J(R)，β∈1+J(R)时的满射性，该性质在wb-环中成立，包括交换环及Jacobson根幂零的环。