[論文レビュー] On A Class of Lifting Modules

Hatice Inankıl, Sait Halıcıoğlu+1 more|arXiv (Cornell University)|Dec 14, 2013

Rings, Modules, and Algebras参考文献 2被引用数 3

ひとこと要約

本稿では、$δ$-lifting および $δ$-semiperfect モジュールの一般化として、主に $δ$-lifting および主に $δ$-semiperfect モジュールを導入し、$δ$-small部分モジュールを用いて、循環部分モジュールを用いたliftingモジュール理論を拡張する。主な貢献は、射影モジュール $M$ に対して、$M$ が主に $δ$-semiperfect であることと主に $δ$-lifting であることの同値性を示したことであり、したがって、環 $R$ が主に $δ$-semiperfect であることと主に $δ$-lifting であることの同値性が成り立つ。

ABSTRACT

In this paper, we introduce principally $δ$-lifting modules which are analogous to $δ$-lifting modules and principally $δ$-semiperfect modules as a generalization of $δ$-semiperfect modules and investigate their properties.

研究の動機と目的

• 循環部分モジュールに注目することで、$δ$-lifting および $δ$-semiperfect モジュールを一般化すること。
• $δ$-small部分モジュールを用いて、主に $δ$-lifting モジュールを定義し、その性質を調査すること。
• 因子モジュールの射影 $δ$-カバーを用いて、主に $δ$-semiperfect モジュールを特徴付けること。
• 主に $δ$-文脈におけるlifting性とsemiperfect性の構造的同値関係を確立すること。

提案手法

• 循環部分モジュール $mR$ が $M = A \oplus B$ と分解され、$A \leq mR$ かつ $mR \cap B$ が $B$ において $δ$-small であるとき、$mR$ を $δ$-lifting と定義する。
• 特徴的商を用いて定義される $δ$-small部分モジュールを用い、モジュール分解におけるsmallnessの一般化を行う。
• 任意の $m \in M$ に対して $M/mR$ が射影 $δ$-カバーをもつようなモジュールとして、主に $δ$-semiperfect モジュールを定義する。
• 特徴的商を持つ極大部分モジュールを構成するためにZornの補題を適用し、非$δ$-smallな循環部分モジュールを特徴付ける。
• ホモロジー的技法、特に準同型の持ち上げおよび射影モジュールの性質を用いて、分解結果を証明する。
• Rad$_\delta(R)$ が $δ$-small部分モジュールとしての構造を活用し、lifting 条件と semiperfect 条件の関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 モジュール $M$ の循環部分モジュール $mR$ がいつ $δ$-lifting 性質をもつとされるか、そしてこれは標準的なliftingモジュールをどのように一般化するか？
• RQ2 モジュール $M$ が主に $δ$-semiperfect であるための条件は何か、そしてこれは $M/mR$ の射影 $δ$-カバーの存在性とどのように関係するか？
• RQ3 主に $δ$-lifting モジュールが主に $δ$-semiperfect であるための条件は何か、逆に主に $δ$-semiperfect モジュールが主に $δ$-lifting であるための条件は何か？
• RQ4 主に $δ$-lifting または $δ$-semiperfect 性質は、直和や準同型像においてどのように振る舞うか？
• RQ5 環 $R$ が主に $δ$-semiperfect であることと主に $δ$-lifting であることの正確な関係は何か？

主な発見

• モジュール $M$ が主に $δ$-lifting であることと、任意の $m \in M$ に対して $M = A \oplus B$ と分解され、$A \leq mR$ かつ $mR \cap B$ が $B$ において $δ$-small であることは同値である。
• もし $M_1$ が半単純であり、$M_2$ が主に $δ$-lifting であり、かつ両者が相対的に射影的であれば、$M = M_1 \oplus M_2$ は主に $δ$-lifting である。
• 任意の主に $δ$-semiperfect モジュールは主に $δ$-supplemented であり、その準同型像や直和成分もすべて主に $δ$-semiperfect である。
• 射影モジュール $M$ に対して、$M$ が主に $δ$-semiperfect であることと主に $δ$-lifting であることは同値である。
• 環 $R$ が主に $δ$-semiperfect であることと主に $δ$-lifting であることは同値である。
• 射影モジュール $P$ が主に $δ$-lifting であることと、$P/\text{Rad}_\delta(P)$ が主に半単純であり、かつ商の任意の循環直和成分が $P$ 内の循環直和成分に持ち上がることとは同値である。