[論文レビュー] FP-injective and weakly quasi-Frobenius rings

Grigory Garkusha|ArXiv.org|Nov 18, 1999

Rings, Modules, and Algebras参考文献 7被引用数 4

ひとこと要約

本稿では、有限生成表示モジュールがfp平坦および自由モジュールに埋め込まれることと関連して、FP-インジェクティヴおよび弱く擬フロベニウス環の性質を調査する。群環R(G)がFP-インジェクティヴ（それぞれ弱く擬フロベニウス）であるための必要十分条件は、RがFP-インジェクティヴ（それぞれ弱く擬フロベニウス）であり、Gが局所有限であることであることが示され、このクラスを用いて一貫性のあるCFおよびFGF環を特徴づける。

ABSTRACT

The classes of FP-injective and weakly quasi-Frobenius rings are investigated. The properties for both classes of rings are closely linked with embedding of finitely presented modules in fp-flat and free modules respectively. Using these properties, we describe the classes of coherent CF and FGF-rings. Moreover, it is proved that the group ring R(G) is FP-injective (resp. weakly quasi-Frobenius) if and only if the ring R is FP-injective (resp. weakly quasi-Frobenius) and the group G is locally finite.

研究の動機と目的

• FP-インジェクティヴおよび弱く擬フロベニウス環の構造的性質を調査すること。
• これらの環クラスと、有限生成表示モジュールがfp平坦および自由モジュールに埋め込まれることとの関係を明確にすること。
• 導入されたクラスを用いて一貫性のあるCFおよびFGF環を特徴づけること。
• 群環R(G)が基本環Rおよび群GのFP-インジェクティヴまたは弱く擬フロベニウス性をどのように引き継ぐかの必要十分条件を特定すること。

提案手法

• fp平坦モジュールへの有限生成表示モジュールの埋め込みを分析し、FP-インジェクティヴ環の定義と研究を行う。
• 自由モジュールへのモジュールの埋め込みを、弱く擬フロベニウス環の基準として用いる。
• ホモロジー的技法を用いて、これらの性質が一貫性および有限生成モジュール構造とどのように関連するかを関係づける。
• FP-インジェクティヴおよび一貫性のある環の条件を通じて、一貫性のあるCF環の特徴づけを確立する。
• 群環R(G)がFP-インジェクティヴまたは弱く擬フロベニウス性を有するための必要十分条件が、Rがその性質を有し、Gが局所有限であることであることを証明する。
• 既知のFGF環および一貫性のある環に関する結果を活用し、これらのクラスへの分類を拡張する。

実験結果

リサーチクエスチョン

• RQ1 RおよびGの性質が与えられたとき、群環R(G)がFP-インジェクティヴであるための条件は何か？
• RQ2 有限生成表示モジュールがfp平坦モジュールに埋め込まれることで、FP-インジェクティヴ環はどのように特徴づけられるか？
• RQ3 FP-インジェクティヴ環と一貫性のあるCF環との正確な関係は何か？
• RQ4 弱く擬フロベニウス環は、FGF環および自由モジュールへのモジュールの埋め込みとどのように関係するか？
• RQ5 群Gの局所有限性が、群環におけるFP-インジェクティヴまたは弱く擬フロベニウス性の保存に果たす役割は何か？

主な発見

• 群環R(G)がFP-インジェクティヴであることの必要十分条件は、RがFP-インジェクティヴであり、Gが局所有限であることである。
• 群環R(G)が弱く擬フロベニウスであることの必要十分条件は、Rが弱く擬フロベニウスであり、Gが局所有限であることである。
• 一貫性のあるCF環のクラスは、FP-インジェクティヴである一貫性のある環のクラスと一致する。
• FGF環のクラスは、すべての有限生成モジュールがFP-インジェクティヴであることの性質によって特徴づけられ、研究対象の環クラスと関連する。
• 有限生成表示モジュールがfp平坦モジュールに埋め込まれることで、FP-インジェクティヴ環は完全に特徴づけられる。
• 有限生成表示モジュールが自由モジュールに埋め込まれることで、弱く擬フロベニウス環は完全に特徴づけられる。