Rings Whose Non-Invertible Elements Are Uniquely Strongly Clean

技术摘要：非逆元为唯一强洁的环

问题陈述与动机
本文研究了一类特定的含单位元的结合环，称为 GUSC 环（广义唯一强洁环，Generalized Uniquely Strongly Clean rings）。作者定义一个环 $R$ 为 GUSC，如果 $R$ 中的每个非逆元都是唯一强洁的。一个元素 $a \in R$ 是唯一强洁的，是指存在唯一的幂等元 $e \in R$，使得 $a - e$ 是单位元且 $ae = ea$。

这项工作是对两个现有类别的非平凡推广：

1. USC 环（Chen-Wang-Zhou, 2009）：其中每个元素都是唯一强洁的环。
2. GUC 环（Guo-Jiang, 2023）：其中每个非逆元都是唯一洁的（不带交换条件 $ae=ea$）。

作者指出，虽然 USC 环的分类已经确立，但对 GUSC 环的完整刻画是“极其困难且相当复杂的”，特别是对于非阿贝尔环。主要目标是定义这一类环，探索其结构性质，并确定其与其他环类（如局部环、矩阵环和群环）之间的关系。

方法论与定义
本文采用了标准的环论定义和技术，包括：

• 分解分析：利用分解式 $a = e + u$，其中 $e$ 是幂等元，$u$ 是单位元，并增加了交换性约束以满足强洁性。
• 直积与角子环：分析 GUSC 性质在直积 ($\prod R_i$) 和角子环 ($eRe$) 下的行为。
• 平凡与理想扩张：研究该性质在平凡扩张 $T(R, M)$、理想扩张 $I(R, M)$ 以及类似多项式的结构 $R[x]/\langle x^2 \rangle$ 和 $R[x, y]/\langle x^2, y^2 \rangle$ 中的情况。
• 矩阵环分析：检查矩阵环 $M_n(R)$ 或上三角环 $T_n(R)$ 在何种条件下满足 GUSC 性质。

主要贡献与结果

1. 层级关系与示例：
   作者建立了以下包含层级关系（通过反例证明了严格包含关系）：
   $$\text{USC} \subset \text{GUSC} \quad \text{且} \quad \text{UC} \subset \text{GUC} \subset \text{GUSC}$$

   • $T_2(\mathbb{Z}_2)$ 是 GUSC 但不是 UC。
   • $\mathbb{Z}_{(3)}$（整数在 3 处的局部化）是 GUSC 但不是 USC。
   • $M_2(\mathbb{Z}_2)$ 是 GUSC 但不是 GUC。
   • $M_2(\hat{\mathbb{Z}}_p)$ 是强洁的但不是 GUSC。

2. 结构性质：

   • 交换性：若 GUSC 环 $R$ 满足 $2 \in U(R)$ 且对所有单位元 $u$ 均有 $u^2=1$，则 $R$ 是交换环。
   • 直积：直积 $\prod_{i \in I} R_i$（其中 $|I| \ge 2$）是 GUSC 的充且当且仅当每个分量 $R_i$ 都是 USC 的。这意味着两个 GUSC 环的积不一定是 GUSC（例如 $\mathbb{Z}_2 \times \mathbb{Z}_3$）。
   • 角子环：若 $R$ 是 GUSC，则对于任何幂等元 $e$，$eRe$ 也是 GUSC。若 $e$ 是非平凡的，则 $eRe$ 是 USC。
   • 局部环：每个局部环都是 GUSC。反之，若一个环只有平凡幂等元（$\{\text{0, 1}\}$），则它是 GUSC 当且仅当它是局部环（且这等价于它是强洁、洁、交换、幂等或半幂等的）。

3. 矩阵环：

   • $n \ge 3$ 时非 GUSC：对于任何非零环 $S$ 和整数 $n \ge 3$，$M_n(S)$ 不是 GUSC。
   • $n=2$ 时为 GUSC：对于所有 $k \in \mathbb{N}$，$M_2(\mathbb{Z}_{2^k})$ 是 GUSC。
   • 刻画：若 $M_2(R)$ 是 GUSC，则 $R$ 必须是 USC。此外，若 $R$ 是 2-原的、局部的且是 USC，则 $M_2(R)$ 是 GUSC。

4. 多项式环与群环：

   • 多项式：对于任何环 $R$，多项式环 $R[x]$ 永远不是 GUSC。
   • 群环：若 $R$ 是布尔环且 $C_n$ 是阶为奇数 $n \ge 3$ 的循环群，则 $RC_n$ 不是 GUSC。若 $2 \in U(R)$，群环 $R[\mathbb{Z}_2]$ 是 GUSC 当且仅当 $R$ 是 USC。

5. Dedekind 有限性：
   每个 GUSC 环都是 Dedekind 有限的（即 $ab=1 \implies ba=1$）。该证明依赖于非 Dedekind 有限的环包含矩阵子环 $M_n(S)$（其中 $n \ge 2$），这与 $n \ge 3$ 的情况或 $n=2$ 的特定约束相矛盾。

6. 半单环的刻画：
   一个半单环 $R$ 是 GUSC 的充且当且仅当它是局部环、USC 环或同构于 $M_2(\mathbb{Z}_2)$。对于阿贝尔环，$R$ 是 GUSC 当且仅当它是局部环或 USC 环。

意义与主张
本文声称对 GUSC 类进行了实质性的研究，强调了完全分类是非常复杂的。作者强调，虽然他们可以描述部分结构（如矩阵环和扩张的行为），但对非阿贝尔 GUSC 环的刻画仍然是一个开放的挑战。

这项工作解决了先前文献（Guo-Jiang, 2023）中的一个特定问题，即证明了如果每个非逆元 $a$ 都有唯一的幂等元 $e$ 使得 $a-e \in J(R)$，那么该环是 GUC。

开放问题
论文最后提出了两个开放问题：

1. 半幂等环是 GUSC 的充且当且仅当它是 GUC 吗？
2. 寻找关于基环 $R$ 的判据，以确定幂级数环 $R[[x]]$ 何时是 GUSC。

作者明确表示，他们并不声称解决了非阿贝尔 GUSC 环的完整分类，并指出此类任务在现阶段是“无法逾越的”。