[論文レビュー] 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 であることとその Ore 拡張 $ R[x;\sigma,\delta] $ が quasi-Baer であることの同値条件を確立する。$ \sigma $ が自己同型であり、すべての左半中心的べき等元 $ e $ に対して $ Re $ が $ (\sigma,\delta) $-安定であるような $ (\sigma,\delta) $-歪 Armendariz 環 $ R $ に対して、$ R $ が quasi-Baer であることと $ R[x;\sigma,\delta] $ が quasi-Baer であることの同値性が示される。この結果は先行研究を一般化しており、従来の適合性に基づく定理からは導かれない。

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 $ からその Ore 拡張 $ R[x;\sigma,\delta] $ への quasi-Baer 性質の持ち上げが成立する条件を同定すること。
• $ \sigma $-rigid および $ (\sigma,\delta) $-適合環に関する先行結果を、より広い環のクラスへと拡張すること。
• $ R $ が $ (\sigma,\delta) $-歪 Armendariz かつ $ \sigma $ が自己同型であるとき、Ore 拡張において quasi-Baer 性質が保存されることを示すこと。
• 結果の範囲を限定する例を提示し、それらが従来の定理の帰結でないことを示すこと。
• [7, 定理 12] の $ \sigma $-rigid 環に関する結果の部分的な一般化を確立すること。

提案手法

• $ (\sigma,\delta) $-歪 Armendariz 環の使用：$ 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 $ の合成関数である。
• $ R $ が $ (\sigma,\delta) $-歪 Armendariz であるとき、$ R[x;\sigma,\delta] $ の任意のべき等元は定数でなければならないことを、補題 2.2 を用いて示すこと。
• すべての $ e \in \mathcal{S}_\ell(R) $ に対して $ Re $ が $ (\sigma,\delta) $-安定であるという安定性条件を用いて、消える元の振る舞いを制御すること。
• 消える元の構造：$ r_S(IS) = eS $（ある $ e \in S = R[x;\sigma,\delta] $ のべき等元に対して）を用い、$ r_R(I) $ と関連付けること。
• $ \sigma $-rigid 環が $ (\sigma,\delta) $-歪 Armendariz かつ可約であることを利用して、先行研究と接続すること。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、環 $ R $ からその Ore 拡張 $ R[x;\sigma,\delta] $ への quasi-Baer 性質が保存されるか？
• RQ2 $ \sigma $-rigid 環に関する結果を $ \sigma $-rigidity を超えて一般化できるか？
• RQ3 逆は成り立つか：$ R[x;\sigma,\delta] $ が quasi-Baer ならば、同じ条件下で $ R $ も quasi-Baer であるか？
• RQ4 本稿の新しい条件は、従来の適合性条件よりも厳密に弱いか？
• RQ5 $ R $ が quasi-Baer でないが、新しい条件下で $ R[x;\delta] $ が quasi-Baer となるような例を構成できるか？

主な発見

• $ \sigma $ が自己同型であり、すべての $ e \in \mathcal{S}_\ell(R) $ に対して $ Re $ が $ (\sigma,\delta) $-安定であるような $ (\sigma,\delta) $-歪 Armendariz 環 $ R $ に対して、$ R $ が quasi-Baer であることと $ R[x;\sigma,\delta] $ が quasi-Baer であることの同値性が成り立つ。
• 例により、$ R $ が $ \sigma $-歪 Armendariz ではあるが $ (\sigma,\delta) $-適合でない場合、[4, 定理 2.8] からは導かれないことが示された。
• 例 3.6 は、$ R $ が quasi-Baer でない場合でも $ R[x;\delta] $ が Baer（したがって quasi-Baer）である可能性があることを示しており、条件の必要性を裏付けている。
• 例 3.9 は、逆が一般には成り立たないことを示しており、$ R $ が quasi-Baer であっても $ R[x;\sigma] $ が quasi-Baer でない場合がある（$ R $ が $ \sigma $-歪 Armendariz であっても）。
• 定理 3.8 により、$ \sigma $-rigid 環が $ (\sigma,\delta) $-歪 Armendariz であることから、[7, 定理 12] の結果が一般化されていることが示された。
• 定理 3.10 は、提示された条件下で $ R $ と $ R[x;\sigma,\delta] $ が両方 quasi-Baer であるという対称的同値関係を確立し、新たな特徴付けを提供している。