[论文解读] Strongly J-Clean Rings with Involutions

Huanyin Chen, Abdullah Harmancı+1 more|arXiv (Cornell University)|Jul 2, 2012

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

一句话总结

本文引入并表征了带有对合的强 $J$-干净环，证明此类环等价于唯一强 $*$-干净环——其中每个元素唯一地分解为一个投影与一个与之可交换的可逆元之和。主要贡献在于确立了带对合的强 $J$-干净性与唯一强 $*$-干净性之间的等价性，弥合了非对合情形下的结构空白，并在对合下统一了关键的环论性质。

ABSTRACT

A ring with an involution * is called strongly $J$-*-clean if every element is a sum of a projection and an element of the Jacobson radical that commute. In this article, we prove several results characterizing this class of rings. It is shown that a *-ring $R$ is strongly $J$-*-clean, if and only if $R$ is uniquely clean and strongly *-clean, if and only if $R$ is uniquely strongly *-clean, that is, for any $a\in R$, there exists a unique projection $e\in R$ such that $a-e$ is invertible and $ae=ea$.

研究动机与目标

• 定义并研究配备对合的强 $J$-干净环，将强干净环与 $J$-干净环的理论扩展至 $*$-环框架。
• 通过在对合下证明其等价性，弥合强 $J$-干净环与唯一强 $*$-干净环之间的结构空白。
• 通过雅可比森根与投影唯一性条件，表征强 $J$-干净 $*$-环。
• 探讨强 $J$-干净性在形式幂级数环、群环及多项式商环等构造下的保持性。

提出的方法

• 引入强 $J$-$*$-干净环的概念：每个元素均可表示为投影与雅可比森根中元素之和，且两部分可交换。
• 利用强 $J$-干净环与强 $*$-干净环之间的等价性，推导对合下的结构条件。
• 通过分解中投影的唯一性，证明其与唯一强 $*$-干净环的等价性。
• 利用 $2 \in J(R)$ 以及在阿贝尔 $*$-环中幂等元即为投影的事实，推导根与交换性条件。
• 利用模雅可比森根的提升性质，在形式幂级数环与群环中构造分解。
• 证明强 $J$-干净性在 $R[[x]]$、$R[[x]]/(x^n)$ 以及局部有限 $2$-群的群环 $RG$ 下的保持性。

实验结果

研究问题

• RQ1 是否存在一个统一强 $*$-干净性与唯一投影分解的强 $J$-$*$-干净环的表征？
• RQ2 对合的存在是否强制使强 $J$-干净性与唯一强 $*$-干净性一致，而不同于非对合情形？
• RQ3 在何种 $R$ 与 $G$ 的条件下，群环 $RG$ 是强 $J$-$*$-干净的？
• RQ4 在强 $J$-$*$-干净环中，雅可比森根如何与对合相互作用？
• RQ5 哪些环构造保持强 $J$-$*$-干净性？其必要与充分条件是什么？

主要发现

• 当且仅当环 $R$ 是唯一强 $*$-干净环时，$R$ 是强 $J$-$*$-干净环，建立了非对合情形下所不存在的直接等价性。
• 强 $J$-$*$-干净环是阿贝尔环，所有幂等元均为投影，且 $2 \in J(R)$。
• 雅可比森根满足 $J(R) = \{x \in R \mid 1 - x \text{ 是可逆元}\}$，以可逆性表征根。
• 形式幂级数环 $R[[x]]$ 是强 $J$-$*$-干净环，当且仅当 $R$ 是强 $J$-$*$-干净环。
• 群环 $RG$ 是强 $J$-$*$-干净环，当且仅当 $R$ 是强 $J$-$*$-干净环且 $G$ 是 $2$-群。
• 环 $R[x]/(x^2)$ 是强 $J$-$*$-干净环，当且仅当 $R$ 是强 $J$-$*$-干净环，表明其在二次多项式商环下保持不变。