Rings with Clean-Like Properties: Endomorphism, Matrix and Structural Theorems

技术摘要：“具有类洁净性质的环：自同态、矩阵与结构定理”

问题陈述
本文研究了三种不同代数结构中的三种特定“类洁净”（clean-like）性质：任意环、阿贝尔群的自同态环以及有限域上的矩阵环。作者旨在刻画以下情形：

1. 一个任意环何时是弱强 $k$-幂零洁净（weakly strongly $k$-nil-clean）的（对于固定的自然数 $k \geq 2$）。
2. 一个有限域上的矩阵环何时是拟 2-幂零洁净（quasi 2-nil-clean）或拟 3-幂零洁净（quasi 3-nil-clean）的。
3. 一个阿贝尔群的自同态环何时是弱洁净（weakly clean）的。

这些性质泛化了经典的洁净环（单位与幂等元之和）和幂零洁净环（单位与幂零元，或幂等元与幂零元之和）的概念。本研究旨在完善 Goldsmith-Vámos、Breaz 等人、Ko¸san-Zhou 以及 Su 等人在文献中发现的现有特征化，解决这些环分类中的空白，特别是关于无挠群和特定矩阵阶数的问题。

方法论
作者结合了环论技术、阿贝尔群的结构分析以及有限域上的线性代数。

• 结构分解： 对于阿贝尔群，作者利用将群分解为循环分量和挠完全分量的技术。他们通过检查 Jacobson 根 $J(E(G))$、Pierce 根 $H(G)$ 以及单位和幂等元在直和下的行为来分析自同态环 $E(G)$。
• 矩阵分析： 对于矩阵环 $M_n(F)$，方法论涉及分析矩阵的规范型（rational canonical form）。作者研究了矩阵 $A$ 及其拟幂等（quasi-idempotent）或三幂等（tripotent）分量之间的特征值、迹以及共同特征向量的存在性。他们利用完美域和特征 $p$ 的性质来推导对域 $F$ 和矩阵规模 $n$ 的约束。
• 交换代数与幂等元： 对弱强 $k$-幂零洁净环的研究依赖于幂等元与幂零元的交换性。作者使用中国剩余定理和强 $\pi$-正则环的性质，将环分解为简单的分量有限直积。

主要贡献与结果

1. 阿贝尔群的弱洁净自同态环（第 2 节）

• 直和： 作者确立了弱洁净群与洁净群的直和是弱洁净的。然而，两个弱洁净群的直和不一定是弱洁净的。
• 挠群： 文中证明了可数弱洁净 $p$-群必须是有界的。此外，一个全投影弱洁净 $p$-群必须是有界的。挠完全 $p$-群的直和是弱洁净的，当且仅当它是挠完全的。
• 无挠群： 本文为还原的完全可分解无挠群提供了特征化。群 $G$ 是弱洁净的，当且仅当 $G = G_1 \oplus G_2$，其中 $G_1$ 是一个完全可分解洁净群，而 $G_2$ 是一个秩 $\leq 1$ 的弱洁净群。
• 2-初等情形： 一个重要的结果是证明了弱洁净 2-群必然是洁净的。作者推测这对于 $p \neq 2$ 的 $p$-群（特别是 $p=3$）可能不成立，尽管正式的构造仍难以实现。

2. 有限域上的拟幂零洁净矩阵环（第 3 节）
作者引入并分析了拟 $q$-幂零洁净（quasi $q$-nil-clean）环（拟 $q$-幂等元与幂零元之和）以及 $\lambda$-$q$-幂零洁净环。

• 2 阶矩阵：
  • 对于奇数 $q \geq 3$，$M_2(F)$ 总是 $\lambda$-$q$-幂零洁净的。
  • 对于偶数 $q \geq 2$，$M_2(F)$ 是拟 $q$-幂零洁净的，当且仅当 $F$ 是特征为 2 的完美域。
• 阶数 $n > 2$ 的矩阵：
  • 拟 2-幂零洁净： $M_n(F)$ 是拟 2-幂零洁净的，当且仅当 $F \cong \mathbb{F}_2$。
  • 拟 3-幂零洁净： $M_n(F)$ 是拟 3-幂零洁净的，当且仅当 $F \cong \mathbb{F}_2$ 或 $F \cong \mathbb{F}_3$。
• 一般 $q > 3$： 作者证明，如果对于足够大的 $n$，$M_n(F)$ 是拟 $q$-幂零洁净的，那么 $F$ 必须是一个有限域。具体而言，对于 $q=4$ 且 $n \geq 7$， $M_n(F)$ 是拟 4-幂零洁净的，当且仅当 $F \cong \mathbb{F}_2$ 或 $F \cong \mathbb{F}_4$。

3. 弱强 $k$-幂零洁净环（第 4 节）
作者定义环 $R$ 为弱强 $k$-幂零洁净，如果每个元素都是一个幂零元与 $k$ 个交换幂等元的带符号和。

• 结构定理： 若 $R$ 是弱强 $k$-幂零洁净的，则 $R$ 是强 $\pi$-正则的，且同构于一系列环 $S$ 的有限直积。对于每个 $S$：
  • $J(S)$ 是幂零理想。
  • 每个右原始理想都是极大理想，其商环同构于 $\mathbb{F}_p$，其中 $p \leq 2k + 1$。
  • $S/J(S)$ 是 $\mathbb{F}_p$ 的子直积。
• 特定情形：
  • $k=2$： $R$ 是弱强 2-幂零洁净的，当且仅当 $R \cong R_1$，$R_2$，或 $R_1 \times R_2$，其中 $R_1$ 是强 2-幂零洁净的，且 $R_2/J(R_2) \cong \mathbb{F}_5$（具有幂零 Jacobson 根）。
  • $k=3$： 其结构涉及与 $\mathbb{F}_5$（秩 $\leq 3$）和 $\mathbb{F}_7$ 相关的分量。
• 根性质： 对于任何此类环，$J(R) = \text{nil}(R)$。

意义与主张
本文声称实质性地改进了洁净类环领域的现有结果。

• 完善已知结果： 作者提供了更简单、直接的证明来处理已知结果（例如 $M_n(F)$ 的拟 2-幂零洁净条件），并将它们扩展到更广泛的语境（例如拟 3-幂零洁净及一般的 $k$）。
• 新特征化： 本文提供了还原的完全可分解无挠群的弱洁净自同态环的首个全面特征化，解决了此类群中“非洁净”部分的结构问题。
• 统一性： 通过引入弱强 $k$-幂零洁净环的概念，作者统一了强幂零洁净、弱幂零洁净及相关性质的研究，提供了一个为 $k=2$ 和 $k=3$ 的先前特征化提供泛化结构的框架。
• 未来方向： 作者指出，虽然他们已经建立了必要条件和结构分解，但对于一般情况（反转结构定理）是否满足这些条件的问题仍然是开放的。他们还强调了 $p \neq 2$ 的 $p$-群弱洁净性质仍未解决的问题。

这项工作被呈现为迈向一个统一理论的基础性步骤，在该理论中，元素的构成是具有特定交换性和系数约束的单位、幂等元与幂零元的和。