[论文解读] Jordan Triple Elementary Maps on Rings

Wu Jing|ArXiv.org|Jun 4, 2007

Advanced Topics in Algebra参考文献 5被引用 3

一句话总结

该论文证明了在包含非平凡幂等元且为2-挠自由的单位环上，若满足特定理想条件(P)，则乔丹三重初等映射自动具有加法性。关键结果表明，在这些条件下，从环 $\mathcal{R}$ 到 $\mathcal{R}'$ 的满射乔丹三重初等映射 $M$ 与反向映射 $M^*$ 均为加法映射，从而推广了关于乘法映射的早期结果，并为非结合环映射中的加法性奠定了基础。

ABSTRACT

We prove that Jordan triple elementary surjective maps on unital rings containing a nontrivial idempotent are automatically additive.

研究动机与目标

• 研究环上乔丹三重初等映射的加法性，推广关于乘法映射的已知结果。
• 确立在何种条件下，环上的满射乔丹三重初等映射必然为加法映射。
• 将Martindale 1969年关于乘法双射映射的结果推广至乔丹三重初等映射的情形。
• 将结果应用于素环和标准算子代数，展示其在更广泛的代数结构中的加法性。

提出的方法

• 通过满足涉及三重积的函数方程组的一对映射 $ (M, M^*) $ 定义乔丹三重初等映射。
• 利用非平凡幂等元 $ e_1 $ 导出的分解 $ \mathcal{R} = \mathcal{R}_{11} \oplus \mathcal{R}_{12} \oplus \mathcal{R}_{21} \oplus \mathcal{R}_{22} $，其中 $ e_2 = 1 - e_1 $。
• 通过定义方程的直接计算，证明 $ M $ 和 $ M^* $ 是单射且保持零元。
• 通过在 $ e_i $-分解下的分量分析，证明加法性：$ M(a + b) = M(a) + M(b) $ 与 $ M^*(x + y) = M^*(x) + M^*(y) $。
• 利用条件 (P)：若 $ e_i a e_j \mathcal{R} e_k = \{0\} $ 或 $ e_k \mathcal{R} e_i a e_j = \{0\} $，则 $ e_i a e_j = 0 $，推导出分量间的等式。
• 利用2-挠自由假设避免约去时的问题，确保单射性与加法性。

实验结果

研究问题

• RQ1 在何种条件下，环上的乔丹三重初等映射必然为加法映射？
• RQ2 是否可以在不预先假设线性性的情况下保证此类映射的加法性？
• RQ3 非平凡幂等元与2-挠自由条件是否足以强制乔丹三重初等映射的加法性？
• RQ4 通过幂等元诱导的环分解结构如何促进加法性的证明？
• RQ5 该结果能否推广至素环和标准算子代数？

主要发现

• 在给定条件下，映射 $ M $ 为加法映射：对所有 $ a, b \in \mathcal{R} $，有 $ M(a + b) = M(a) + M(b) $。
• 在相同条件下，对偶映射 $ M^* $ 为加法映射：对所有 $ x, y \in \mathcal{R}' $，有 $ M^*(x + y) = M^*(x) + M^*(y) $。
• 通过假设 $ M(a) = M(b) $ 并利用函数方程推导出 $ a = b $，证明了 $ M $ 和 $ M^* $ 是单射。
• 条件 (P) 确保了在某些角分量中为零可推出整个分量为零，这对分量识别至关重要。
• 该结果适用于素环：若 $ \mathcal{R} $ 是2-挠自由单位素环且含非平凡幂等元，则 $ M $ 与 $ M^* $ 均为加法映射。
• 该结果可推广至巴拿赫空间上维数大于1的标准算子代数，此时在相同函数方程下 $ M $ 与 $ M^* $ 也均为加法映射。