[论文解读] Commutativity conditions on derivations and Lie ideals ins-prime rings

Lahcen Oukhtite, S. Salhi+1 more|arXiv (Cornell University)|Jan 1, 2010

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

一句话总结

本文研究了在 $σ$-素环上导子的交换性条件，重点在于平方闭的 $σ$-李理想。证明了若导子 $d$ 在此类李理想 $U$ 上中心化，或在 $U$ 上满足某些交换性条件，则要么 $d = 0$，要么 $U$ 包含于环 $R$ 的中心，从而在该设定下对导子的结构施加了强约束。

ABSTRACT

Let $R$ be a 2-torsion free $\sigma$-prime ring, $U$ a nonzero square closed $\sigma$-Lie ideal of $R$ and let $d$ be a derivation of $R$. In this paper it is shown that: 1) If $d$ is centralizing on $U$, then $d = 0$ or $U \subseteq Z(R)$. 2) If either $d([x, y]) = 0$ for all $x, y \in U$, or $[d(x), d(y)] = 0$ for all $x, y \in U$ and $d$ commutes with $\sigma$ on $U$, then $d = 0$ or $U \subseteq Z(R)$.

研究动机与目标

• 探讨在特定交换性约束下，$σ$-素环上导子的行为。
• 确定当一个导子在 $σ$-李理想上中心化或与该理想元素交换时，其必须消失或迫使理想进入环中心的条件。
• 将已知的素环中的交换性结果推广到更一般的 $σ$-素环与 $σ$-李理想的设定中。
• 分析非交换环中导子、自同构（$σ$）与李理想结构之间的相互作用。
• 建立导子为平凡或理想为中央的充分条件，适用于 $σ$-素环。

提出的方法

• 利用 2-挠自由假设以简化涉及导子与换位子的代数恒等式。
• 应用 $σ$-素环的性质以限制非平凡理想与导子的存在。
• 通过换位子恒等式与中心化条件，分析导子在平方闭 $σ$-李理想 $U$ 上的作用。
• 利用 $d$ 在 $U$ 上与 $σ$ 交换的条件，推导出 $d$ 与 $U$ 的结构约束。
• 利用恒等式 $d([x,y]) = 0$ 或 $[d(x), d(y)] = 0$ 对所有 $x,y \in U$ 成立，推断出 $d$ 必须为零或 $U \subseteq Z(R)$。
• 借助李理想的性质与在 $σ$ 下 $R$ 的素性，排除非中心解。

实验结果

研究问题

• RQ1 在 2-挠自由的 $σ$-素环 $R$ 中，若导子 $d$ 在平方闭的 $σ$-李理想 $U$ 上中心化，则在何种条件下可推出 $d = 0$ 或 $U \subseteq Z(R)$？
• RQ2 若在该环中对所有 $x,y \in U$ 都有 $d([x,y]) = 0$，会发生什么情况？这是否强制推出 $d = 0$ 或 $U \subseteq Z(R)$？
• RQ3 若对所有 $x,y \in U$ 都有 $[d(x), d(y)] = 0$，且 $d$ 在 $U$ 上与 $\sigma$ 交换，则是否可推出 $d = 0$ 或 $U \subseteq Z(R)$？
• RQ4 $σ$-素条件如何与导子及李理想相互作用，以约束环 $R$ 的结构？
• RQ5 在这些交换性条件下，2-挠自由的 $σ$-素环中是否存在非平凡导子作用于非中心的 $σ$-李理想？

主要发现

• 若 $d$ 在 $U$ 上中心化，则要么 $d = 0$，要么 $U$ 包含于环 $R$ 的中心 $Z(R)$ 中。
• 若对所有 $x,y \in U$ 都有 $d([x,y]) = 0$，则在 2-挠自由与 $σ$-素假设下，必有 $d = 0$ 或 $U \subseteq Z(R)$。
• 若对所有 $x,y \in U$ 都有 $[d(x), d(y)] = 0$，且 $d$ 在 $U$ 上与 $\sigma$ 交换，则必有 $d = 0$ 或 $U \subseteq Z(R)$。
• 这些结果特别适用于 2-挠自由的 $σ$-素环，这确保了关键代数运算的有效性。
• 将 $U$ 视为平方闭的 $σ$-李理想这一结构是推导结论的关键，因为它使得李理想恒等式得以应用。
• 核心结论是：在给定条件下，导子要么为平凡，要么迫使李理想成为中心，表明环结构具有极强的刚性。