[论文解读] Rings in which every nilpotent is central

Burcu Üngör, Sait Halıcıoğlu+2 more|arXiv (Cornell University)|Dec 14, 2013

Rings, Modules, and Algebras参考文献 9被引用 7

一句话总结

本文引入并研究了'中心化约化环'（central reduced rings），这是约化环的一种推广，其中每个幂等元都是中心元。研究证明，一个环是中心化约化环当且仅当其多项式、形式幂级数和洛朗多项式扩张也均为中心化约化环，并证明了中心化约化环的平凡扩张是中心阿门达里斯环（central Armendariz），从而扩展了关于幂等元与环结构的已知结果。

ABSTRACT

In this paper, we introduce a class of rings in which every nilpotent element is central. This class of rings generalizes so-called reduced rings. A ring $R$ is called {\it central reduced} if every nilpotent element of $R$ is central. For a ring $R$, we prove that $R$ is central reduced if and only if $R[x_1,x_2,\ldots,x_n]$ is central reduced if and only if $R[[x_1,x_2,\ldots,x_n]]$ is central reduced if and only if $R[x_1,x_1^{-1},x_2,x_2^{-1},\ldots,x_n,x_n^{-1}]$ is central reduced. Moreover, if $R$ is a central reduced ring, then the trivial extension $T(R,R)$ is central Armendariz.

研究动机与目标

• 定义并刻画一类新环——中心化约化环，其中所有幂等元均为中心元，从而推广约化环的概念。
• 研究中心化约化性质在多项式、形式幂级数和洛朗多项式环等各类环扩张下的稳定性。
• 探讨中心化约化环与其他环论性质（如阿贝尔性、2-原初性或主投射性）之间的联系。
• 建立中心化约化环成为约化环的条件，特别是在半素环或主投射环设定下。
• 证明中心化约化环的平凡扩张是中心阿门达里斯环，从而扩展中心阿门达里斯环的类。

提出的方法

• 将中心化约化环定义为所有幂等元均与环中所有元素可交换的环。
• 在多项式与形式幂级数环中，通过总次数的归纳法证明：若基环为中心化约化环，则其扩张中的幂等元仍保持中心性。
• 利用主投射环与主拟巴赫环中零化子与幂等元的性质，推导出等价关系与蕴含关系。
• 分析平凡扩张 $ T(R,R) $ 的结构，证明中心化约化性质蕴含中心阿门达里斯条件。
• 利用商环中幂等元的中心性保持性（若理想为幂零且原环为中心化约化环）进行推导。
• 借助矩阵环中中心幂等元的行为特性，证明中心化约化环在平凡扩张下保持封闭性。

实验结果

研究问题

• RQ1 在何种条件下，中心化约化环也是约化环，特别是在半素环或主投射环中？
• RQ2 中心化约化性质在多项式、形式幂级数和洛朗多项式扩张下如何表现？
• RQ3 中心化约化环的平凡扩张 $ T(R,R) $ 是否必然为中央阿门达里斯环？
• RQ4 中心化约化环与其他环类（如阿贝尔环、2-原初环或中心半交换环）之间存在何种关系？
• RQ5 中心化约化性质是否能在同态像下保持？若能，需满足何种条件？

主要发现

• 环 $ R $ 是中心化约化环当且仅当多项式环 $ R[x_1, \tdots, x_n] $、形式幂级数环 $ R[[x_1, \tdots, x_n]] $ 以及洛朗多项式环 $ R[x_1, x_1^{-1}, \tdots, x_n, x_n^{-1}] $ 均为中心化约化环。
• 若 $ R $ 是右（或左）主投射环，则 $ R $ 为中心化约化环当且仅当 $ R[x]/(x^n) $ 为中央阿门达里斯环，其中 $ n \geq 2 $。
• 中心化约化环 $ R $ 的平凡扩张 $ T(R,R) $ 为中心阿门达里斯环，从而扩展了中心阿门达里斯环的类。
• 每个中心化约化环均为弱半交换、中心半交换、2-原初、阿贝尔且直接有限。
• 若 $ I $ 是中心化约化环 $ R $ 中的幂零理想，则商环 $ R/I $ 也为中心化约化环。
• 存在阿贝尔环但非中心化约化环，表明中心化约化环类严格介于约化环与阿贝尔环之间。