[論文レビュー] Covers, preenvelopes, and purity

Henrik Holm, Peter Jørgensen|ArXiv.org|Nov 20, 2006

Algebraic structures and combinatorial models参考文献 10被引用数 8

ひとこと要約

この論文は、純粋商モジュールに関して閉じたモジュールのクラスが、前被覆的であるための必要十分条件は、そのクラスが直和に関して閉じていることであると確立している。これは、そのクラスが直和に関して閉じているときかつそのときに限り、被覆的である。さらに、そのクラスが底環を含み、拡張、直和、純粋部分モジュール、純粋商モジュールに関して閉じている場合、それは完全なコトルージョンペアの第一半分をなす。これは被覆的であるという性質よりも強い性質である。

ABSTRACT

We show that if a class of modules is closed under pure quotients, then it is precovering if and only if it is covering, and this happens if and only if it is closed under direct sums. This is inspired by a dual result by Rada and Saor\'ın. We also show that if a class of modules contains the ground ring and is closed under extensions, direct sums, pure submodules, and pure quotients, then it forms the first half of a so-called perfect cotorsion pair as introduced by Salce; this is stronger than being covering. Some applications are given to concrete classes of modules such as kernels of homological functors and torsion free modules in a torsion pair.

研究の動機と目的

• 純粋商に関して閉じた前被覆的および被覆的クラスのクラスについて、RadaとSaorínの前包み的クラスに関する結果の双対を確立すること。
• 特に純粋商に関して閉じており、直和に関して閉じていることと関連して、モジュールクラスが被覆的であるための条件を調査すること。
• 追加の閉じる条件（底環を含み、拡張に関して閉じていること）がある場合、そのクラスが完全なコトルージョンペアをなすことを示すこと。
• 同型的ファンクターの核や、 torsion pair における torsion-free モジュールといった具体的なクラスにこれらの結果を適用すること。
• 特に、有限型の遺伝的 torsion pair の文脈において、相対ホモロジー代数における既存の被覆的クラスに関する結果を一般化・強化すること。

提案手法

• 純粋完全系列の使用と純粋商モジュールの定義を用いて、モジュールクラスの閉じる性質を分析すること。
• RadaとSaorínの前包み的クラスに関する結果の双対を適用し、前被覆的および被覆的クラスの条件を導出すること。
• 純粋商に関して閉じたクラスが、直和に関して閉じているときかつそのときに限り被覆的であることを、ホモロジー的技法と因数分解の性質を用いて証明すること。
• 特に遺伝的かつ有限型の torsion pair の構造を活用し、純粋部分モジュールおよび純粋商に関しての閉じる性質を示すこと。
• 定理3.4を用いて、拡張、直和、純粋部分モジュール、純粋商に関して閉じており、底環を含むクラスが完全なコトルージョンペアをなすことを確立すること。
• Ext¹, Tor₁ などのホモロジー的ファンクターを用いて、Ker(Ext¹(A, −))、Ker(Tor₁(B, −))、Ker(Ext¹(−, C)) などのモジュールクラスを定義・分析すること。

実験結果

リサーチクエスチョン

• RQ1 純粋商に関して閉じたモジュールクラスが、どのような条件下で被覆的であるか？
• RQ2 純粋商に関して閉じたクラスにおいて、直和に関して閉じることと被覆的性質との関係は何か？
• RQ3 純粋商、直和、拡張、純粋部分モジュールに関して閉じたクラスが、どのような条件下で完全なコトルージョンペアをなすか？
• RQ4 遺伝的かつ有限型の torsion pair において、torsion-free クラスが被覆的であるための条件は何か？
• RQ5 適切な純粋性および閉じる条件のもとで、ホモロジー的ファンクター（Ext¹, Tor₁）の核が被覆的であることを示せるか？

主な発見

• 純粋商に関して閉じたモジュールクラスは、前被覆的であるための必要十分条件は、そのクラスが直和に関して閉じていることである。これは、そのクラスが直和に関して閉じているときかつそのときに限り、被覆的である。
• クラスが底環を含み、拡張、直和、純粋部分モジュール、純粋商に関して閉じている場合、それは完全なコトルージョンペアの第一半分をなす。
• 遺伝的かつ有限型の torsion pair における torsion-free クラスは、定理4.8により被覆的である。
• 遺伝的かつ有限型の torsion pair において、底環が torsion-free クラスに属するとき、ペア (F, F⊥) は完全なコトルージョンペアをなし、F が被覆的で F⊥ が包み的であることを示唆する。
• 有限生成モジュールのクラス A に対して、Ker(Ext¹(A, −)) のクラスは、純粋商および直和に関して閉じており、A が直和に関して閉じている場合、被覆的である。
• 任意のモジュールクラス B に対して、Ker(Tor₁(B, −)) のクラスは、純粋商および直和に関して閉じており、同じ条件のもとで被覆的である。