[論文レビュー] Jordan Triple Elementary Maps on Rings

Wu Jing|ArXiv.org|Jun 4, 2007

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

ひとこと要約

この論文は、非自明な冪等元を含む単位的環において、2- torsion free で特定の理想条件 (P) を満たす環では、Jordan 三重基本写像が自動的に加法的であることを確立している。主な結果は、環が 2- torsion free で条件 (P) を満たすとき、写像 $ M: \newlinebreak \newlinebreak \mathcal{R} \to \mathcal{R}' $ と $ M^*: \mathcal{R}' \to \mathcal{R} $ が全射であるならば、これらは加法的であることを示しており、以前の乗法的写像に関する結果を拡張し、非可換環写像における加法性の基礎を築いている。

ABSTRACT

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

研究の動機と目的

• 環上の Jordan 三重基本写像の加法性を調査し、既知の乗法的写像に関する結果を拡張すること。
• 全射の Jordan 三重基本写像が必ず加法的であるような条件を確立すること。
• Martindale が 1969 年に得た乗法的全単射写像に関する結果を、Jordan 三重基本写像の文脈に一般化すること。
• 得られた結果を素性をもつ環および標準的作用素代数に適用し、より広い代数的文脈における加法性を示すこと。

提案手法

• 三重積を含む関数方程式系を満たす写像のペア $ (M, M^*) $ を用いて Jordan 三重基本写像を定義する。
• 非自明な冪等元 $ 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- torsion free であるという仮定を活用して、キャンセルの問題を回避し、単射性と加法性を保証する。

実験結果

リサーチクエスチョン

• RQ1 環上の Jordan 三重基本写像が必ず加法的であるための条件は何か？
• RQ2 事前に線形性を仮定しない状況でも、このような写像の加法性を保証できるか？
• RQ3 非自明な冪等元と 2- torsion free 条件が、Jordan 三重基本写像の加法性を強制するのに十分か？
• 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- torsion free な単位的素性をもつ環で非自明な冪灯元をもつならば、$ M $ と $ M^* $ は加法的である。
• バナッハ空間の次元が 1 より大きい標準的作用素代数に対しても結果は拡張可能であり、同じ関数方程式を満たす限り、$ M $ と $ M^* $ は加法的である。