[论文解读] Weakly tripotent rings

Simion Breaz, Andrada Cîmpean|arXiv (Cornell University)|Apr 5, 2017

Rings, Modules, and Algebras参考文献 5被引用 4

一句话总结

本文引入并表征了弱三幂等环——即对每个元素 x，x 或 1+x 至少有一个是三幂等的（满足 x³ = x）的环。主要贡献是将交换弱三幂等环的结构表征为布尔环、特征为 3 的三幂等环以及无幂等元的弱三幂等环的乘积的子环。该类严格包含每个元素均为两个可交换幂等元之和或差的环。

ABSTRACT

We study the class of rings $R$ with the property that for $x\in R$ at least one of the elements $x$ and $1+x$ are tripotent.

研究动机与目标

• 定义并研究一类新环——弱三幂等环，其中对每个元素 x，x 或 1+x 至少有一个是三幂等的。
• 研究弱三幂等环的结构性质，特别是交换情形下的性质。
• 阐明弱三幂等环与其他广义环类（如每个元素均为两个可交换幂等元之和或差的环）之间的关系。
• 确定弱三幂等环类是否严格扩展了具有三幂等或幂等恒等式的已知环类。
• 通过子直积和基于特征的分量，提供交换弱三幂等环的分解定理。

提出的方法

• 通过条件定义弱三幂等环：对每个 x ∈ R，要么 x³ = x，要么 (1+x)³ = 1+x。
• 使用环论工具，包括雅可布森根、幂等元分解以及祖尔的引理，分析子直分解。
• 应用通过子直积表征交换环的结构定理，将弱三幂等环嵌入到更简单的分量乘积中。
• 表征各分量：特征为 2 的布尔环、特征为 3 的三幂等环，以及无幂等元的弱三幂等环。
• 使用同态像和子环证明封闭性质，并推导出必要条件如 24 = 0。
• 构造反例（例如 ℤ₈）以表明弱三幂等环类严格扩展了可交换幂等元之和或差的环类。

实验结果

研究问题

• RQ1 交换弱三幂等环的结构表征是什么？
• RQ2 弱三幂举环类与每个元素均为两个可交换幂等元之和或差的环类之间有何关系？
• RQ3 弱三幂等环在直积下是否封闭？其特征约束是什么？
• RQ4 弱三幂等环能否分解为布尔环或三幂等环等更简单的分量？
• RQ5 弱三幂等环类是否严格大于每个元素为可交换幂等元之和或差的环类？

主要发现

• 交换环 R 是弱三幂等的，当且仅当它可作为子环嵌入到乘积 R₀ × R₁ × R₂ 中，其中 R₀ 是无非平凡幂等元的弱三幂等环，R₁ 是布尔环，R₂ 是特征为 3 的三幂等环。
• 弱三幂等环类严格包含每个元素均为两个可交换幂等元之和或差的环类，如 ℤ₈ 所示。
• 在特征为 3 的情形下，弱三幂等环恰好是三幂等环，因此同构于 ℤ₃ 的子直积。
• 每个弱三幂等环都满足 24 = 0，这意味着存在分解 R = R₁ × R₂，使得 8R₁ = 0 且 3R₂ = 0。
• 弱三幂等环类对子环和同态像封闭，但对任意直积不封闭。
• 存在弱三幂等环（例如 ℤ₈），其不能由可交换幂等元之和或差生成，从而确认了此类环类在弱三幂等环类中的严格包含关系。