[论文解读] Strongly $n$-Gorenstein projective, injective and flat modules

Najib Mahdou, Mohammed Tamekkante|ArXiv.org|Apr 26, 2009

Algebraic structures and combinatorial models参考文献 4被引用 3

一句话总结

本文引入并研究了强 $n$-Gorenstein投射、内射和平坦模——这是强 Gorenstein 模的推广，为具有有限 Gorenstein 维数的 Gorenstein 投射、内射和平坦模提供了更简洁的刻画。关键贡献是通过短正合列和 Tor 的消失条件，对 $n$-Gorenstein 平坦模提出了新的刻画，扩展了先前关于强 Gorenstein 模的结果。

ABSTRACT

This paper generalize the idea of the authors in \cite{Bennis and Mahdou1}. Namely, we define and study a particular case of modules with Gorenstein projective, injective, and flat dimension less or equal than $n\geq 0$, which we call, respectively, strongly n-Gorenstein projective, injective and flat modules. These three classes of modules give us a new characterization of the first modules, and they are a generalization of the notions of strongly Gorenstein projective, injective, and flat modules respectively.

研究动机与目标

• 将强 Gorenstein 模的概念推广到有限 Gorenstein 维数的更高层次。
• 为 Gorenstein 投射、内射和平坦维数至多为 $n$ 的模提供更简单、更有效的刻画。
• 在凝聚环上，建立强 $n$-Gorenstein 平坦模与具有有限 $n$-表示的模之间的等价性。
• 阐明在强 $n$-Gorenstein 模的背景下，Gorenstein 平坦维数与平坦维数之间的关系。

提出的方法

• 通过具有有限平坦或投射维数的模的正合列来定义强 $n$-Gorenstein 投射、内射和平坦模。
• 使用形如 $0 \to M \to X \to M \to 0$ 的短正合列，其中 $X$ 具有有限平坦或投射维数，并满足特定的 Ext 或 Tor 消失条件。
• 应用同调代数技术，包括 Tor 和 Ext 赋函子的长正合列，推导维数界。
• 利用先前关于强 Gorenstein 模的研究成果，并将其推广到 $n$-Gorenstein 设置中。
• 使用 $n$-表示和 $n$-步解析的概念，将投射维数和平坦维数条件联系起来。
• 在有限表示性假设下，证明强 $n$-Gorenstein 平坦模与强 $n$-Gorenstein 投射模之间的等价性。

实验结果

研究问题

• RQ1 什么条件能刻画一个模为强 $n$-Gorenstein 平坦模？
• RQ2 强 $n$-Gorenstein 模与具有有限 Gorenstein 平坦维数的 Gorenstein 平坦模之间有何关系？
• RQ3 在何种条件下，一个有限表示模是强 $n$-Gorenstein 平坦模当且仅当它是强 $n$-Gorenstein 投射模？
• RQ4 能否通过其解析性质和 Tor 消失性来界定模的 Gorenstein 平坦维数？
• RQ5 $n$-表示在刻画强 $n$-Gorenstein 模中起什么作用？

主要发现

• 模 $M$ 是强 $n$-Gorenstein 平坦模当且仅当存在一个短正合列 $0 \to M \to F \to M \to 0$，满足 $fd(F) \leq n$ 且对所有 $i > n$ 和所有内射模 $I$，有 $Tor^i(M, I) = 0$。
• 若 $M$ 是强 $n$-Gorenstein 平坦模且 $R$ 是凝聚环，则 $M$ 允许一个有限的 $(n+1)$-表示。
• 对于凝聚环 $R$ 上的有限表示模 $M$，$M$ 是强 $n$-Gorenstein 投射模当且仅当它是强 $n$-Gorenstein 平坦模。
• 若 $M$ 是强 $n$-Gorenstein 平坦模，则其 Gorenstein 平坦维数满足 $Gfd(M) \leq n$，但反之一般不成立。
• 若 $M$ 是强 $n$-Gorenstein 平坦模，则存在一个短正合列 $0 \to M \to F \to M \to 0$ 满足 $fd(F) \leq n$，且该列诱导出高阶 Tor 群的消失。
• 强 $n$-Gorenstein 平坦模的类严格大于 $n$-Gorenstein 平坦模的类，文中通过反例予以说明。