[论文解读] On quasi-Baer rings of Ore extensions

Mohamed Louzari, L'moufadal Ben Yakoub|ArXiv.org|Aug 16, 2007

Rings, Modules, and Algebras参考文献 9被引用 5

一句话总结

本文建立了环 $ R $ 是拟巴尔（quasi-Baer）当且仅当其奥雷扩张 $ R[x;\sigma,\delta] $ 是拟巴尔的条件。证明表明，若 $ R $ 是一个 $ (\sigma,\delta) $-斜阿门达里斯环（$ (\sigma,\delta) $-skew Armendariz ring），其中 $ \sigma $ 是自同构，且对所有左半中心幂等元 $ e $，均有 $ Re $ $ (\sigma,\delta) $-稳定，则 $ R $ 是拟巴尔当且仅当 $ R[x;\sigma,\delta] $ 是拟巴尔。该结果推广了先前的工作，且不能由早期基于相容性的定理推出。

ABSTRACT

Let $R$ be a ring and $S=R[x;σ,δ]$ its Ore extension. We prove under some conditions that $R$ is a quasi-Baer ring if and only if the Ore extension $R[x;σ,δ]$ is a quasi-Baer ring. Examples are provided to illustrate and delimit our results.

研究动机与目标

• 确定环 $ R $ 的拟巴尔性质能提升至其奥雷扩张 $ R[x;\sigma,\delta] $ 的条件。
• 将关于 $ \sigma $-刚性环与 $ (\sigma,\delta) $-相容环的先前结果，推广到更广泛的环类。
• 证明当 $ R $ 是 $ (\sigma,\delta) $-斜阿门达里斯环且 $ \sigma $ 是自同构时，拟巴尔性质在奥雷扩张下保持不变。
• 提供示例以界定结果的适用范围，并表明其并非早期定理的推论。
• 建立对 [7, 定理 12] 关于 $ \sigma $-刚性环结果的部分推广。

提出的方法

• 使用 $ (\sigma,\delta) $-斜阿门达里斯环，其中 $ pq = 0 $ 蕴含对所有 $ i,j $ 有 $ a_i x^i b_j x^j = 0 $。
• 利用恒等式 $ x^n r = \sum_{i=0}^n f_i^n(r) x^i $，其中 $ f_i^n $ 是 $ \sigma $ 与 $ \delta $ 的复合函数。
• 应用引理 2.2，证明若 $ R $ 是 $ (\sigma,\delta) $-斜阿门达里斯环，则 $ R[x;\sigma,\delta] $ 中的任意幂等元必为常数。
• 利用稳定性条件 $ Re $ $ (\sigma,\delta) $-稳定，对所有 $ e \in \mathcal{S}_\ell(R) $，控制零化子的行为。
• 利用零化子结构：$ r_S(IS) = eS $，其中 $ e \in S = R[x;\sigma,\delta] $ 为某幂等元，并将其与 $ r_R(I) $ 关联。
• 利用 $ \sigma $-刚性环是 $ (\sigma,\delta) $-斜阿门达里斯环且为可约环的性质，与先前结果建立联系。

实验结果

研究问题

• RQ1 在何种条件下，环 $ R $ 的拟巴尔性质能保持至其奥雷扩张 $ R[x;\sigma,\delta] $？
• RQ2 能否将 $ \sigma $-刚性环的结果推广至超越 $ \sigma $-刚性的更广范围？
• RQ3 逆命题是否成立：若 $ R[x;\sigma,\delta] $ 是拟巴尔，是否在相同条件下 $ R $ 必为拟巴尔？
• RQ4 本文提出的新条件是否严格弱于早期的相容性条件？
• RQ5 能否构造出满足新条件但 $ R $ 不是拟巴尔而 $ R[x;\delta] $ 是拟巴尔的示例？

主要发现

• 若 $ R $ 是 $ (\sigma,\delta) $-斜阿门达里斯环，且 $ \sigma $ 是自同构，且对所有 $ e \in \mathcal{S}_\ell(R) $，均有 $ Re $ $ (\sigma,\delta) $-稳定，则 $ R $ 是拟巴尔当且仅当 $ R[x;\sigma,\delta] $ 是拟巴尔。
• 该结果不能由 [4, 推论 2.8] 推出，如示例所示：存在 $ R $ 是 $ \sigma $-斜阿门达里斯但非 $ (\sigma,\delta) $-相容的情形。
• 例 3.6 表明，即使 $ R $ 不是拟巴尔，$ R[x;\delta] $ 仍可为巴尔（从而为拟巴尔），说明条件的必要性。
• 例 3.9 表明，逆命题一般不成立：即使 $ R $ 是拟巴尔且 $ R $ 是 $ \sigma $-斜阿门达里斯，$ R[x;\sigma] $ 也可能不是拟巴尔。
• 推论 3.8 表明，该结果推广了 [7, 推论 12]，因为 $ \sigma $-刚性环是 $ (\sigma,\delta) $-斜阿门达里斯环。
• 定理 3.10 在给定条件下，建立了 $ R $ 与 $ R[x;\sigma,\delta] $ 均为拟巴尔的对称等价关系，提供了新的刻画方式。